gov.nasa.jpf.vm.serialize

Class DefaultFilterConfiguration

java.lang.Object

gov.nasa.jpf.vm.serialize.AmmendableFilterConfiguration

gov.nasa.jpf.vm.serialize.DefaultFilterConfiguration

All Implemented Interfaces:

FilterConfiguration

public class DefaultFilterConfiguration
extends AmmendableFilterConfiguration

Nested Class Summary

Nested classes/interfaces inherited from class gov.nasa.jpf.vm.serialize.AmmendableFilterConfiguration

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

Field Summary

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

frameAmmendments, instanceAmmendments, instanceOverrides, staticAmmendments

Constructor Summary

Constructors

Constructor and Description
DefaultFilterConfiguration()

Method Summary

Methods

Modifier and Type	Method and Description
void	init(Config config)

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

appendConfiguredFrameAmmendments, appendConfiguredInstanceAmmendments, appendConfiguredInstanceOverrides, appendConfiguredStaticAmmendments, appendFieldAmmendment, appendFrameAmmendment, appendInstanceAmmendment, appendInstanceOverride, appendStaticAmmendment, getFramePolicy, getMatchedInstanceFields, getMatchedStaticFields

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultFilterConfiguration

public DefaultFilterConfiguration()

Method Detail

init

public void init(Config config)

Specified by:

init in interface FilterConfiguration

Overrides:

init in class AmmendableFilterConfiguration