DLV
Class NoSuchTermException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              DLV.DLVExceptionUncheked
                  DLV.NoSuchTermException

All Implemented Interfaces:

java.io.Serializable

public class NoSuchTermException

extends DLVExceptionUncheked

This exception is thrown if you try to get, from a predicate, a term which doesn't exist. For example if a predicate p has arity 2 and you try to get the third term from p.

Version:

2.0

Author:

Francesco Ricca

See Also:

Serialized Form

Constructor Summary

NoSuchTermException()

NoSuchTermException(java.lang.String message)

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, 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

NoSuchTermException

public NoSuchTermException()

NoSuchTermException

public NoSuchTermException(java.lang.String message)