Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
G
I
L
O
P
V