alice.tuprolog
Class InvalidTheoryException

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byalice.tuprolog.PrologException
              extended byalice.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
clone, equals, finalize, 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)