Class JavaCAst2IRTranslator

java.lang.Object

com.ibm.wala.cast.tree.visit.CAstVisitor<AstTranslator.WalkContext>

com.ibm.wala.cast.ir.translator.AstTranslator

com.ibm.wala.cast.java.translator.JavaCAst2IRTranslator

All Implemented Interfaces:

ArrayOpHandler, TranslatorToIR

public class JavaCAst2IRTranslator
extends AstTranslator

Nested Class Summary

Nested classes/interfaces inherited from class AstTranslator

AstTranslator.AbstractScope, AstTranslator.AbstractSymbol, AstTranslator.AstCFG, AstTranslator.AstLexicalInformation, AstTranslator.CodeEntityContext, AstTranslator.FinalCAstSymbol, AstTranslator.IncipientCFG, AstTranslator.InternalCAstSymbol, AstTranslator.PreBasicBlock, AstTranslator.RootContext, AstTranslator.Scope, AstTranslator.ScopeType, AstTranslator.Symbol, AstTranslator.TypeContext, AstTranslator.UnwindState, AstTranslator.WalkContext

Modifier and Type	Class	Description
class	AstTranslator.AbstractScope
static class	AstTranslator.AbstractSymbol
protected static final class	AstTranslator.AstCFG	data structure for the final CFG for a method, based on the information in an AstTranslator.IncipientCFG
static class	AstTranslator.AstLexicalInformation	lexical access information for some entity scope.
class	AstTranslator.CodeEntityContext
protected static class	AstTranslator.FinalCAstSymbol
final class	AstTranslator.IncipientCFG	holds the control-flow graph as it is being constructed.
static class	AstTranslator.InternalCAstSymbol
protected static final class	AstTranslator.PreBasicBlock	basic block implementation used in the CFGs constructed during the IR-generating AST traversal
final class	AstTranslator.RootContext
static interface	AstTranslator.Scope	a scope in the symbol table built during AST traversal
static enum	AstTranslator.ScopeType
protected static interface	AstTranslator.Symbol	interface for name information stored in a symbol table.
protected final class	AstTranslator.TypeContext
protected static final class	AstTranslator.UnwindState
static interface	AstTranslator.WalkContext

Nested classes/interfaces inherited from class CAstVisitor

CAstVisitor.Context

Modifier and Type	Class	Description
static interface	CAstVisitor.Context	This interface represents a visitor-specific context.

Field Summary

Fields inherited from class AstTranslator

DEBUG_ALL, DEBUG_CFG, DEBUG_LEXICAL, DEBUG_NAMES, DEBUG_TOP, entity2ExposedNames, entity2WrittenNames, insts, loader, namedEntityResolver

Modifier and Type	Field	Description
static final boolean	DEBUG_ALL
static final boolean	DEBUG_CFG
static final boolean	DEBUG_LEXICAL
static final boolean	DEBUG_NAMES
static final boolean	DEBUG_TOP
protected Map<CAstEntity, Set<String>>	entity2ExposedNames
protected Map<CAstEntity, Set<Pair<CAstEntity, String>>>	entity2WrittenNames
protected final SSAInstructionFactory	insts
protected final IClassLoader	loader
protected final Map<Object, CAstEntity>	namedEntityResolver	for handling languages that let you include other source files named statically (e.g., ABAP)

Fields inherited from class CAstVisitor

currentPosition

Modifier and Type	Field	Description
protected CAstSourcePositionMap.Position	currentPosition

Constructor Summary

Constructors

Constructor	Description
JavaCAst2IRTranslator(ModuleEntry module, CAstEntity sourceFileEntity, JavaSourceLoaderImpl loader, StringFilter exclusions)

Method Summary

