dk.brics.tajs.flowgraph.jsnodes

Class ReadPropertyNode

java.lang.Object

dk.brics.tajs.flowgraph.AbstractNode

dk.brics.tajs.flowgraph.jsnodes.Node

dk.brics.tajs.flowgraph.jsnodes.LoadNode

dk.brics.tajs.flowgraph.jsnodes.ReadPropertyNode

All Implemented Interfaces:

IPropertyNode

public class ReadPropertyNode
extends LoadNode
implements IPropertyNode

Read property node.

v_result = v_base.property
or
v_result = v_base[v_property]

Note that reading a property may overwrite the base register due to ToObject coercion.

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
ReadPropertyNode(int base_reg, int property_reg, int result_reg, SourceLocation location) Constructs a new read property node with variable property name.
ReadPropertyNode(int base_reg, String property_str, int result_reg, SourceLocation location) Constructs a new read property node with fixed property name.

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	getBaseRegister() Returns the base register.
int	getPropertyRegister() Returns the property register, or AbstractNode.NO_VALUE if not applicable.
String	getPropertyString() Returns the property string, or null if not fixed.
boolean	isPropertyFixed() Returns true if the property is a fixed string.
void	setBaseRegister(int base_reg) Sets the base register.
void	setPropertyRegister(int property_reg) Set the property register.
void	setPropertyString(String property_str) Sets the property string.
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.LoadNode

getResultRegister

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

ReadPropertyNode

public ReadPropertyNode(int base_reg,
                int property_reg,
                int result_reg,
                SourceLocation location)

Constructs a new read property node with variable property name.

ReadPropertyNode

public ReadPropertyNode(int base_reg,
                String property_str,
                int result_reg,
                SourceLocation location)

Constructs a new read property node with fixed property name.

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

getBaseRegister

public int getBaseRegister()

Description copied from interface: IPropertyNode

Returns the base register.

Specified by:

getBaseRegister in interface IPropertyNode

getPropertyRegister

public int getPropertyRegister()

Description copied from interface: IPropertyNode

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

Specified by:

getPropertyRegister in interface IPropertyNode

getPropertyString

public String getPropertyString()

Description copied from interface: IPropertyNode

Returns the property string, or null if not fixed.

Specified by:

getPropertyString in interface IPropertyNode

isPropertyFixed

public boolean isPropertyFixed()

Description copied from interface: IPropertyNode

Returns true if the property is a fixed string.

Specified by:

isPropertyFixed in interface IPropertyNode

setBaseRegister

public void setBaseRegister(int base_reg)

Description copied from interface: IPropertyNode

Sets the base register.

Specified by:

setBaseRegister in interface IPropertyNode

setPropertyRegister

public void setPropertyRegister(int property_reg)

Description copied from interface: IPropertyNode

Set the property register.

Specified by:

setPropertyRegister in interface IPropertyNode

setPropertyString

public void setPropertyString(String property_str)

Description copied from interface: IPropertyNode

Sets the property string.

Specified by:

setPropertyString in interface IPropertyNode

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