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
)