dk.brics.tajs.flowgraph.jsnodes

Class WritePropertyNode

java.lang.Object

dk.brics.tajs.flowgraph.AbstractNode

dk.brics.tajs.flowgraph.jsnodes.Node

dk.brics.tajs.flowgraph.jsnodes.WritePropertyNode

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class WritePropertyNode
extends Node

Write property node.

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

Also used for defining object literal properties and ES5 getters and setters.

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

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	WritePropertyNode.Kind

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
WritePropertyNode(int base_reg, int property_reg, int value_reg, boolean decl, SourceLocation location) Constructs a new write property node with variable property name.
WritePropertyNode(int base_reg, java.lang.String property_str, int value_reg, WritePropertyNode.Kind kind, boolean decl, SourceLocation location) Constructs a new write property node with fixed property name.

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	getBaseRegister() Returns the base register.
WritePropertyNode.Kind	getKind() Returns the kind.
int	getPropertyRegister() Returns the property register, or AbstractNode.NO_VALUE if not applicable.
java.lang.String	getPropertyString() Returns the property string, or null if not fixed.
int	getValueRegister() Returns the value register.
boolean	isDecl() Returns true if this node comes from a property declaration in an object literal.
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	setValueRegister(int value_reg) Sets the value register.
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

WritePropertyNode

public WritePropertyNode(int base_reg,
                         int property_reg,
                         int value_reg,
                         boolean decl,
                         SourceLocation location)

Constructs a new write property node with variable property name.

Parameters:

base_reg - The register for the base value.

property_reg - The register for the property value.

value_reg - The register for the value to write.

decl - If set, this operation comes from an object literal property declaration.

location - The source location.

WritePropertyNode

public WritePropertyNode(int base_reg,
                         java.lang.String property_str,
                         int value_reg,
                         WritePropertyNode.Kind kind,
                         boolean decl,
                         SourceLocation location)

Constructs a new write property node with fixed property name.

Parameters:

base_reg - The register for the base value.

property_str - The property string.

value_reg - The register holding the value to write.

kind - The kind of property being written.

decl - If set, this operation comes from an object literal property declaration.

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

getBaseRegister

public int getBaseRegister()

Returns the base register.

getKind

public WritePropertyNode.Kind getKind()

Returns the kind.

getPropertyRegister

public int getPropertyRegister()

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

getPropertyString

public java.lang.String getPropertyString()

Returns the property string, or null if not fixed.

getValueRegister

public int getValueRegister()

Returns the value register.

isDecl

public boolean isDecl()

Returns true if this node comes from a property declaration in an object literal.

isPropertyFixed

public boolean isPropertyFixed()

Returns true if the property is a fixed string.

setBaseRegister

public void setBaseRegister(int base_reg)

Sets the base register.

setPropertyRegister

public void setPropertyRegister(int property_reg)

Set the property register.

setValueRegister

public void setValueRegister(int value_reg)

Sets the value register.

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