CodeQL library for Python
codeql/python-all 0.6.4 (changelog, source)
Search

Class Public::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 semmle.python.dataflow.new.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