CodeQL library for Python
codeql/python-all 1.0.1 (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

Known direct subtypes

    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