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 0
th 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
Predicates
bottom |
Gets the bottom element of this stack. |
contains |
Holds if this stack contains summary component |
drop |
Gets the stack obtained by dropping the first |
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. |