gov.nasa.jpf.vm.serialize

Class IgnoreReflectiveNames

java.lang.Object

gov.nasa.jpf.vm.serialize.FieldAmmendmentByName

gov.nasa.jpf.vm.serialize.IgnoreReflectiveNames

All Implemented Interfaces:

AmmendableFilterConfiguration.Ammendment, AmmendableFilterConfiguration.FieldAmmendment, AmmendableFilterConfiguration.InstanceAmmendment, AmmendableFilterConfiguration.StaticAmmendment

public class IgnoreReflectiveNames
extends FieldAmmendmentByName

Field Summary

Fields

Modifier and Type	Field and Description
static IgnoreReflectiveNames	instance

Fields inherited from class gov.nasa.jpf.vm.serialize.FieldAmmendmentByName

fullFieldNames, policy

Fields inherited from interface gov.nasa.jpf.vm.serialize.AmmendableFilterConfiguration.Ammendment

POLICY_IGNORE, POLICY_INCLUDE

Constructor Summary

Constructors

Constructor and Description
IgnoreReflectiveNames()

Method Summary

Methods inherited from class gov.nasa.jpf.vm.serialize.FieldAmmendmentByName

ammendFieldInclusion

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

instance

public static final IgnoreReflectiveNames instance

Constructor Detail

IgnoreReflectiveNames

public IgnoreReflectiveNames()