---

MethodInfo Class Reference

List of all members.

Public Methods
	MethodInfo (Method m, ClassInfo ci, ConstantPoolGen cpg)
int	getArgumentSize ()
ClassInfo	getClassInfo ()
ConstantPoolGen	getConstantPool ()
CodeExceptionGen[]	getExceptions ()
InstructionHandle	getFirstInstruction ()
String	getFullName ()
InstructionHandle	getInstructionHandle (int i)
int	getInstructionNumber (InstructionHandle pc)
LineNumberTable	getLineNumbers ()
MethodGen	getMethodGen ()
String	getMethodName ()
String	toString ()
	MethodInfo (Method m, ClassInfo c)
boolean	canEnter (ThreadInfo th)
void	enter (ThreadInfo th)
int	getArgumentsSize ()
ClassInfo	getClassInfo ()
String	getCompleteName ()
ExceptionHandler[]	getExceptions ()
String	getFullName ()
Instruction	getInstruction (int i)
Instruction	getInstructionAt (int position)
Instruction[]	getInstructions ()
int	getLineNumber (Instruction pc)
int[]	getLineNumbers ()
String[]	getLocalVariableNames ()
String[]	getLocalVariableTypes ()
int	getMaxLocals ()
int	getMaxStack ()
String	getName ()
String	getSignature ()
boolean	isNative ()
boolean	isStatic ()
boolean	isSynchronized ()
boolean	isSystemMethod ()
void	leave (ThreadInfo th)
Static Public Methods
int	getMaxLocals (Method m)
int	getMaxStack (Method m)
Public Attributes
SootMethod	sootMethod
SootClass	sootClass
IndexMaps	indexMaps
BuildPDG	methodPDG
Set	whoCallMe
StmtList	originalStmtList
Private Methods
Instruction[]	loadCode (Method m)
ExceptionHandler[]	loadExceptions (Method m)
int[]	loadLineNumbers (Method m)
String[]	loadLocalVariableNames (Method m)
String[]	loadLocalVariableTypes (Method m)
Private Attributes
String	method_name
MethodGen	mg
InstructionHandle[]	ihs
CodeExceptionGen[]	exceptions
ConstantPoolGen	cpg
ClassInfo	ci
LineNumberTable	linenumbers
LocalVariableTable	localVars
int	id
Fields	MOD
Fields	REF
SliceCriterion	sCriterion
BitSet	sliceSet
SliceCriterion	increCriterion
Set	possibleReadyDependCallSite
StmtList	stmtList
Set	removedStmt
String	name
String	signature
Instruction[]	code
ExceptionHandler[]	exceptions
int[]	lineNumbers
String[]	localVariableNames
String[]	localVariableTypes
boolean	isStatic
boolean	isSynchronized
boolean	isNative
int	maxLocals
int	maxStack
Static Private Attributes
boolean	warnedLocalInfo = false

---

Detailed Description

This class is for information of one method.

Definition at line 8 of file lib/jpf/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

---

Constructor & Destructor Documentation

MethodInfo::MethodInfo (  Method   m, ClassInfo   c )  [inline]

Creates a new method info. Definition at line 95 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

---

Member Function Documentation

int MethodInfo::getArgumentsSize (    )  [inline]

Returns the size of the arguments. Definition at line 130 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java. Referenced by StackFrame::StackFrame(), ThreadInfo::createMethodStackFrame(), and ThreadInfo::removeArguments().

ClassInfo MethodInfo::getClassInfo (    )  [inline]

Returns the class the method belongs to. Definition at line 139 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java. Referenced by ThreadInfo::executeMethod(), and ThreadInfo::executeStaticMethod().

String MethodInfo::getCompleteName (    )  [inline]

Return the complete name of the method, including the class name. Definition at line 145 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

String MethodInfo::getFullName (    )  [inline]

Returns the full name of the method, name and signature. Definition at line 154 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java. Referenced by ThreadInfo::executeMethod(), and ThreadInfo::executeStaticMethod().

Instruction MethodInfo::getInstruction (  int   i )  [inline]

Returns a specific instruction. Definition at line 160 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java. Referenced by StackFrame::StackFrame().

Instruction MethodInfo::getInstructionAt (  int   position )  [inline]

Returns the instruction at a certain position. Definition at line 170 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java. Referenced by ThreadInfo::throwException().

Instruction [] MethodInfo::getInstructions (    )  [inline]

