public class PrologError
extends java.lang.Throwable
Constructor and Description |
---|
PrologError(Term error) |
PrologError(Term error,
java.lang.String descriptionError) |
Modifier and Type | Method and Description |
---|---|
static PrologError |
domain_error(EngineManager e,
int argNo,
java.lang.String validDomain,
Term culprit) |
static PrologError |
evaluation_error(EngineManager e,
int argNo,
java.lang.String error) |
static PrologError |
existence_error(EngineManager e,
int argNo,
java.lang.String objectType,
Term culprit,
Term message) |
Term |
getError() |
static PrologError |
instantiation_error(EngineManager engineManager,
int argNo) |
static PrologError |
permission_error(EngineManager e,
java.lang.String operation,
java.lang.String objectType,
Term culprit,
Term message) |
static PrologError |
representation_error(EngineManager e,
int argNo,
java.lang.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) |
java.lang.String |
toString() |
static PrologError |
type_error(EngineManager e,
int argNo,
java.lang.String validType,
Term culprit) |
public PrologError(Term error)
public PrologError(Term error, java.lang.String descriptionError)
public java.lang.String toString()
toString
in class java.lang.Throwable
public Term getError()
public static PrologError instantiation_error(EngineManager engineManager, int argNo)
public static PrologError type_error(EngineManager e, int argNo, java.lang.String validType, Term culprit)
public static PrologError domain_error(EngineManager e, int argNo, java.lang.String validDomain, Term culprit)
public static PrologError existence_error(EngineManager e, int argNo, java.lang.String objectType, Term culprit, Term message)
public static PrologError permission_error(EngineManager e, java.lang.String operation, java.lang.String objectType, Term culprit, Term message)
public static PrologError representation_error(EngineManager e, int argNo, java.lang.String flag)
public static PrologError evaluation_error(EngineManager e, int argNo, java.lang.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)