CodeQL library for Java
codeql/java-all 0.5.5 ( 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