Class Url::JoinPathMethod

The method URL.JoinPath.

Import path

import semmle.go.frameworks.Stdlib

Direct supertypes

Indirect supertypes

Inherited fields

receiver

from Method

Predicates

hasTaintFlow

Holds if taint propagates through this function from input to output.

Inherited predicates

getACall	Gets a call to this function.	from Function
getAParameter	Gets a parameter of this function.	from Function
getARead	Gets a data-flow node that reads the value of this entity.	from ValueEntity
getAReference	Gets a reference to this entity.	from Entity
getAResult	Gets a result variable of this function.	from Function
getAWrite	Gets a control-flow node that updates the value of this entity.	from ValueEntity
getAnInputNode	Gets an input node for this model for the call `c`.	from FunctionModel
getAnOutputNode	Gets an output node for this model for the call `c`.	from FunctionModel
getBody	Gets the body of this function, if any.	from Function
getDeclaration	Gets the declaring identifier for this entity, if any.	from Entity
getFuncDecl	Gets the declaration of this function, if any.	from Function
getName	Gets the name of this entity.	from Entity
getNumParameter	Gets the number of parameters of this function.	from Function
getNumResult	Gets the number of results of this function.	from Function
getPackage	Gets the package in which this entity is declared, if any.	from Method
getParameter	Gets the `i`th parameter of this function.	from Function
getParameterType	Gets the type of the `i`th parameter of this function.	from Function
getQualifiedName	Gets the qualified name of this entity, if any.	from Entity
getReceiver	Gets the receiver variable of this method.	from Method
getReceiverBaseType	Gets the receiver base type of this method, that is, either the base type of the receiver type if it is a pointer type, or the receiver type itself if it is not a pointer type.	from Method
getReceiverType	Gets the type of the receiver variable of this method.	from Method
getResult	Gets the `i`th result variable of this function.	from Function
getResultType	Gets the type of the `i`th result of this function.	from Function
getScope	Gets the scope in which this entity is declared, if any.	from Entity
getType	Gets the type of this entity.	from Entity
hasLocationInfo	Holds if this element is at the specified location. The location spans column `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Locations.	from Entity
hasQualifiedName	Holds if this method has name `m` and belongs to the method set of a type `T` or `*T` where `T` has qualified name `tp`.	from Method
hasQualifiedName	Holds if this method has name `m` and belongs to the method set of a type `T` or `*T` where `T` is declared in package `pkg` and has name `tp`.	from Method
implements	Holds if this method implements the method `m`, that is, if `m` is a method on an interface, and this is a method with the same name on a type that implements that interface.	from Method
implements	Holds if this method implements the method that has qualified name `pkg.tp.name`, that is, if `pkg.tp.name` is a method on an interface, and this is a method with the same name on a type that implements that interface.	from Method
implementsIncludingInterfaceMethods	Holds if this method implements the method `m`, that is, if `m` is a method on an interface, and this is a method with the same name on a type that implements that interface.	from Method
isInterfaceMethod	Holds if this method is declared in an interface.	from Method
isVariadic	Holds if this function is variadic.	from Function
mayHaveSideEffects	Holds if this function has no observable side effects.	from Function
mayPanic	Holds if calling this function may cause a runtime panic.	from Function
mayReturnNormally	Holds if this function may return without panicking, exiting the process, or looping forever.	from Function
mustPanic	Holds if calling this function always causes a runtime panic.	from Function
taintStep	Holds if this function model causes taint to flow from `pred` to `succ`.	from FunctionModel
taintStepForCall	Holds if this function model causes taint to flow from `pred` to `succ` for the call `c`.	from FunctionModel
toString	Gets a textual representation of this entity.	from Entity

Charpred

JoinPathMethod