Serialized Form

Package korat.gui.viz

Class korat.gui.viz.UnsupportedTypeException extends Exception implements Serializable

serialVersionUID: 2636018789087731740L

Package korat.gui.viz.metamodel

Class korat.gui.viz.metamodel.SigDoesNotExistException extends Exception implements Serializable

serialVersionUID: 7418475581232595004L

Serialized Fields

sigName

String sigName

Package korat.testing.impl

Class korat.testing.impl.CannotFindClassUnderTest extends KoratTestException implements Serializable

serialVersionUID: -3153614910905623474L

Serialized Fields

fullClassName

String fullClassName

Class korat.testing.impl.CannotFindFinitizationException extends KoratMethodException implements Serializable

serialVersionUID: -4529089297942267157L

Class korat.testing.impl.CannotFindPredicateException extends KoratMethodException implements Serializable

serialVersionUID: 6737285687008444264L

Class korat.testing.impl.CannotInvokeFinitizationException extends KoratMethodException implements Serializable

serialVersionUID: -1074713750811471941L

Class korat.testing.impl.CannotInvokePredicateException extends KoratMethodException implements Serializable

serialVersionUID: 4065045854470826333L

Class korat.testing.impl.KoratMethodException extends KoratTestException implements Serializable

serialVersionUID: -7838792721550266628L

Serialized Fields

cls

Class<T> cls

methodName

String methodName

Class korat.testing.impl.KoratTestException extends Exception implements Serializable

serialVersionUID: -1483361098567057107L