com.svincent.moksa
Class PrologException.UnhandledPrologException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--com.svincent.util.NestableException
                    |
                    +--com.svincent.moksa.PrologException
                          |
                          +--com.svincent.moksa.PrologException.UnhandledPrologException

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

PrologException

public static class PrologException.UnhandledPrologException

extends PrologException

See Also:

Serialized Form

Inner classes inherited from class com.svincent.moksa.PrologException

PrologException.UnhandledPrologException

Constructor Summary

PrologException.UnhandledPrologException(PrologTerm _exception)

Method Summary

java.lang.String	getMessage()
PrologTerm	getPrologException()
void	printJavaException(java.io.PrintWriter out)
void	printStackTrace(java.io.PrintWriter out) Print the stack trace of this exception to the given writer.

Methods inherited from class com.svincent.moksa.PrologException

printStackTrace

Methods inherited from class com.svincent.util.NestableException

getNestedException, getStackTrace, main, testBar, testFoo

Methods inherited from class java.lang.Throwable

fillInStackTrace, getLocalizedMessage, printStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PrologException.UnhandledPrologException

public PrologException.UnhandledPrologException(PrologTerm _exception)

Method Detail

getMessage

public java.lang.String getMessage()

Overrides:

getMessage in class java.lang.Throwable

getPrologException

public PrologTerm getPrologException()

printStackTrace

public void printStackTrace(java.io.PrintWriter out)

Description copied from class: NestableException

Print the stack trace of this exception to the given writer.

Overrides:

printStackTrace in class NestableException

printJavaException

public void printJavaException(java.io.PrintWriter out)