|
GNU Prolog for Java | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object extended by java.lang.Throwable extended by java.lang.Exception extended by gnu.prolog.vm.PrologException
public class PrologException
a prolog exception
Field Summary | |
---|---|
static CompoundTermTag |
domainErrorTag
|
static AtomTerm |
errorAtom
|
static CompoundTermTag |
errorTag
|
static CompoundTermTag |
evaluationErrorTag
|
static CompoundTermTag |
existenceErrorTag
|
static AtomTerm |
instantiationErrorAtom
|
protected String |
msg
message of exception |
static CompoundTermTag |
permissionErrorTag
|
static CompoundTermTag |
representationErrorTag
|
static CompoundTermTag |
syntaxErrorTag
|
static AtomTerm |
systemErrorAtom
|
protected Term |
term
term of the exception |
static CompoundTermTag |
typeErrorTag
|
Constructor Summary | |
---|---|
protected |
PrologException()
|
protected |
PrologException(String message)
|
protected |
PrologException(String message,
Throwable cause)
|
PrologException(Term term,
Throwable inner)
a constructor |
|
protected |
PrologException(Throwable cause)
|
Method Summary | |
---|---|
static void |
domainError(AtomTerm errorType,
Term errorTerm)
|
static void |
evalutationError(AtomTerm error)
|
static void |
existenceError(AtomTerm errorType,
Term errorTerm)
|
String |
getMessage()
|
Term |
getTerm()
get term of this exception |
static void |
instantiationError()
|
static void |
permissionError(AtomTerm operation,
AtomTerm permissionType,
Term culprit)
|
static void |
representationError(Term errorTerm)
|
static void |
syntaxError(AtomTerm term)
|
static void |
syntaxError(AtomTerm term,
Throwable inner)
|
static void |
syntaxError(ParseException ex)
|
static void |
systemError()
|
static void |
systemError(Throwable inner)
|
static void |
typeError(AtomTerm errorType,
Term errorTerm)
|
Methods inherited from class java.lang.Throwable |
---|
fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected Term term
protected String msg
public static final AtomTerm instantiationErrorAtom
public static final AtomTerm systemErrorAtom
public static final AtomTerm errorAtom
public static final CompoundTermTag errorTag
public static final CompoundTermTag typeErrorTag
public static final CompoundTermTag existenceErrorTag
public static final CompoundTermTag domainErrorTag
public static final CompoundTermTag representationErrorTag
public static final CompoundTermTag syntaxErrorTag
public static final CompoundTermTag permissionErrorTag
public static final CompoundTermTag evaluationErrorTag
Constructor Detail |
---|
protected PrologException()
protected PrologException(String message, Throwable cause)
message
- cause
- protected PrologException(String message)
message
- protected PrologException(Throwable cause)
cause
- public PrologException(Term term, Throwable inner)
term
- inner
- The cause of the exception.Method Detail |
---|
public String getMessage()
getMessage
in class Throwable
public Term getTerm()
public static void systemError() throws PrologException
PrologException
public static void systemError(Throwable inner) throws PrologException
PrologException
public static void instantiationError() throws PrologException
PrologException
public static void typeError(AtomTerm errorType, Term errorTerm) throws PrologException
PrologException
public static void existenceError(AtomTerm errorType, Term errorTerm) throws PrologException
PrologException
public static void domainError(AtomTerm errorType, Term errorTerm) throws PrologException
PrologException
public static void representationError(Term errorTerm) throws PrologException
PrologException
public static void syntaxError(AtomTerm term) throws PrologException
PrologException
public static void syntaxError(AtomTerm term, Throwable inner) throws PrologException
PrologException
public static void syntaxError(ParseException ex) throws PrologException
PrologException
public static void permissionError(AtomTerm operation, AtomTerm permissionType, Term culprit) throws PrologException
PrologException
public static void evalutationError(AtomTerm error) throws PrologException
PrologException
|
GNU Prolog for Java | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |