public class PrologError extends Throwable
Constructor and Description |
---|
PrologError(Term error) |
PrologError(Term error,
String descriptionError) |
Modifier and Type | Method and Description |
---|---|
static PrologError |
domain_error(EngineManager e,
int argNo,
String validDomain,
Term culprit) |
static PrologError |
evaluation_error(EngineManager e,
int argNo,
String error) |
static PrologError |
existence_error(EngineManager e,
int argNo,
String objectType,
Term culprit,
Term message) |
Term |
getError() |
static PrologError |
instantiation_error(EngineManager e,
int argNo) |
static PrologError |
permission_error(EngineManager e,
String operation,
String objectType,
Term culprit,
Term message) |
static PrologError |
representation_error(EngineManager e,
int argNo,
String flag) |
static PrologError |
resource_error(EngineManager e,
Term resource) |
static PrologError |
syntax_error(EngineManager e,
int clause,
int line,
int position,
Term message) |
static PrologError |
system_error(Term message) |
String |
toString() |
static PrologError |
type_error(EngineManager e,
int argNo,
String validType,
Term culprit) |
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
public PrologError(Term error)
public Term getError()
public static PrologError instantiation_error(EngineManager e, int argNo)
public static PrologError type_error(EngineManager e, int argNo, String validType, Term culprit)
public static PrologError domain_error(EngineManager e, int argNo, String validDomain, Term culprit)
public static PrologError existence_error(EngineManager e, int argNo, String objectType, Term culprit, Term message)
public static PrologError permission_error(EngineManager e, String operation, String objectType, Term culprit, Term message)
public static PrologError representation_error(EngineManager e, int argNo, String flag)
public static PrologError evaluation_error(EngineManager e, int argNo, String error)
public static PrologError resource_error(EngineManager e, Term resource)
public static PrologError syntax_error(EngineManager e, int clause, int line, int position, Term message)
public static PrologError system_error(Term message)