$module "refal.plus.Serialize";

$use Box Convert StdIO System;

$public $func FileOutputStream s.fileName = s.stream;
$native FileOutputStream = "java.io.FileOutputStream (java.lang.String)";

$public $func ObjectOutputStream s.fileStream = s.objectStream;
$native ObjectOutputStream = "java.io.ObjectOutputStream (java.io.OutputStream)";

$public $func CloseOutputStream s.objectStream = ;
$native CloseOutputStream = "void java.io.ObjectOutputStream.close ()";

$public $func ResetOutputStream s.objectStream = ;
$native ResetOutputStream = "void java.io.ObjectOutputStream.reset ()";

$public $func Write s.objectStream s.box = ;
$native Write = "void java.io.ObjectOutputStream.writeObject (java.lang.Object)";

$public $func FileInputStream s.fileName = s.stream;
$native FileInputStream = "java.io.FileInputStream (java.lang.String)";

$public $func ObjectInputStream s.fileStream = s.objectStream;
$native ObjectInputStream = "java.io.ObjectInputStream (java.io.InputStream)";

$public $func CloseInputStream s.objectStream = ;
$native CloseInputStream = "void java.io.ObjectInputStream.close ()";

$public $func Read s.objectStream = s.box;
$native Read = "java.lang.Object java.io.ObjectInputStream.readObject ()";

$func Main = e;
Main =
  {
    <Arg 1> : v.inFile, <Arg 2> : v.outFile =
      <Channel> :: s.in,
      <OpenFile s.in v.inFile R>,
      <ObjectOutputStream <FileOutputStream <ToWord v.outFile>>> :: s.out,
      $iter, {
        <Write s.out <Box <ReadCh s.in>>>,
          <ResetOutputStream s.out>
          = $fail;
        <Write s.out <Box EOF>>;
      } =
      <CloseOutputStream s.out>;
//      <ObjectInputStream <FileInputStream <ToWord v.outFile>>> :: s.in,
//      $iter,
//      <Get <Read s.in>> :: e1,
//      <WriteLn e1>
//      e1 : EOF;
    = <PrintLn "Usage: " <Arg 0> " INPUT-FILE OUTPUT-FILE">; 
  };