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