Class JavaSourceLoaderImpl.ConcreteJavaMethod

java.lang.Object

com.ibm.wala.cast.loader.AstMethod

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

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

All Implemented Interfaces:

IMember, IMethod, ContextItem, IClassHierarchyDweller

Enclosing class:

JavaSourceLoaderImpl

public class JavaSourceLoaderImpl.ConcreteJavaMethod
extends JavaSourceLoaderImpl.JavaEntityMethod

DOMO representation of a concrete method (which has a body) 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
ConcreteJavaMethod(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
IClassHierarchy	getClassHierarchy()
String	getLocalVariableName(int bcIndex, int localNumber)
AstMethod.LexicalParent[]	getParents()
boolean	hasLocalVariableTable()

Methods inherited from class JavaSourceLoaderImpl.JavaEntityMethod

computeExceptionTypes, computeParameterTypes, getDeclaredExceptions, getMaxLocals, getMaxStackHeight, getParameterType, 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

Methods inherited from class Object

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

Methods inherited from interface IMethod

getNumberOfDefaultParameters

Constructor Details

ConcreteJavaMethod

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

Method Details

getClassHierarchy

public IClassHierarchy getClassHierarchy()

getLocalVariableName

public String getLocalVariableName(int bcIndex,
 int localNumber)

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()

Returns:

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

getParents

public AstMethod.LexicalParent[] getParents()

Specified by:

getParents in class AstMethod