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
Predicates
| required | Holds if the stack obtained by pushing |