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.python.dataflow.new.internal.FlowSummaryImpl

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.