alice.tuprolog

Class InvalidTheoryException

java.lang.Object

java.lang.Throwable

java.lang.Exception

alice.tuprolog.PrologException

alice.tuprolog.InvalidTheoryException

All Implemented Interfaces:

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

Fields

Modifier and Type	Field and Description
int	line
int	pos

Constructor Summary

Constructors

Constructor and Description
InvalidTheoryException()
InvalidTheoryException(int line, int pos)

Method Summary

Methods inherited from class java.lang.Throwable

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