Returns the instructions of the method. Definition at line 182 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

int MethodInfo::getLineNumber (  Instruction   pc )  [inline]

Returns the line number for a given position. Definition at line 188 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

int [] MethodInfo::getLineNumbers (    )  [inline]

Returns a table to translate positions into line numbers. Definition at line 197 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

String MethodInfo::getName (    )  [inline]

Returns the name of the method. Definition at line 229 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

String MethodInfo::getSignature (    )  [inline]

Returns the signature of the method. Definition at line 235 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

boolean MethodInfo::isNative (    )  [inline]

Returns true if the field is native. Definition at line 241 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

boolean MethodInfo::isStatic (    )  [inline]

Returns true if the field is static. Definition at line 247 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

boolean MethodInfo::isSynchronized (    )  [inline]

Returns true if the field is synchronized. Definition at line 253 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

boolean MethodInfo::isSystemMethod (    )  [inline]

Returns true if the method is a system method. Definition at line 259 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

Instruction [] MethodInfo::loadCode (  Method   m )  [inline, private]

Loads the code of the method. Definition at line 285 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java. Referenced by MethodInfo().

ExceptionHandler [] MethodInfo::loadExceptions (  Method   m )  [inline, private]

Returns the exceptions of the method. Definition at line 311 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java. Referenced by MethodInfo().

int [] MethodInfo::loadLineNumbers (  Method   m )  [inline, private]

Loads the line numbers for the method. Definition at line 340 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java. Referenced by MethodInfo().

String [] MethodInfo::loadLocalVariableNames (  Method   m )  [inline, private]

Loads the names of the local variables. Definition at line 362 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java. Referenced by MethodInfo().

String [] MethodInfo::loadLocalVariableTypes (  Method   m )  [inline, private]

Loads the types of the local variables. Definition at line 394 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java. Referenced by MethodInfo().

---

Member Data Documentation

ClassInfo MethodInfo::ci [private]

Class the method belongs to. Definition at line 35 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

Instruction [] MethodInfo::code [private]

Instructions associated with the method. Definition at line 40 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

ExceptionHandler [] MethodInfo::exceptions [private]

Exception handlers. Definition at line 45 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

SliceCriterion MethodInfo::increCriterion [private]

Generated slice criterion for this method. Definition at line 69 of file src/edu/ksu/cis/bandera/pdgslicer/MethodInfo.java.

boolean MethodInfo::isNative [private]

Native method. Definition at line 75 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

boolean MethodInfo::isStatic [private]

Static method. Definition at line 65 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

boolean MethodInfo::isSynchronized [private]

Synchronized method. Definition at line 70 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

int [] MethodInfo::lineNumbers [private]

Table used for line numbers. Definition at line 50 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

String [] MethodInfo::localVariableNames [private]

Local variables names. Definition at line 55 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

String [] MethodInfo::localVariableTypes [private]

Local variables types. Definition at line 60 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

int MethodInfo::maxLocals [private]

Maximum number of local variables. Definition at line 80 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

int MethodInfo::maxStack [private]

Maximum number of elements on the stack. Definition at line 85 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

String MethodInfo::name [private]

Name of the method. Definition at line 25 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

Set MethodInfo::possibleReadyDependCallSite [private]

A set of CallSite such that inside the called method body there may contain some ready dependence. Definition at line 75 of file src/edu/ksu/cis/bandera/pdgslicer/MethodInfo.java.

SliceCriterion MethodInfo::sCriterion [private]

(Original) slice criterion for this method. Definition at line 64 of file src/edu/ksu/cis/bandera/pdgslicer/MethodInfo.java.

String MethodInfo::signature [private]

Signature of the method. Definition at line 30 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

SootClass MethodInfo::sootClass

The class where this method is declared. Definition at line 50 of file src/edu/ksu/cis/bandera/pdgslicer/MethodInfo.java.

boolean MethodInfo::warnedLocalInfo = false [static, private]

Used to warn about local variable information. Definition at line 90 of file src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java.

Set MethodInfo::whoCallMe

A set of CallSite, which is a call site to this method. Definition at line 57 of file src/edu/ksu/cis/bandera/pdgslicer/MethodInfo.java.

---

The documentation for this class was generated from the following files:

• lib/jpf/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java
• src/edu/ksu/cis/bandera/pdgslicer/MethodInfo.java
• src/gov/nasa/arc/ase/jpf/jvm/MethodInfo.java

---