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 |
IgnoreConstants
Marks static final field of primitive or known immutable type to be
filtered.
|
class |
IgnoreReflectiveNames |
class |
IgnoresFromAnnotations |
class |
IgnoreThreadNastiness |
class |
IgnoreUtilSilliness |
class |
IncludesFromAnnotations |
Modifier and Type | Field and Description |
---|---|
protected ObjVector<AmmendableFilterConfiguration.StaticAmmendment> |
AmmendableFilterConfiguration.staticAmmendments |
Modifier and Type | Method and Description |
---|---|
void |
AmmendableFilterConfiguration.appendStaticAmmendment(AmmendableFilterConfiguration.StaticAmmendment sa) |