CodeQL library for Java
codeql/java-all 0.4.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.code.java.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