Class JavaSourceLoaderImpl.JavaEntityMethod

java.lang.Object

com.ibm.wala.cast.loader.AstMethod

com.ibm.wala.cast.java.loader.JavaSourceLoaderImpl.JavaEntityMethod

All Implemented Interfaces:

IMember, IMethod, ContextItem, IClassHierarchyDweller

Direct Known Subclasses:

JavaSourceLoaderImpl.AbstractJavaMethod, JavaSourceLoaderImpl.ConcreteJavaMethod

Enclosing class:

JavaSourceLoaderImpl

protected abstract class JavaSourceLoaderImpl.JavaEntityMethod
extends AstMethod

Generic DOMO representation of a method on a Java type that resides in a source file

Author:

rfuhrer

Nested Class Summary

Nested classes/interfaces inherited from class AstMethod

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

Nested classes/interfaces inherited from interface ContextItem

ContextItem.Value<T>

Nested classes/interfaces inherited from interface IMethod

IMethod.SourcePosition

Field Summary

Fields inherited from class AstMethod

cls

Constructor Summary

Constructors

Constructor	Description
JavaEntityMethod(CAstEntity methodEntity, IClass owner)
JavaEntityMethod(CAstEntity methodEntity, IClass owner, AbstractCFG<?,?> cfg, SymbolTable symtab, boolean hasCatchBlock, Map<IBasicBlock<SSAInstruction>, TypeReference[]> caughtTypes, boolean hasMonitorOp, AstTranslator.AstLexicalInformation lexicalInfo, AstMethod.DebuggingInformation debugInfo)

Method Summary

Modifier and Type	Method	Description
protected TypeReference[]	computeExceptionTypes(CAstEntity methodEntity)
protected TypeReference[]	computeParameterTypes(CAstEntity methodEntity)
TypeReference[]	getDeclaredExceptions()
int	getMaxLocals()
int	getMaxStackHeight()
TypeReference	getParameterType(int i)	By convention, for a non-static method, getParameterType(0) is the this pointer
String	toString()

Methods inherited from class AstMethod

catchTypes, cfg, cloneLexicalInfo, debugInfo, getAnnotations, getControlFlowGraph, getDeclaringClass, getDescriptor, getLineNumber, getName, getNumberOfParameters, getParameterPosition, getParameterSourcePosition, getParents, 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

Methods inherited from class Object

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

Methods inherited from interface IClassHierarchyDweller

getClassHierarchy

Methods inherited from interface IMethod

getLocalVariableName, getNumberOfDefaultParameters, hasLocalVariableTable

Constructor Details

JavaEntityMethod

public JavaEntityMethod(CAstEntity methodEntity,
 IClass owner,
 AbstractCFG<?,?> cfg,
 SymbolTable symtab,
 boolean hasCatchBlock,
 Map<IBasicBlock<SSAInstruction>, TypeReference[]> caughtTypes,
 boolean hasMonitorOp,
 AstTranslator.AstLexicalInformation lexicalInfo,
 AstMethod.DebuggingInformation debugInfo)

JavaEntityMethod

public JavaEntityMethod(CAstEntity methodEntity,
 IClass owner)

Method Details

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

computeParameterTypes

protected TypeReference[] computeParameterTypes(CAstEntity methodEntity)

getDeclaredExceptions

public TypeReference[] getDeclaredExceptions()

Returns:

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

computeExceptionTypes

protected TypeReference[] computeExceptionTypes(CAstEntity methodEntity)

toString

public String toString()

Overrides:

toString in class Object