|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
com.didana.* |
---|
com.didana.codecontract.core.ContractException | ||
---|---|---|
public static final java.lang.String |
ANNOTATED_METHOD_MISSING |
"The annotated method does not exist in the class." |
public static final java.lang.String |
CANNOT_GET_CONSTRUCTOR_ANNOTATION_VALUE |
"The value of the constructor annotation cannot be get." |
public static final java.lang.String |
CANNOT_GET_FIELDS |
"Cannot get fields of class." |
public static final java.lang.String |
CANNOT_GET_FIELDS_ANNOTATION_VALUE |
"The value of the field annotation cannot be get." |
public static final java.lang.String |
CANNOT_GET_INVARIANTS |
"Cannot get invariants of class." |
public static final java.lang.String |
CANNOT_GET_METHOD_ANNOTATION_VALUE |
"The value of the method annotation cannot be get." |
public static final java.lang.String |
CANNOT_GET_METHOD_CONTRACTS |
"Cannot get method contracts for parrent classes and interfaces." |
public static final java.lang.String |
CANNOT_GET_METHODS |
"Cannot get methods of class." |
public static final java.lang.String |
CANNOT_GET_METHODS_ANNOTATION_VALUE |
"The value of the method annotation cannot be get." |
public static final java.lang.String |
CLASS_INSTANCE_NOT_INITIALIZED |
"The class instance is null." |
public static final java.lang.String |
CONTRACT_ANNOTATION_MISSING |
"The class does not have declared \'dbc.annotation.Contract\' annotation." |
public static final java.lang.String |
INVALID_ANNOTATION |
"The type of annotatipn passed is not valid. It must be Pre or Post annotation." |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |