dk.brics.tajs.flowgraph.jsnodes

Class AssumeNode

java.lang.Object

dk.brics.tajs.flowgraph.AbstractNode

dk.brics.tajs.flowgraph.jsnodes.Node

dk.brics.tajs.flowgraph.jsnodes.AssumeNode

public class AssumeNode
extends Node

Assume node.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AssumeNode.Kind The different kinds of assume node.

Field Summary

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

EXCEPTION_REG, FIRST_ORDINARY_REG, NO_VALUE, RETURN_REG

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.
AbstractNode	getAccessNode() Returns the node where the property access occurred.
int	getBaseRegister() Returns the base register, or AbstractNode.NO_VALUE if not applicable.
AssumeNode.Kind	getKind() Returns the assume node kind.
int	getPropertyRegister() Returns the property register, or AbstractNode.NO_VALUE if not applicable.
String	getPropertyString() Returns the property string, or null if not fixed.
String	getVariableName() Returns the source variable name.
boolean	isPropertyFixed() Returns true if the property is a fixed string.
static AssumeNode	makePropertyNonNullUndef(AbstractNode access_node) Constructs a new assume node for "property value is not null/undefined" with variable property.
static AssumeNode	makeVariableNonNullUndef(String varname, SourceLocation location) Constructs a new assume node for "variable value is not null/undefined".
void	setBaseRegister(int base_reg) Sets the base register.
void	setPropertyRegister(int property_reg) Sets the property register.
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

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

getAccessNode

public AbstractNode getAccessNode()

Returns the node where the property access occurred.

getBaseRegister

public int getBaseRegister()

Returns the base register, or AbstractNode.NO_VALUE if not applicable.

getKind

public AssumeNode.Kind getKind()

Returns the assume node kind.

getPropertyRegister

public int getPropertyRegister()

Returns the property register, or AbstractNode.NO_VALUE if not applicable.

getPropertyString

public String getPropertyString()

Returns the property string, or null if not fixed.

getVariableName

public String getVariableName()

Returns the source variable name.

isPropertyFixed

public boolean isPropertyFixed()

Returns true if the property is a fixed string.

makePropertyNonNullUndef

public static AssumeNode makePropertyNonNullUndef(AbstractNode access_node)

Constructs a new assume node for "property value is not null/undefined" with variable property.

Parameters:

access_node - The access node.

Returns:

A new assume node for property value not null/undefined.

makeVariableNonNullUndef

public static AssumeNode makeVariableNonNullUndef(String varname,
                                  SourceLocation location)

Constructs a new assume node for "variable value is not null/undefined".

Parameters:

varname - The name of the variable.

location - The source location for the variable.

Returns:

A new assume node for varname at location.

setBaseRegister

public void setBaseRegister(int base_reg)

Sets the base register.

setPropertyRegister

public void setPropertyRegister(int property_reg)

Sets the property register.

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