public interface ProcessorMessages
Modifier and Type | Field and Description |
---|---|
static String |
ERR_ARG_BAD_TYPE |
static String |
ERR_BAD_ITEM_IN_MAPPING |
static String |
ERR_BAD_TYPE_IN_VAR_INIT |
static String |
ERR_BAD_VAR_INIT |
static String |
ERR_CANT_CHECK_TYPES |
static String |
ERR_KEEP_SUBST_DEFAULTS_TRUE |
static String |
ERR_MAPPING_WRONG |
static String |
ERR_PARAMS_NUMBER_WRONG |
static String |
ERR_PREDICATE_MALFORMED |
static String |
ERR_PROLOG_CLASS_NOT_ALLOWED |
static String |
ERR_PROLOG_METHOD_NOT_ALLOWED |
static String |
ERR_RET_BAD_TYPE |
static String |
ERR_RETURN_MULTIPLE_REQUIRED |
static String |
ERR_RETURN_TYPE_REQUIRED |
static String |
ERR_SELECT_EMPTY |
static String |
ERR_SELECT_TOO_MANY |
static String |
ERR_SIGNATURE_MALFORMED |
static String |
ERR_THEORY_INVALID |
static String |
ERR_THROW_MISSING |
static String |
ERR_TVAR_BAD_BOUND |
static String |
WARN_SELECT_IGNORED |
static final String ERR_PROLOG_CLASS_NOT_ALLOWED
static final String ERR_PROLOG_METHOD_NOT_ALLOWED
static final String ERR_THEORY_INVALID
static final String ERR_PREDICATE_MALFORMED
static final String ERR_SIGNATURE_MALFORMED
static final String ERR_RETURN_MULTIPLE_REQUIRED
static final String ERR_SELECT_EMPTY
static final String ERR_CANT_CHECK_TYPES
static final String ERR_SELECT_TOO_MANY
static final String WARN_SELECT_IGNORED
static final String ERR_PARAMS_NUMBER_WRONG
static final String ERR_MAPPING_WRONG
static final String ERR_BAD_ITEM_IN_MAPPING
static final String ERR_THROW_MISSING
static final String ERR_RETURN_TYPE_REQUIRED
static final String ERR_ARG_BAD_TYPE
static final String ERR_TVAR_BAD_BOUND
static final String ERR_RET_BAD_TYPE
static final String ERR_KEEP_SUBST_DEFAULTS_TRUE
static final String ERR_BAD_VAR_INIT
static final String ERR_BAD_TYPE_IN_VAR_INIT