com.ibm.wala.cast.ir.translator

Class AstTranslator.CodeEntityContext

java.lang.Object

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

All Implemented Interfaces:

AstTranslator.WalkContext, CAstVisitor.Context

Enclosing class:

AstTranslator

public class AstTranslator.CodeEntityContext
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
CodeEntityContext(AstTranslator.WalkContext parent, AstTranslator.Scope entityScope, CAstEntity s)

Method Summary

Modifier and Type	Method and Description
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.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()
AstTranslator.UnwindState	getUnwindState()
int	getValue(CAstNode n)
boolean	hasValue(CAstNode n)
void	setCatchType(CAstNode catchNode, 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)

Methods inherited from class java.lang.Object

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

Constructor Detail

CodeEntityContext

public CodeEntityContext(AstTranslator.WalkContext parent,
                         AstTranslator.Scope entityScope,
                         CAstEntity s)

Method Detail

codeContext

public AstTranslator.WalkContext codeContext()

Specified by:

codeContext in interface AstTranslator.WalkContext

getAccesses

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

Specified by:

getAccesses 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

getControlFlow

public CAstControlFlowMap getControlFlow()

Specified by:

getControlFlow in interface AstTranslator.WalkContext

cfg

public AstTranslator.IncipientCFG cfg()

Specified by:

cfg in interface AstTranslator.WalkContext

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

getUnwindState

public AstTranslator.UnwindState getUnwindState()

Specified by:

getUnwindState in interface AstTranslator.WalkContext

setCatchType

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

Specified by:

setCatchType 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

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

hasValue

public boolean hasValue(CAstNode n)

Specified by:

hasValue in interface AstTranslator.WalkContext

setValue

public final int setValue(CAstNode n,
                          int v)

Specified by:

setValue in interface AstTranslator.WalkContext

getValue

public final int getValue(CAstNode n)

Specified by:

getValue in interface AstTranslator.WalkContext