korat.testing.impl
Class CannotFindFinitizationException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          korat.testing.impl.KoratTestException
              korat.testing.impl.KoratMethodException
                  korat.testing.impl.CannotFindFinitizationException

All Implemented Interfaces:

Serializable

public class CannotFindFinitizationException
extends KoratMethodException

Author:

Aleksandar Milicevic

See Also:

Serialized Form

Field Summary

private static long

serialVersionUID

Fields inherited from class korat.testing.impl.KoratMethodException

cls, methodName

Constructor Summary

CannotFindFinitizationException(Class cls, String methodName)

CannotFindFinitizationException(Class cls, String methodName, String message)

CannotFindFinitizationException(Class cls, String methodName, String message, Throwable cause)

CannotFindFinitizationException(Class cls, String methodName, Throwable cause)

Method Summary

Methods inherited from class korat.testing.impl.KoratMethodException

getCls, getMethodName, setCls, setMethodName

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

CannotFindFinitizationException

public CannotFindFinitizationException(Class cls,
                                       String methodName,
                                       String message,
                                       Throwable cause)

CannotFindFinitizationException

public CannotFindFinitizationException(Class cls,
                                       String methodName,
                                       String message)

CannotFindFinitizationException

public CannotFindFinitizationException(Class cls,
                                       String methodName,
                                       Throwable cause)

CannotFindFinitizationException

public CannotFindFinitizationException(Class cls,
                                       String methodName)