[ Reference Manual | Alphabetic Index ]library(fromonto)
Redirect input and output streams in a convenient way
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/02/19 05:38:37 $
Generated from fromonto.eci on 2009-04-30 23:03