A class that exists for QL technical reasons only (the IPA type used to represent component stacks needs to be bounded).
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImpl
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
required | Holds if the stack obtained by pushing |