com.ibm.wala.cast.loader

Class AstMethod

java.lang.Object

com.ibm.wala.cast.loader.AstMethod

All Implemented Interfaces:

com.ibm.wala.classLoader.IMember, com.ibm.wala.classLoader.IMethod, com.ibm.wala.ipa.callgraph.ContextItem, com.ibm.wala.ipa.cha.IClassHierarchyDweller

Direct Known Subclasses:

CAstAbstractModuleLoader.DynamicMethodObject

public abstract class AstMethod
extends java.lang.Object
implements com.ibm.wala.classLoader.IMethod

Nested Class Summary

Nested Classes

Modifier and Type	Class and 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 com.ibm.wala.classLoader.IMethod

com.ibm.wala.classLoader.IMethod.SourcePosition

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

com.ibm.wala.ipa.callgraph.ContextItem.Value<T>

Field Summary

Fields

Modifier and Type	Field and Description
protected com.ibm.wala.classLoader.IClass	cls

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AstMethod(com.ibm.wala.classLoader.IClass cls, java.util.Collection<CAstQualifier> qualifiers, com.ibm.wala.cfg.AbstractCFG<?,?> cfg, com.ibm.wala.ssa.SymbolTable symtab, com.ibm.wala.types.MethodReference ref, boolean hasCatchBlock, java.util.Map<com.ibm.wala.cfg.IBasicBlock<com.ibm.wala.ssa.SSAInstruction>,com.ibm.wala.types.TypeReference[]> caughtTypes, boolean hasMonitorOp, AstTranslator.AstLexicalInformation lexicalInfo, AstMethod.DebuggingInformation debugInfo, java.util.Collection<com.ibm.wala.types.annotations.Annotation> annotations)
protected	AstMethod(com.ibm.wala.classLoader.IClass cls, java.util.Collection<CAstQualifier> qualifiers, com.ibm.wala.types.MethodReference ref, java.util.Collection<com.ibm.wala.types.annotations.Annotation> annotations)

Method Summary

Modifier and Type	Method and Description
java.util.Map<com.ibm.wala.cfg.IBasicBlock<com.ibm.wala.ssa.SSAInstruction>,com.ibm.wala.types.TypeReference[]>	catchTypes()
com.ibm.wala.cfg.AbstractCFG<?,?>	cfg()
AstMethod.LexicalInformation	cloneLexicalInfo()
AstMethod.DebuggingInformation	debugInfo()
java.util.Collection<com.ibm.wala.types.annotations.Annotation>	getAnnotations()
com.ibm.wala.cfg.ControlFlowGraph<?,?>	getControlFlowGraph()
com.ibm.wala.classLoader.IClass	getDeclaringClass()
com.ibm.wala.types.Descriptor	getDescriptor()
int	getLineNumber(int instructionIndex)
com.ibm.wala.util.strings.Atom	getName()
int	getNumberOfParameters()
CAstSourcePositionMap.Position	getParameterPosition(int paramIndex)
com.ibm.wala.classLoader.IMethod.SourcePosition	getParameterSourcePosition(int paramNum)
abstract AstMethod.LexicalParent[]	getParents()
com.ibm.wala.types.MethodReference	getReference()
com.ibm.wala.types.TypeReference	getReturnType()
com.ibm.wala.types.Selector	getSelector()
java.lang.String	getSignature()
CAstSourcePositionMap.Position	getSourcePosition()
CAstSourcePositionMap.Position	getSourcePosition(int instructionIndex)
boolean	hasCatchBlock()
boolean	hasExceptionHandler()
boolean	hasMonitorOp()
boolean	isAbstract()
boolean	isBridge()
boolean	isClinit()
boolean	isFinal()
boolean	isInit()
boolean	isNative()
boolean	isPrivate()
boolean	isProtected()
boolean	isPublic()
boolean	isStatic()
boolean	isSynchronized()
boolean	isSynthetic()
boolean	isWalaSynthetic()
AstMethod.LexicalInformation	lexicalInfo()
com.ibm.wala.ssa.SymbolTable	symbolTable()

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.ibm.wala.classLoader.IMethod

getDeclaredExceptions, getLocalVariableName, getNumberOfDefaultParameters, getParameterType, hasLocalVariableTable

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

getClassHierarchy

Field Detail

cls

protected final com.ibm.wala.classLoader.IClass cls

Constructor Detail

AstMethod

protected AstMethod(com.ibm.wala.classLoader.IClass cls,
                    java.util.Collection<CAstQualifier> qualifiers,
                    com.ibm.wala.cfg.AbstractCFG<?,?> cfg,
                    com.ibm.wala.ssa.SymbolTable symtab,
                    com.ibm.wala.types.MethodReference ref,
                    boolean hasCatchBlock,
                    java.util.Map<com.ibm.wala.cfg.IBasicBlock<com.ibm.wala.ssa.SSAInstruction>,com.ibm.wala.types.TypeReference[]> caughtTypes,
                    boolean hasMonitorOp,
                    AstTranslator.AstLexicalInformation lexicalInfo,
                    AstMethod.DebuggingInformation debugInfo,
                    java.util.Collection<com.ibm.wala.types.annotations.Annotation> annotations)

AstMethod

