Module Input

Import path

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

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.

A callable that may have a flow summary. This is either a regular Callable or a SyntheticCallable.