korat.testing.impl
Class CannotInvokeFinitizationException

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

All Implemented Interfaces:

Serializable

public class CannotInvokeFinitizationException
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

CannotInvokeFinitizationException(Class cls, String methodName)

CannotInvokeFinitizationException(Class cls, String methodName, String message)

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

CannotInvokeFinitizationException(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

CannotInvokeFinitizationException

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

CannotInvokeFinitizationException

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

CannotInvokeFinitizationException

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

CannotInvokeFinitizationException

public CannotInvokeFinitizationException(Class cls,
                                         String methodName)