com.oracle.truffle.js.parser

Class JavaScriptTranslator

java.lang.Object

com.oracle.js.parser.ir.visitor.TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

com.oracle.truffle.js.parser.JavaScriptTranslator

public final class JavaScriptTranslator
extends TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Field Summary

Fields

Modifier and Type	Field and Description
protected ScriptOrModule	activeScriptOrModule
protected List<String>	argumentNames
static String	ARGUMENTS
protected JSContext	context
static String	DIR__
static JavaScriptNode[]	EMPTY_NODE_ARRAY
protected NodeFactory	factory
static String	FILE__
static com.oracle.truffle.api.strings.TruffleString	GENERATOREXPR
static com.oracle.truffle.api.strings.TruffleString	GENERATORSTATE
static String	IMPORT
static String	IMPORT_META
static String	LINE__
protected int	prologLength
protected com.oracle.truffle.api.source.Source	source
protected int	sourceLength
static com.oracle.truffle.api.strings.TruffleString	SUPER_CALLED_TWICE
static com.oracle.truffle.api.strings.TruffleString	UNSUPPORTED_REFERENCE_TO_SUPER

Fields inherited from class com.oracle.js.parser.ir.visitor.TranslatorNodeVisitor

lc

Method Summary

Modifier and Type	Method and Description
JSFrameSlot	addGeneratorStateSlot(JSFrameDescriptor functionFrameDescriptor, com.oracle.truffle.api.frame.FrameSlotKind slotKind)
JavaScriptNode	enterAccessNode(AccessNode accessNode) Callback for entering an AccessNode
JavaScriptNode	enterBinaryNode(BinaryNode binaryNode) Callback for entering a BinaryNode
JavaScriptNode	enterBlock(Block block) Callback for entering a Block
JavaScriptNode	enterBlockExpression(BlockExpression blockExpression) Callback for entering a BlockExpression
JavaScriptNode	enterBlockStatement(BlockStatement blockStatement) Callback for entering a BlockStatement
JavaScriptNode	enterBreakNode(BreakNode breakNode) Callback for entering a BreakNode
JavaScriptNode	enterCallNode(CallNode callNode) Callback for entering a CallNode
JavaScriptNode	enterClassNode(ClassNode classNode) Callback for entering a ClassNode
JavaScriptNode	enterContinueNode(ContinueNode continueNode) Callback for entering a ContinueNode
JavaScriptNode	enterDebuggerNode(DebuggerNode debuggerNode) Callback for entering a DebuggerNode
protected JavaScriptNode	enterDefault(Node node) Override this method to do a double inheritance pattern, e.g.
JavaScriptNode	enterEmptyNode(EmptyNode emptyNode) Callback for entering an EmptyNode
JavaScriptNode	enterExpressionStatement(ExpressionStatement expressionStatement) Callback for entering an ExpressionStatement
JavaScriptNode	enterForNode(ForNode forNode) Callback for entering a ForNode
JavaScriptNode	enterFunctionNode(FunctionNode functionNode) Callback for entering a FunctionNode
JavaScriptNode	enterIdentNode(IdentNode identNode) Callback for entering an IdentNode
JavaScriptNode	enterIfNode(IfNode ifNode) Callback for entering an IfNode
JavaScriptNode	enterIndexNode(IndexNode indexNode) Callback for entering an IndexNode
JavaScriptNode	enterJoinPredecessorExpression(JoinPredecessorExpression expr) Callback for entering a JoinPredecessorExpression.
JavaScriptNode	enterLabelNode(LabelNode labelNode) Callback for entering a LabelNode
JavaScriptNode	enterLiteralNode(LiteralNode<?> literalNode) Callback for entering a LiteralNode
JavaScriptNode	enterObjectNode(ObjectNode objectNode) Callback for entering an ObjectNode
JavaScriptNode	enterParameterNode(ParameterNode paramNode) Callback for entering a ParameterNode
JavaScriptNode	enterReturnNode(ReturnNode returnNode) Callback for entering a ReturnNode
JavaScriptNode	enterSwitchNode(SwitchNode switchNode) Callback for entering a SwitchNode
JavaScriptNode	enterTemplateLiteralNode(TemplateLiteralNode templateLiteralNode) Callback for entering a TemplateLiteralNode
JavaScriptNode	enterTernaryNode(TernaryNode ternaryNode) Callback for entering a TernaryNode
JavaScriptNode	enterThrowNode(ThrowNode throwNode) Callback for entering a ThrowNode
JavaScriptNode	enterTryNode(TryNode tryNode) Callback for entering a TryNode
JavaScriptNode	enterUnaryNode(UnaryNode unaryNode) Callback for entering a UnaryNode
JavaScriptNode	enterVarNode(VarNode varNode) Callback for entering a VarNode
JavaScriptNode	enterWhileNode(WhileNode whileNode) Callback for entering a WhileNode
JavaScriptNode	enterWithNode(WithNode withNode) Callback for entering a WithNode
protected com.oracle.truffle.js.parser.GraalJSTranslator	newTranslator(Environment env, LexicalContext savedLC)
protected JavaScriptNode	transform(Node node)
protected JavaScriptNode	transformFunction(FunctionNode functionNode)
static ScriptNode	translateEvalScript(NodeFactory factory, JSContext context, com.oracle.truffle.api.source.Source source, boolean isParentStrict, DirectEvalContext directEval, ScriptOrModule activeScriptOrModule)
static ScriptNode	translateFunction(NodeFactory factory, JSContext context, Environment env, com.oracle.truffle.api.source.Source source, boolean isParentStrict, FunctionNode rootNode)
static ScriptNode	translateFunction(NodeFactory factory, JSContext context, Environment env, com.oracle.truffle.api.source.Source source, int prologLength, boolean isParentStrict, FunctionNode rootNode)
static ScriptNode	translateInlineScript(NodeFactory factory, JSContext context, Environment env, com.oracle.truffle.api.source.Source source, boolean isParentStrict, ScriptOrModule activeScriptOrModule)
static JSModuleData	translateModule(NodeFactory factory, JSContext context, com.oracle.truffle.api.source.Source source)
static ScriptNode	translateScript(NodeFactory factory, JSContext context, com.oracle.truffle.api.source.Source source, boolean isParentStrict, String prologue, String epilogue)
static ScriptNode	translateScript(NodeFactory factory, JSContext context, com.oracle.truffle.api.source.Source source, boolean isParentStrict, String prologue, String epilogue, List<String> argumentNames)

