gov.nasa.jpf.util

Class VarSpec

java.lang.Object

gov.nasa.jpf.util.VarSpec

public class VarSpec
extends java.lang.Object

utility class to specify local variables in JPF options example: x.y.MyClass.foo(int,double):x Note: this is not derived from FeatureSpec, it only used a MethodSpec for delegation <2do> we don't deal with scopes or types yet

Constructor Summary

Constructors

Constructor and Description
VarSpec(java.lang.String varName, MethodSpec mthSpec)

Method Summary

Modifier and Type	Method and Description
static VarSpec	createVarSpec(java.lang.String spec)
LocalVarInfo	getMatchingLocalVarInfo(MethodInfo mi, int pc, int slotIdx)

Methods inherited from class java.lang.Object

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

Constructor Detail

VarSpec

public VarSpec(java.lang.String varName,
               MethodSpec mthSpec)

Method Detail

createVarSpec

public static VarSpec createVarSpec(java.lang.String spec)

getMatchingLocalVarInfo

public LocalVarInfo getMatchingLocalVarInfo(MethodInfo mi,
                                            int pc,
                                            int slotIdx)