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

---

alice.tuprolog.lib
Class IOLibrary  

java.lang.Object
  alice.tuprolog.Library
      alice.tuprolog.lib.IOLibrary

All Implemented Interfaces:

java.io.Serializable

---

public class IOLibrary

extends alice.tuprolog.Library

mix services provided, such as prolog classic I/O built-ins

---

Field Summary
protected  java.util.Random	gen
protected  java.io.InputStream	inputStream
protected  java.lang.String	inputStreamName
protected  java.io.OutputStream	outputStream
protected  java.lang.String	outputStreamName

 

Fields inherited from class alice.tuprolog.Library

theory

 

Constructor Summary

IOLibrary()

 

Method Summary
boolean	get_1(alice.tuprolog.Struct g)
boolean	get0_1(alice.tuprolog.Struct g)
boolean	nl_0(alice.tuprolog.Struct g)
boolean	put_1(alice.tuprolog.Struct g)
boolean	rand_float_1(alice.tuprolog.Struct g)
boolean	rand_int_2(alice.tuprolog.Struct g)
boolean	read_1(alice.tuprolog.Struct g)
private  void	readObject(java.io.ObjectInputStream in)
boolean	see_1(alice.tuprolog.Struct g)
boolean	seeing_1(alice.tuprolog.Struct g)
boolean	seen_0(alice.tuprolog.Struct g)
boolean	tab_1(alice.tuprolog.Struct g)
boolean	tell_1(alice.tuprolog.Struct g)
boolean	telling_1(alice.tuprolog.Struct g)
boolean	term_copy_2(alice.tuprolog.Struct g)
boolean	told_0(alice.tuprolog.Struct g)
boolean	write_1(alice.tuprolog.Struct g)
private  void	writeObject(java.io.ObjectOutputStream out)

 

Methods inherited from class alice.tuprolog.Library

dismiss, getEngine, getRenamedCopy, getTheory, onSolveBegin, onSolveEnd, setEngine, unify

 

Methods inherited from class java.lang.Object

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

 

Field Detail

inputStreamName

protected java.lang.String inputStreamName

---

inputStream

protected java.io.InputStream inputStream

---

outputStreamName

protected java.lang.String outputStreamName

---

outputStream

protected java.io.OutputStream outputStream

---

gen

protected java.util.Random gen

Constructor Detail

IOLibrary

public IOLibrary()

Method Detail

see_1

public boolean see_1(alice.tuprolog.Struct g)
              throws java.lang.Exception

---

seen_0

public boolean seen_0(alice.tuprolog.Struct g)
               throws java.lang.Exception

---

seeing_1

public boolean seeing_1(alice.tuprolog.Struct g)

---

tell_1

public boolean tell_1(alice.tuprolog.Struct g)
               throws java.lang.Exception

---

told_0

public boolean told_0(alice.tuprolog.Struct g)
               throws java.lang.Exception

---

telling_1

public boolean telling_1(alice.tuprolog.Struct g)

---

put_1

public boolean put_1(alice.tuprolog.Struct g)
              throws java.lang.Exception

---

get0_1

public boolean get0_1(alice.tuprolog.Struct g)
               throws java.lang.Exception

---

get_1

public boolean get_1(alice.tuprolog.Struct g)
              throws java.lang.Exception

---

tab_1

public boolean tab_1(alice.tuprolog.Struct g)
              throws java.lang.Exception

---

read_1

public boolean read_1(alice.tuprolog.Struct g)
               throws java.lang.Exception

---

write_1

public boolean write_1(alice.tuprolog.Struct g)
                throws java.lang.Exception

---

nl_0

public boolean nl_0(alice.tuprolog.Struct g)
             throws java.lang.Exception

---

rand_float_1

public boolean rand_float_1(alice.tuprolog.Struct g)

---

rand_int_2

public boolean rand_int_2(alice.tuprolog.Struct g)

---

term_copy_2

public boolean term_copy_2(alice.tuprolog.Struct g)

---

writeObject

private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException

---

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

---

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

---