Serialized Form

Package gov.nasa.jpf.symbc.veritesting
- Class gov.nasa.jpf.symbc.veritesting.StaticRegionException extends java.lang.Exception implements Serializable
Package gov.nasa.jpf.symbc.veritesting.ast.def
- Class gov.nasa.jpf.symbc.veritesting.ast.def.ArrayRefVarExpr extends CloneableVariable implements Serializable
  - Serialized Fields
    - arrayRef
```
ArrayRef arrayRef
```
    - subscript
```
SubscriptPair subscript
```
    - varId
```
java.lang.String varId
```
    - uniqueNum
```
int uniqueNum
```
- Class gov.nasa.jpf.symbc.veritesting.ast.def.AstVarExpr extends CloneableVariable implements Serializable
  - Serialized Fields
    - type
```
java.lang.String type
```
    - uniqueNum
```
int uniqueNum
```
- Class gov.nasa.jpf.symbc.veritesting.ast.def.CloneableVariable extends za.ac.sun.cs.green.expr.Variable implements Serializable
- Class gov.nasa.jpf.symbc.veritesting.ast.def.FieldRefVarExpr extends CloneableVariable implements Serializable
  - Serialized Fields
    - fieldRef
```
FieldRef fieldRef
```
    - subscript
```
SubscriptPair subscript
```
    - varId
```
java.lang.String varId
```
    - uniqueNum
```
int uniqueNum
```
- Class gov.nasa.jpf.symbc.veritesting.ast.def.GammaVarExpr extends za.ac.sun.cs.green.expr.Variable implements Serializable
  - Serialized Fields
    - condition
```
za.ac.sun.cs.green.expr.Expression condition
```
    - thenExpr
```
za.ac.sun.cs.green.expr.Expression thenExpr
```
    - elseExpr
```
za.ac.sun.cs.green.expr.Expression elseExpr
```
- Class gov.nasa.jpf.symbc.veritesting.ast.def.WalaVarExpr extends CloneableVariable implements Serializable
  - Serialized Fields
    - number
```
int number
```
      This number matches the number defined for a specific Wala Variable.
    - uniqueNum
```
int uniqueNum
```

Serialized Form

Package gov.nasa.jpf.symbc.veritesting

Class gov.nasa.jpf.symbc.veritesting.StaticRegionException extends java.lang.Exception implements Serializable

Package gov.nasa.jpf.symbc.veritesting.ast.def

Class gov.nasa.jpf.symbc.veritesting.ast.def.ArrayRefVarExpr extends CloneableVariable implements Serializable

Serialized Fields

arrayRef

subscript

varId

uniqueNum

Class gov.nasa.jpf.symbc.veritesting.ast.def.AstVarExpr extends CloneableVariable implements Serializable

Serialized Fields

type

uniqueNum

Class gov.nasa.jpf.symbc.veritesting.ast.def.CloneableVariable extends za.ac.sun.cs.green.expr.Variable implements Serializable

Class gov.nasa.jpf.symbc.veritesting.ast.def.FieldRefVarExpr extends CloneableVariable implements Serializable

Serialized Fields

fieldRef

subscript

varId

uniqueNum

Class gov.nasa.jpf.symbc.veritesting.ast.def.GammaVarExpr extends za.ac.sun.cs.green.expr.Variable implements Serializable

Serialized Fields

condition

thenExpr

elseExpr

Class gov.nasa.jpf.symbc.veritesting.ast.def.WalaVarExpr extends CloneableVariable implements Serializable

Serialized Fields

number

uniqueNum