Serialized Form


Package org.jcheck.exceptions

Class org.jcheck.exceptions.AssertionFailedError extends junit.framework.AssertionFailedError implements Serializable

Serialized Fields

parameters

java.lang.String parameters

numtests

int numtests

error

java.lang.Throwable error

Class org.jcheck.exceptions.ImplicationFalseError extends java.lang.Error implements Serializable