gov.nasa.jpf.vm.serialize

Class IgnoreConstants

java.lang.Object

gov.nasa.jpf.vm.serialize.IgnoreConstants

All Implemented Interfaces:

AmmendableFilterConfiguration.Ammendment, AmmendableFilterConfiguration.StaticAmmendment

public class IgnoreConstants
extends java.lang.Object
implements AmmendableFilterConfiguration.StaticAmmendment

Marks static final field of primitive or known immutable type to be filtered. In theory, these could be critical to state, but that would be highly irregular. NOTE - final does not really mean constant, so we only ignore fields here that are initialized from lexical constants, i.e. a constpool entry. Others might involve data choice generators

Ignoring constants probably isn't beneficial with the FilteringSerializer but could be a big win with AbstractingSerializer, which garbage-collects no-longer-reachable objects--that is, garbage collection in its representation, not in VM.

Field Summary

Fields

Modifier and Type	Field and Description
static IgnoreConstants	instance

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

POLICY_IGNORE, POLICY_INCLUDE

Constructor Summary

Constructors

Constructor and Description
IgnoreConstants()

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

instance

public static final IgnoreConstants instance

Constructor Detail

IgnoreConstants

public IgnoreConstants()

Method Detail

ammendFieldInclusion

public boolean ammendFieldInclusion(FieldInfo fi,
                                    boolean sofar)

Specified by:

ammendFieldInclusion in interface AmmendableFilterConfiguration.StaticAmmendment