Package | Description |
---|---|
gov.nasa.jpf.vm.serialize |
Modifier and Type | Interface and Description |
---|---|
static interface |
AmmendableFilterConfiguration.FieldAmmendment |
static interface |
AmmendableFilterConfiguration.FrameAmmendment |
static interface |
AmmendableFilterConfiguration.InstanceAmmendment |
static interface |
AmmendableFilterConfiguration.StaticAmmendment |
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 |