[ The ECLiPSe Libraries | 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: 2006/09/23 01:55:19 $

Generated from fromonto.eci on Sat Nov 8 06:57:25 2008