Predicate TypeTracking::Cached::append
Gets the summary resulting from appending step
to type-tracking summary tt
.
Import path
import codeql.typetracking.internal.TypeTrackingImpl
TypeTracker append(TypeTracker tt, StepSummary step)
Gets the summary resulting from appending step
to type-tracking summary tt
.
import codeql.typetracking.internal.TypeTrackingImpl
TypeTracker append(TypeTracker tt, StepSummary step)