- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
//[[Documentation]]
*Library Reference
Note: the LMNtal API is still under development and its specification
is subject to change.
In the following, arguments with the '+' sign are those consumed upon
reaction with the library atoms, while arguments with the '-' sign are
those generated by the library API. The slash (/) notation is used to
indicate the arity of atoms.
**Library io (SLIM)
Input/output in SLIM is done through ports. An operation on
a port will return a new port to be used for future operations on the port.
io.stdin(-RetPort): Returns a standard input port.
:io.stdin(-RetPort)| Returns a standard input port.
io.stdout(-RetPort): Returns a standard output port.
:io.stdout(-RetPort)| Returns a standard output port.
io.read_line(+Port,-RetPort,-Str): Read a single line Str from the input
:io.read_line(+Port,-RetPort,-Str)| Read a single line Str from the input
port Port and returns a new port RetPort.
io.read_char(+Port,-RetPort,-C): Read a character C from the input
:io.read_char(+Port,-RetPort,-C)| Read a character C from the input
port Port and returns a new port RetPort.
io.close_port(+Port,-RetPort): Close Port and returns it as RetPort.
:io.close_port(+Port,-RetPort)| Close Port and returns it as RetPort.
Further operations on the port will cause an error.
io.free_port(+Port): Frees Port.
:io.free_port(+Port)| Frees Port.
io.print_char(+Port,+C,-RetPort): Print a character C to Port and
:io.print_char(+Port,+C,-RetPort)| Print a character C to Port and
return a new port RetPort.
io.print(+Port,+Str,-RetPort): Print a string Str to Port and
:io.print(+Port,+Str,-RetPort)| Print a string Str to Port and
return a new port RetPort.
io.print_newline(+Port,-RetPort): Print a newline to Port and
:io.print_newline(+Port,-RetPort)| Print a newline to Port and
return a new port RetPort.
io.print_line(+Port,+Str,-RetPort): Print a string Str and a newline
:io.print_line(+Port,+Str,-RetPort)| Print a string Str and a newline
to Port and return a new port RetPort.
io.print_mem(+Port,+M,-RetPort): Print the content of the membrane M
:io.print_mem(+Port,+M,-RetPort)| Print the content of the membrane M
to Port and return a new port RetPort.
io.open_output_string(-SRetPort): Creates a new string output port SRetPort.
:io.open_output_string(-SRetPort)| Creates a new string output port SRetPort.
io.open_input_string(+Str,-SRetPort): Creates a new string input port
:io.open_input_string(+Str,-SRetPort)| Creates a new string input port
SRetPort consisting of the characters in the string Str.
io.output_string(+Port,-RetPort,-Str): Dumps the content of the
:io.output_string(+Port,-RetPort,-Str)| Dumps the content of the
string port Port and returns it as RetPort.
**Library io (LMNtal Java)
io.popup(+Str): Displays the string Str in a pop-up window.
:io.popup(+Str)| Displays the string Str in a pop-up window.
io.input: Reads an atom name typed into a pop-up window. The
:io.input| Reads an atom name typed into a pop-up window. The
result is a new nullary atom with the given name.
io.input(+Atom): Displays the name of the unary Atom on a pop-up window
:io.input(+Atom)| Displays the name of the unary Atom on a pop-up window
and reads an atom name typed into the window.
The result is a two-atom molecule with done/1 and a unary atom with the
given name.
io.input(+Atom,-X): Dislays the name of the unary Atom on a pop-up
:io.input(+Atom,-X)| Dislays the name of the unary Atom on a pop-up
window and reads an atom name typed into the window.
The result is a two-atom radical with done/2 and a unary atom with the
givne name, of the form newAtom(Y), done(Y,X).
io.inputInteger(+Atom,-X): Same as above, except that the result
:io.inputInteger(+Atom,-X)| Same as above, except that the result
is Int(X), where Int is an integer (which is a unary atom in
LMNtal) that has been typed in.
io.use: Enables the use of standard input (System.in) and standard
:io.use| Enables the use of standard input (System.in) and standard
output (System.out). The result consists of two molecules representing
standard input and standard output.
io.readline(-Atom,-Res): reads one line from standard input,
:io.readline(-Atom,-Res)| reads one line from standard input,
connnecting to Atom a unary atom whose name is the input string
(or an empty string if the string can't be read), and
connects done/1 or nil/1 to Res, depending on whether
the string could be read. To be used with io.use.
io.print(+Atom,-Res): prints the name of the unary Atom (a string or
:io.print(+Atom,-Res)| prints the name of the unary Atom (a string or
a non-string atom) into standard output, and connects
done/1 to Res. To be used witn io.use.