Member predicate Routing::RouteSetup::MethodCall::isInstalledAt
Holds if this route setup targets router
and occurs at the given cfgNode
.
predicate isInstalledAt(Range router, ControlFlowNode cfgNode)
Holds if this route setup targets router
and occurs at the given cfgNode
.
predicate isInstalledAt(Range router, ControlFlowNode cfgNode)