korat.testing.impl
Class KoratMethodException

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

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

CannotFindFinitizationException, CannotFindPredicateException, CannotInvokeFinitizationException, CannotInvokePredicateException

public class KoratMethodException
extends KoratTestException

Author:

Aleksandar Milicevic

See Also:

Serialized Form

Field Summary

protected Class	cls
protected String	methodName
private static long	serialVersionUID

Constructor Summary

KoratMethodException(Class cls, String methodName)

KoratMethodException(Class cls, String methodName, String message)

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

KoratMethodException(Class cls, String methodName, Throwable cause)

Method Summary

Class	getCls()
String	getMethodName()
void	setCls(Class cls)
void	setMethodName(String methodName)

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

cls

protected Class cls

methodName

protected String methodName

Constructor Detail

KoratMethodException

public KoratMethodException(Class cls,
                            String methodName)

KoratMethodException

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

KoratMethodException

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

KoratMethodException

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

Method Detail

getCls

public Class getCls()

setCls

public void setCls(Class cls)

getMethodName

public String getMethodName()

setMethodName

public void setMethodName(String methodName)