Module signature InputSig
Provides language-specific parameters.
Import path
import codeql.dataflow.internal.FlowSummaryImplPredicates
| callbackSelfParameterPosition | Gets the parameter position representing a callback itself, if any. |
| decodeUnknownArgumentPosition | Gets an argument position corresponding to the unknown token |
| decodeUnknownContent | Gets a content corresponding to the unknown token |
| decodeUnknownParameterPosition | Gets a parameter position corresponding to the unknown token |
| decodeUnknownReturn | Gets a return kind corresponding to the unknown token |
| decodeUnknownWithContent | Gets a with-content corresponding to the unknown token |
| decodeUnknownWithoutContent | Gets a without-content corresponding to the unknown token |
| encodeArgumentPosition | Gets the textual representation of argument position |
| encodeContent | Gets the textual representation of content |
| encodeParameterPosition | Gets the textual representation of parameter position |
| encodeReturn | Gets the textual representation of return kind |
| encodeWithContent | Gets the textual representation of with-content |
| encodeWithoutContent | Gets the textual representation of without-content |
| getReturnValueKind | Gets the return kind corresponding to specification |
| getStandardReturnValueKind | Gets the return kind corresponding to specification |
| neutralElement | Holds if a neutral (MaD) model exists for |
Types
| SinkBase | A base class of elements that are candidates for flow sink modeling. |
| SourceBase | A base class of elements that are candidates for flow source modeling. |
| SummarizedCallableBase | A base class of callables that are candidates for flow summary modeling. |