gov.nasa.jpf.vm.serialize

Class FieldAmmendmentByName

java.lang.Object

gov.nasa.jpf.vm.serialize.FieldAmmendmentByName

All Implemented Interfaces:

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

Direct Known Subclasses:

IgnoreReflectiveNames

public class FieldAmmendmentByName
extends java.lang.Object
implements AmmendableFilterConfiguration.FieldAmmendment

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Set<java.lang.String>	fullFieldNames
protected boolean	policy

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

POLICY_IGNORE, POLICY_INCLUDE

Constructor Summary

Constructors

Constructor and Description
FieldAmmendmentByName(java.util.Collection<java.lang.String> fullFieldNames, boolean policy)
FieldAmmendmentByName(java.lang.Iterable<java.lang.String> fullFieldNames, boolean policy)
FieldAmmendmentByName(java.lang.String[] fieldNames, boolean policy)

Method Summary

Modifier and Type	Method and Description
boolean	ammendFieldInclusion(FieldInfo fi, boolean sofar)

Methods inherited from class java.lang.Object

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

Field Detail

fullFieldNames

protected final java.util.Set<java.lang.String> fullFieldNames

policy

protected final boolean policy

Constructor Detail

FieldAmmendmentByName

public FieldAmmendmentByName(java.lang.String[] fieldNames,
                             boolean policy)

FieldAmmendmentByName

public FieldAmmendmentByName(java.util.Collection<java.lang.String> fullFieldNames,
                             boolean policy)

FieldAmmendmentByName

public FieldAmmendmentByName(java.lang.Iterable<java.lang.String> fullFieldNames,
                             boolean policy)

Method Detail

ammendFieldInclusion

public boolean ammendFieldInclusion(FieldInfo fi,
                                    boolean sofar)

Specified by:

ammendFieldInclusion in interface AmmendableFilterConfiguration.InstanceAmmendment

Specified by:

ammendFieldInclusion in interface AmmendableFilterConfiguration.StaticAmmendment