CodeQL library for C/C++
codeql/cpp-all 3.0.1-dev (changelog, source)
Search

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.FlowSummaryImpl

Direct supertypes

Indirect supertypes

Predicates

required

Holds if the stack obtained by pushing head onto tail is required.

Inherited predicates

toString

Gets a textual representation of this element.

from Unit