jpl

Class PrologException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

jpl.JPLException

jpl.PrologException

All Implemented Interfaces:

Serializable

public final class PrologException
extends JPLException

An exception of this type is thrown if, in evaluating a Query, an exception is thrown in Prolog via the Prolog throw/1 predicate.

This method provides High-Level interface programmers to handle such exceptions, providing error management between Prolog and Java.

Use the exception_term() accessor to obtain the Term that was thrown via the throw/1 Prolog predicate.

Copyright (C) 1998 Fred Dushin

This library is free software; you can redistribute it and/or modify it under the terms of the GNU Library Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library Public License for more details.

Version:

$Revision: 1.1.1.1 $

Author:

Fred Dushin

See Also:

Serialized Form

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	PrologException(Term term)

Method Summary

Modifier and Type	Method and Description
Term	term()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

PrologException

protected PrologException(Term term)

Method Detail

term

public Term term()

Returns:

a reference to the Term thrown by the call to throw/1