Prolog Cafe v1.2

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

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.EvaluationException
All Implemented Interfaces:
java.io.Serializable

public class EvaluationException
extends BuiltinException

Evaluation error.
There will be an evaluation error when the operands of an evaluable functor are such that the operation has an exceptional value.

See Also:
Serialized Form

Field Summary
 java.lang.String errorType
          Holds a string representation of error type.
static SymbolTerm EVALUATION_ERROR
          A functor symbol of evaluation_error/3.
 
Fields inherited from class jp.ac.kobe_u.cs.prolog.lang.BuiltinException
argNo, goal
 
Constructor Summary
EvaluationException(Predicate _goal, int _argNo, java.lang.String _errorType)
          Constructs a new EvaluationException with the given arguments.
EvaluationException(java.lang.String _errorType)
          Constructs a new EvaluationException with an error type.
 
Method Summary
 Term getMessageTerm()
          Returns a term representation of this EvaluationException: evaluation_error(goal,argNo,errorType).
 java.lang.String toString()
          Returns a string representation of this EvaluationException.
 
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

EVALUATION_ERROR

public static SymbolTerm EVALUATION_ERROR
A functor symbol of evaluation_error/3.


errorType

public java.lang.String errorType
Holds a string representation of error type.

Constructor Detail

EvaluationException

public EvaluationException(java.lang.String _errorType)
Constructs a new EvaluationException with an error type.


EvaluationException

public EvaluationException(Predicate _goal,
                           int _argNo,
                           java.lang.String _errorType)
Constructs a new EvaluationException with the given arguments.

Method Detail

getMessageTerm

public Term getMessageTerm()
Returns a term representation of this EvaluationException: evaluation_error(goal,argNo,errorType).

Overrides:
getMessageTerm in class BuiltinException

toString

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

Overrides:
toString in class java.lang.Throwable

Prolog Cafe v1.2

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