dk.brics.tajs.flowgraph.jsnodes

Class TypeofNode

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

public class TypeofNode
extends LoadNode

Typeof node.

v_result = typeof v (for syntactic property references)
or
v_result = typeof x (for variables)

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
TypeofNode(int arg_reg, int result_reg, SourceLocation location) Constructs a new typeof node for a property reference.
TypeofNode(String varname, int result_reg, SourceLocation location) Constructs a new typeof node for a variable.

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	getArgRegister() Returns the argument register, or AbstractNode.NO_VALUE if not applicable.
String	getVariableName() Returns the source variable name, or null if not a variable.
boolean	isVariable() Returns true if the argument is a variable, false if it is a property reference.
void	setArgRegister(int arg_reg) Sets the argument 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.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

TypeofNode

public TypeofNode(int arg_reg,
          int result_reg,
          SourceLocation location)

Constructs a new typeof node for a property reference.

TypeofNode

public TypeofNode(String varname,
          int result_reg,
          SourceLocation location)

Constructs a new typeof node for a variable.

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()

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

getVariableName

public String getVariableName()

Returns the source variable name, or null if not a variable.

isVariable

public boolean isVariable()

Returns true if the argument is a variable, false if it is a property reference.

setArgRegister

public void setArgRegister(int arg_reg)

Sets the argument 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