dk.brics.tajs.flowgraph.jsnodes

Class LeaveWithNode

java.lang.Object

dk.brics.tajs.flowgraph.AbstractNode

dk.brics.tajs.flowgraph.jsnodes.Node

dk.brics.tajs.flowgraph.jsnodes.LeaveWithNode

public class LeaveWithNode
extends Node

Leave-with node.

with(v) { ... }

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
LeaveWithNode(SourceLocation location) Constructs a new leave with node.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	canThrowExceptions() Returns true if this node may throw exceptions.
boolean	isArtificial() Returns true if this node is an artifact and should not appear in analysis messages.
String	toString() Returns a string description of this node.
<ArgType> void	visitBy(NodeVisitor<ArgType> v, ArgType a) 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, getBlock, getDuplicateOf, getIndex, getSourceLocation, isDead, isRegistersDone, setArtificial, setBlock, setDead, setDuplicateOf, setIndex, setRegistersDone

Methods inherited from class java.lang.Object

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

Constructor Detail

LeaveWithNode

public LeaveWithNode(SourceLocation location)

Constructs a new leave with 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

isArtificial

public boolean isArtificial()

Description copied from class: AbstractNode

Returns true if this node is an artifact and should not appear in analysis messages.

Overrides:

isArtificial in class AbstractNode

toString

public String toString()

Description copied from class: AbstractNode

Returns a string description of this node.

Specified by:

toString in class AbstractNode

visitBy

public <ArgType> void visitBy(NodeVisitor<ArgType> v,
                     ArgType a)

Description copied from class: Node

Visits this node with the given visitor.

Specified by:

visitBy in class Node