public interface StateSplit extends NodeWithState
Modifier and Type | Method and Description |
---|---|
FixedNode |
asNode() |
boolean |
hasSideEffect()
Determines if this node has a side-effect.
|
void |
setStateAfter(FrameState x)
Sets the
FrameState corresponding to the state of the JVM after execution of this
node. |
FrameState |
stateAfter()
Gets the
FrameState corresponding to the state of the JVM after execution of this
node. |
states
FixedNode asNode()
asNode
in interface NodeInterface
FrameState stateAfter()
FrameState
corresponding to the state of the JVM after execution of this
node.void setStateAfter(FrameState x)
FrameState
corresponding to the state of the JVM after execution of this
node.boolean hasSideEffect()
FrameState
nodes.