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.csharp.dataflow.internal.FlowSummaryImpl

Direct supertypes

TSummaryComponentStack

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.