gov.nasa.jpf.vm.serialize

Interfaces

• Abstraction
• AmmendableFilterConfiguration.Ammendment
• AmmendableFilterConfiguration.FieldAmmendment
• AmmendableFilterConfiguration.FrameAmmendment
• AmmendableFilterConfiguration.InstanceAmmendment
• AmmendableFilterConfiguration.InstanceOverride
• AmmendableFilterConfiguration.StaticAmmendment
• FilterConfiguration

Classes

• AbstractionAdapter
• AdaptiveSerializer
• AmmendableFilterConfiguration
• CFSerializer
• DebugCFSerializer
• DebugFilteringSerializer
• DefaultFilterConfiguration
• DynamicAbstractionSerializer
• FieldAmmendmentByName
• FilteringSerializer
• FramePolicy
• IgnoreConstants
• Ignored
• IgnoreReflectiveNames
• IgnoresFromAnnotations
• IgnoreThreadNastiness
• IgnoreUtilSilliness
• IncludesFromAnnotations
• TopFrameSerializer

Annotation Types

• FilterFrame
• UnfilterField