MethodInfo

java.lang.Object
- gov.nasa.jpf.vm.InfoObject
- - gov.nasa.jpf.vm.MethodInfo

All Implemented Interfaces:

GenericSignatureHolder, java.lang.Cloneable

Direct Known Subclasses:

NativeMethodInfo
```
public class MethodInfo
extends InfoObject
implements GenericSignatureHolder
```
information associated with a method. Each method in JPF is represented by a MethodInfo object

Field Summary

Fields
Modifier and Type	Field and Description
`protected int`	`argSize` the number of stack slots for the arguments (incl.
`protected byte[]`	`argTypes` used for native method parameter conversion (lazy evaluated)
`protected int`	`attributes` a batch of execution related JPF attributes
`protected ClassInfo`	`ci` Class the method belongs to
`protected Instruction[]`	`code` Instructions associated with the method
`protected ExceptionHandler[]`	`exceptionHandlers` JPFConfigException handlers
`protected java.lang.String`	`genericSignature` Generic signature of the method
`protected int`	`globalId` a unique int assigned to this method
`protected int[]`	`lineNumbers` Table used for line numbers this assigns a line number to every instruction index, instead of using an array of ranges.
`protected LocalVarInfo[]`	`localVars` Local variable information
`protected int`	`maxLocals` Maximum number of local variables
`protected int`	`maxStack` Maximum number of elements on the stack
`protected int`	`modifiers` the standard Java modifier attributes
`protected static java.util.ArrayList<MethodInfo>`	`mthTable`
`protected java.lang.String`	`name` Name of the method
`protected int`	`nArgs` number of arguments (excl.
`protected int`	`retSize` number of stack slots for return value
`protected byte`	`returnType` what return type do we have (again, lazy evaluated)
`protected java.lang.String`	`signature` Signature of the method
`protected java.lang.String[]`	`thrownExceptionClassNames` classnames of checked exception thrown by the method
`protected java.lang.String`	`uniqueName` this is a lazy evaluated mangled name consisting of the name and arg type signature
`protected static boolean`	`warnedLocalInfo` Used to warn about local variable information.

Fields inherited from class gov.nasa.jpf.vm.InfoObject
annotations, attr, typeAnnotations

Constructor Summary

Constructors
Constructor and Description
`MethodInfo(ClassInfo ci, java.lang.String name, java.lang.String signature, int modifiers)`
`MethodInfo(ClassInfo ci, java.lang.String name, java.lang.String signature, int modifiers, int maxLocals, int maxStack)`
`MethodInfo(MethodInfo mi)` for NativeMethodInfo creation
`MethodInfo(MethodInfo callee, int nLocals, int nOperands)` for direct call construction Note: this is only a partial initialization, the code still has to be created/installed by the caller
`MethodInfo(java.lang.String name, java.lang.String signature, int modifiers)`
`MethodInfo(java.lang.String name, java.lang.String signature, int modifiers, int nLocals, int nOperands)` This is used to create synthetic methods of function object types

Method Summary

All Methods Static Methods Instance Methods Concrete Methods Deprecated Methods
Modifier and Type	Method and Description
`java.lang.Object`	`clone()`
`boolean`	`containsLineNumber(int n)`
`static MethodInfo`	`create(ClassInfo ci, java.lang.String name, java.lang.String signature, int modifiers)`
`static MethodInfo`	`create(java.lang.String name, java.lang.String signature, int modifiers)`
`DirectCallStackFrame`	`createDirectCallStackFrame(ThreadInfo ti, int nLocals)`
`DirectCallStackFrame`	`createRunStartStackFrame(ThreadInfo ti)`
`void`	`dump()`
`protected void`	`finishExceptionHandlerTable()`
`protected void`	`finishLineNumberTable()`
`protected void`	`finishLocalVarTable()`
`protected void`	`finishParameterAnnotations()`
`protected void`	`finishThrownExceptions()`
`LocalVarInfo[]`	`getArgumentLocalVars()` return only the LocalVarInfos for arguments, in order of definition or null if there are no localVarInfos.
`int`	`getArgumentsSize()`
`java.lang.String[]`	`getArgumentTypeNames()`
`byte[]`	`getArgumentTypes()`
`java.lang.String`	`getBaseName()` return classname.name (but w/o signature)
`ClassInfo`	`getClassInfo()` Returns the class the method belongs to.
`java.lang.String`	`getClassName()`
`java.lang.String`	`getCompleteName()` Deprecated. - use getFullName
`ExceptionHandler[]`	`getExceptions()`
`Instruction`	`getFirstInsn()`
`java.lang.String`	`getFullName()` Returns the full classname (if any) + name + signature.
`java.lang.String`	`getGenericSignature()`
`int`	`getGlobalId()`
`ExceptionHandler`	`getHandlerFor(ClassInfo ciException, Instruction insn)`
`MethodInfo`	`getInstanceFor(ClassInfo ci)` Creates a method for a given class, by cloning this MethodInfo and all the instructions belong to the method
`Instruction`	`getInstruction(int i)` Returns a specific instruction.
`Instruction`	`getInstructionAt(int position)` Returns the instruction at a certain position.
`Instruction[]`	`getInstructions()` Returns the instructions of the method.
`Instruction[]`	`getInstructionsForLine(int line)`
`Instruction[]`	`getInstructionsForLineInterval(int l1, int l2)`
`java.lang.String`	`getJNIName()`
`Instruction`	`getLastInsn()`
`int`	`getLineNumber(Instruction pc)` Returns the line number for a given position.
`int[]`	`getLineNumbers()` Returns a table to translate positions into line numbers.
`LocalVarInfo`	`getLocalVar(int slotIdx, int pc)`
`LocalVarInfo`	`getLocalVar(java.lang.String name, int pc)`
`java.lang.String[]`	`getLocalVariableNames()` note that this might contain duplicates for variables with multiple scope entries
`LocalVarInfo[]`	`getLocalVars()`
`java.lang.String`	`getLongName()` yet another name - this time with a non-mangled, but abbreviated signature and without return type (e.g.
`Instruction[]`	`getMatchingInstructions(LocationSpec lspec)`
`int`	`getMaxLocals()`
`int`	`getMaxStack()`
`static MethodInfo`	`getMethodInfo(int globalId)`
`int`	`getModifiers()`
`java.lang.String`	`getName()` Returns the name of the method.
`int`	`getNumberOfArguments()`
`int`	`getNumberOfCallerStackSlots()`
`int`	`getNumberOfInstructions()` return number of instructions
`static int`	`getNumberOfLoadedMethods()`
`int`	`getNumberOfStackArguments()` Returns the size of the arguments.
`MethodInfo`	`getOverriddenMethodInfo()`
`AnnotationInfo[][]`	`getParameterAnnotations()`
`AnnotationInfo[]`	`getParameterAnnotations(int parameterIndex)` return annotations for parameterIndex
`java.lang.Class<? extends ChoiceGenerator<?>>`	`getReturnChoiceGeneratorType()`
`int`	`getReturnSize()` what is the slot size of the return value
`java.lang.String`	`getReturnType()`
`byte`	`getReturnTypeCode()`
`java.lang.String`	`getReturnTypeName()`
`java.lang.String`	`getSignature()` Returns the signature of the method.
`java.lang.String`	`getSourceFileName()`
`java.lang.String`	`getStackTraceName()` returns stack trace name: classname (if any) + name
`java.lang.String`	`getStackTraceSource()`
`java.lang.String[]`	`getThrownExceptionClassNames()`
`java.util.List<LocalVarInfo>`	`getTypeAnnotatedLocalVars()`
`java.util.List<LocalVarInfo>`	`getTypeAnnotatedLocalVars(java.lang.String annotationClsName)`
`java.lang.String`	`getUniqueName()`
`static java.lang.String`	`getUniqueName(java.lang.String mname, java.lang.String signature)` return the minimal name that has to be unique for overloading used as a lookup key NOTE: with the silent introduction of covariant return types in Java 5.0, we have to use the full signature to be unique
`boolean`	`hasCode()`
`boolean`	`hasEmptyBody()`
`boolean`	`hasParameterAnnotations()`
`boolean`	`hasTypeAnnotatedLocalVars()`
`boolean`	`includesLine(int line)`
`boolean`	`intersectsLineNumbers(int first, int last)`
`boolean`	`isAbstract()`
`boolean`	`isAtomic()`
`boolean`	`isClinit()`
`boolean`	`isClinit(ClassInfo ci)`
`boolean`	`isCtor()`
`boolean`	`isDirectCallStub()`
`boolean`	`isFirewall()`
`boolean`	`isHidden()`
`boolean`	`isInit()`
`boolean`	`isInitOrClinit()`
`boolean`	`isInternalMethod()`
`boolean`	`isJPFExecutable()`
`boolean`	`isJPFInternal()`
`boolean`	`isMJI()`
`boolean`	`isNative()` Returns true if the method is native
`boolean`	`isPrivate()`
`boolean`	`isProtected()`
`boolean`	`isPublic()` is this a public method
`boolean`	`isReferenceReturnType()` do we return Object references?
`boolean`	`isStatic()` Returns true if the method is static.
`boolean`	`isSynchronized()` Returns true if the method is synchronized.
`boolean`	`isSyncRelevant()`
`boolean`	`isSynthetic()`
`boolean`	`isThreadEntry(ThreadInfo ti)`
`boolean`	`isUnresolvedNativeMethod()`
`boolean`	`isVarargs()`
`void`	`linkToClass(ClassInfo ci)`
`void`	`setCode(Instruction[] code)`
`protected void`	`setException(int index, java.lang.String exceptionType)`
`protected void`	`setExceptionHandler(int index, int startPc, int endPc, int handlerPc, java.lang.String catchType)`
`void`	`setExceptionHandlers(ExceptionHandler[] handlers)`
`void`	`setFirewall(boolean isFirewalled)` turn unhandled exceptionHandlers at the JPF execution level into UnhandledException throws at the host VM level this is useful to implement firewalls for direct calls which should not let exceptionHandlers permeate into bytecode/ application code
`void`	`setGenericSignature(java.lang.String sig)`
`protected void`	`setLineNumber(int index, int lineNumber, int startPc)`
`void`	`setLineNumbers(int[] lines)` this version takes an already expanded line number array which has to be of the same size as the code array
`void`	`setLineNumbers(int[] lines, int[] startPcs)` note - this depends on that we already have a code array and that the lines/startPcs are sorted (monotonic increasing)
`protected void`	`setLocalVar(int index, java.lang.String varName, java.lang.String descriptor, int scopeStartPc, int scopeEndPc, int slotIndex)`
`void`	`setLocalVarAnnotations()`
`void`	`setLocalVarTable(LocalVarInfo[] locals)`
`void`	`setMaxLocals(int maxLocals)`
`void`	`setMaxStack(int maxStack)`
`void`	`setParameterAnnotations(AnnotationInfo[][] parameterAnnotations)`
`protected void`	`setParameterAnnotations(int index, AnnotationInfo[] ai)`
`void`	`setThrownExceptions(java.lang.String[] exceptions)`
`protected void`	`startExceptionHandlerTable(int handlerCount)`
`protected void`	`startLineNumberTable(int lineNumberCount)`
`protected void`	`startLocalVarTable(int localVarCount)`
`protected void`	`startParameterAnnotations(int annotationCount)`
`protected void`	`startTrownExceptions(int exceptionCount)`
`java.lang.String`	`toString()`

Methods inherited from class gov.nasa.jpf.vm.InfoObject
addAnnotation, addAnnotations, addAttr, addTypeAnnotation, addTypeAnnotations, attrIterator, attrIterator, getAnnotation, getAnnotations, getAttr, getAttr, getDeclaredAnnotations, getNextAttr, getTargetTypeAnnotations, getTypeAnnotation, getTypeAnnotations, hasAnnotation, hasAnnotations, hasAttr, hasAttr, hasAttrValue, hasTypeAnnotation, hasTypeAnnotations, removeAttr, replaceAttr, setAnnotations, setAttr, setTypeAnnotations

Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail
- mthTable
```
protected static final java.util.ArrayList<MethodInfo> mthTable
```
- warnedLocalInfo
```
protected static boolean warnedLocalInfo
```
  Used to warn about local variable information.
- globalId
```
protected int globalId
```
  a unique int assigned to this method
- uniqueName
```
protected java.lang.String uniqueName
```
  this is a lazy evaluated mangled name consisting of the name and arg type signature
- name
```
protected java.lang.String name
```
  Name of the method
- signature
```
protected java.lang.String signature
```
  Signature of the method
- genericSignature
```
protected java.lang.String genericSignature
```
  Generic signature of the method
- ci
```
protected ClassInfo ci
```
  Class the method belongs to
- code
```
protected Instruction[] code
```
  Instructions associated with the method
- exceptionHandlers
```
protected ExceptionHandler[] exceptionHandlers
```
  JPFConfigException handlers
- thrownExceptionClassNames
```
protected java.lang.String[] thrownExceptionClassNames
```
  classnames of checked exception thrown by the method
- lineNumbers
```
protected int[] lineNumbers
```
  Table used for line numbers this assigns a line number to every instruction index, instead of using an array of ranges. Assuming we have 2-3 insns per line on average, this should still require less memory than a reference array with associated range objects, and allows faster access of instruction line numbers, which we might need for location specs
- localVars
```
protected LocalVarInfo[] localVars
```
  Local variable information
- maxLocals
```
protected int maxLocals
```
  Maximum number of local variables
- maxStack
```
protected int maxStack
```
  Maximum number of elements on the stack
- modifiers
```
protected int modifiers
```
  the standard Java modifier attributes
- attributes
```
protected int attributes
```
  a batch of execution related JPF attributes
- argSize
```
protected int argSize
```
  the number of stack slots for the arguments (incl. 'this'), lazy eval
- nArgs
```
protected int nArgs
```
  number of arguments (excl. 'this'), lazy eval
- returnType
```
protected byte returnType
```
  what return type do we have (again, lazy evaluated)
- retSize
```
protected int retSize
```
  number of stack slots for return value
- argTypes
```
protected byte[] argTypes
```
  used for native method parameter conversion (lazy evaluated)

Constructor Detail

MethodInfo
```
public MethodInfo(MethodInfo callee,
                  int nLocals,
                  int nOperands)
```
for direct call construction Note: this is only a partial initialization, the code still has to be created/installed by the caller

MethodInfo

public MethodInfo(java.lang.String name,
                  java.lang.String signature,
                  int modifiers,
                  int nLocals,
                  int nOperands)

This is used to create synthetic methods of function object types

MethodInfo
```
public MethodInfo(MethodInfo mi)
```
for NativeMethodInfo creation

MethodInfo

public MethodInfo(ClassInfo ci,
                  java.lang.String name,
                  java.lang.String signature,
                  int modifiers,
                  int maxLocals,
                  int maxStack)

MethodInfo

public MethodInfo(java.lang.String name,
                  java.lang.String signature,
                  int modifiers)

MethodInfo

public MethodInfo(ClassInfo ci,
                  java.lang.String name,
                  java.lang.String signature,
                  int modifiers)

Method Detail

getMethodInfo

public static MethodInfo getMethodInfo(int globalId)

create

public static MethodInfo create(java.lang.String name,
                                java.lang.String signature,
                                int modifiers)

create

public static MethodInfo create(ClassInfo ci,
                                java.lang.String name,
                                java.lang.String signature,
                                int modifiers)

linkToClass

public void linkToClass(ClassInfo ci)

setMaxLocals

public void setMaxLocals(int maxLocals)

setMaxStack

public void setMaxStack(int maxStack)

setCode

public void setCode(Instruction[] code)

hasParameterAnnotations

public boolean hasParameterAnnotations()

getParameterAnnotations

public AnnotationInfo[][] getParameterAnnotations()

getParameterAnnotations

public AnnotationInfo[] getParameterAnnotations(int parameterIndex)

return annotations for parameterIndex

getNumberOfLoadedMethods

public static int getNumberOfLoadedMethods()

isAtomic
```
public boolean isAtomic()
```

isHidden
```
public boolean isHidden()
```

setFirewall
```
public void setFirewall(boolean isFirewalled)
```
turn unhandled exceptionHandlers at the JPF execution level into UnhandledException throws at the host VM level this is useful to implement firewalls for direct calls which should not let exceptionHandlers permeate into bytecode/ application code

isFirewall
```
public boolean isFirewall()
```

clone
```
public java.lang.Object clone()
```
Overrides:

clone in class java.lang.Object

getGlobalId
```
public int getGlobalId()
```

createRunStartStackFrame

public DirectCallStackFrame createRunStartStackFrame(ThreadInfo ti)

createDirectCallStackFrame

public DirectCallStackFrame createDirectCallStackFrame(ThreadInfo ti,
                                                       int nLocals)

isSyncRelevant
```
public boolean isSyncRelevant()
```

isInitOrClinit
```
public boolean isInitOrClinit()
```

isClinit
```
public boolean isClinit()
```

isClinit

public boolean isClinit(ClassInfo ci)

isInit
```
public boolean isInit()
```

isDirectCallStub
```
public boolean isDirectCallStub()
```

getLongName
```
public java.lang.String getLongName()
```
yet another name - this time with a non-mangled, but abbreviated signature and without return type (e.g. like "main(String[])"

getUniqueName
```
public static java.lang.String getUniqueName(java.lang.String mname,
                                             java.lang.String signature)
```
return the minimal name that has to be unique for overloading used as a lookup key NOTE: with the silent introduction of covariant return types in Java 5.0, we have to use the full signature to be unique

getStackTraceSource

public java.lang.String getStackTraceSource()

getArgumentTypes
```
public byte[] getArgumentTypes()
```

getArgumentTypeNames

public java.lang.String[] getArgumentTypeNames()

getArgumentsSize
```
public int getArgumentsSize()
```

getArgumentLocalVars
```
public LocalVarInfo[] getArgumentLocalVars()
```
return only the LocalVarInfos for arguments, in order of definition or null if there are no localVarInfos. throw a JPFException if there are more immediately in scope vars than args NOTE - it is perfectly legal for a method to have arguments but no LocalVarInfos, which are code attributes, clients have to check for a non-null return value even if the method has arguments. Note also that abstract / interface methods don't have code and hence no LocalVarInfos

getReturnType

public java.lang.String getReturnType()

getReturnTypeName

public java.lang.String getReturnTypeName()

getSourceFileName

public java.lang.String getSourceFileName()

getClassName

public java.lang.String getClassName()

getClassInfo
```
public ClassInfo getClassInfo()
```
Returns the class the method belongs to.

getCompleteName

@Deprecated
public java.lang.String getCompleteName()

Deprecated. - use getFullName

getBaseName
```
public java.lang.String getBaseName()
```
return classname.name (but w/o signature)

isCtor
```
public boolean isCtor()
```

isInternalMethod
```
public boolean isInternalMethod()
```

isThreadEntry

public boolean isThreadEntry(ThreadInfo ti)

getFullName
```
public java.lang.String getFullName()
```
Returns the full classname (if any) + name + signature.

getStackTraceName
```
public java.lang.String getStackTraceName()
```
returns stack trace name: classname (if any) + name

getNumberOfInstructions
```
public int getNumberOfInstructions()
```
return number of instructions

getInstruction

public Instruction getInstruction(int i)

Returns a specific instruction.

getInstructionAt
```
public Instruction getInstructionAt(int position)
```
Returns the instruction at a certain position.

getInstructions
```
public Instruction[] getInstructions()
```
Returns the instructions of the method.

includesLine

public boolean includesLine(int line)

getInstructionsForLine

public Instruction[] getInstructionsForLine(int line)

getInstructionsForLineInterval

public Instruction[] getInstructionsForLineInterval(int l1,
                                                    int l2)

getMatchingInstructions

public Instruction[] getMatchingInstructions(LocationSpec lspec)

getLineNumber
```
public int getLineNumber(Instruction pc)
```
Returns the line number for a given position.

getLineNumbers
```
public int[] getLineNumbers()
```
Returns a table to translate positions into line numbers.

containsLineNumber

public boolean containsLineNumber(int n)

intersectsLineNumbers

public boolean intersectsLineNumbers(int first,
                                     int last)

getHandlerFor

public ExceptionHandler getHandlerFor(ClassInfo ciException,
                                      Instruction insn)

isMJI
```
public boolean isMJI()
```

getMaxLocals
```
public int getMaxLocals()
```

getMaxStack
```
public int getMaxStack()
```

getExceptions

public ExceptionHandler[] getExceptions()

getThrownExceptionClassNames

public java.lang.String[] getThrownExceptionClassNames()

getLocalVar

public LocalVarInfo getLocalVar(java.lang.String name,
                                int pc)

getLocalVar

public LocalVarInfo getLocalVar(int slotIdx,
                                int pc)

getLocalVars
```
public LocalVarInfo[] getLocalVars()
```

getLocalVariableNames
```
public java.lang.String[] getLocalVariableNames()
```
note that this might contain duplicates for variables with multiple scope entries

getOverriddenMethodInfo

public MethodInfo getOverriddenMethodInfo()

getName
```
public java.lang.String getName()
```
Returns the name of the method.

getJNIName
```
public java.lang.String getJNIName()
```

getModifiers
```
public int getModifiers()
```

isNative
```
public boolean isNative()
```
Returns true if the method is native

isAbstract
```
public boolean isAbstract()
```

isUnresolvedNativeMethod

public boolean isUnresolvedNativeMethod()

isJPFExecutable
```
public boolean isJPFExecutable()
```

getNumberOfArguments
```
public int getNumberOfArguments()
```

getNumberOfStackArguments
```
public int getNumberOfStackArguments()
```
Returns the size of the arguments. This returns the number of parameters passed on the stack, incl. 'this'

getNumberOfCallerStackSlots

public int getNumberOfCallerStackSlots()

getFirstInsn
```
public Instruction getFirstInsn()
```

getLastInsn
```
public Instruction getLastInsn()
```

isReferenceReturnType
```
public boolean isReferenceReturnType()
```
do we return Object references?

getReturnTypeCode
```
public byte getReturnTypeCode()
```

getReturnSize
```
public int getReturnSize()
```
what is the slot size of the return value

getReturnChoiceGeneratorType

public java.lang.Class<? extends ChoiceGenerator<?>> getReturnChoiceGeneratorType()

getSignature
```
public java.lang.String getSignature()
```
Returns the signature of the method.

getGenericSignature
```
public java.lang.String getGenericSignature()
```
Specified by:

getGenericSignature in interface GenericSignatureHolder

setGenericSignature
```
public void setGenericSignature(java.lang.String sig)
```
Specified by:

setGenericSignature in interface GenericSignatureHolder

isStatic
```
public boolean isStatic()
```
Returns true if the method is static.

isPublic
```
public boolean isPublic()
```
is this a public method

isPrivate
```
public boolean isPrivate()
```

isProtected
```
public boolean isProtected()
```

isSynchronized
```
public boolean isSynchronized()
```
Returns true if the method is synchronized.

isSynthetic
```
public boolean isSynthetic()
```

isVarargs
```
public boolean isVarargs()
```

isJPFInternal
```
public boolean isJPFInternal()
```

getUniqueName

public java.lang.String getUniqueName()

hasCode
```
public boolean hasCode()
```

hasEmptyBody
```
public boolean hasEmptyBody()
```

startParameterAnnotations

protected void startParameterAnnotations(int annotationCount)

setParameterAnnotations

protected void setParameterAnnotations(int index,
                                       AnnotationInfo[] ai)

finishParameterAnnotations

protected void finishParameterAnnotations()

setParameterAnnotations

public void setParameterAnnotations(AnnotationInfo[][] parameterAnnotations)

startTrownExceptions

protected void startTrownExceptions(int exceptionCount)

setException

protected void setException(int index,
                            java.lang.String exceptionType)

finishThrownExceptions

protected void finishThrownExceptions()

setThrownExceptions

public void setThrownExceptions(java.lang.String[] exceptions)

startExceptionHandlerTable

protected void startExceptionHandlerTable(int handlerCount)

setExceptionHandler

protected void setExceptionHandler(int index,
                                   int startPc,
                                   int endPc,
                                   int handlerPc,
                                   java.lang.String catchType)

finishExceptionHandlerTable

protected void finishExceptionHandlerTable()

setExceptionHandlers

public void setExceptionHandlers(ExceptionHandler[] handlers)

startLocalVarTable

protected void startLocalVarTable(int localVarCount)

setLocalVar

protected void setLocalVar(int index,
                           java.lang.String varName,
                           java.lang.String descriptor,
                           int scopeStartPc,
                           int scopeEndPc,
                           int slotIndex)

finishLocalVarTable
```
protected void finishLocalVarTable()
```

setLocalVarTable

public void setLocalVarTable(LocalVarInfo[] locals)

setLocalVarAnnotations
```
public void setLocalVarAnnotations()
```

hasTypeAnnotatedLocalVars

public boolean hasTypeAnnotatedLocalVars()

getTypeAnnotatedLocalVars

public java.util.List<LocalVarInfo> getTypeAnnotatedLocalVars()

getTypeAnnotatedLocalVars

public java.util.List<LocalVarInfo> getTypeAnnotatedLocalVars(java.lang.String annotationClsName)

startLineNumberTable

protected void startLineNumberTable(int lineNumberCount)

setLineNumber

protected void setLineNumber(int index,
                             int lineNumber,
                             int startPc)

finishLineNumberTable

protected void finishLineNumberTable()

setLineNumbers
```
public void setLineNumbers(int[] lines,
                           int[] startPcs)
```
note - this depends on that we already have a code array and that the lines/startPcs are sorted (monotonic increasing)

setLineNumbers
```
public void setLineNumbers(int[] lines)
```
this version takes an already expanded line number array which has to be of the same size as the code array

toString
```
public java.lang.String toString()
```
Overrides:

toString in class java.lang.Object

dump
```
public void dump()
```

getInstanceFor
```
public MethodInfo getInstanceFor(ClassInfo ci)
```
Creates a method for a given class, by cloning this MethodInfo and all the instructions belong to the method

Class MethodInfo

Field Summary

Fields inherited from class gov.nasa.jpf.vm.InfoObject

Constructor Summary

Method Summary

Methods inherited from class gov.nasa.jpf.vm.InfoObject

Methods inherited from class java.lang.Object

Field Detail

mthTable

warnedLocalInfo

globalId

uniqueName

name

signature

genericSignature

ci

code

exceptionHandlers

thrownExceptionClassNames

lineNumbers

localVars

maxLocals

maxStack

modifiers

attributes

argSize

nArgs

returnType

retSize

argTypes

Constructor Detail

MethodInfo

MethodInfo

MethodInfo

MethodInfo

MethodInfo

MethodInfo

Method Detail

getMethodInfo

create

create

linkToClass

setMaxLocals

setMaxStack

setCode

hasParameterAnnotations

getParameterAnnotations

getParameterAnnotations

getNumberOfLoadedMethods

isAtomic

isHidden

setFirewall

isFirewall

clone

getGlobalId

createRunStartStackFrame

createDirectCallStackFrame

isSyncRelevant

isInitOrClinit

isClinit

isClinit

isInit

isDirectCallStub

getLongName

getUniqueName

getStackTraceSource

getArgumentTypes

getArgumentTypeNames

getArgumentsSize

getArgumentLocalVars

getReturnType

getReturnTypeName

getSourceFileName

getClassName

getClassInfo

getCompleteName

getBaseName

isCtor

isInternalMethod

isThreadEntry