Module Private::SummaryComponentStack

Provides predicates for constructing stacks of summary components.

Import path

import semmle.go.dataflow.internal.FlowSummaryImpl

fieldOf	Gets a stack representing a field `f` of `object`.
qualifier	Gets a singleton stack representing a qualifier.
return	Gets a singleton stack representing a (normal) return.

argument	Gets a singleton stack for an argument at position `pos`.
push	Gets the stack obtained by pushing `head` onto `tail`.
singleton	Gets a singleton stack containing `c`.