gnu.prolog.vm
Class PrologException
java.lang.Object
   java.lang.Throwable
java.lang.Throwable
       java.lang.Exception
java.lang.Exception
           gnu.prolog.vm.PrologException
gnu.prolog.vm.PrologException
- All Implemented Interfaces: 
- Serializable
- public class PrologException 
- extends Exception
a prolog exception
- See Also:
- Serialized Form
 
 
 
 
 
term
protected Term term
- term of the exception
 
 
msg
protected String msg
- message of exception
 
 
instantiationErrorAtom
public static final AtomTerm instantiationErrorAtom
systemErrorAtom
public static final AtomTerm systemErrorAtom
errorAtom
public static final AtomTerm errorAtom
errorTag
public static final CompoundTermTag errorTag
typeErrorTag
public static final CompoundTermTag typeErrorTag
existenceErrorTag
public static final CompoundTermTag existenceErrorTag
domainErrorTag
public static final CompoundTermTag domainErrorTag
representationErrorTag
public static final CompoundTermTag representationErrorTag
syntaxErrorTag
public static final CompoundTermTag syntaxErrorTag
permissionErrorTag
public static final CompoundTermTag permissionErrorTag
evaluationErrorTag
public static final CompoundTermTag evaluationErrorTag
PrologException
protected PrologException()
PrologException
protected PrologException(String message,
                          Throwable cause)
- Parameters:
- message-
- cause-
PrologException
protected PrologException(String message)
- Parameters:
- message-
PrologException
protected PrologException(Throwable cause)
- Parameters:
- cause-
PrologException
public PrologException(Term term,
                       Throwable inner)
- a constructor
 
- Parameters:
- term-
- inner- The cause of the exception.
 
getMessage
public String getMessage()
- 
- Overrides:
- getMessagein class- Throwable
 
- 
 
getTerm
public Term getTerm()
- get term of this exception
 
- 
- Returns:
- term of this exception
 
systemError
public static void systemError()
                        throws PrologException
- 
- Throws:
- PrologException
 
systemError
public static void systemError(Throwable inner)
                        throws PrologException
- 
- Throws:
- PrologException
 
instantiationError
public static void instantiationError()
                               throws PrologException
- 
- Throws:
- PrologException
 
typeError
public static void typeError(AtomTerm errorType,
                             Term errorTerm)
                      throws PrologException
- 
- Throws:
- PrologException
 
existenceError
public static void existenceError(AtomTerm errorType,
                                  Term errorTerm)
                           throws PrologException
- 
- Throws:
- PrologException
 
domainError
public static void domainError(AtomTerm errorType,
                               Term errorTerm)
                        throws PrologException
- 
- Throws:
- PrologException
 
representationError
public static void representationError(Term errorTerm)
                                throws PrologException
- 
- Throws:
- PrologException
 
syntaxError
public static void syntaxError(AtomTerm term)
                        throws PrologException
- 
- Throws:
- PrologException
 
syntaxError
public static void syntaxError(AtomTerm term,
                               Throwable inner)
                        throws PrologException
- 
- Throws:
- PrologException
 
syntaxError
public static void syntaxError(ParseException ex)
                        throws PrologException
- 
- Throws:
- PrologException
 
permissionError
public static void permissionError(AtomTerm operation,
                                   AtomTerm permissionType,
                                   Term culprit)
                            throws PrologException
- 
- Throws:
- PrologException
 
evalutationError
public static void evalutationError(AtomTerm error)
                             throws PrologException
- 
- Throws:
- PrologException