Class Make::Private::RequiredSummaryComponentStack
A class that exists for QL technical reasons only (the IPA type used to represent component stacks needs to be bounded).
Import path
import codeql.dataflow.internal.FlowSummaryImplDirect supertypes
Indirect supertypes
Known direct subtypes
Predicates
| required | Holds if the stack obtained by pushing |