gov.nasa.jpf.vm.serialize

Class IgnoresFromAnnotations

java.lang.Object

gov.nasa.jpf.vm.serialize.IgnoresFromAnnotations

All Implemented Interfaces:

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

public class IgnoresFromAnnotations
extends java.lang.Object
implements AmmendableFilterConfiguration.FieldAmmendment, AmmendableFilterConfiguration.FrameAmmendment

Field Summary

Fields

Modifier and Type	Field and Description
protected Config	config

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

POLICY_IGNORE, POLICY_INCLUDE

Constructor Summary

Constructors

Constructor and Description
IgnoresFromAnnotations(Config config)

Method Summary

Modifier and Type	Method and Description
boolean	ammendFieldInclusion(FieldInfo fi, boolean sofar)
FramePolicy	ammendFramePolicy(MethodInfo mi, FramePolicy sofar)

Methods inherited from class java.lang.Object

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

Field Detail

config

protected Config config

Constructor Detail

IgnoresFromAnnotations

public IgnoresFromAnnotations(Config config)

Method Detail

ammendFieldInclusion

public boolean ammendFieldInclusion(FieldInfo fi,
                                    boolean sofar)

Specified by:

ammendFieldInclusion in interface AmmendableFilterConfiguration.InstanceAmmendment

Specified by:

ammendFieldInclusion in interface AmmendableFilterConfiguration.StaticAmmendment

ammendFramePolicy

public FramePolicy ammendFramePolicy(MethodInfo mi,
                                     FramePolicy sofar)

Specified by:

ammendFramePolicy in interface AmmendableFilterConfiguration.FrameAmmendment