Modifier and Type	Method	Description
protected String	composeEntityName(AstTranslator.WalkContext parent, CAstEntity f)	create the language-appropriate name for f
protected void	declareFunction(CAstEntity N, AstTranslator.WalkContext definingContext)	declare a new function, represented by N
protected TypeReference	defaultCatchType()	for a block that catches all exceptions, what is the root exception type that it can catch? E.g., for Java, java.lang.Throwable
protected void	defineField(CAstEntity topEntity, AstTranslator.WalkContext definingContext, CAstEntity n)	define a new field fieldEntity within topEntity
protected void	defineFunction(CAstEntity N, AstTranslator.WalkContext definingContext, AbstractCFG<SSAInstruction, ? extends IBasicBlock<SSAInstruction>> cfg, SymbolTable symtab, boolean hasCatchBlock, Map<IBasicBlock<SSAInstruction>, Set<TypeReference>> caughtTypes, boolean hasMonitorOp, AstTranslator.AstLexicalInformation lexicalInfo, AstMethod.DebuggingInformation debugInfo)	fully define a function.
protected boolean	defineType(CAstEntity type, AstTranslator.WalkContext wc)	define a new (presumably nested) type.
void	doArrayRead(AstTranslator.WalkContext context, int result, int arrayValue, CAstNode arrayRefNode, int[] dimValues)	generate IR for a CAst array read, updating context.cfg()
void	doArrayWrite(AstTranslator.WalkContext context, int arrayValue, CAstNode arrayRefNode, int[] dimValues, int rval)	generate IR for a CAst array write, updating context.cfg()
protected void	doCall(AstTranslator.WalkContext context, CAstNode call, int result, int exception, CAstNode name, int receiver, int[] arguments)	generate IR for a CAst method call expression, updating context.cfg()
protected void	doFieldRead(AstTranslator.WalkContext context, int result, int receiver, CAstNode elt, CAstNode parent)	generate IR for a CAst field read, updating context.cfg()
protected void	doFieldWrite(AstTranslator.WalkContext context, int receiver, CAstNode elt, CAstNode parent, int rval)	generate IR for a CAst field write, updating context.cfg()
protected void	doGlobalWrite(AstTranslator.WalkContext context, String name, TypeReference type, int rval)	generate instructions for a write of a global
protected void	doMaterializeFunction(CAstNode n, AstTranslator.WalkContext context, int result, int exception, CAstEntity fn)	generate IR for a CAst function expression, updating context.cfg()
protected void	doNewObject(AstTranslator.WalkContext context, CAstNode newNode, int result, Object type, int[] arguments)	generate IR for a CAst new expression, updating context.cfg()
protected void	doPrimitive(int resultVal, AstTranslator.WalkContext context, CAstNode primitiveCall)	generate IR for call modeling creation of primitive value, updating context.cfg()
protected void	doThrow(AstTranslator.WalkContext context, int exception)	generate IR for a CAst throw expression, updating context.cfg()
protected boolean	doVisit(CAstNode n, AstTranslator.WalkContext wc, CAstVisitor<AstTranslator.WalkContext> visitor)	Node processing hook; sub-classes are expected to override if they introduce new node types.
protected CAstType	exceptionType()	the most-general exception type for the language being translated
protected CAstSourcePositionMap.Position[]	getParameterPositions(CAstEntity n)
protected boolean	hasImplicitGlobals()	If this returns true, new global declarations get created for any attempt to access a non-existent variable (believe it or not, JavaScript actually does this!)
protected void	leaveCast(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Cast node.
protected void	leaveInstanceOf(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an InstanceOf node.
protected void	leaveThis(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a This node.
JavaSourceLoaderImpl	loader()
protected TypeReference	makeType(CAstType type)
CAstEntity	sourceFileEntity()
protected CAstType	topType()	the most-general type for the language being translated
void	translate()
protected boolean	treatGlobalsAsLexicallyScoped()	can lexical reads / writes access globals?
protected boolean	useDefaultInitValues()	does the language care about using type-appropriate default values? For Java, the answer is yes (ints should get a default value of 0, null for pointers, etc.).
protected boolean	visitCast(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Cast node.
protected boolean	visitInstanceOf(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an InstanceOf node.

Methods inherited from class AstTranslator

assignValue, closeFunctionEntity, doGlobalRead, doIsFieldDefined, doLexicallyScopedRead, doLexicallyScopedWrite, doLocalRead, doLocalWrite, doPrologue, enterEntity, getArgumentCount, getArgumentNames, getCodeContext, getIncludedEntity, getTypeForNode, handleUnspecifiedLiteralKey, hasSpecialUndeclaredVariables, ignoreName, initFunctionEntity, isExceptionLabel, leaveArrayLength, leaveArrayLiteral, leaveArrayLiteralInitElement, leaveArrayLiteralObject, leaveArrayRef, leaveArrayRefAssign, leaveArrayRefAssignOp, leaveAssert, leaveAssign, leaveBinaryExpr, leaveBlockExpr, leaveBlockExprAssign, leaveBlockExprAssignOp, leaveBlockStmt, leaveCall, leaveCatch, leaveConstant, leaveDeclStmt, leaveEachElementGet, leaveEachElementHasNext, leaveEcho, leaveEmpty, leaveFieldEntity, leaveFileEntity, leaveFunctionEntity, leaveFunctionExpr, leaveFunctionStmt, leaveGetCaughtException, leaveGlobalEntity, leaveGoto, leaveIfExpr, leaveIfExprCondition, leaveIfExprTrueClause, leaveIfgoto, leaveIfStmt, leaveIfStmtCondition, leaveIfStmtTrueClause, leaveInclude, leaveIsDefinedExpr, leaveLabelStmt, leaveLocalScope, leaveLoop, leaveLoopHeader, leaveNew, leaveObjectLiteral, leaveObjectLiteralFieldInit, leaveObjectRef, leaveObjectRefAssign, leaveObjectRefAssignOp, leavePrimitive, leaveReturn, leaveScriptEntity, leaveSpecialParentScope, leaveSuper, leaveSwitch, leaveSwitchValue, leaveThrow, leaveTry, leaveTryBlock, leaveTypeEntity, leaveTypeLiteralExpr, leaveUnaryExpr, leaveUnwind, leaveVar, leaveVarAssign, leaveVarAssignOp, leaveVoid, leaveYield, liftDeclarationsForLexicalScoping, makeCodeContext, makeFileContext, makeGlobalRef, makeLocalContext, makeNameMap, makeScriptScope, makeSpecialParentContext, makeTypeContext, makeTypeScope, makeUnwindContext, processAssignOp, processFunctionExpr, processIf, setDefaultValue, topLevelFunctionsInGlobalScope, translate, translate, translateBinaryOpcode, translateConditionOpcode, translateUnaryOpcode, visitArrayLength, visitArrayLiteral, visitArrayRef, visitAssert, visitAssign, visitBinaryExpr, visitBlockExpr, visitBlockStmt, visitCall, visitCatch, visitConstant, visitDeclStmt, visitEachElementGet, visitEachElementHasNext, visitEcho, visitEmpty, visitFieldEntity, visitFileEntity, visitFunctionEntity, visitFunctionExpr, visitFunctionStmt, visitGetCaughtException, visitGlobalEntity, visitGoto, visitIfExpr, visitIfgoto, visitIfStmt, visitIsDefinedExpr, visitLabelStmt, visitLocalScope, visitLoop, visitMacroEntity, visitNew, visitObjectLiteral, visitObjectRef, visitPrimitive, visitReturn, visitScriptEntity, visitSpecialParentScope, visitSuper, visitSwitch, visitThis, visitThrow, visitTry, visitTypeEntity, visitTypeLiteralExpr, visitUnaryExpr, visitUnwind, visitVar, visitVoid, visitYield, walkEntities

Modifier and Type	Method	Description
protected void	assignValue(CAstNode n, AstTranslator.WalkContext context, AstTranslator.Symbol ls, String nm, int rval)	assign rval to nm as appropriate, depending on the scope of ls
void	closeFunctionEntity(CAstEntity n, AstTranslator.WalkContext parentContext, AstTranslator.WalkContext functionContext)
protected int	doGlobalRead(CAstNode node, AstTranslator.WalkContext context, String name, TypeReference type)	generate instructions for a read of a global
protected void	doIsFieldDefined(AstTranslator.WalkContext context, int result, int ref, CAstNode f)
protected int	doLexicallyScopedRead(CAstNode node, AstTranslator.WalkContext context, String name, TypeReference type)	Note that the caller is responsible for ensuring that name is defined in a lexical scope.
protected void	doLexicallyScopedWrite(AstTranslator.WalkContext context, String name, TypeReference type, int rval)	Note that the caller is responsible for ensuring that name is defined in a lexical scope.
protected int	doLocalRead(AstTranslator.WalkContext context, String name, TypeReference type)	get the value number for a name defined locally (i.e., within the current method) by looking up the name in context.currentScope().
protected void	doLocalWrite(AstTranslator.WalkContext context, String nm, TypeReference type, int rval)	add an AssignInstruction to context.cfg() that copies rval to the value number of local nm.
protected void	doPrologue(AstTranslator.WalkContext context)	generate prologue code for each function body
protected boolean	enterEntity(CAstEntity n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Enter the entity visitor.
protected int	getArgumentCount(CAstEntity f)
protected String[]	getArgumentNames(CAstEntity f)
protected AstTranslator.WalkContext	getCodeContext(AstTranslator.WalkContext context)
CAstEntity	getIncludedEntity(CAstNode n)
protected static CAstType	getTypeForNode(AstTranslator.WalkContext context, CAstNode node)
protected void	handleUnspecifiedLiteralKey()	some languages let you omit initialization of certain fields when writing an object literal (e.g., PHP).
protected boolean	hasSpecialUndeclaredVariables()	If this returns true, then attempts to lookup non-existent names return `null' rather than tripping an assertion.
protected boolean	ignoreName(String name)
void	initFunctionEntity(CAstEntity n, AstTranslator.WalkContext functionContext)
protected boolean	isExceptionLabel(Object label)
protected void	leaveArrayLength(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an ArrayLength node.
protected void	leaveArrayLiteral(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a ArrayLiteral node.
protected void	leaveArrayLiteralInitElement(CAstNode n, int i, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ArrayLiteral node after processing the {i}th element initializer.
protected void	leaveArrayLiteralObject(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ArrayLiteral node after processing the array object.
protected void	leaveArrayRef(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an ArrayRef node.
protected void	leaveArrayRefAssign(CAstNode n, CAstNode v, CAstNode a, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ArrayRef Assignment node after visiting the LHS.
protected void	leaveArrayRefAssignOp(CAstNode n, CAstNode v, CAstNode a, boolean pre, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ArrayRef Op/Assignment node after visiting the LHS.
protected void	leaveAssert(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an InstanceOf node.
void	leaveAssign(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an Assign node.
protected void	leaveBinaryExpr(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a BinaryExpr node.
protected void	leaveBlockExpr(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a BlockExpr node.
protected void	leaveBlockExprAssign(CAstNode n, CAstNode v, CAstNode a, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a BlockExpr Assignment node after visiting the LHS.
protected void	leaveBlockExprAssignOp(CAstNode n, CAstNode v, CAstNode a, boolean pre, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a BlockExpr Op/Assignment node after visiting the LHS.
protected void	leaveBlockStmt(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a BlockStmt node.
protected void	leaveCall(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Call node.
protected void	leaveCatch(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Catch node.
protected void	leaveConstant(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Constant node.
protected void	leaveDeclStmt(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a DeclStmt node.
protected void	leaveEachElementGet(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an FOR_EACH_ELEMENT_GET node.
protected void	leaveEachElementHasNext(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)
protected void	leaveEcho(CAstNode n, AstTranslator.WalkContext wc, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an ECHO node.
protected void	leaveEmpty(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an Empty node.
protected void	leaveFieldEntity(CAstEntity n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Field entity.
protected void	leaveFileEntity(CAstEntity n, AstTranslator.WalkContext context, AstTranslator.WalkContext fileContext, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a File entity.
protected void	leaveFunctionEntity(CAstEntity n, AstTranslator.WalkContext context, AstTranslator.WalkContext codeContext, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Function entity.
protected void	leaveFunctionExpr(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a FunctionExpr node.
protected void	leaveFunctionStmt(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a FunctionStmt node.
protected void	leaveGetCaughtException(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a GetCaughtException node.
protected void	leaveGlobalEntity(CAstEntity n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Field entity.
protected void	leaveGoto(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Goto node.
protected final void	leaveIfExpr(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an IfExpr node.
protected final void	leaveIfExprCondition(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an IfExpr node after processing the condition.
protected final void	leaveIfExprTrueClause(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an IfExpr node after processing the true clause.
protected void	leaveIfgoto(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an Ifgoto node.
protected final void	leaveIfStmt(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an IfStmt node.
protected final void	leaveIfStmtCondition(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an IfStmt node after processing the condition.
protected final void	leaveIfStmtTrueClause(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an IfStmt node after processing the true clause.
protected void	leaveInclude(CAstNode n, AstTranslator.WalkContext wc, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an INCLUDE node.
protected void	leaveIsDefinedExpr(CAstNode n, AstTranslator.WalkContext wc, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an IS_DEFINED_EXPR node.
protected void	leaveLabelStmt(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a LabelStmt node.
protected void	leaveLocalScope(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a LocalScope node.
protected final void	leaveLoop(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Loop node.
protected final void	leaveLoopHeader(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Loop node after processing the loop header.
protected void	leaveNew(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a New node.
protected void	leaveObjectLiteral(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an ObjectLiteral node.
protected void	leaveObjectLiteralFieldInit(CAstNode n, int i, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ObjectLiteral node after processing the {i}th field initializer.
protected void	leaveObjectRef(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an ObjectRef node.
protected void	leaveObjectRefAssign(CAstNode n, CAstNode v, CAstNode a, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ObjectRef Assignment node after visiting the LHS.
protected void	leaveObjectRefAssignOp(CAstNode n, CAstNode v, CAstNode a, boolean pre, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ObjectRef Op/Assignment node after visiting the LHS.
protected void	leavePrimitive(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Primitive node.
protected void	leaveReturn(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Return node.
protected void	leaveScriptEntity(CAstEntity n, AstTranslator.WalkContext context, AstTranslator.WalkContext codeContext, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Script entity.
protected void	leaveSpecialParentScope(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)
protected void	leaveSuper(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Super node.
protected final void	leaveSwitch(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Switch node.
protected final void	leaveSwitchValue(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Switch node after processing the switch value.
protected void	leaveThrow(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Throw node.
protected final void	leaveTry(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Try node.
protected final void	leaveTryBlock(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Try node after processing the try block.
protected void	leaveTypeEntity(CAstEntity n, AstTranslator.WalkContext context, AstTranslator.WalkContext typeContext, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Type entity.
protected void	leaveTypeLiteralExpr(CAstNode n, AstTranslator.WalkContext wc, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an TYPE_LITERAL_EXPR node.
protected void	leaveUnaryExpr(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a UnaryExpr node.
protected void	leaveUnwind(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an Unwind node.
protected void	leaveVar(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Var node.
protected void	leaveVarAssign(CAstNode n, CAstNode v, CAstNode a, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Var Assignment node after visiting the LHS.
protected void	leaveVarAssignOp(CAstNode n, CAstNode v, CAstNode a, boolean pre, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Var Op/Assignment node after visiting the LHS.
protected void	leaveVoid(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Void node.
protected void	leaveYield(CAstNode n, AstTranslator.WalkContext wc, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Return node.
protected boolean	liftDeclarationsForLexicalScoping()	lift variable declarations for lexical scoping purposes?
protected AstTranslator.WalkContext	makeCodeContext(AstTranslator.WalkContext context, CAstEntity n)	Construct a context for a Code entity.
protected AstTranslator.WalkContext	makeFileContext(AstTranslator.WalkContext c, CAstEntity n)	Construct a context for a File entity.
protected FieldReference	makeGlobalRef(String globalName)	creates a reference to a global named globalName.
protected AstTranslator.WalkContext	makeLocalContext(AstTranslator.WalkContext context, CAstNode n)	Construct a context for a LocalScope node.
protected String[]	makeNameMap(CAstEntity n, Set<AstTranslator.Scope> scopes, SSAInstruction[] insts)
protected AstTranslator.AbstractScope	makeScriptScope(CAstEntity s, AstTranslator.Scope parent)
protected AstTranslator.WalkContext	makeSpecialParentContext(AstTranslator.WalkContext context, CAstNode n)
protected AstTranslator.WalkContext	makeTypeContext(AstTranslator.WalkContext c, CAstEntity n)	Construct a context for a Type entity.
protected AstTranslator.Scope	makeTypeScope(CAstEntity type, AstTranslator.Scope parent)
protected AstTranslator.WalkContext	makeUnwindContext(AstTranslator.WalkContext context, CAstNode n, CAstVisitor<AstTranslator.WalkContext> visitor)	Construct a context for an Unwind node.
protected int	processAssignOp(CAstNode v, CAstNode a, int temp, AstTranslator.WalkContext context)
protected int	processFunctionExpr(CAstNode n, AstTranslator.WalkContext context)
protected void	processIf(CAstNode n, boolean isExpr, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)
void	setDefaultValue(SymbolTable symtab, int vn, Object value)
protected boolean	topLevelFunctionsInGlobalScope()
void	translate(CAstEntity N, AstTranslator.WalkContext context)
void	translate(CAstEntity N, ModuleEntry module)	translate module, represented by CAstEntity N
protected IBinaryOpInstruction.IOperator	translateBinaryOpcode(CAstNode op)
protected IConditionalBranchInstruction.IOperator	translateConditionOpcode(CAstNode op)
protected IUnaryOpInstruction.IOperator	translateUnaryOpcode(CAstNode op)
protected boolean	visitArrayLength(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ArrayLength node.
protected boolean	visitArrayLiteral(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ArrayLiteral node.
protected boolean	visitArrayRef(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ArrayRef node.
protected boolean	visitAssert(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)
boolean	visitAssign(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an Assign node.
protected boolean	visitBinaryExpr(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a BinaryExpr node.
protected boolean	visitBlockExpr(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a BlockExpr node.
protected boolean	visitBlockStmt(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a BlockStmt node.
protected boolean	visitCall(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Call node.
protected boolean	visitCatch(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Catch node.
protected boolean	visitConstant(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Constant node.
protected boolean	visitDeclStmt(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a DeclStmt node.
protected boolean	visitEachElementGet(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an InstanceOf node.
protected boolean	visitEachElementHasNext(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an InstanceOf node.
protected boolean	visitEcho(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)
protected boolean	visitEmpty(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an Empty node.
protected boolean	visitFieldEntity(CAstEntity n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Field entity.
protected boolean	visitFileEntity(CAstEntity n, AstTranslator.WalkContext context, AstTranslator.WalkContext fileContext, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a File entity.
protected boolean	visitFunctionEntity(CAstEntity n, AstTranslator.WalkContext context, AstTranslator.WalkContext codeContext, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Function entity.
protected boolean	visitFunctionExpr(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a FunctionExpr node.
protected boolean	visitFunctionStmt(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a FunctionStmt node.
protected boolean	visitGetCaughtException(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a GetCaughtException node.
protected boolean	visitGlobalEntity(CAstEntity n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Field entity.
protected boolean	visitGoto(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Goto node.
protected boolean	visitIfExpr(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an IfExpr node.
protected boolean	visitIfgoto(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an Ifgoto node.
protected boolean	visitIfStmt(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an IfStmt node.
protected boolean	visitIsDefinedExpr(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)
protected boolean	visitLabelStmt(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a LabelStmt node.
protected boolean	visitLocalScope(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a LocalScope node.
protected boolean	visitLoop(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Loop node.
protected boolean	visitMacroEntity(CAstEntity n, AstTranslator.WalkContext context, AstTranslator.WalkContext codeContext, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Macro entity.
protected boolean	visitNew(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a New node.
protected boolean	visitObjectLiteral(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ObjectLiteral node.
protected boolean	visitObjectRef(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ObjectRef node.
protected boolean	visitPrimitive(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Primitive node.
protected boolean	visitReturn(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Return node.
protected boolean	visitScriptEntity(CAstEntity n, AstTranslator.WalkContext context, AstTranslator.WalkContext codeContext, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Script entity.
protected boolean	visitSpecialParentScope(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)
protected boolean	visitSuper(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Super node.
protected boolean	visitSwitch(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Switch node.
protected boolean	visitThis(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a This node.
protected boolean	visitThrow(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Throw node.
protected boolean	visitTry(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Try node.
protected boolean	visitTypeEntity(CAstEntity n, AstTranslator.WalkContext context, AstTranslator.WalkContext typeContext, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Type entity.
protected boolean	visitTypeLiteralExpr(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an TYPE_LITERAL_EXPR node.
protected boolean	visitUnaryExpr(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a UnaryExpr node.
protected boolean	visitUnwind(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an Unwind node.
protected boolean	visitVar(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Var node.
protected boolean	visitVoid(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Void node.
protected boolean	visitYield(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Return node.
protected final void	walkEntities(CAstEntity N, AstTranslator.WalkContext c)

Methods inherited from class CAstVisitor

doVisitArrayRefNode, doVisitAssignNodes, doVisitEntity, enterNode, getCurrentPosition, getParent, leaveArrayLiteralAssign, leaveClassStmt, leaveEntity, leaveForIn, leaveMacroEntity, leaveMacroVar, leaveNode, leaveObjectLiteralAssign, postProcessEntity, postProcessNode, setParent, visit, visitAllChildren, visitArrayLiteralAssign, visitArrayRefAssign, visitArrayRefAssignOp, visitAssignNodes, visitBlockExprAssign, visitBlockExprAssignOp, visitChildren, visitClassStmt, visitEntities, visitEntity, visitForIn, visitInclude, visitMacroVar, visitNode, visitObjectLiteralAssign, visitObjectRefAssign, visitObjectRefAssignOp, visitScopedEntities, visitScopedEntities, visitVarAssign, visitVarAssignOp

Modifier and Type	Method	Description
protected boolean	doVisitArrayRefNode(CAstNode n, CAstNode v, CAstNode a, boolean assign, boolean preOp, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Process the given array reference node.
protected boolean	doVisitAssignNodes(CAstNode n, AstTranslator.WalkContext context, CAstNode v, CAstNode a, CAstVisitor<AstTranslator.WalkContext> visitor)	Node processing hook; sub-classes are expected to override if they introduce new node types that appear on the left hand side of assignment operations.
protected boolean	doVisitEntity(CAstEntity n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Entity processing hook; sub-classes are expected to override if they introduce new entity types.
protected boolean	enterNode(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Enter the node visitor.
CAstSourcePositionMap.Position	getCurrentPosition()
protected CAstEntity	getParent(CAstEntity entity)	Get the parent entity for a given entity.
protected void	leaveArrayLiteralAssign(CAstNode n, CAstNode v, CAstNode a, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an array literal Assignment node after visiting the LHS.
protected void	leaveClassStmt(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a FunctionStmt node.
void	leaveEntity(CAstEntity n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave any entity.
protected void	leaveForIn(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a For..In node.
protected void	leaveMacroEntity(CAstEntity n, AstTranslator.WalkContext context, AstTranslator.WalkContext codeContext, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Macro entity.
protected void	leaveMacroVar(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an MACRO_VAR node.
void	leaveNode(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave any node.
protected void	leaveObjectLiteralAssign(CAstNode n, CAstNode v, CAstNode a, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an array literal Assignment node after visiting the LHS.
protected void	postProcessEntity(CAstEntity n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Post-process an entity after visiting it.
protected void	postProcessNode(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Post-process a node after visiting it.
protected void	setParent(CAstEntity entity, CAstEntity parent)	Set the parent entity for a given entity.
final void	visit(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Recursively visit a given node.
final void	visitAllChildren(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit all children of a node.
protected boolean	visitArrayLiteralAssign(CAstNode n, CAstNode v, CAstNode a, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an array literal Assignment node after visiting the RHS.
protected boolean	visitArrayRefAssign(CAstNode n, CAstNode v, CAstNode a, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ArrayRef Assignment node after visiting the RHS.
protected boolean	visitArrayRefAssignOp(CAstNode n, CAstNode v, CAstNode a, boolean pre, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ArrayRef Op/Assignment node after visiting the RHS.
protected boolean	visitAssignNodes(CAstNode n, AstTranslator.WalkContext context, CAstNode v, CAstNode a, CAstVisitor<AstTranslator.WalkContext> visitor)
protected boolean	visitBlockExprAssign(CAstNode n, CAstNode v, CAstNode a, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a BlockExpr Assignment node after visiting the RHS.
protected boolean	visitBlockExprAssignOp(CAstNode n, CAstNode v, CAstNode a, boolean pre, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a BlockExpr Op/Assignment node after visiting the RHS.
final void	visitChildren(CAstNode n, int start, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit children of a node starting at a given index.
protected boolean	visitClassStmt(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a FunctionStmt node.
final void	visitEntities(CAstEntity n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Recursively visit an entity.
boolean	visitEntity(CAstEntity n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit any entity.
protected boolean	visitForIn(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a For..In node.
protected boolean	visitInclude(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)
protected boolean	visitMacroVar(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)
boolean	visitNode(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit any node.
protected boolean	visitObjectLiteralAssign(CAstNode n, CAstNode v, CAstNode a, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an array literal Assignment node after visiting the RHS.
protected boolean	visitObjectRefAssign(CAstNode n, CAstNode v, CAstNode a, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ObjectRef Assignment node after visiting the RHS.
protected boolean	visitObjectRefAssignOp(CAstNode n, CAstNode v, CAstNode a, boolean pre, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an ObjectRef Op/Assignment node after visiting the RHS.
final void	visitScopedEntities(CAstEntity n, Iterator<CAstEntity> i, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)
final void	visitScopedEntities(CAstEntity n, Map<CAstNode, Collection<CAstEntity>> allScopedEntities, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit scoped entities of an entity using a given iterator.
protected boolean	visitVarAssign(CAstNode n, CAstNode v, CAstNode a, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Var Assignment node after visiting the RHS.
protected boolean	visitVarAssignOp(CAstNode n, CAstNode v, CAstNode a, boolean pre, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Var Op/Assignment node after visiting the RHS.

Methods inherited from class Object

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

Constructor Details

JavaCAst2IRTranslator

public JavaCAst2IRTranslator(ModuleEntry module,
 CAstEntity sourceFileEntity,
 JavaSourceLoaderImpl loader,
 StringFilter exclusions)

Method Details

translate

public void translate()

sourceFileEntity

public CAstEntity sourceFileEntity()

loader

public JavaSourceLoaderImpl loader()

useDefaultInitValues

protected boolean useDefaultInitValues()

Description copied from class: AstTranslator

does the language care about using type-appropriate default values? For Java, the answer is yes (ints should get a default value of 0, null for pointers, etc.). For JavaScript, the answer is no, as any variable can hold the value 'undefined'.

Specified by:

useDefaultInitValues in class AstTranslator

hasImplicitGlobals

protected boolean hasImplicitGlobals()

Description copied from class: AstTranslator

If this returns true, new global declarations get created for any attempt to access a non-existent variable (believe it or not, JavaScript actually does this!)

Overrides:

hasImplicitGlobals in class AstTranslator

defaultCatchType

protected TypeReference defaultCatchType()

Description copied from class: AstTranslator

for a block that catches all exceptions, what is the root exception type that it can catch? E.g., for Java, java.lang.Throwable

Specified by:

defaultCatchType in class AstTranslator

makeType

protected TypeReference makeType(CAstType type)

Specified by:

makeType in class AstTranslator

treatGlobalsAsLexicallyScoped

protected boolean treatGlobalsAsLexicallyScoped()

Description copied from class: AstTranslator

can lexical reads / writes access globals?

Specified by:

treatGlobalsAsLexicallyScoped in class AstTranslator

doThrow

protected void doThrow(AstTranslator.WalkContext context,
 int exception)

Description copied from class: AstTranslator

generate IR for a CAst throw expression, updating context.cfg()

Specified by:

doThrow in class AstTranslator

doArrayRead

public void doArrayRead(AstTranslator.WalkContext context,
 int result,
 int arrayValue,
 CAstNode arrayRefNode,
 int[] dimValues)

Description copied from class: AstTranslator

generate IR for a CAst array read, updating context.cfg()

Specified by:

doArrayRead in interface ArrayOpHandler

Specified by:

doArrayRead in class AstTranslator

doArrayWrite

public void doArrayWrite(AstTranslator.WalkContext context,
 int arrayValue,
 CAstNode arrayRefNode,
 int[] dimValues,
 int rval)

Description copied from class: AstTranslator

generate IR for a CAst array write, updating context.cfg()

Specified by:

doArrayWrite in interface ArrayOpHandler

Specified by:

doArrayWrite in class AstTranslator

doFieldRead

protected void doFieldRead(AstTranslator.WalkContext context,
 int result,
 int receiver,
 CAstNode elt,
 CAstNode parent)

Description copied from class: AstTranslator

generate IR for a CAst field read, updating context.cfg()

Specified by:

doFieldRead in class AstTranslator

doFieldWrite

protected void doFieldWrite(AstTranslator.WalkContext context,
 int receiver,
 CAstNode elt,
 CAstNode parent,
 int rval)

Description copied from class: AstTranslator

generate IR for a CAst field write, updating context.cfg()

Specified by:

doFieldWrite in class AstTranslator

doMaterializeFunction

protected void doMaterializeFunction(CAstNode n,
 AstTranslator.WalkContext context,
 int result,
 int exception,
 CAstEntity fn)

Description copied from class: AstTranslator

generate IR for a CAst function expression, updating context.cfg()

Specified by:

doMaterializeFunction in class AstTranslator

doNewObject

protected void doNewObject(AstTranslator.WalkContext context,
 CAstNode newNode,
 int result,
 Object type,
 int[] arguments)

Description copied from class: AstTranslator

generate IR for a CAst new expression, updating context.cfg()

Specified by:

doNewObject in class AstTranslator

doCall

protected void doCall(AstTranslator.WalkContext context,
 CAstNode call,
 int result,
 int exception,
 CAstNode name,
 int receiver,
 int[] arguments)

Description copied from class: AstTranslator

generate IR for a CAst method call expression, updating context.cfg()

Specified by:

doCall in class AstTranslator

doGlobalWrite

protected void doGlobalWrite(AstTranslator.WalkContext context,
 String name,
 TypeReference type,
 int rval)

Description copied from class: AstTranslator

generate instructions for a write of a global

Overrides:

doGlobalWrite in class AstTranslator

defineField

protected void defineField(CAstEntity topEntity,
 AstTranslator.WalkContext definingContext,
 CAstEntity n)

Description copied from class: AstTranslator

define a new field fieldEntity within topEntity

Specified by:

defineField in class AstTranslator

declareFunction

protected void declareFunction(CAstEntity N,
 AstTranslator.WalkContext definingContext)

Description copied from class: AstTranslator

declare a new function, represented by N

Specified by:

declareFunction in class AstTranslator

defineFunction

protected void defineFunction(CAstEntity N,
 AstTranslator.WalkContext definingContext,
 AbstractCFG<SSAInstruction, ? extends IBasicBlock<SSAInstruction>> cfg,
 SymbolTable symtab,
 boolean hasCatchBlock,
 Map<IBasicBlock<SSAInstruction>, Set<TypeReference>> caughtTypes,
 boolean hasMonitorOp,
 AstTranslator.AstLexicalInformation lexicalInfo,
 AstMethod.DebuggingInformation debugInfo)

Description copied from class: AstTranslator

fully define a function. invoked after all the code of the function has been processed

Specified by:

defineFunction in class AstTranslator

doPrimitive

protected void doPrimitive(int resultVal,
 AstTranslator.WalkContext context,
 CAstNode primitiveCall)

Description copied from class: AstTranslator

generate IR for call modeling creation of primitive value, updating context.cfg()

Specified by:

doPrimitive in class AstTranslator

composeEntityName

protected String composeEntityName(AstTranslator.WalkContext parent,
 CAstEntity f)

Description copied from class: AstTranslator

create the language-appropriate name for f

Specified by:

composeEntityName in class AstTranslator

defineType

protected boolean defineType(CAstEntity type,
 AstTranslator.WalkContext wc)

Description copied from class: AstTranslator

define a new (presumably nested) type. return true if type was successfully defined, false otherwise

Specified by:

defineType in class AstTranslator

leaveThis

protected void leaveThis(CAstNode n,
 AstTranslator.WalkContext c,
 CAstVisitor<AstTranslator.WalkContext> visitor)

Description copied from class: CAstVisitor

Leave a This node.

Overrides:

leaveThis in class AstTranslator

Parameters:

n - the node to process

c - a visitor-specific context

visitCast

protected boolean visitCast(CAstNode n,
 AstTranslator.WalkContext context,
 CAstVisitor<AstTranslator.WalkContext> visitor)

Description copied from class: CAstVisitor

Visit a Cast node.

Overrides:

visitCast in class CAstVisitor<AstTranslator.WalkContext>

Parameters:

n - the node to process

context - a visitor-specific context

Returns:

true if no further processing is needed

leaveCast

protected void leaveCast(CAstNode n,
 AstTranslator.WalkContext context,
 CAstVisitor<AstTranslator.WalkContext> visitor)

Description copied from class: CAstVisitor

Leave a Cast node.

Overrides:

leaveCast in class CAstVisitor<AstTranslator.WalkContext>

Parameters:

n - the node to process

context - a visitor-specific context

visitInstanceOf

protected boolean visitInstanceOf(CAstNode n,
 AstTranslator.WalkContext context,
 CAstVisitor<AstTranslator.WalkContext> visitor)

Description copied from class: CAstVisitor

Visit an InstanceOf node.

Overrides:

visitInstanceOf in class CAstVisitor<AstTranslator.WalkContext>

Parameters:

n - the node to process

context - a visitor-specific context

Returns:

true if no further processing is needed

leaveInstanceOf

protected void leaveInstanceOf(CAstNode n,
 AstTranslator.WalkContext context,
 CAstVisitor<AstTranslator.WalkContext> visitor)

Description copied from class: CAstVisitor

Leave an InstanceOf node.

Overrides:

leaveInstanceOf in class CAstVisitor<AstTranslator.WalkContext>

Parameters:

n - the node to process

context - a visitor-specific context

doVisit

protected boolean doVisit(CAstNode n,
 AstTranslator.WalkContext wc,
 CAstVisitor<AstTranslator.WalkContext> visitor)

Description copied from class: CAstVisitor

Node processing hook; sub-classes are expected to override if they introduce new node types.

(Should invoke super.doVisit() for unprocessed nodes.)

Overrides:

doVisit in class CAstVisitor<AstTranslator.WalkContext>

Returns:

true if node was handled

topType

protected CAstType topType()

Description copied from class: AstTranslator

the most-general type for the language being translated

Specified by:

topType in class AstTranslator

exceptionType

protected CAstType exceptionType()

Description copied from class: AstTranslator

the most-general exception type for the language being translated

Specified by:

exceptionType in class AstTranslator

getParameterPositions

protected CAstSourcePositionMap.Position[] getParameterPositions(CAstEntity n)

Specified by:

getParameterPositions in class AstTranslator