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 InvalidLibraryException

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

All Implemented Interfaces:
  java.io.Serializable

public class InvalidLibraryException
extends PrologException

This exception means that a not valid tuProlog library has been specified.

See Also:
  `Library`, Serialized Form

Constructor Summary
`InvalidLibraryException()`
`InvalidLibraryException(java.lang.String libName, int line, int pos)`

Method Summary
`java.lang.String` | `getLibraryName()`
`int` | `getLine()`
`java.lang.String` | `getMessage()`
`int` | `getPos()`
`java.lang.String` | `toString()`

Methods inherited from class java.lang.Throwable
`fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

Constructor Detail

### InvalidLibraryException

    public InvalidLibraryException()

### InvalidLibraryException

    public InvalidLibraryException(java.lang.String libName,
                                   int line,
                                   int pos)

Method Detail

### getLibraryName

    public java.lang.String getLibraryName()

### getLine

    public int getLine()

### getPos

    public int getPos()

### getMessage

    public java.lang.String getMessage()

### toString

    public java.lang.String toString()

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