Constant Field Values


Contents
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."