CodeQL library for Java
codeql/java-all 0.4.0-dev (changelog, source)
Search

Class Public::SummaryComponentStack

A (non-empty) stack of summary components.

A stack is used to represent where data is read from (input) or where it is written to (output). For example, an input stack [Field f, Argument 0] means that data is read from field f from the 0th argument, while an output stack [Field g, Return] means that data is written to the field g of the returned object.

Import path

import semmle.code.java.dataflow.internal.FlowSummaryImpl

Direct supertypes

Predicates

bottom

Gets the bottom element of this stack.

contains

Holds if this stack contains summary component c.

drop

Gets the stack obtained by dropping the first i elements, if any.

head

Gets the head of this stack.

length

Gets the length of this stack.

tail

Gets the tail of this stack, if any.

toString

Gets a textual representation of this stack.