library(fromonto)

Predicates

+Goal from_file ++File

Redirect Goal's standard input stream to File

+Goal from_stream ++Stream

Redirect Goal's standard input stream to Stream

+Goal from_string ++String

Redirect Goal's standard input stream to String

+Goal onto_file ++File

Redirect Goal's standard output stream to File

+Goal onto_stream ++Stream

Redirect Goal's standard output stream to Stream

+Goal onto_string ?String

Redirect Goal's standard output stream to String

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 © Cisco Systems, Inc
• Date: $Date: 2009/07/16 09:11:24 $