|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectalice.tuprolog.Theory
This class represents prolog theory which can be provided to a prolog engine. Actually theory incapsulates only textual representation of prolog theories, without doing any check about validity
Prolog
,
Serialized FormConstructor Summary | |
Theory(java.io.InputStream is)
Creates a theory getting its source text from an input stream |
|
Theory(java.lang.String theory)
Creates a theory from its source text |
|
Theory(Struct clauseList)
Creates a theory from a clause list |
Method Summary | |
void |
append(Theory th)
Adds (appends) a theory to this. |
java.util.Iterator |
iterator(Prolog engine)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public Theory(java.io.InputStream is) throws java.io.IOException
is
- the input stream acting as sourcepublic Theory(java.lang.String theory) throws InvalidTheoryException
theory
- the source text
s
- InvalidTheoryException if theory is null
InvalidTheoryException
public Theory(Struct clauseList) throws InvalidTheoryException
clauseList
- the source text
s
- InvalidTheoryException if clauseList is null or is not a prolog list
InvalidTheoryException
Method Detail |
public java.util.Iterator iterator(Prolog engine)
public void append(Theory th) throws InvalidTheoryException
th
- is the theory to be appended
s
- InvalidTheoryException if the theory object are not compatibles (they are
compatibles when both have been built from texts or both from clause lists)
InvalidTheoryException
public java.lang.String toString()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |