Module SourceSinkInterpretationInput

Import path

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

interpretInput	Provides additional source specification logic required for annotations.
interpretOutput	Provides additional sink specification logic required for annotations.
sinkElement	Holds if an external sink specification exists for `n` with input specification `input` and kind `kind`.
sourceElement	Holds if an external source specification exists for `n` with output specification `output` and kind `kind`.

An entity used to interpret a source/sink specification.

Element	A program element that has a name.
SourceOrSinkElement	A program element that has a name.