source: to-imperative/trunk/java/refal/refal/plus/StdIO.rfi @ 3614

// $Id: StdIO.rfi 3614 2008-03-29 22:03:50Z yura $

$module "refal.plus.StdIO";

$channel StdIn StdOut StdErr;

$func  Channel      = s.Channel;
$func? OpenFile     s.Channel e.FileName s.Mode = ;
$func  CloseChannel s.Channel = ;

$func ParseFileName e.FileName = s.DriveWord s.PathWord s.NameWord s.ExtWord;
$func? EraseFile    e.FileName = ;

$func? IsEof        s.Channel = ;

$func? Read     = t.Term;
$func? ReadChar = s.Char;
$func? ReadLine = e.Char;
$func  Write   e.Expr = ;
$func  WriteLn e.Expr = ;
$func  Print   e.Expr = ;
$func  PrintLn e.Expr = ;

$func? ReadCh     s.Channel = t.Term;
$func? ReadCharCh s.Channel = s.Char;
$func? ReadLineCh s.Channel = e.Char;
$func  WriteCh    s.Channel e.Expr = ;
$func  WriteLnCh  s.Channel e.Expr = ;
$func  PrintCh    s.Channel e.Expr = ;
$func  PrintLnCh  s.Channel e.Expr = ;
$func  Flush      s.Channel = ;

$func? PrimOpenFile s.channel e.file s.mode = ;
$func  PrimCloseChannel s.channel = ;

$func? PrimRead s.channel s.n = e.chars;

//FIXME: should be a box?
$const ReadChunkSize = 64;