com.ibm.wala.ipa.summaries

Class SummarizedMethodWithNames

java.lang.Object

com.ibm.wala.classLoader.SyntheticMethod

com.ibm.wala.ipa.summaries.SummarizedMethod

com.ibm.wala.ipa.summaries.SummarizedMethodWithNames

All Implemented Interfaces:

IMember, IMethod, ContextItem, IClassHierarchyDweller

public class SummarizedMethodWithNames
extends SummarizedMethod

A SummarizedMethod (for synthetic functions) with variable names.

Using this class instead of a normal SummarizedMethod enables the use of human-readable variable names in synthetic methods. This should not change th analysis-result but may come in handy when debugging.

Since:

2013-11-25

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SummarizedMethodWithNames.SyntheticIRWithNames

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

IMethod.SourcePosition

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

ContextItem.Value<T>

Field Summary

Fields inherited from class com.ibm.wala.classLoader.SyntheticMethod

declaringClass, NO_STATEMENTS, resolvedMethod

Constructor Summary

Constructors

Constructor and Description
SummarizedMethodWithNames(MethodReference ref, MethodSummary summary, IClass declaringClass)
SummarizedMethodWithNames(MethodReference ref, MethodSummary summary, IClass declaringClass, java.util.Map<java.lang.Integer,Atom> localNames)
SummarizedMethodWithNames(MethodReference ref, VolatileMethodSummary summary, IClass declaringClass)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getLocalVariableName(int bcIndex, int localNumber) Returns the variable name to a ssa-number.
boolean	hasLocalVariableTable()
IR	makeIR(Context context, SSAOptions options) Most subclasses should override this.

Methods inherited from class com.ibm.wala.ipa.summaries.SummarizedMethod

getNumberOfParameters, getParameterType, getPoison, getPoisonLevel, getStatements, hasPoison, isAbstract, isNative, isStatic

Methods inherited from class com.ibm.wala.classLoader.SyntheticMethod

equals, getAnnotations, getBytecodeStream, getClassHierarchy, getDeclaredExceptions, getDeclaringClass, getDescriptor, getLineNumber, getMaxLocals, getMaxStackHeight, getName, getParameterSourcePosition, getReference, getReturnType, getSelector, getSignature, getSourcePosition, getStatements, hasExceptionHandler, hashCode, isBridge, isClinit, isFactoryMethod, isFinal, isInit, isPrivate, isProtected, isPublic, isSynchronized, isSynthetic, isWalaSynthetic, makeControlFlowGraph, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

getNumberOfDefaultParameters

Constructor Detail

SummarizedMethodWithNames

public SummarizedMethodWithNames(MethodReference ref,
                                 MethodSummary summary,
                                 IClass declaringClass)

SummarizedMethodWithNames

public SummarizedMethodWithNames(MethodReference ref,
                                 MethodSummary summary,
                                 IClass declaringClass,
                                 java.util.Map<java.lang.Integer,Atom> localNames)
                          throws java.lang.NullPointerException

Throws:

java.lang.NullPointerException

SummarizedMethodWithNames

public SummarizedMethodWithNames(MethodReference ref,
                                 VolatileMethodSummary summary,
                                 IClass declaringClass)
                          throws java.lang.NullPointerException

Throws:

java.lang.NullPointerException

Method Detail

getLocalVariableName

public java.lang.String getLocalVariableName(int bcIndex,
                                             int localNumber)

Returns the variable name to a ssa-number.

Does not respect the value of bcIndex.

Specified by:

getLocalVariableName in interface IMethod

Overrides:

getLocalVariableName in class SummarizedMethod

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

Overrides:

hasLocalVariableTable in class SyntheticMethod

Returns:

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

makeIR

public IR makeIR(Context context,
                 SSAOptions options)

Description copied from class: SyntheticMethod

Most subclasses should override this.

Overrides:

makeIR in class SummarizedMethod

Parameters:

context - TODO

options - options governing IR conversion