dk.brics.tajs.flowgraph.jsnodes

Class EndLoopNode

java.lang.Object

dk.brics.tajs.flowgraph.AbstractNode

dk.brics.tajs.flowgraph.jsnodes.Node

dk.brics.tajs.flowgraph.jsnodes.EndLoopNode

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class EndLoopNode
extends Node

End-loop node.

Placed at every exit of the loop (for example, immediately after the false branch).

See Also:

Serialized Form

Field Summary

Fields inherited from class dk.brics.tajs.flowgraph.AbstractNode

EXCEPTION_REG, FIRST_ORDINARY_REG, NO_VALUE, RETURN_REG

Constructor Summary

Constructors

Constructor and Description
EndLoopNode(BeginLoopNode beginNode, SourceLocation location) Constructs a new end-loop node.

Method Summary

Modifier and Type	Method and Description
boolean	canThrowExceptions() Returns true if this node may throw exceptions.
BeginLoopNode	getBeginNode() Returns the associated begin-loop node.
java.lang.String	toString() Returns a string description of this node.
void	visitBy(NodeVisitor v) Visits this node with the given visitor.

Methods inherited from class dk.brics.tajs.flowgraph.jsnodes.Node

visitBy

Methods inherited from class dk.brics.tajs.flowgraph.AbstractNode

check, clone, getBlock, getDuplicateOf, getImplicitAfterCall, getIndex, getSourceLocation, getThisOrDuplicateOf, isArtificial, isRegistersDone, setArtificial, setBlock, setDuplicateOf, setImplicitAfterCall, setIndex, setRegistersDone, setSourceLocation

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

EndLoopNode

public EndLoopNode(BeginLoopNode beginNode,
                   SourceLocation location)

Constructs a new end-loop node.

Method Detail

canThrowExceptions

public boolean canThrowExceptions()

Description copied from class: AbstractNode

Returns true if this node may throw exceptions.

Specified by:

canThrowExceptions in class AbstractNode

getBeginNode

public BeginLoopNode getBeginNode()

Returns the associated begin-loop node.

toString

public java.lang.String toString()

Description copied from class: AbstractNode

Returns a string description of this node.

Specified by:

toString in class AbstractNode

visitBy

public void visitBy(NodeVisitor v)

Description copied from class: Node

Visits this node with the given visitor.

Specified by:

visitBy in class Node