Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> [ tuprolog overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

alice.tuprolog
Class InvalidTheoryException  

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

All Implemented Interfaces:

java.io.Serializable

---

public class InvalidTheoryException

extends java.lang.Exception

---

Nested Class Summary

 

Nested classes inherited from class java.lang.Throwable

 

Field Summary
int	line
int	pos

 

Fields inherited from class java.lang.Exception

 

Fields inherited from class java.lang.Throwable

 

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  Use  Deprecated  Index
Home >> All >> alice >> [ tuprolog overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---