Methods inherited from class com.oracle.js.parser.ir.visitor.TranslatorNodeVisitor

enterCaseNode, enterCatchNode, enterClassElement, enterErrorNode, enterExportNode, enterExportSpecifierNode, enterFromNode, enterImportClauseNode, enterImportNode, enterImportSpecifierNode, enterNamedExportsNode, enterNamedImportsNode, enterNameSpaceImportNode, enterPropertyNode, getLexicalContext

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

SUPER_CALLED_TWICE

public static final com.oracle.truffle.api.strings.TruffleString SUPER_CALLED_TWICE

UNSUPPORTED_REFERENCE_TO_SUPER

public static final com.oracle.truffle.api.strings.TruffleString UNSUPPORTED_REFERENCE_TO_SUPER

LINE__

public static final String LINE__

See Also:

Constant Field Values

FILE__

public static final String FILE__

See Also:

Constant Field Values

DIR__

public static final String DIR__

See Also:

Constant Field Values

IMPORT

public static final String IMPORT

See Also:

Constant Field Values

IMPORT_META

public static final String IMPORT_META

See Also:

Constant Field Values

GENERATOREXPR

public static final com.oracle.truffle.api.strings.TruffleString GENERATOREXPR

GENERATORSTATE

public static final com.oracle.truffle.api.strings.TruffleString GENERATORSTATE

ARGUMENTS

public static final String ARGUMENTS

See Also:

Constant Field Values

EMPTY_NODE_ARRAY

public static final JavaScriptNode[] EMPTY_NODE_ARRAY

context

protected final JSContext context

factory

protected final NodeFactory factory

source

protected final com.oracle.truffle.api.source.Source source

argumentNames

protected final List<String> argumentNames

sourceLength

protected final int sourceLength

prologLength

protected final int prologLength

activeScriptOrModule

protected final ScriptOrModule activeScriptOrModule

Method Detail

translateScript

