Predicate signature TypeTrackingInput::loadStep
Holds if nodeTo
is the result of accessing the content c
of nodeFrom
.
signature predicate loadStep(Node nodeFrom, LocalSourceNode nodeTo, Content c)
Holds if nodeTo
is the result of accessing the content c
of nodeFrom
.
signature predicate loadStep(Node nodeFrom, LocalSourceNode nodeTo, Content c)