Member predicate ControlFlowNode :: refersTo
Gets what this flow node might “refer-to”. Performs a combination of localized (intra-procedural) points-to
analysis and global module-level analysis. This points-to analysis favours precision over recall. It is highly
precise, but may not provide information for a significant number of flow-nodes.
If the class is unimportant then use refersTo(value)
or refersTo(value, origin)
instead.
predicate
refersTo
(
Object
obj
,
ClassObject
cls
,
ControlFlowNode
origin
)