com.oracle.js.parser.ir

Class WhileNode

java.lang.Object

com.oracle.js.parser.ir.Node

com.oracle.js.parser.ir.Statement

com.oracle.js.parser.ir.LoopNode

com.oracle.js.parser.ir.WhileNode

All Implemented Interfaces:

BreakableNode, LexicalContextNode, Terminal, Cloneable

public final class WhileNode
extends LoopNode

IR representation for a while statement. This is the superclass of all loop nodes

Field Summary

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

body, controlFlowEscapes, test

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

finish, start

Constructor Summary

Constructors

Constructor and Description
WhileNode(int lineNumber, long token, int finish, boolean isDoWhile, JoinPredecessorExpression test, Block body) Constructor

Method Summary

Modifier and Type	Method and Description
Node	accept(LexicalContext lc, NodeVisitor<? extends LexicalContext> visitor) Accept function for the node given a lexical context.
<R> R	accept(LexicalContext lc, TranslatorNodeVisitor<? extends LexicalContext,R> visitor)
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	getBody() Get the body for this for node
boolean	hasGoto() Check if this statement repositions control flow with goto like semantics, for example BreakNode or a ForNode with no test
boolean	hasPerIterationScope() Does this loop have a LET declaration and hence require a per-iteration scope?
boolean	isBreakableWithoutLabel() Check whether this can be broken out from without using a label, e.g.
boolean	isDoWhile() Check if this is a do while loop or a normal while loop
boolean	mustEnter() Conservative check: does this loop have to be entered?
WhileNode	setBody(LexicalContext lc, Block body)
WhileNode	setControlFlowEscapes(LexicalContext lc, boolean controlFlowEscapes) Set the control flow escapes flag for this node.
WhileNode	setTest(LexicalContext lc, JoinPredecessorExpression test) Set the test for this for node
void	toString(StringBuilder sb, boolean printType) 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.LoopNode

getTest, isCompletionValueNeverEmpty, isLoop, isTerminal

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

getLineNumber, hasTerminalFlags

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

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.oracle.js.parser.ir.LexicalContextNode

accept, accept

Constructor Detail

WhileNode

public WhileNode(int lineNumber,
                 long token,
                 int finish,
                 boolean isDoWhile,
                 JoinPredecessorExpression test,
                 Block body)

Constructor

Parameters:

lineNumber - line number

token - token

finish - finish

isDoWhile - is this a do while loop?

test - test expression

body - body of the while loop

Method Detail

hasGoto

public boolean hasGoto()

Description copied from class: Statement

Check if this statement repositions control flow with goto like semantics, for example BreakNode or a ForNode with no test

Overrides:

hasGoto in class Statement

Returns:

true if statement has goto semantics

accept

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

Description copied from interface: LexicalContextNode

Accept function for the node given a lexical context. It must be prepared to replace itself if present in the lexical context

Parameters:

lc - lexical context

visitor - node visitor

Returns:

new node or same node depending on state change

accept

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

setTest

public WhileNode setTest(LexicalContext lc,
                         JoinPredecessorExpression test)

Description copied from class: LoopNode

Set the test for this for node

Specified by:

setTest in class LoopNode

Parameters:

lc - lexical context

test - new test

Returns:

same or new node depending on if test was changed

getBody

public Block getBody()

Description copied from class: LoopNode

Get the body for this for node

Specified by:

getBody in class LoopNode

Returns:

the body

setBody

public WhileNode setBody(LexicalContext lc,
                         Block body)

Specified by:

setBody in class LoopNode

Parameters:

lc - lexical context

body - new body

Returns:

new for node if changed or existing if not

setControlFlowEscapes

public WhileNode setControlFlowEscapes(LexicalContext lc,
                                       boolean controlFlowEscapes)

Description copied from class: LoopNode

Set the control flow escapes flag for this node.

Specified by:

setControlFlowEscapes in class LoopNode

Parameters:

lc - lexical context

controlFlowEscapes - control flow escapes value

Returns:

new loop node if changed otherwise the same

isDoWhile

public boolean isDoWhile()

Check if this is a do while loop or a normal while loop

Returns:

true if do while

toString

public void toString(StringBuilder sb,
                     boolean printType)

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

printType - print type?

mustEnter

public boolean mustEnter()

Description copied from class: LoopNode

Conservative check: does this loop have to be entered?

Specified by:

mustEnter in class LoopNode

Returns:

true if body will execute at least once

hasPerIterationScope

public boolean hasPerIterationScope()

Description copied from class: LoopNode

Does this loop have a LET declaration and hence require a per-iteration scope?

Specified by:

hasPerIterationScope in class LoopNode

Returns:

true if a per-iteration scope is required.

isBreakableWithoutLabel

public boolean isBreakableWithoutLabel()

Check whether this can be broken out from without using a label, e.g. everything but Blocks, basically

Specified by:

isBreakableWithoutLabel in interface BreakableNode

Returns:

true if breakable without label

accept

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

Description copied from class: Node

Provides a means to navigate the IR.

Specified by:

accept in interface LexicalContextNode

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 final <R> R accept(TranslatorNodeVisitor<? extends LexicalContext,R> visitor)

Description copied from class: Node

Provides a means to navigate the IR.

Specified by:

accept in interface LexicalContextNode

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