jpl.PrologException Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of sigma-component Show documentation

Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org.

The newest version!

/*This code is copyrighted by Teknowledge (c) 2003.
It is released underthe GNU Public License .
Users ofthis code also consent, by use of this code, to credit Teknowledge in any
writings, briefings,publications, presentations, or other representations of any
software which incorporates, builds on, or uses this code.*/ 

 
package jpl;



//----------------------------------------------------------------------/
// PrologException
/**
 * 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.
 * 

 * @author  Fred Dushin 
 * @version $Revision: 1.1.1.1 $
 */
// Implementation notes:  
// 
//----------------------------------------------------------------------/
public final class
PrologException extends JPLException
{
	private Term term_ = null;
	
	protected
	PrologException( Term term )
	{
		super( "PrologException: " + term.toString() );
		
		this.term_ = term;
	}
	
	/**
	 * @return a reference to the Term thrown by the call to throw/1
	 */
	public Term
	term()
	{
		return this.term_;
	}
}