gov.nasa.jpf.vm

Class NoOutOfMemoryErrorProperty

java.lang.Object

gov.nasa.jpf.GenericProperty

gov.nasa.jpf.vm.NoOutOfMemoryErrorProperty

All Implemented Interfaces:

Property, Printable, java.lang.Cloneable

public class NoOutOfMemoryErrorProperty
extends GenericProperty

A property class so that gov.nasa.jpf.JPF can add an error to the gov.nasa.jpf.search.Search object when JPF catches an OutOfMemoryError.

Constructor Summary

Constructors

Constructor and Description
NoOutOfMemoryErrorProperty()

Method Summary

Modifier and Type	Method and Description
boolean	check(Search search, VM vm) return true if property is NOT violated
void	reset()

Methods inherited from class gov.nasa.jpf.GenericProperty

clone, getErrorMessage, getExplanation, printOn

Methods inherited from class java.lang.Object

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

Constructor Detail

NoOutOfMemoryErrorProperty

public NoOutOfMemoryErrorProperty()

Method Detail

reset

public void reset()

Specified by:

reset in interface Property

Overrides:

reset in class GenericProperty

check

public boolean check(Search search,
                     VM vm)

Description copied from interface: Property

return true if property is NOT violated

Specified by:

check in interface Property

Specified by:

check in class GenericProperty