jTrolog.lib

Class IOLibrary

java.lang.Object

jTrolog.lib.Library

jTrolog.lib.IOLibrary

All Implemented Interfaces:

Serializable

public class IOLibrary
extends Library

This class provides basic I/O predicates.

Author:

ivar.orstavik@hist.no

See Also:

Serialized Form

Field Summary

Fields inherited from class jTrolog.lib.Library

engine

Constructor Summary

Constructors

Constructor and Description
IOLibrary()

Method Summary

Modifier and Type	Method and Description
boolean	get_1(BindingsTable bt, Term arg0)
boolean	get0_1(BindingsTable bt, Term arg0)
String	getTheory()
boolean	nl_0(BindingsTable bt)
boolean	print_1(BindingsTable bt, Term arg0)
boolean	put_1(BindingsTable bt, Term arg0)
boolean	rand_float_1(BindingsTable bt, Term t)
boolean	rand_int_2(BindingsTable bt, Number argNum, Term num)
boolean	read_1(BindingsTable bt, Term arg0)
static String	readStream(InputStream is)
boolean	see_1(BindingsTable bt, Term arg0)
boolean	seeing_1(BindingsTable bt, Term t)
boolean	seen_0(BindingsTable bt)
boolean	tab_1(BindingsTable bt, Int arg)
boolean	tell_1(BindingsTable bt, Term arg0)
boolean	telling_1(BindingsTable bt, Term arg0)
boolean	text_from_file_2(BindingsTable bt, Term file_name, Term text) reads a source text from a file.
boolean	told_0(BindingsTable bt)
boolean	write_1(BindingsTable bt, Term arg0)

Methods inherited from class jTrolog.lib.Library

dismiss, getName, getSynonym, onSolveBegin, onSolveEnd, setEngine

Methods inherited from class java.lang.Object

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

Constructor Detail

IOLibrary

public IOLibrary()

Method Detail

see_1

public boolean see_1(BindingsTable bt,
                     Term arg0)
              throws Exception

Throws:

Exception

seen_0

public boolean seen_0(BindingsTable bt)
               throws Exception

Throws:

Exception

seeing_1

public boolean seeing_1(BindingsTable bt,
                        Term t)

tell_1

public boolean tell_1(BindingsTable bt,
                      Term arg0)
               throws Exception

Throws:

Exception

told_0

public boolean told_0(BindingsTable bt)
               throws Exception

Throws:

Exception

telling_1

public boolean telling_1(BindingsTable bt,
                         Term arg0)

put_1

public boolean put_1(BindingsTable bt,
                     Term arg0)
              throws Exception

Throws:

Exception

get0_1

public boolean get0_1(BindingsTable bt,
                      Term arg0)
               throws Exception

Throws:

Exception

get_1

public boolean get_1(BindingsTable bt,
                     Term arg0)
              throws Exception

Throws:

Exception

tab_1

public boolean tab_1(BindingsTable bt,
                     Int arg)
              throws Exception

Throws:

Exception

read_1

public boolean read_1(BindingsTable bt,
                      Term arg0)
               throws Exception

Throws:

Exception

write_1

public boolean write_1(BindingsTable bt,
                       Term arg0)
                throws Exception

Throws:

Exception

print_1

public boolean print_1(BindingsTable bt,
                       Term arg0)
                throws Exception

Throws:

Exception

nl_0

public boolean nl_0(BindingsTable bt)
             throws Exception

Throws:

Exception

text_from_file_2

public boolean text_from_file_2(BindingsTable bt,
                                Term file_name,
                                Term text)
                         throws IOException

reads a source text from a file. It's useful used with agent predicate: text_from_file(File,Source), agent(Source).

Throws:

IOException

rand_float_1

public boolean rand_float_1(BindingsTable bt,
                            Term t)

rand_int_2

public boolean rand_int_2(BindingsTable bt,
                          Number argNum,
                          Term num)

getTheory

public String getTheory()

Overrides:

getTheory in class Library

Returns:

the theory provided with the library (an empty theory is default).

readStream

public static String readStream(InputStream is)
                         throws IOException

Throws:

IOException