public class ISOIOLibrary extends Library
Modifier and Type | Field and Description |
---|---|
protected int |
files |
protected java.io.InputStream |
inputStream |
protected java.lang.String |
inputStreamName |
protected java.util.Hashtable<java.io.InputStream,java.util.Hashtable<java.lang.String,Term>> |
inputStreams |
protected IOLibrary |
IOLib |
protected java.io.OutputStream |
outputStream |
protected java.lang.String |
outputStreamName |
protected java.util.Hashtable<java.io.OutputStream,java.util.Hashtable<java.lang.String,Term>> |
outputStreams |
Constructor and Description |
---|
ISOIOLibrary() |
Modifier and Type | Method and Description |
---|---|
boolean |
at_end_of_stream_0() |
boolean |
at_end_of_stream_1(Term stream_or_alias) |
boolean |
close_1(Term stream_or_alias) |
boolean |
close_2(Term stream_or_alias,
Term closeOptions) |
boolean |
find_property_2(Term list,
Term property) |
boolean |
flush_output_0() |
boolean |
flush_output_1(Term stream_or_alias) |
boolean |
get_byte_1(Term in_byte) |
boolean |
get_byte_2(Term stream_or_alias,
Term in_byte) |
boolean |
get_char_2(Term stream_or_alias,
Term arg) |
boolean |
get_code_1(Term char_code) |
boolean |
get_code_2(Term stream_or_alias,
Term char_code) |
java.lang.String |
getTheory()
Gets the theory provided with the library
Empty theory is provided by default.
|
boolean |
nl_1(Term stream_or_alias) |
boolean |
open_3(Term source_sink,
Term mode,
Term stream) |
boolean |
open_4(Term source_sink,
Term mode,
Term stream,
Term options) |
boolean |
peek_byte_1(Term in_byte) |
boolean |
peek_byte_2(Term stream_or_alias,
Term in_byte) |
boolean |
peek_char_1(Term in_char) |
boolean |
peek_char_2(Term stream_or_alias,
Term in_char) |
boolean |
peek_code_1(Term char_code) |
boolean |
peek_code_2(Term stream_or_alias,
Term char_code) |
boolean |
put_byte_1(Term out_byte) |
boolean |
put_byte_2(Term stream_or_alias,
Term out_byte) |
boolean |
put_char_2(Term stream_or_alias,
Term in_char) |
boolean |
put_code_1(Term char_code) |
boolean |
put_code_2(Term stream_or_alias,
Term char_code) |
boolean |
read_2(Term stream_or_alias,
Term in_term) |
boolean |
read_term_2(Term in_term,
Term options) |
boolean |
read_term_3(Term stream_or_alias,
Term in_term,
Term options) |
boolean |
set_input_1(Term stream_or_alias) |
boolean |
set_output_1(Term stream_or_alias) |
boolean |
set_stream_position_2(Term stream_or_alias,
Term position) |
boolean |
set_write_flag_1(Term number) |
boolean |
write_1(Term out_term) |
boolean |
write_2(Term stream_or_alias,
Term out_term) |
boolean |
write_canonical_1(Term out_term) |
boolean |
write_canonical_2(Term stream_or_alias,
Term out_term) |
boolean |
write_iso_1(Term out_term) |
boolean |
write_term_2(Term out_term,
Term options) |
boolean |
write_term_3(Term stream_or_alias,
Term out_term,
Term optionsTerm) |
boolean |
writeq_1(Term out_term) |
boolean |
writeq_2(Term stream_or_alias,
Term out_term) |
dismiss, evalExpression, getEngine, getName, getPrimitives, getSynonymMap, getTheory, match, onSolveBegin, onSolveEnd, onSolveHalt, setEngine, unify
protected final int files
protected java.util.Hashtable<java.io.InputStream,java.util.Hashtable<java.lang.String,Term>> inputStreams
protected java.util.Hashtable<java.io.OutputStream,java.util.Hashtable<java.lang.String,Term>> outputStreams
protected java.io.InputStream inputStream
protected java.io.OutputStream outputStream
protected java.lang.String inputStreamName
protected java.lang.String outputStreamName
protected IOLibrary IOLib
public boolean open_4(Term source_sink, Term mode, Term stream, Term options) throws PrologError
PrologError
public boolean open_3(Term source_sink, Term mode, Term stream) throws PrologError
PrologError
public boolean close_2(Term stream_or_alias, Term closeOptions) throws PrologError
PrologError
public boolean close_1(Term stream_or_alias) throws PrologError
PrologError
public boolean set_input_1(Term stream_or_alias) throws PrologError
PrologError
public boolean set_output_1(Term stream_or_alias) throws PrologError
PrologError
public boolean find_property_2(Term list, Term property) throws PrologError
PrologError
public java.lang.String getTheory()
Library
public boolean at_end_of_stream_0() throws PrologError
PrologError
public boolean at_end_of_stream_1(Term stream_or_alias) throws PrologError
PrologError
public boolean set_stream_position_2(Term stream_or_alias, Term position) throws PrologError
PrologError
public boolean flush_output_0() throws PrologError
PrologError
public boolean flush_output_1(Term stream_or_alias) throws PrologError
PrologError
public boolean get_char_2(Term stream_or_alias, Term arg) throws PrologError
PrologError
public boolean get_code_1(Term char_code) throws PrologError
PrologError
public boolean get_code_2(Term stream_or_alias, Term char_code) throws PrologError
PrologError
public boolean peek_char_1(Term in_char) throws PrologError
PrologError
public boolean peek_char_2(Term stream_or_alias, Term in_char) throws PrologError
PrologError
public boolean peek_code_1(Term char_code) throws PrologError
PrologError
public boolean peek_code_2(Term stream_or_alias, Term char_code) throws PrologError
PrologError
public boolean put_char_2(Term stream_or_alias, Term in_char) throws PrologError
PrologError
public boolean put_code_1(Term char_code) throws PrologError
PrologError
public boolean put_code_2(Term stream_or_alias, Term char_code) throws PrologError
PrologError
public boolean nl_1(Term stream_or_alias) throws PrologError
PrologError
public boolean get_byte_1(Term in_byte) throws PrologError
PrologError
public boolean get_byte_2(Term stream_or_alias, Term in_byte) throws PrologError
PrologError
public boolean peek_byte_1(Term in_byte) throws PrologError
PrologError
public boolean peek_byte_2(Term stream_or_alias, Term in_byte) throws PrologError
PrologError
public boolean put_byte_1(Term out_byte) throws PrologError
PrologError
public boolean put_byte_2(Term stream_or_alias, Term out_byte) throws PrologError
PrologError
public boolean read_term_2(Term in_term, Term options) throws PrologError
PrologError
public boolean read_term_3(Term stream_or_alias, Term in_term, Term options) throws PrologError
PrologError
public boolean read_2(Term stream_or_alias, Term in_term) throws PrologError
PrologError
public boolean write_term_2(Term out_term, Term options) throws PrologError
PrologError
public boolean write_term_3(Term stream_or_alias, Term out_term, Term optionsTerm) throws PrologError
PrologError
public boolean write_2(Term stream_or_alias, Term out_term) throws PrologError
PrologError
public boolean write_1(Term out_term) throws PrologError
PrologError
public boolean write_iso_1(Term out_term) throws PrologError
PrologError
public boolean writeq_1(Term out_term) throws PrologError
PrologError
public boolean writeq_2(Term stream_or_alias, Term out_term) throws PrologError
PrologError
public boolean write_canonical_1(Term out_term) throws PrologError
PrologError
public boolean write_canonical_2(Term stream_or_alias, Term out_term) throws PrologError
PrologError
public boolean set_write_flag_1(Term number) throws PrologError
PrologError