Member predicate ControlFlowNode :: refersTo
Gets what this expression might “refer-to” in the given context
.
predicate
refersTo
(
Context
context
,
Object
obj
,
ClassObject
cls
,
ControlFlowNode
origin
)