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.FlowSummaryImplDirect supertypes
Indirect supertypes
Known direct subtypes
Predicates
| required | Holds if the stack obtained by pushing |