public interface CAstControlFlowMap
Modifier and Type | Field and Description |
---|---|
static CAstNode |
EXCEPTION_TO_EXIT
A distinguished target that means this control flow is the target of an
uncaught exception.
|
static Object |
SWITCH_DEFAULT
A distinguished label that means this control flow is the default target of
a switch (or case) statement as found in many procedural languages.
|
Modifier and Type | Method and Description |
---|---|
Collection<CAstNode> |
getMappedNodes()
Returns an iterator of all CAstNodes for which this map contains control
flow mapping information.
|
Collection |
getSourceNodes(CAstNode to)
Return a collection of control-flow ast nodes that have this one as a
possible target.
|
CAstNode |
getTarget(CAstNode from,
Object label)
Return the target ast node of the control-flow instruction denoted by from
with respect to the given label.
|
Collection<Object> |
getTargetLabels(CAstNode from)
Return a collection of all labels for which the control-flow ast node
from has a target. |
static final Object SWITCH_DEFAULT
static final CAstNode EXCEPTION_TO_EXIT
CAstNode getTarget(CAstNode from, Object label)
Collection<Object> getTargetLabels(CAstNode from)
from
has a target.Collection getSourceNodes(CAstNode to)
Collection<CAstNode> getMappedNodes()