alice.tuprolog
Class InvalidTheoryException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          alice.tuprolog.PrologException
              alice.tuprolog.InvalidTheoryException

All Implemented Interfaces:

java.io.Serializable

public class InvalidTheoryException

extends PrologException

This exceptions means that a not valid tuProlog theory has been specified

See Also:

Theory, Serialized Form

Field Summary

int	line
int	pos

Constructor Summary

InvalidTheoryException()

InvalidTheoryException(int line, int pos)

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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

line

public int line

pos

public int pos

Constructor Detail

InvalidTheoryException

public InvalidTheoryException()

InvalidTheoryException

public InvalidTheoryException(int line,
                              int pos)