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

// $Id: StdIO.rfi 3659 2008-03-31 15:31:21Z yura $

$module "refal.plus.internal.StdIO";

$table Buffers;
/*
 * For the moment the format is:
 *   s.channel  -->  stream
 */

//$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;

$func StaticInit = ;