library(fromonto)

Predicates

+Goal from_file ++File

Redirect Goal's standard input stream to File

from_file_body(?, ?, ?)

No description available

+Goal from_stream ++Stream

Redirect Goal's standard input stream to Stream

from_stream_body(?, ?, ?)

No description available

+Goal from_string ++String

Redirect Goal's standard input stream to String

from_string_body(?, ?, ?)

No description available

+Goal onto_file ++File

Redirect Goal's standard output stream to File

onto_file_body(?, ?, ?)

No description available

+Goal onto_stream ++Stream

Redirect Goal's standard output stream to Stream

onto_stream_body(?, ?, ?)

No description available

+Goal onto_string ?String

Redirect Goal's standard output stream to String

onto_string_body(?, ?, ?)

No description available

Other Exports

export op(800, yfx, [from_string, onto_string, from_stream, onto_stream, from_file, onto_file])

Examples

    [eclipse 1]: write(hello) onto_file scratch.
    yes.
    [eclipse 2]: read(X) from_file scratch.
    X = hello
    yes.
    [eclipse 3]: read(X) from_string "s(a,2,[3])".
    X = s(a, 2, [3])
    yes.
    [eclipse 4]: (write(hello), put(0' ), write(world)) onto_string S.
    S = "hello world"
    yes.
    

About

• Author: Joachim Schimpf, ECRC Munich
• Copyright © Imperial College London and ICL
• Date: $Date: 2001/09/13 17:48:56 $