dk.brics.tajs.flowgraph.jsnodes

Class CatchNode

java.lang.Object

dk.brics.tajs.flowgraph.AbstractNode

dk.brics.tajs.flowgraph.jsnodes.Node

dk.brics.tajs.flowgraph.jsnodes.CatchNode

public class CatchNode
extends Node

Catch node.

catch(x)

Must be the first node in its block.

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
CatchNode(int value_reg, SourceLocation location) Construct a new catch node where the exception is stored in a register.
CatchNode(String varname, int scopeobj_reg, SourceLocation location) Constructs a new catch node where the exception is stored in a program variable.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	canThrowExceptions() Returns true if this node may throw exceptions.
void	check(BasicBlock b) Perform a consistency check of this node.
int	getScopeObjRegister() Returns the object to be added to the scope chain when entering the catch block, or AbstractNode.NO_VALUE if not using a program variable.
int	getValueRegister() Returns the result register, or AbstractNode.NO_VALUE if not using a register.
String	getVariableName() Returns the variable name, or null if not using a program variable.
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

getBlock, getDuplicateOf, getIndex, getSourceLocation, isArtificial, 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

CatchNode

public CatchNode(int value_reg,
         SourceLocation location)

Construct a new catch node where the exception is stored in a register. (Used for finally blocks.)

Parameters:

value_reg - Register with the exception value.

location - The source location.

CatchNode

public CatchNode(String varname,
         int scopeobj_reg,
         SourceLocation location)

Constructs a new catch node where the exception is stored in a program variable.

Parameters:

varname - The variable name.

scopeobj_reg - The object to be added to the scope chain when entering the catch block.

location - The source location.

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

check

public void check(BasicBlock b)

Description copied from class: AbstractNode

Perform a consistency check of this node. Default implementation does nothing.

Overrides:

check in class AbstractNode

Parameters:

b - basic block containing this node

getScopeObjRegister

public int getScopeObjRegister()

Returns the object to be added to the scope chain when entering the catch block, or AbstractNode.NO_VALUE if not using a program variable.

getValueRegister

public int getValueRegister()

Returns the result register, or AbstractNode.NO_VALUE if not using a register.

getVariableName

public String getVariableName()

Returns the variable name, or null if not using a program variable.

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