Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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
`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)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD