Package | Description |
---|---|
gov.nasa.jpf.vm.serialize |
Modifier and Type | Interface and Description |
---|---|
static interface |
AmmendableFilterConfiguration.FieldAmmendment |
Modifier and Type | Class and Description |
---|---|
class |
FieldAmmendmentByName |
class |
IgnoreReflectiveNames |
class |
IgnoresFromAnnotations |
class |
IgnoreThreadNastiness |
class |
IgnoreUtilSilliness |
class |
IncludesFromAnnotations |
Modifier and Type | Field and Description |
---|---|
protected ObjVector<AmmendableFilterConfiguration.InstanceAmmendment> |
AmmendableFilterConfiguration.instanceAmmendments |
Modifier and Type | Method and Description |
---|---|
void |
AmmendableFilterConfiguration.appendInstanceAmmendment(AmmendableFilterConfiguration.InstanceAmmendment ia) |