public static ScriptNode translateScript(NodeFactory factory,
                                         JSContext context,
                                         com.oracle.truffle.api.source.Source source,
                                         boolean isParentStrict,
                                         String prologue,
                                         String epilogue)

translateScript

public static ScriptNode translateScript(NodeFactory factory,
                                         JSContext context,
                                         com.oracle.truffle.api.source.Source source,
                                         boolean isParentStrict,
                                         String prologue,
                                         String epilogue,
                                         List<String> argumentNames)

translateEvalScript

public static ScriptNode translateEvalScript(NodeFactory factory,
                                             JSContext context,
                                             com.oracle.truffle.api.source.Source source,
                                             boolean isParentStrict,
                                             DirectEvalContext directEval,
                                             ScriptOrModule activeScriptOrModule)

translateInlineScript

public static ScriptNode translateInlineScript(NodeFactory factory,
                                               JSContext context,
                                               Environment env,
                                               com.oracle.truffle.api.source.Source source,
                                               boolean isParentStrict,
                                               ScriptOrModule activeScriptOrModule)

translateFunction

public static ScriptNode translateFunction(NodeFactory factory,
                                           JSContext context,
                                           Environment env,
                                           com.oracle.truffle.api.source.Source source,
                                           boolean isParentStrict,
                                           FunctionNode rootNode)

translateFunction

public static ScriptNode translateFunction(NodeFactory factory,
                                           JSContext context,
                                           Environment env,
                                           com.oracle.truffle.api.source.Source source,
                                           int prologLength,
                                           boolean isParentStrict,
                                           FunctionNode rootNode)

translateModule

public static JSModuleData translateModule(NodeFactory factory,
                                           JSContext context,
                                           com.oracle.truffle.api.source.Source source)

newTranslator

protected com.oracle.truffle.js.parser.GraalJSTranslator newTranslator(Environment env,
                                                                       LexicalContext savedLC)

transform

protected final JavaScriptNode transform(Node node)

transformFunction

protected final JavaScriptNode transformFunction(FunctionNode functionNode)

enterFunctionNode

