Predicate Public :: SummaryComponentStack :: push
Gets the stack obtained by pushing head onto tail.
Make sure to override RequiredSummaryComponentStack::required() in order
to ensure that the constructed stack exists.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImpl
SummaryComponentStack
push
(
SummaryComponent
head
,
SummaryComponentStack
tail
)