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

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

Gets a textual representation of this element.

from Unit