Cleanup comments

This commit is contained in:
Slavomir
2021-01-23 11:25:32 +01:00
committed by Chris Smowton
parent d3d7d2d103
commit bdc5f90c97

View File

@@ -26,42 +26,42 @@ private module CleverGo {
|
receiverName = "Context" and
(
// Method: func (*Context).BasicAuth() (username string, password string, ok bool)
// signature: func (*Context).BasicAuth() (username string, password string, ok bool)
methodName = "BasicAuth" and
outp.isResult([0, 1])
or
// Method: func (*Context).Decode(v interface{}) (err error)
// signature: func (*Context).Decode(v interface{}) (err error)
methodName = "Decode" and
outp.isParameter(0)
or
// Method: func (*Context).DefaultQuery(key string, defaultVlue string) string
// signature: func (*Context).DefaultQuery(key string, defaultVlue string) string
methodName = "DefaultQuery" and
outp.isResult()
or
// Method: func (*Context).FormValue(key string) string
// signature: func (*Context).FormValue(key string) string
methodName = "FormValue" and
outp.isResult()
or
// Method: func (*Context).GetHeader(name string) string
// signature: func (*Context).GetHeader(name string) string
methodName = "GetHeader" and
outp.isResult()
or
// Method: func (*Context).PostFormValue(key string) string
// signature: func (*Context).PostFormValue(key string) string
methodName = "PostFormValue" and
outp.isResult()
or
// Method: func (*Context).QueryParam(key string) string
// signature: func (*Context).QueryParam(key string) string
methodName = "QueryParam" and
outp.isResult()
or
// Method: func (*Context).QueryString() string
// signature: func (*Context).QueryString() string
methodName = "QueryString" and
outp.isResult()
)
or
receiverName = "Params" and
(
// Method: func (Params).String(name string) string
// signature: func (Params).String(name string) string
methodName = "String" and
outp.isResult()
)
@@ -74,7 +74,7 @@ private module CleverGo {
|
interfaceName = "Decoder" and
(
// Method: func (Decoder).Decode(req *net/http.Request, v interface{}) error
// signature: func (Decoder).Decode(req *net/http.Request, v interface{}) error
methodName = "Decode" and
outp.isParameter(1)
)
@@ -89,7 +89,7 @@ private module CleverGo {
fields = "Params"
or
structName = "Param" and
fields = ["Value", "Key"]
fields = ["Key", "Value"]
)
or
// Types of package: clevergo.tech/clevergo@v0.5.2
@@ -107,7 +107,7 @@ private module CleverGo {
TaintTrackingFunctionModels() {
// Taint-tracking models for package: clevergo.tech/clevergo@v0.5.2
(
// Function: func CleanPath(p string) string
// signature: func CleanPath(p string) string
this.hasQualifiedName(packagePath(), "CleanPath") and
inp.isParameter(0) and
out.isResult()
@@ -128,19 +128,19 @@ private module CleverGo {
// Taint-tracking models for package: clevergo.tech/clevergo@v0.5.2
(
// Receiver: Application
// Method: func (*Application).RouteURL(name string, args ...string) (*net/url.URL, error)
// signature: func (*Application).RouteURL(name string, args ...string) (*net/url.URL, error)
this.hasQualifiedName(packagePath(), "Application", "RouteURL") and
inp.isParameter(_) and
out.isResult(0)
or
// Receiver: Decoder
// Method: func (Decoder).Decode(req *net/http.Request, v interface{}) error
// signature: func (Decoder).Decode(req *net/http.Request, v interface{}) error
this.implements(packagePath(), "Decoder", "Decode") and
inp.isParameter(0) and
out.isParameter(1)
or
// Receiver: Renderer
// Method: func (Renderer).Render(w io.Writer, name string, data interface{}, c *Context) error
// signature: func (Renderer).Render(w io.Writer, name string, data interface{}, c *Context) error
this.implements(packagePath(), "Renderer", "Render") and
inp.isParameter(2) and
out.isParameter(0)