Predicate SummaryComponentStack :: elementOf
Gets a stack representing Element of object.
Import path
import semmle.code.java.dataflow.FlowSummary
SummaryComponentStack
elementOf
(
SummaryComponentStack
object
)