Constant Field Values

Contents

• gov.nasa.*

gov.nasa.*

gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArraySSAVisitor

Modifier and Type	Constant Field	Value
static final int	ARRAY_SUBSCRIPT_BASE	0

gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArraySubscriptMap

Modifier and Type	Constant Field	Value
protected final java.lang.String	label1	"ArrayRef"
protected final java.lang.String	label2	"subscript"
protected final java.lang.String	tableName	"Path Subscript Map"

gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.GlobalArraySubscriptMap

Modifier and Type	Constant Field	Value
protected final java.lang.String	label1	"ArrayRef"
protected final java.lang.String	label2	"subscript"
protected final java.lang.String	tableName	"Global Subscript Map"

gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.FieldSSAVisitor

Modifier and Type	Constant Field	Value
static final int	FIELD_SUBSCRIPT_BASE	0

gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.FieldSubscriptMap

Modifier and Type	Constant Field	Value
protected final java.lang.String	label1	"FieldRef"
protected final java.lang.String	label2	"subscript"
protected final java.lang.String	tableName	"Path Subscript Map"

gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.GlobalSubscriptMap

Modifier and Type	Constant Field	Value
protected final java.lang.String	label1	"FieldRef"
protected final java.lang.String	label2	"subscript"
protected final java.lang.String	tableName	"Global Subscript Map"

gov.nasa.jpf.symbc.veritesting.VeritestingUtil.RegionHitExactHeuristic

Modifier and Type	Constant Field	Value
public static final java.lang.String	formatString	"%-50s %-16.16s %-10.10s %-20.20s %-20.20s"