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 Theory  

java.lang.Object
  alice.tuprolog.Theory

All Implemented Interfaces:

java.io.Serializable

---

public class Theory

extends java.lang.Object

implements java.io.Serializable

Represents prolog theory which can be provided to prolog object.

actually theory incapsulates only textual representation of prolog theories, without doing any check about validity

---

Field Summary
private  java.lang.String	theory

 

Constructor Summary

Theory(java.io.InputStream is)           theory creation retrieving info from an input stream

Theory(java.lang.String theory_)           theory creation from a text representing prolog clauses

 

Method Summary
(package private)  void	append(Theory th)           adds a theory to the present one.
java.lang.String	toString()           Convert this Object to a human-readable String.

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

 

Field Detail

theory

private java.lang.String theory

Constructor Detail

Theory

public Theory(java.io.InputStream is)
       throws java.io.IOException,
              InvalidTheoryException

theory creation retrieving info from an input stream

---

Theory

public Theory(java.lang.String theory_)

theory creation from a text representing prolog clauses

Method Detail

append

void append(Theory th)

adds a theory to the present one.

actually this means appending its text

---

toString

public java.lang.String toString()

Description copied from class: java.lang.Object

Convert this Object to a human-readable String. There are no limits placed on how long this String should be or what it should contain. We suggest you make it as intuitive as possible to be able to place it into System.out.println() 55 and such.

It is typical, but not required, to ensure that this method never completes abruptly with a java.lang.RuntimeException.

This method will be called when performing string concatenation with this object. If the result is null, string concatenation will instead use "null".

The default implementation returns getClass().getName() + "@" + Integer.toHexString(hashCode()).

---

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

---