gov.nasa.jpf.vm.serialize

Class Ignored

java.lang.Object

gov.nasa.jpf.vm.serialize.Ignored

public class Ignored
extends java.lang.Object

tag attribute to ignore elements (classes, objects, fields) from state matching

Field Summary

Fields

Modifier and Type	Field and Description
static Ignored	IGNORED

Constructor Summary

Constructors

Constructor and Description
Ignored()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

IGNORED

public static final Ignored IGNORED

Constructor Detail

Ignored

public Ignored()