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
)