com.ibm.wala.cast.ir.translator

Class AstTranslator.RootContext

java.lang.Object

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

All Implemented Interfaces:

AstTranslator.WalkContext, CAstVisitor.Context

Enclosing class:

AstTranslator

public final class AstTranslator.RootContext
extends java.lang.Object
implements AstTranslator.WalkContext

Constructor Summary

Constructors

Constructor and Description
RootContext(CAstEntity N, com.ibm.wala.classLoader.ModuleEntry module)

Method Summary

Modifier and Type	Method and Description
void	addEntityName(CAstEntity e, java.lang.String name)
AstTranslator.IncipientCFG	cfg()
AstTranslator.WalkContext	codeContext()
AstTranslator.Scope	currentScope()
java.util.Set<AstTranslator.Scope>	entityScopes()
java.util.Set<com.ibm.wala.util.collections.Pair<com.ibm.wala.util.collections.Pair<java.lang.String,java.lang.String>,java.lang.Integer>>	exposeNameSet(CAstEntity entity, boolean writeSet)
java.lang.String	file()
java.util.Set<AstLexicalAccess.Access>	getAccesses(CAstEntity e)
java.util.Map<com.ibm.wala.cfg.IBasicBlock<com.ibm.wala.ssa.SSAInstruction>,com.ibm.wala.types.TypeReference[]>	getCatchTypes()
CAstControlFlowMap	getControlFlow()
java.lang.String	getEntityName(CAstEntity e)
AstTranslator.Scope	getGlobalScope()
com.ibm.wala.classLoader.ModuleEntry	getModule()
java.lang.String	getName()
CAstSourcePositionMap	getSourceMap()
AstTranslator.UnwindState	getUnwindState()
int	getValue(CAstNode n)
boolean	hasValue(CAstNode n)
void	setCatchType(CAstNode castNode, com.ibm.wala.types.TypeReference catchType)
void	setCatchType(com.ibm.wala.cfg.IBasicBlock<com.ibm.wala.ssa.SSAInstruction> bb, com.ibm.wala.types.TypeReference catchType)
int	setValue(CAstNode n, int v)
CAstEntity	top()

Methods inherited from class java.lang.Object

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

Constructor Detail

RootContext

public RootContext(CAstEntity N,
                   com.ibm.wala.classLoader.ModuleEntry module)

Method Detail

codeContext

public AstTranslator.WalkContext codeContext()

Specified by:

codeContext in interface AstTranslator.WalkContext

getModule

public com.ibm.wala.classLoader.ModuleEntry getModule()

Specified by:

getModule in interface AstTranslator.WalkContext

file

public java.lang.String file()

Specified by:

file in interface AstTranslator.WalkContext

top

public CAstEntity top()

Specified by:

top in interface CAstVisitor.Context

currentScope

public AstTranslator.Scope currentScope()

Specified by:

currentScope in interface AstTranslator.WalkContext

entityScopes

public java.util.Set<AstTranslator.Scope> entityScopes()

Specified by:

entityScopes in interface AstTranslator.WalkContext

getSourceMap

public CAstSourcePositionMap getSourceMap()

Specified by:

getSourceMap in interface AstTranslator.WalkContext

Specified by:

getSourceMap in interface CAstVisitor.Context

getControlFlow

public CAstControlFlowMap getControlFlow()

Specified by:

getControlFlow in interface AstTranslator.WalkContext

cfg

public AstTranslator.IncipientCFG cfg()

Specified by:

cfg in interface AstTranslator.WalkContext

getUnwindState

public AstTranslator.UnwindState getUnwindState()

Specified by:

getUnwindState in interface AstTranslator.WalkContext

getName

public java.lang.String getName()

Specified by:

getName in interface AstTranslator.WalkContext

setCatchType

public void setCatchType(com.ibm.wala.cfg.IBasicBlock<com.ibm.wala.ssa.SSAInstruction> bb,
                         com.ibm.wala.types.TypeReference catchType)

Specified by:

setCatchType in interface AstTranslator.WalkContext

setCatchType

public void setCatchType(CAstNode castNode,
                         com.ibm.wala.types.TypeReference catchType)

Specified by:

setCatchType in interface AstTranslator.WalkContext

getCatchTypes

public java.util.Map<com.ibm.wala.cfg.IBasicBlock<com.ibm.wala.ssa.SSAInstruction>,com.ibm.wala.types.TypeReference[]> getCatchTypes()

Specified by:

getCatchTypes in interface AstTranslator.WalkContext

addEntityName

public void addEntityName(CAstEntity e,
                          java.lang.String name)

Specified by:

addEntityName in interface AstTranslator.WalkContext

getEntityName

public java.lang.String getEntityName(CAstEntity e)

Specified by:

getEntityName in interface AstTranslator.WalkContext

hasValue

public boolean hasValue(CAstNode n)

Specified by:

hasValue in interface AstTranslator.WalkContext

setValue

public int setValue(CAstNode n,
                    int v)

Specified by:

setValue in interface AstTranslator.WalkContext

getValue

public int getValue(CAstNode n)

Specified by:

getValue in interface AstTranslator.WalkContext

exposeNameSet

public java.util.Set<com.ibm.wala.util.collections.Pair<com.ibm.wala.util.collections.Pair<java.lang.String,java.lang.String>,java.lang.Integer>> exposeNameSet(CAstEntity entity,
                                                                                                                                                                boolean writeSet)

Specified by:

exposeNameSet in interface AstTranslator.WalkContext

getAccesses

public java.util.Set<AstLexicalAccess.Access> getAccesses(CAstEntity e)

Specified by:

getAccesses in interface AstTranslator.WalkContext

getGlobalScope

public AstTranslator.Scope getGlobalScope()

Specified by:

getGlobalScope in interface AstTranslator.WalkContext