dk.brics.tajs.flowgraph.jsnodes

Class IfNode

java.lang.Object

dk.brics.tajs.flowgraph.AbstractNode

dk.brics.tajs.flowgraph.jsnodes.Node

dk.brics.tajs.flowgraph.jsnodes.IfNode

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class IfNode
extends Node

If node.

if (v_condition) {...} else {...}

Must be the last node in its block.

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
IfNode(int condition_reg, SourceLocation location) Constructs a new if node.

Method Summary

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	getConditionRegister() Returns the condition register.
BasicBlock	getSuccFalse() Returns the 'false' successor.
BasicBlock	getSuccTrue() Returns the 'true' successor.
void	setSuccessors(BasicBlock succ_true, BasicBlock succ_false) Sets the true/false successors.
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

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

IfNode

public IfNode(int condition_reg,
              SourceLocation location)

Constructs a new if node.

Parameters:

condition_reg - The condition register.

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

getConditionRegister

public int getConditionRegister()

Returns the condition register.

getSuccFalse

public BasicBlock getSuccFalse()

Returns the 'false' successor.

getSuccTrue

public BasicBlock getSuccTrue()

Returns the 'true' successor.

setSuccessors

public void setSuccessors(BasicBlock succ_true,
                          BasicBlock succ_false)

Sets the true/false successors.

Parameters:

succ_true - The basic block if the condition is true.

succ_false - The basic block if the condition is false.

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