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