Class CAstAbstractModuleLoader.DynamicMethodObject

java.lang.Object

com.ibm.wala.cast.loader.AstMethod

com.ibm.wala.cast.loader.CAstAbstractModuleLoader.DynamicMethodObject

All Implemented Interfaces:

AstMethod.Retranslatable, IMember, IMethod, ContextItem, IClassHierarchyDweller

Enclosing class:

CAstAbstractModuleLoader

public class CAstAbstractModuleLoader.DynamicMethodObject
extends AstMethod
implements AstMethod.Retranslatable

Nested Class Summary

Nested classes/interfaces inherited from class AstMethod

AstMethod.DebuggingInformation, AstMethod.LexicalInformation, AstMethod.LexicalParent, AstMethod.Retranslatable

Modifier and Type	Class	Description
static interface	AstMethod.DebuggingInformation
static interface	AstMethod.LexicalInformation	lexical access information for some entity scope.
static class	AstMethod.LexicalParent	Parents of this method with respect to lexical scoping, that is, methods containing state possibly referenced lexically in this method
static interface	AstMethod.Retranslatable

Nested classes/interfaces inherited from interface ContextItem

ContextItem.Value<T>

Modifier and Type	Interface	Description
static class	ContextItem.Value<T>

Nested classes/interfaces inherited from interface IMethod

IMethod.SourcePosition

Modifier and Type	Interface	Description
static interface	IMethod.SourcePosition

Field Summary

Fields inherited from class AstMethod

cls

Modifier and Type	Field	Description
protected final IClass	cls

Constructor Summary

Constructors

Constructor	Description
DynamicMethodObject(IClass cls, Collection<CAstQualifier> qualifiers, AbstractCFG<?,?> cfg, SymbolTable symtab, boolean hasCatchBlock, Map<IBasicBlock<SSAInstruction>, Set<TypeReference>> caughtTypes, boolean hasMonitorOp, AstTranslator.AstLexicalInformation lexicalInfo, AstMethod.DebuggingInformation debugInfo)

Method Summary

Modifier and Type	Method	Description
IClassHierarchy	getClassHierarchy()
TypeReference[]	getDeclaredExceptions()
CAstEntity	getEntity()
String	getLocalVariableName(int bcIndex, int localNumber)
int	getMaxLocals()
int	getMaxStackHeight()
TypeReference	getParameterType(int i)	By convention, for a non-static method, getParameterType(0) is the this pointer
AstMethod.LexicalParent[]	getParents()
boolean	hasLocalVariableTable()
void	retranslate(AstTranslator xlator)
String	toString()

Methods inherited from class AstMethod

catchTypes, cfg, cloneLexicalInfo, debugInfo, getAnnotations, getControlFlowGraph, getDeclaringClass, getDescriptor, getLineNumber, getName, getNumberOfParameters, getParameterPosition, getParameterSourcePosition, getReference, getReturnType, getSelector, getSignature, getSourcePosition, getSourcePosition, hasExceptionHandler, hasMonitorOp, isAbstract, isAnnotation, isBridge, isClinit, isEnum, isFinal, isInit, isModule, isNative, isPrivate, isProtected, isPublic, isStatic, isSynchronized, isSynthetic, isWalaSynthetic, lexicalInfo, symbolTable

