dk.brics.tajs.flowgraph

Class AbstractNode

java.lang.Object

dk.brics.tajs.flowgraph.AbstractNode

Direct Known Subclasses:

Node

public abstract class AbstractNode
extends Object

Abstract base class for all nodes.

Field Summary

Fields

Modifier and Type	Field and Description
static int	EXCEPTION_REG Register number used for exception values.
static int	FIRST_ORDINARY_REG First register number used for ordinary values.
static int	NO_VALUE Register number used for absent values.
static int	RETURN_REG Register number used for return values.

Constructor Summary

Constructors

Constructor and Description
AbstractNode(SourceLocation location) Constructs a new node.

Method Summary

Methods

Modifier and Type	Method and Description
abstract boolean	canThrowExceptions() Returns true if this node may throw exceptions.
void	check(BasicBlock b) Perform a consistency check of this node.
BasicBlock	getBlock() Returns the block containing this node.
AbstractNode	getDuplicateOf() Returns the node that this node is a duplicate of, or null if this is not a duplicate.
int	getIndex() Returns the node index.
SourceLocation	getSourceLocation() Returns the source location.
boolean	isArtificial() Returns true if this node is an artifact and should not appear in analysis messages.
boolean	isDead() Returns true if this operation is known to have no effect on the program behavior.
boolean	isRegistersDone() Returns the registers done flag.
void	setArtificial() Marks this operation as an artifact that should not appear in analysis messages.
void	setBlock(BasicBlock block) Sets the basic block containing this node.
void	setDead() Marks this operation as a known to have no effect on the program behavior.
void	setDuplicateOf(AbstractNode other) Marks that this node is a duplicate of the given node.
void	setIndex(int index) Sets the node index.
void	setRegistersDone(boolean registers_done) Sets the registers done flag.
abstract String	toString() Returns a string description of this node.
abstract <ArgType> void	visitBy(AbstractNodeVisitor<ArgType> v, ArgType a) Visits this node with the given visitor.

Methods inherited from class java.lang.Object

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

Field Detail

EXCEPTION_REG

public static final int EXCEPTION_REG

Register number used for exception values.

See Also:

Constant Field Values

FIRST_ORDINARY_REG

public static final int FIRST_ORDINARY_REG

First register number used for ordinary values.

See Also:

Constant Field Values

NO_VALUE

public static final int NO_VALUE

Register number used for absent values.

See Also:

Constant Field Values

RETURN_REG

public static final int RETURN_REG

Register number used for return values.

See Also:

Constant Field Values

Constructor Detail

AbstractNode

public AbstractNode(SourceLocation location)

Constructs a new node.

Method Detail

canThrowExceptions

public abstract boolean canThrowExceptions()

Returns true if this node may throw exceptions.

check

public void check(BasicBlock b)

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

Parameters:

b - basic block containing this node

getBlock

public BasicBlock getBlock()

Returns the block containing this node.

getDuplicateOf

public AbstractNode getDuplicateOf()

Returns the node that this node is a duplicate of, or null if this is not a duplicate.

getIndex

public int getIndex()

Returns the node index. The node index uniquely identifies the node within the flow graph.

getSourceLocation

public SourceLocation getSourceLocation()

Returns the source location.

isArtificial

public boolean isArtificial()

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

isDead

public boolean isDead()

Returns true if this operation is known to have no effect on the program behavior.

isRegistersDone

public boolean isRegistersDone()

Returns the registers done flag.

Returns:

true if all ordinary registers can be considered dead at the end of this block

setArtificial

public void setArtificial()

Marks this operation as an artifact that should not appear in analysis messages.

setBlock

public void setBlock(BasicBlock block)

Sets the basic block containing this node.

setDead

public void setDead()

Marks this operation as a known to have no effect on the program behavior.

setDuplicateOf

public void setDuplicateOf(AbstractNode other)

Marks that this node is a duplicate of the given node.

setIndex

public void setIndex(int index)

Sets the node index. Called when the node is added to a flow graph. Should not be changed subsequently.

setRegistersDone

public void setRegistersDone(boolean registers_done)

Sets the registers done flag.

Parameters:

registers_done - true if all ordinary registers can be considered dead at the end of this block

toString

public abstract String toString()

Returns a string description of this node.

Overrides:

toString in class Object

visitBy

public abstract <ArgType> void visitBy(AbstractNodeVisitor<ArgType> v,
                     ArgType a)

Visits this node with the given visitor.