dk.brics.tajs.flowgraph.jsnodes

Class CallNode

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.CallNode

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class CallNode
extends LoadNode

Call/construct node.

v_result = [new] [v_base.] v_function(v₀,...,v_n)

Note that v_function represents the function value (not the property name), and v_base represents the base object (or AbstractNode.NO_VALUE if absent).

The function may be given as a property name (fixed or computed) instead of a register.

Must be the only node in its block. The block must have precisely one successor.

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	CallNode.LiteralConstructorKinds This information is syntactic and allows us to: 1) distinguish between [4] and Array(4) for the case where Array gets precisely one numeric argument.

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
CallNode(boolean constructor, int result_reg, int base_reg, int function_reg, java.util.List<java.lang.Integer> arg_regs, SourceLocation location) Constructs a new call/construct node.
CallNode(boolean constructor, int result_reg, int base_reg, int property_reg, java.lang.String property_str, java.util.List<java.lang.Integer> arg_regs, SourceLocation location) Constructs a new call/construct node with a property read.
CallNode(CallNode.LiteralConstructorKinds literalConstructorKind, int result_reg, int base_reg, int function_reg, java.util.List<java.lang.Integer> arg_regs, SourceLocation location) Constructs a new construct call node for a literal object.
CallNode(int result_reg, TAJSFunctionName tajsFunctionName, java.util.List<java.lang.Integer> arg_regs, SourceLocation location) Constructs a new call/construct node for a TAJS_* function.

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	getArgRegister(int i) Returns the given argument register.
int	getBaseRegister() Returns the base register.
int	getFunctionRegister() Returns the function register, or AbstractNode.NO_VALUE if not applicable.
CallNode.LiteralConstructorKinds	getLiteralConstructorKind()
int	getNumberOfArgs() Returns the number of arguments.
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.
TAJSFunctionName	getTajsFunctionName() Returns the name of the TAJS_* function to call, or null.
boolean	isConstructorCall() Checks whether this is a constructor call or an ordinary call.
boolean	isPropertyFixed() Returns true if the property is a fixed string.
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.LoadNode

getResultRegister

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

CallNode

public CallNode(boolean constructor,
                int result_reg,
                int base_reg,
                int function_reg,
                java.util.List<java.lang.Integer> arg_regs,
                SourceLocation location)

Constructs a new call/construct node.

Parameters:

constructor - Is this a constructor.

result_reg - The register for the result.

base_reg - The base object register.

function_reg - The function register.

arg_regs - The argument registers as a list.

location - The source location.

CallNode

public CallNode(boolean constructor,
                int result_reg,
                int base_reg,
                int property_reg,
                java.lang.String property_str,
                java.util.List<java.lang.Integer> arg_regs,
                SourceLocation location)

Constructs a new call/construct node with a property read.

Parameters:

constructor - Is this a constructor.

result_reg - The register for the result.

base_reg - The base object register.

property_reg - The property register, if not fixed property name.

property_str - The property, if fixed-string property name

arg_regs - The argument registers as a list.

location - The source location.

CallNode

public CallNode(CallNode.LiteralConstructorKinds literalConstructorKind,
                int result_reg,
                int base_reg,
                int function_reg,
                java.util.List<java.lang.Integer> arg_regs,
                SourceLocation location)

Constructs a new construct call node for a literal object.

Parameters:

literalConstructorKind - the kind of literal constructor being invoked.

result_reg - The register for the result.

base_reg - The base object register.

function_reg - The function register.

arg_regs - The argument registers as a list.

location - The source location.

CallNode

public CallNode(int result_reg,
                TAJSFunctionName tajsFunctionName,
                java.util.List<java.lang.Integer> arg_regs,
                SourceLocation location)

Constructs a new call/construct node for a TAJS_* function.

Parameters:

result_reg - The register for the result.

tajsFunctionName - The TAJS_* function.

arg_regs - The argument registers as a list.

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

getArgRegister

public int getArgRegister(int i)

Returns the given argument register. Counts from 0.

getBaseRegister

public int getBaseRegister()

Returns the base register. Variable number AbstractNode.NO_VALUE represents absent value (implicitly the global object).

getFunctionRegister

public int getFunctionRegister()

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

getLiteralConstructorKind

public CallNode.LiteralConstructorKinds getLiteralConstructorKind()

getNumberOfArgs

public int getNumberOfArgs()

Returns the number of arguments.

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.

getTajsFunctionName

public TAJSFunctionName getTajsFunctionName()

Returns the name of the TAJS_* function to call, or null.

isConstructorCall

public boolean isConstructorCall()

Checks whether this is a constructor call or an ordinary call.

isPropertyFixed

public boolean isPropertyFixed()

Returns true if the property is a fixed string.

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