A C D E G I L O P V

C

CANNOT_GET_CONSTRUCTOR_ANNOTATION_VALUE - Static variable in exception com.didana.codecontract.core.ContractException
 
CANNOT_GET_FIELDS - Static variable in exception com.didana.codecontract.core.ContractException
 
CANNOT_GET_FIELDS_ANNOTATION_VALUE - Static variable in exception com.didana.codecontract.core.ContractException
 
CANNOT_GET_INVARIANTS - Static variable in exception com.didana.codecontract.core.ContractException
 
CANNOT_GET_METHOD_ANNOTATION_VALUE - Static variable in exception com.didana.codecontract.core.ContractException
 
CANNOT_GET_METHOD_CONTRACTS - Static variable in exception com.didana.codecontract.core.ContractException
 
CANNOT_GET_METHODS - Static variable in exception com.didana.codecontract.core.ContractException
 
CANNOT_GET_METHODS_ANNOTATION_VALUE - Static variable in exception com.didana.codecontract.core.ContractException
 
checkMethodContracts() - Method in class com.didana.codecontract.core.ObjectHandler
Evaluates the contracts that are currently active
CLASS_INSTANCE_NOT_INITIALIZED - Static variable in exception com.didana.codecontract.core.ContractException
 
com.didana.codecontract.annotation - package com.didana.codecontract.annotation
 
com.didana.codecontract.core - package com.didana.codecontract.core
 
com.didana.codecontract.util - package com.didana.codecontract.util
 
Contract - Annotation Type in com.didana.codecontract.annotation
An annotation that supports Design by Contract tests.
CONTRACT_ANNOTATION_MISSING - Static variable in exception com.didana.codecontract.core.ContractException
 
ContractException - Exception in com.didana.codecontract.core
This is runtime exception thrown when an error occurs during the runtime check of contracts.
ContractException(String) - Constructor for exception com.didana.codecontract.core.ContractException
 
ContractException(Exception) - Constructor for exception com.didana.codecontract.core.ContractException
 
ContractException(String, Exception) - Constructor for exception com.didana.codecontract.core.ContractException
 
ContractHandler - Class in com.didana.codecontract.core
This class extracts contract values representing pre and post conditions specified on methods and class invariants.
ContractHandler() - Constructor for class com.didana.codecontract.core.ContractHandler
 

A C D E G I L O P V