Module Input

Import path

import semmle.code.java.dataflow.internal.FlowSummaryImpl

callableFromSource	Holds if `c` is defined in source code.
callbackSelfParameterPosition	Gets the parameter position representing a callback itself, if any.
decodeUnknownArgumentPosition	Gets an argument position corresponding to the unknown token `token`.
decodeUnknownParameterPosition	Gets a parameter position corresponding to the unknown token `token`.
encodeArgumentPosition	Gets the textual representation of argument position `pos` used in MaD.
encodeContent	Gets the textual representation of content `c` used in MaD.
encodeParameterPosition	Gets the textual representation of parameter position `pos` used in MaD.
encodeWithContent	Gets the textual representation of with-content `c` used in MaD.
encodeWithoutContent	Gets the textual representation of without-content `c` used in MaD.
getStandardReturnValueKind	Gets the return kind corresponding to specification `"ReturnValue"`.
neutralElement	Holds if a neutral (MaD) model exists for `c` of kind `kind` with provenance `provenance` and `isExact` is true if the model signature matches `c` exactly - otherwise false.

FlowSummaryCallBase	The trivial empty type.
SinkBase	The trivial empty type.
SourceBase	The trivial empty type.
SummarizedCallableBase	A callable that may have a flow summary. This is either a regular `Callable` or a `SyntheticCallable`.