gov.nasa.jpf.vm

Class LocalVarInfo

java.lang.Object

gov.nasa.jpf.vm.InfoObject

gov.nasa.jpf.vm.LocalVarInfo

All Implemented Interfaces:

java.lang.Cloneable

public class LocalVarInfo
extends InfoObject

Field Summary

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

annotations, attr, typeAnnotations

Constructor Summary

Constructors

Constructor and Description
LocalVarInfo(java.lang.String name, java.lang.String signature, java.lang.String genericSignature, int startPC, int endPC, int slotIndex)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getGenericSignature()
int	getLength()
java.lang.String	getName()
java.lang.String	getSignature()
int	getSlotIndex()
int	getSlotSize()
int	getStartPC()
java.lang.String	getType()
boolean	isBoolean()
boolean	isFloatingPoint()
boolean	isNumeric()
boolean	matches(int slotIdx, int pc)
boolean	matches(java.lang.String name, int pc)
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

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

Constructor Detail

LocalVarInfo

public LocalVarInfo(java.lang.String name,
                    java.lang.String signature,
                    java.lang.String genericSignature,
                    int startPC,
                    int endPC,
                    int slotIndex)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getName

public java.lang.String getName()

getType

public java.lang.String getType()

getSignature

public java.lang.String getSignature()

getGenericSignature

public java.lang.String getGenericSignature()

getStartPC

public int getStartPC()

getLength

public int getLength()

getSlotIndex

public int getSlotIndex()

matches

public boolean matches(java.lang.String name,
                       int pc)

matches

public boolean matches(int slotIdx,
                       int pc)

isNumeric

public boolean isNumeric()

isBoolean

public boolean isBoolean()

getSlotSize

public int getSlotSize()

isFloatingPoint

public boolean isFloatingPoint()