public JavaScriptNode enterFunctionNode(FunctionNode functionNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a FunctionNode

Overrides:

enterFunctionNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

functionNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterReturnNode

public JavaScriptNode enterReturnNode(ReturnNode returnNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a ReturnNode

Overrides:

enterReturnNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

returnNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterBlock

public JavaScriptNode enterBlock(Block block)

Description copied from class: TranslatorNodeVisitor

Callback for entering a Block

Overrides:

enterBlock in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

block - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterBlockStatement

public JavaScriptNode enterBlockStatement(BlockStatement blockStatement)

Description copied from class: TranslatorNodeVisitor

Callback for entering a BlockStatement

Overrides:

enterBlockStatement in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

blockStatement - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterLiteralNode

public JavaScriptNode enterLiteralNode(LiteralNode<?> literalNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a LiteralNode

Overrides:

enterLiteralNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

literalNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterIdentNode

public JavaScriptNode enterIdentNode(IdentNode identNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering an IdentNode

Overrides:

enterIdentNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

identNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterVarNode

public JavaScriptNode enterVarNode(VarNode varNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a VarNode

Overrides:

enterVarNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

varNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterWhileNode

public JavaScriptNode enterWhileNode(WhileNode whileNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a WhileNode

Overrides:

enterWhileNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

whileNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterForNode

public JavaScriptNode enterForNode(ForNode forNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a ForNode

Overrides:

enterForNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

forNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterLabelNode

public JavaScriptNode enterLabelNode(LabelNode labelNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a LabelNode

Overrides:

enterLabelNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

labelNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterBreakNode

public JavaScriptNode enterBreakNode(BreakNode breakNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a BreakNode

Overrides:

enterBreakNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

breakNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterContinueNode

public JavaScriptNode enterContinueNode(ContinueNode continueNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a ContinueNode

Overrides:

enterContinueNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

continueNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterIfNode

public JavaScriptNode enterIfNode(IfNode ifNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering an IfNode

Overrides:

enterIfNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

ifNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterTernaryNode

public JavaScriptNode enterTernaryNode(TernaryNode ternaryNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a TernaryNode

Overrides:

enterTernaryNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

ternaryNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterUnaryNode

public JavaScriptNode enterUnaryNode(UnaryNode unaryNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a UnaryNode

Overrides:

enterUnaryNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

unaryNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

addGeneratorStateSlot

public JSFrameSlot addGeneratorStateSlot(JSFrameDescriptor functionFrameDescriptor,
                                         com.oracle.truffle.api.frame.FrameSlotKind slotKind)

enterCallNode

public JavaScriptNode enterCallNode(CallNode callNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a CallNode

Overrides:

enterCallNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

callNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterBinaryNode

public JavaScriptNode enterBinaryNode(BinaryNode binaryNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a BinaryNode

Overrides:

enterBinaryNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

binaryNode - the node

Returns:

processed node

enterAccessNode

public JavaScriptNode enterAccessNode(AccessNode accessNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering an AccessNode

Overrides:

enterAccessNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

accessNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterIndexNode

public JavaScriptNode enterIndexNode(IndexNode indexNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering an IndexNode

Overrides:

enterIndexNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

indexNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterObjectNode

public JavaScriptNode enterObjectNode(ObjectNode objectNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering an ObjectNode

Overrides:

enterObjectNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

objectNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterTryNode

public JavaScriptNode enterTryNode(TryNode tryNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a TryNode

Overrides:

enterTryNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

tryNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterThrowNode

public JavaScriptNode enterThrowNode(ThrowNode throwNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a ThrowNode

Overrides:

enterThrowNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

throwNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterSwitchNode

public JavaScriptNode enterSwitchNode(SwitchNode switchNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a SwitchNode

Overrides:

enterSwitchNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

switchNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterEmptyNode

public JavaScriptNode enterEmptyNode(EmptyNode emptyNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering an EmptyNode

Overrides:

enterEmptyNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

emptyNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterWithNode

public JavaScriptNode enterWithNode(WithNode withNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a WithNode

Overrides:

enterWithNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

withNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterTemplateLiteralNode

public JavaScriptNode enterTemplateLiteralNode(TemplateLiteralNode templateLiteralNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a TemplateLiteralNode

Overrides:

enterTemplateLiteralNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

templateLiteralNode - the node

enterDebuggerNode

public JavaScriptNode enterDebuggerNode(DebuggerNode debuggerNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a DebuggerNode

Overrides:

enterDebuggerNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

debuggerNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterExpressionStatement

public JavaScriptNode enterExpressionStatement(ExpressionStatement expressionStatement)

Description copied from class: TranslatorNodeVisitor

Callback for entering an ExpressionStatement

Overrides:

enterExpressionStatement in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

expressionStatement - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterJoinPredecessorExpression

public JavaScriptNode enterJoinPredecessorExpression(JoinPredecessorExpression expr)

Description copied from class: TranslatorNodeVisitor

Callback for entering a JoinPredecessorExpression.

Overrides:

enterJoinPredecessorExpression in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

expr - the join predecessor expression

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterClassNode

public JavaScriptNode enterClassNode(ClassNode classNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a ClassNode

Overrides:

enterClassNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

classNode - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterBlockExpression

public JavaScriptNode enterBlockExpression(BlockExpression blockExpression)

Description copied from class: TranslatorNodeVisitor

Callback for entering a BlockExpression

Overrides:

enterBlockExpression in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

blockExpression - the node

Returns:

true if traversal should continue and node children be traversed, false otherwise

enterParameterNode

public JavaScriptNode enterParameterNode(ParameterNode paramNode)

Description copied from class: TranslatorNodeVisitor

Callback for entering a ParameterNode

Overrides:

enterParameterNode in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

paramNode - the node

enterDefault

protected JavaScriptNode enterDefault(Node node)

Description copied from class: TranslatorNodeVisitor

Override this method to do a double inheritance pattern, e.g. avoid using

 if (x instanceof NodeTypeA) {
    ...
 } else if (x instanceof NodeTypeB) {
    ...
 } else {
    ...
 }
 

Use a NodeVisitor instead, and this method contents forms the else case.

Overrides:

enterDefault in class TranslatorNodeVisitor<LexicalContext,JavaScriptNode>

Parameters:

node - the node to visit

Returns:

true if traversal should continue and node children be traversed, false otherwise