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

java.lang.Object
  com.ibm.wala.cast.ir.translator.AstTranslator.DefaultContext

All Implemented Interfaces:

AstTranslator.WalkContext, CAstVisitor.Context

Enclosing class:

AstTranslator

public static final class AstTranslator.DefaultContext
extends java.lang.Object
implements AstTranslator.WalkContext

Constructor Summary

AstTranslator.DefaultContext(AstTranslator t, CAstEntity N, java.lang.String nm)

Method Summary

AstTranslator.IncipientCFG	cfg()
AstTranslator.Scope	currentScope()
java.util.Set<AstTranslator.Scope>	entityScopes()
java.lang.String	file()
TypeReference[][]	getCatchTypes()
CAstControlFlowMap	getControlFlow()
java.lang.String	getName()
CAstSourcePositionMap	getSourceMap()
AstTranslator.UnwindState	getUnwindState()
void	setCatchType(CAstNode castNode, TypeReference catchType)
void	setCatchType(int blockNumber, TypeReference catchType)
CAstEntity	top()

Methods inherited from class java.lang.Object

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

Constructor Detail

AstTranslator.DefaultContext

public AstTranslator.DefaultContext(AstTranslator t,
                                    CAstEntity N,
                                    java.lang.String nm)

Method Detail

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

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(int blockNumber,
                         TypeReference catchType)

Specified by:

setCatchType in interface AstTranslator.WalkContext

setCatchType

public void setCatchType(CAstNode castNode,
                         TypeReference catchType)

Specified by:

setCatchType in interface AstTranslator.WalkContext

getCatchTypes

public TypeReference[][] getCatchTypes()

Specified by:

getCatchTypes in interface AstTranslator.WalkContext