source: to-imperative/trunk/library/Stream/refal/Stream.rfi @ 2027

Last change on this file since 2027 was 2027, checked in by orlov, 15 years ago
  • Stream.Get-Line and StdIO.Read-Line! consider a line to be terminated

by any one of a line feed ('\n'), a carriage return ('\r'),
or a carriage return followed immediately by a linefeed.

  • New function Stream.Scanc.
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 602 bytes
1// $Id: Stream.rfi 2027 2006-07-17 17:40:42Z orlov $
3$func Stream     s.func e.args = stream;
4$func Expr-Open  expr          = stream;
5$func File-Open  e.filename    = stream;
6$func File-Close stream        = ;
7$func StdIStream               = stream;
10$func? Getc           stream         = term;
11$func? Gets           stream s.n     = expr;
12$func  Ungets         stream expr    = ;
13$func  Scanc          stream t1      = empty-or-t1;
14$func  Get-Delim      stream t.delim = expr;
15$func  Get-Line       stream         = expr;
16$func  Get-While      stream s.pred  = expr;
17$func? End-of-Stream? stream         = ;
20//X$include IStream;
Note: See TracBrowser for help on using the repository browser.