Class IfNode

java.lang.Object

com.oracle.js.parser.ir.Node

com.oracle.js.parser.ir.Statement

com.oracle.js.parser.ir.IfNode

All Implemented Interfaces:

Terminal, Cloneable

public final class IfNode
extends Statement

IR representation for an IF statement.

Field Summary

Fields inherited from class com.oracle.js.parser.ir.Node

finish, start

Constructor Summary

Constructors

Constructor	Description
IfNode(int lineNumber, long token, int finish, Expression test, Block pass, Block fail)	Constructor

Method Summary

Modifier and Type	Method	Description
Node	accept(NodeVisitor<? extends LexicalContext> visitor)	Provides a means to navigate the IR.
<R> R	accept(TranslatorNodeVisitor<? extends LexicalContext,R> visitor)	Provides a means to navigate the IR.
Block	getFail()	Get the else block of this IfNode
Block	getPass()	Get the then block for this IfNode
Expression	getTest()	Get the test expression for this IfNode
boolean	isCompletionValueNeverEmpty()
boolean	isTerminal()	Is this a terminal statement, i.e.
IfNode	setTest(Expression test)	Reset the test expression for this IfNode
void	toString(StringBuilder sb, boolean printTypes)	Print logic that decides whether to show the optimistic type or not - for example it should not be printed after just parse, when it hasn't been computed, or has been set to a trivially provable value

Methods inherited from class com.oracle.js.parser.ir.Statement

getLineNumber, hasGoto, hasTerminalFlags

Methods inherited from class com.oracle.js.parser.ir.Node

clone, equals, getFinish, getSourceOrder, getStart, getToken, hashCode, isAssignment, isLoop, isTokenType, tokenType, toString, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

IfNode

public IfNode(int lineNumber,
 long token,
 int finish,
 Expression test,
 Block pass,
 Block fail)

Constructor

Parameters:

lineNumber - line number

token - token

finish - finish

test - test

pass - block to execute when test passes

fail - block to execute when test fails or null

Method Details

isTerminal

public boolean isTerminal()

Description copied from class: Statement

Is this a terminal statement, i.e. does it end control flow like a throw or return?

Specified by:

isTerminal in interface Terminal

Overrides:

isTerminal in class Statement

Returns:

true if this node statement is terminal

accept

public Node accept(NodeVisitor<? extends LexicalContext> visitor)

Description copied from class: Node

Provides a means to navigate the IR.

Specified by:

accept in class Node

Parameters:

visitor - Node visitor.

Returns:

node the node or its replacement after visitation, null if no further visitations are required

accept

public <R> R accept(TranslatorNodeVisitor<? extends LexicalContext,R> visitor)

Description copied from class: Node

Provides a means to navigate the IR.

Specified by:

accept in class Node

Parameters:

visitor - Node visitor.

Returns:

node the node or its replacement after visitation, null if no further visitations are required

toString

public void toString(StringBuilder sb,
 boolean printTypes)

Description copied from class: Node

Print logic that decides whether to show the optimistic type or not - for example it should not be printed after just parse, when it hasn't been computed, or has been set to a trivially provable value

Specified by:

toString in class Node

Parameters:

sb - string builder

printTypes - print type?

getFail

public Block getFail()

Get the else block of this IfNode

Returns:

the else block, or null if none exists

getPass

public Block getPass()

Get the then block for this IfNode

Returns:

the then block

getTest

public Expression getTest()

Get the test expression for this IfNode

Returns:

the test expression

setTest

public IfNode setTest(Expression test)

Reset the test expression for this IfNode

Parameters:

test - a new test expression

Returns:

new or same IfNode

isCompletionValueNeverEmpty

public boolean isCompletionValueNeverEmpty()

Overrides:

isCompletionValueNeverEmpty in class Statement

Returns:

true if the completion value of this statement is never the value empty