alice.tuprolog.lib

Class IOLibrary

java.lang.Object

alice.tuprolog.Library

alice.tuprolog.lib.IOLibrary

All Implemented Interfaces:

IPrimitives, Serializable

public class IOLibrary
extends Library

This class provides basic I/O predicates. Library/Theory Dependency: BasicLibrary

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected InputStream	inputStream
protected String	inputStreamName
protected OutputStream	outputStream
protected String	outputStreamName

Fields inherited from class alice.tuprolog.Library

engine

Constructor Summary

Constructors

Constructor and Description
IOLibrary()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	get_1(Term arg0)
boolean	get0_1(Term arg0)
String	getTheory() Gets the theory provided with the library Empty theory is provided by default.
boolean	nl_0()
boolean	print_1(Term arg0)
boolean	put_1(Term arg)
boolean	rand_float_1(Term t)
boolean	rand_int_2(Term argNum, Term num)
boolean	read_1(Term arg0)
boolean	see_1(Term arg)
boolean	seeing_1(Term t)
boolean	seen_0()
boolean	tab_1(Number arg)
boolean	tell_1(Term arg)
boolean	telling_1(Term arg0)
boolean	text_from_file_2(Term file_name, Term text) reads a source text from a file.
boolean	told_0()
boolean	write_1(Term arg0)

Methods inherited from class alice.tuprolog.Library

dismiss, evalExpression, getEngine, getName, getPrimitives, getSynonymMap, match, onSolveBegin, onSolveEnd, unify

Methods inherited from class java.lang.Object

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

Field Detail

inputStreamName

protected String inputStreamName

inputStream

protected InputStream inputStream

outputStreamName

protected String outputStreamName

outputStream

protected OutputStream outputStream

Constructor Detail

IOLibrary

public IOLibrary()

Method Detail

see_1

public boolean see_1(Term arg)
              throws Exception

Throws:

Exception

seen_0

public boolean seen_0()
               throws Exception

Throws:

Exception

seeing_1

public boolean seeing_1(Term t)

tell_1

public boolean tell_1(Term arg)
               throws Exception

Throws:

Exception

told_0

public boolean told_0()
               throws Exception

Throws:

Exception

telling_1

public boolean telling_1(Term arg0)

put_1

public boolean put_1(Term arg)
              throws Exception

Throws:

Exception

get0_1

public boolean get0_1(Term arg0)
               throws Exception

Throws:

Exception

get_1

public boolean get_1(Term arg0)
              throws Exception

Throws:

Exception

tab_1

public boolean tab_1(Number arg)
              throws Exception

Throws:

Exception

read_1

public boolean read_1(Term arg0)
               throws Exception

Throws:

Exception

write_1

public boolean write_1(Term arg0)
                throws Exception

Throws:

Exception

print_1

public boolean print_1(Term arg0)
                throws Exception

Throws:

Exception

nl_0

public boolean nl_0()
             throws Exception

Throws:

Exception

text_from_file_2

public boolean text_from_file_2(Term file_name,
                       Term text)

reads a source text from a file.

It's useful used with agent predicate: text_from_file(File,Source), agent(Source).

rand_float_1

public boolean rand_float_1(Term t)

rand_int_2

public boolean rand_int_2(Term argNum,
                 Term num)

getTheory

public String getTheory()

Description copied from class: Library

Gets the theory provided with the library Empty theory is provided by default.

Overrides:

getTheory in class Library