protected AstMethod(com.ibm.wala.classLoader.IClass cls,
                    java.util.Collection<CAstQualifier> qualifiers,
                    com.ibm.wala.types.MethodReference ref,
                    java.util.Collection<com.ibm.wala.types.annotations.Annotation> annotations)

Method Detail

cfg

public com.ibm.wala.cfg.AbstractCFG<?,?> cfg()

hasCatchBlock

public boolean hasCatchBlock()

symbolTable

public com.ibm.wala.ssa.SymbolTable symbolTable()

catchTypes

public java.util.Map<com.ibm.wala.cfg.IBasicBlock<com.ibm.wala.ssa.SSAInstruction>,com.ibm.wala.types.TypeReference[]> catchTypes()

cloneLexicalInfo

public AstMethod.LexicalInformation cloneLexicalInfo()

lexicalInfo

public AstMethod.LexicalInformation lexicalInfo()

debugInfo

public AstMethod.DebuggingInformation debugInfo()

getAnnotations

public java.util.Collection<com.ibm.wala.types.annotations.Annotation> getAnnotations()

Specified by:

getAnnotations in interface com.ibm.wala.classLoader.IMember

getParents

public abstract AstMethod.LexicalParent[] getParents()

getDeclaringClass

public com.ibm.wala.classLoader.IClass getDeclaringClass()

Specified by:

getDeclaringClass in interface com.ibm.wala.classLoader.IMember

getSignature

public java.lang.String getSignature()

Specified by:

getSignature in interface com.ibm.wala.classLoader.IMethod

getSelector

public com.ibm.wala.types.Selector getSelector()

Specified by:

getSelector in interface com.ibm.wala.classLoader.IMethod

isClinit

public boolean isClinit()

Specified by:

isClinit in interface com.ibm.wala.classLoader.IMethod

isInit

public boolean isInit()

Specified by:

isInit in interface com.ibm.wala.classLoader.IMethod

getName

public com.ibm.wala.util.strings.Atom getName()

Specified by:

getName in interface com.ibm.wala.classLoader.IMember

getDescriptor

public com.ibm.wala.types.Descriptor getDescriptor()

Specified by:

getDescriptor in interface com.ibm.wala.classLoader.IMethod

getReference

public com.ibm.wala.types.MethodReference getReference()

Specified by:

getReference in interface com.ibm.wala.classLoader.IMethod

getReturnType

public com.ibm.wala.types.TypeReference getReturnType()

Specified by:

getReturnType in interface com.ibm.wala.classLoader.IMethod

isStatic

public boolean isStatic()

Specified by:

isStatic in interface com.ibm.wala.classLoader.IMember

isSynchronized

public boolean isSynchronized()

Specified by:

isSynchronized in interface com.ibm.wala.classLoader.IMethod

isNative

public boolean isNative()

Specified by:

isNative in interface com.ibm.wala.classLoader.IMethod

isWalaSynthetic

public boolean isWalaSynthetic()

Specified by:

isWalaSynthetic in interface com.ibm.wala.classLoader.IMethod

isSynthetic

public boolean isSynthetic()

Specified by:

isSynthetic in interface com.ibm.wala.classLoader.IMethod

isAbstract

public boolean isAbstract()

Specified by:

isAbstract in interface com.ibm.wala.classLoader.IMethod

isPrivate

public boolean isPrivate()

Specified by:

isPrivate in interface com.ibm.wala.classLoader.IMethod

isProtected

public boolean isProtected()

Specified by:

isProtected in interface com.ibm.wala.classLoader.IMethod

isPublic

public boolean isPublic()

Specified by:

isPublic in interface com.ibm.wala.classLoader.IMethod

isFinal

public boolean isFinal()

Specified by:

isFinal in interface com.ibm.wala.classLoader.IMethod

isBridge

public boolean isBridge()

Specified by:

isBridge in interface com.ibm.wala.classLoader.IMethod

getControlFlowGraph

public com.ibm.wala.cfg.ControlFlowGraph<?,?> getControlFlowGraph()

hasExceptionHandler

public boolean hasExceptionHandler()

Specified by:

hasExceptionHandler in interface com.ibm.wala.classLoader.IMethod

hasMonitorOp

public boolean hasMonitorOp()

getNumberOfParameters

public int getNumberOfParameters()

Specified by:

getNumberOfParameters in interface com.ibm.wala.classLoader.IMethod

getParameterSourcePosition

public com.ibm.wala.classLoader.IMethod.SourcePosition getParameterSourcePosition(int paramNum)
                                                                           throws com.ibm.wala.shrikeCT.InvalidClassFileException

Specified by:

getParameterSourcePosition in interface com.ibm.wala.classLoader.IMethod

Throws:

com.ibm.wala.shrikeCT.InvalidClassFileException

getLineNumber

public int getLineNumber(int instructionIndex)

Specified by:

getLineNumber in interface com.ibm.wala.classLoader.IMethod

getSourcePosition

public CAstSourcePositionMap.Position getSourcePosition()

getParameterPosition

public CAstSourcePositionMap.Position getParameterPosition(int paramIndex)

getSourcePosition

public CAstSourcePositionMap.Position getSourcePosition(int instructionIndex)

Specified by:

getSourcePosition in interface com.ibm.wala.classLoader.IMethod