CodeQL library for Java
codeql/java-all 0.4.4 (changelog, source)
Search

Class Private::SummaryNodeState

A state used to break up (complex) flow summaries into atomic flow steps. For a flow summary

propagatesFlow(
  SummaryComponentStack input, SummaryComponentStack output, boolean preservesValue
)

the following states are used:

  • TSummaryNodeInputState(SummaryComponentStack s): this state represents that the components in s have been read from the input.
  • TSummaryNodeOutputState(SummaryComponentStack s): this state represents that the components in s remain to be written to the output.

Import path

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

Direct supertypes

Predicates

isInputState

Holds if this state is a valid input state for c.

isOutputState

Holds if this state is a valid output state for c.

toString

Gets a textual representation of this state.