Package com.ibm.wala.cast.java.loader

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 com.ibm.wala.cast.loader.AstMethod

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

Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem

ContextItem.Value<T>

Nested classes/interfaces inherited from interface com.ibm.wala.classLoader.IMethod

IMethod.SourcePosition

Field Summary

Fields inherited from class com.ibm.wala.cast.loader.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 com.ibm.wala.cast.loader.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 java.lang.Object

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

Methods inherited from interface com.ibm.wala.ipa.cha.IClassHierarchyDweller

getClassHierarchy

Methods inherited from interface com.ibm.wala.classLoader.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