gov.nasa.jpf.vm

Class NoUncaughtExceptionsProperty

java.lang.Object

gov.nasa.jpf.GenericProperty

gov.nasa.jpf.vm.NoUncaughtExceptionsProperty

All Implemented Interfaces:

Property, Printable, java.lang.Cloneable

public class NoUncaughtExceptionsProperty
extends GenericProperty

property class to check for uncaught exceptions

Constructor Summary

Constructors

Constructor and Description
NoUncaughtExceptionsProperty(Config config)

Method Summary

Modifier and Type	Method and Description
boolean	check(Search search, VM vm) return true if property is NOT violated
java.lang.String	getErrorMessage()
java.lang.String	getExplanation()
ExceptionInfo	getUncaughtExceptionInfo()
void	reset()

Methods inherited from class gov.nasa.jpf.GenericProperty

clone, printOn

Methods inherited from class java.lang.Object

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

Constructor Detail

NoUncaughtExceptionsProperty

public NoUncaughtExceptionsProperty(Config config)

Method Detail

getUncaughtExceptionInfo

public ExceptionInfo getUncaughtExceptionInfo()

getExplanation

public java.lang.String getExplanation()

Specified by:

getExplanation in interface Property

Overrides:

getExplanation in class GenericProperty

getErrorMessage

public java.lang.String getErrorMessage()

Specified by:

getErrorMessage in interface Property

Overrides:

getErrorMessage in class GenericProperty

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