com.didana.codecontract.core
Class ContractException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by com.didana.codecontract.core.ContractException
All Implemented Interfaces:
java.io.Serializable

public class ContractException
extends java.lang.RuntimeException

This is runtime exception thrown when an error occurs during the runtime check of contracts.

Author:
Diana Berberova
See Also:
Serialized Form

Field Summary
static java.lang.String ANNOTATED_METHOD_MISSING
           
static java.lang.String CANNOT_GET_CONSTRUCTOR_ANNOTATION_VALUE
           
static java.lang.String CANNOT_GET_FIELDS
           
static java.lang.String CANNOT_GET_FIELDS_ANNOTATION_VALUE
           
static java.lang.String CANNOT_GET_INVARIANTS
           
static java.lang.String CANNOT_GET_METHOD_ANNOTATION_VALUE
           
static java.lang.String CANNOT_GET_METHOD_CONTRACTS
           
static java.lang.String CANNOT_GET_METHODS
           
static java.lang.String CANNOT_GET_METHODS_ANNOTATION_VALUE
           
static java.lang.String CLASS_INSTANCE_NOT_INITIALIZED
           
static java.lang.String CONTRACT_ANNOTATION_MISSING
           
static java.lang.String INVALID_ANNOTATION
           
 
Constructor Summary
ContractException(java.lang.Exception e)
           
ContractException(java.lang.String message)
           
ContractException(java.lang.String message, java.lang.Exception e)
           
 
Method Summary
 java.lang.Exception getException()
           
 java.lang.String getInnerMessage()
           
 java.lang.String getMessage()
           
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

CANNOT_GET_INVARIANTS

public static final java.lang.String CANNOT_GET_INVARIANTS
See Also:
Constant Field Values

CONTRACT_ANNOTATION_MISSING

public static final java.lang.String CONTRACT_ANNOTATION_MISSING
See Also:
Constant Field Values

ANNOTATED_METHOD_MISSING

public static final java.lang.String ANNOTATED_METHOD_MISSING
See Also:
Constant Field Values

CANNOT_GET_METHOD_ANNOTATION_VALUE

public static final java.lang.String CANNOT_GET_METHOD_ANNOTATION_VALUE
See Also:
Constant Field Values

CANNOT_GET_CONSTRUCTOR_ANNOTATION_VALUE

public static final java.lang.String CANNOT_GET_CONSTRUCTOR_ANNOTATION_VALUE
See Also:
Constant Field Values

CANNOT_GET_METHOD_CONTRACTS

public static final java.lang.String CANNOT_GET_METHOD_CONTRACTS
See Also:
Constant Field Values

CANNOT_GET_FIELDS

public static final java.lang.String CANNOT_GET_FIELDS
See Also:
Constant Field Values

CANNOT_GET_FIELDS_ANNOTATION_VALUE

public static final java.lang.String CANNOT_GET_FIELDS_ANNOTATION_VALUE
See Also:
Constant Field Values

CANNOT_GET_METHODS

public static final java.lang.String CANNOT_GET_METHODS
See Also:
Constant Field Values

CANNOT_GET_METHODS_ANNOTATION_VALUE

public static final java.lang.String CANNOT_GET_METHODS_ANNOTATION_VALUE
See Also:
Constant Field Values

CLASS_INSTANCE_NOT_INITIALIZED

public static final java.lang.String CLASS_INSTANCE_NOT_INITIALIZED
See Also:
Constant Field Values

INVALID_ANNOTATION

public static final java.lang.String INVALID_ANNOTATION
See Also:
Constant Field Values
Constructor Detail

ContractException

public ContractException(java.lang.String message)

ContractException

public ContractException(java.lang.Exception e)

ContractException

public ContractException(java.lang.String message,
                         java.lang.Exception e)
Method Detail

getMessage

public java.lang.String getMessage()
Overrides:
getMessage in class java.lang.Throwable

getInnerMessage

public java.lang.String getInnerMessage()

getException

public java.lang.Exception getException()