Modifier and Type	Method	Description
Map<IBasicBlock<SSAInstruction>, Set<TypeReference>>	catchTypes()
AbstractCFG<?,?>	cfg()
AstMethod.LexicalInformation	cloneLexicalInfo()
AstMethod.DebuggingInformation	debugInfo()
Collection<Annotation>	getAnnotations()	Get the annotations on this member, if any
ControlFlowGraph<?,?>	getControlFlowGraph()
IClass	getDeclaringClass()	Return the object that represents the declaring class for this member.
Descriptor	getDescriptor()	something like: (IILjava.lang.String;SLjava.sql.Date;)Ljava.lang.Integer;
int	getLineNumber(int instructionIndex)
Atom	getName()
int	getNumberOfParameters()	Method getNumberOfParameters.
CAstSourcePositionMap.Position	getParameterPosition(int paramIndex)
IMethod.SourcePosition	getParameterSourcePosition(int paramNum)
MethodReference	getReference()
TypeReference	getReturnType()
Selector	getSelector()	something like: foo(Ljava/langString;)Ljava/lang/Class;
String	getSignature()	something like: com.foo.bar.createLargeOrder(IILjava.lang.String;SLjava.sql.Date;)Ljava.lang.Integer;
CAstSourcePositionMap.Position	getSourcePosition()
CAstSourcePositionMap.Position	getSourcePosition(int instructionIndex)
boolean	hasExceptionHandler()
boolean	hasMonitorOp()
boolean	isAbstract()	Is this method abstract?
boolean	isAnnotation()
boolean	isBridge()	Is this method a bridge method? See JLS 3rd Edition 15.12.4.5
boolean	isClinit()	Is this method a class initializer?
boolean	isEnum()
boolean	isFinal()	Is this method final?
boolean	isInit()	Is this method an object initializer?
boolean	isModule()
boolean	isNative()	Is this method native?
boolean	isPrivate()	Is this method private?
boolean	isProtected()	Is this method protected?
boolean	isPublic()	Is this method public?
boolean	isStatic()	Is this member static?
boolean	isSynchronized()	Is this method synchronized?
boolean	isSynthetic()	Is this method synthetic, i.e., compiler-generated (this refers to the synthetic flag in java/dex bytecode)
boolean	isWalaSynthetic()	Is the implementation of this method a model generated by WALA? For compiler-generated synthetic methods, refer to IMethod.isSynthetic()
AstMethod.LexicalInformation	lexicalInfo()
SymbolTable	symbolTable()

Methods inherited from class Object

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

Methods inherited from interface IMethod

getNumberOfDefaultParameters

Modifier and Type	Method	Description
default int	getNumberOfDefaultParameters()

Constructor Details

DynamicMethodObject

public DynamicMethodObject(IClass cls,
 Collection<CAstQualifier> qualifiers,
 AbstractCFG<?,?> cfg,
 SymbolTable symtab,
 boolean hasCatchBlock,
 Map<IBasicBlock<SSAInstruction>, Set<TypeReference>> caughtTypes,
 boolean hasMonitorOp,
 AstTranslator.AstLexicalInformation lexicalInfo,
 AstMethod.DebuggingInformation debugInfo)

Method Details

getEntity

public CAstEntity getEntity()

Specified by:

getEntity in interface AstMethod.Retranslatable

retranslate

public void retranslate(AstTranslator xlator)

Specified by:

retranslate in interface AstMethod.Retranslatable

getClassHierarchy

public IClassHierarchy getClassHierarchy()

Specified by:

getClassHierarchy in interface IClassHierarchyDweller

toString

public String toString()

Overrides:

toString in class Object

getDeclaredExceptions

public TypeReference[] getDeclaredExceptions()

Specified by:

getDeclaredExceptions in interface IMethod

Returns:

an array of the exception types declared by the throws clause for this method, or null if there are none

getParents

public AstMethod.LexicalParent[] getParents()

Specified by:

getParents in class AstMethod

getLocalVariableName

public String getLocalVariableName(int bcIndex,
 int localNumber)

Specified by:

getLocalVariableName in interface IMethod

Returns:

the (source code) name of the local variable of a given number at the specified program counter, or null if the information is not available.

hasLocalVariableTable

public boolean hasLocalVariableTable()

Specified by:

hasLocalVariableTable in interface IMethod

Returns:

true iff the local variable table information for this method is available

getMaxLocals

public int getMaxLocals()

getMaxStackHeight

public int getMaxStackHeight()

getParameterType

public TypeReference getParameterType(int i)

Description copied from interface: IMethod

By convention, for a non-static method, getParameterType(0) is the this pointer

Specified by:

getParameterType in interface IMethod