Prolog Cafe v1.2

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

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

public class PInstantiationException
extends BuiltinException

Instantiation error.
There will be an instantiation error when an argument of one of its components is a variable, and an instantiated argument or component is required.

See Also:
Serialized Form

Field Summary
static SymbolTerm INSTANTIATION_ERROR
          A functor symbol of instantiation/2.
 
Fields inherited from class jp.ac.kobe_u.cs.prolog.lang.BuiltinException
argNo, goal
 
Constructor Summary
PInstantiationException()
          Constructs a new PInstantiationException.
PInstantiationException(Predicate _goal, int _argNo)
          Constructs a new PInstantiationException with the given arguments.
 
Method Summary
 Term getMessageTerm()
          Returns a term representation of this PInstantiationException: instantiation_error(goal,argNo).
 java.lang.String toString()
          Returns a string representation of this PInstantiationException.
 
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

INSTANTIATION_ERROR

public static SymbolTerm INSTANTIATION_ERROR
A functor symbol of instantiation/2.

Constructor Detail

PInstantiationException

public PInstantiationException()
Constructs a new PInstantiationException.


PInstantiationException

public PInstantiationException(Predicate _goal,
                               int _argNo)
Constructs a new PInstantiationException with the given arguments.

Method Detail

getMessageTerm

public Term getMessageTerm()
Returns a term representation of this PInstantiationException: instantiation_error(goal,argNo).

Overrides:
getMessageTerm in class BuiltinException

toString

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

Overrides:
toString in class java.lang.Throwable

Prolog Cafe v1.2

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