Prolog Cafe v1.2

jp.ac.kobe_u.cs.prolog.lang
Class ExistenceException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by jp.ac.kobe_u.cs.prolog.lang.PrologException
                  extended by jp.ac.kobe_u.cs.prolog.lang.BuiltinException
                      extended by jp.ac.kobe_u.cs.prolog.lang.ExistenceException
All Implemented Interfaces:
java.io.Serializable

public class ExistenceException
extends BuiltinException

Existence error.
There will be an existence error when the object on which an operation is to be performed does not exist.

See Also:
Serialized Form

Field Summary
 Term culprit
          Holds the argument or one of its components which caused the error.
static SymbolTerm EXISTENCE_ERROR
          A functor symbol of existence_error/5.
 java.lang.String message
          Holds a string representation of detail message.
 java.lang.String objType
          Holds a string representation of object type.
 
Fields inherited from class jp.ac.kobe_u.cs.prolog.lang.BuiltinException
argNo, goal
 
Constructor Summary
ExistenceException(Predicate _goal, int _argNo, java.lang.String _objType, Term _culprit, java.lang.String _message)
          Constructs a new ExistenceException with the given arguments.
ExistenceException(java.lang.String _objType, Term _culprit, java.lang.String _message)
          Constructs a new ExistenceException with a object type, its culprit, and message.
 
Method Summary
 Term getMessageTerm()
          Returns a term representation of this ExistenceException: existence_error(goal,argNo,objType,culprit,message).
 java.lang.String toString()
          Returns a string representation of this ExistenceException.
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

EXISTENCE_ERROR

public static SymbolTerm EXISTENCE_ERROR
A functor symbol of existence_error/5.


objType

public java.lang.String objType
Holds a string representation of object type.


culprit

public Term culprit
Holds the argument or one of its components which caused the error.


message

public java.lang.String message
Holds a string representation of detail message.

Constructor Detail

ExistenceException

public ExistenceException(java.lang.String _objType,
                          Term _culprit,
                          java.lang.String _message)
Constructs a new ExistenceException with a object type, its culprit, and message.


ExistenceException

public ExistenceException(Predicate _goal,
                          int _argNo,
                          java.lang.String _objType,
                          Term _culprit,
                          java.lang.String _message)
Constructs a new ExistenceException with the given arguments.

Method Detail

getMessageTerm

public Term getMessageTerm()
Returns a term representation of this ExistenceException: existence_error(goal,argNo,objType,culprit,message).

Overrides:
getMessageTerm in class BuiltinException

toString

public java.lang.String toString()
Returns a string representation of this ExistenceException.

Overrides:
toString in class java.lang.Throwable

Prolog Cafe v1.2

Copyright (C) 1997-2008 M.BANBARA and N.TAMURA