Changeset 3564


Ignore:
Timestamp:
Mar 25, 2008, 2:11:44 PM (13 years ago)
Author:
yura
Message:
Location:
to-imperative/trunk
Files:
1 deleted
3 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/compiler/src/rfp_src.rf

    r3539 r3564  
    77$use "org.refal.plus.wrappers.java.io.InputStreamReader";
    88$use "org.refal.plus.wrappers.java.lang.ClassLoader";
    9 $use "org.refal.plus.wrappers.org.refal.plus.comp.CompilerEnvironment";
    10 $use "org.refal.plus.wrappers.org.refal.plus.comp.FormatReader";
     9//$use "org.refal.plus.wrappers.org.refal.plus.comp.CompilerEnvironment";
     10//$use "org.refal.plus.wrappers.org.refal.plus.comp.FormatReader";
    1111
    1212$func  Arg_GetImplementationReader t.fileId = (e.qname) (e.inter_reader) (e.implem_reader) ;
    1313$func? Arg_GetInterfaceReader e.qname = e.reader ;
    14 $func  Env_GetImplementationReader t.fileId = (e.qname) (e.inter_reader) (e.implem_reader) ;
    15 $func? Env_GetInterfaceReader e.qname = e.reader ;
     14//$func  Env_GetImplementationReader t.fileId = (e.qname) (e.inter_reader) (e.implem_reader) ;
     15//$func? Env_GetInterfaceReader e.qname = e.reader ;
    1616
    1717$box Env Package ;
     
    3434
    3535GetImplementationReader t.fileId =
    36   {
    37     <Get &Env> : s = <Env_GetImplementationReader t.fileId>;
     36//  {
     37//    <Get &Env> : s = <Env_GetImplementationReader t.fileId>;
    3838    = <Arg_GetImplementationReader t.fileId>;
    39   };
     39//  };
    4040
    4141GetInterfaceReader e.name =
    42   {
    43     <Get &Env> : s = <Env_GetInterfaceReader e.name>;
     42//  {
     43//    <Get &Env> : s = <Env_GetInterfaceReader e.name>;
    4444    = <Arg_GetInterfaceReader e.name>;
    45   };
     45//  };
    4646
    4747
     
    7777
    7878$box FormatsFromClass;
     79
     80$func ReadFormatsFromClass s = s;
     81$native ReadFormatsFromClass = "static java.lang.String org.refal.plus.comp.FormatReader.ReadFormatsFromClass (java.lang.String)";
     82
     83$func ReadFormatsFromFile s = s;
     84$native ReadFormatsFromFile = "static java.lang.String org.refal.plus.comp.FormatReader.ReadFormatsFromFile (java.lang.String)";
    7985
    8086Arg_GetInterfaceReader e.qname =
     
    157163//RFP_Src_InitFromEnv s.env =
    158164//  <Store &Env s.env>;
    159 
    160 Env_GetImplementationReader t =
    161   <Get &Env> : s.env,
    162   <GetModuleName s.env> :: s.name,
    163   <Make_Name <ToChars s.name>> :: e.qname,
    164   <GetInterfReader s.env s.name> :: s.reader,
    165   {
    166     <Null> : s.reader = /*empty*/;
    167     FILE &Get_Line_From_Reader (s.name) (<BufferedReader s.reader>);
    168   } :: e.inter_reader,
    169   <GetImplemReader s.env> :: s.reader,
    170   {
    171     <Null> : s.reader = /*empty*/;
    172     FILE &Get_Line_From_Reader (s.name) (<BufferedReader s.reader>);
    173   } :: e.implem_reader,
    174   (e.qname) (e.inter_reader) (e.implem_reader);
    175 
    176 Env_GetInterfaceReader e.qname =
    177   <Get &Env> : s.env,
    178   <ToWord <Intersperse ('/') e.qname>> :: s.fname,
    179   <GetInterfReader s.env s.fname> :: s.reader,
    180   {
    181     <Null> : s.reader = $fail;
    182     FILE &Get_Line_From_Reader (e.qname) (<BufferedReader s.reader>);
    183   };
     165//
     166//Env_GetImplementationReader t =
     167//  <Get &Env> : s.env,
     168//  <GetModuleName s.env> :: s.name,
     169//  <Make_Name <ToChars s.name>> :: e.qname,
     170//  <GetInterfReader s.env s.name> :: s.reader,
     171//  {
     172//    <Null> : s.reader = /*empty*/;
     173//    FILE &Get_Line_From_Reader (s.name) (<BufferedReader s.reader>);
     174//  } :: e.inter_reader,
     175//  <GetImplemReader s.env> :: s.reader,
     176//  {
     177//    <Null> : s.reader = /*empty*/;
     178//    FILE &Get_Line_From_Reader (s.name) (<BufferedReader s.reader>);
     179//  } :: e.implem_reader,
     180//  (e.qname) (e.inter_reader) (e.implem_reader);
     181//
     182//Env_GetInterfaceReader e.qname =
     183//  <Get &Env> : s.env,
     184//  <ToWord <Intersperse ('/') e.qname>> :: s.fname,
     185//  <GetInterfReader s.env s.fname> :: s.reader,
     186//  {
     187//    <Null> : s.reader = $fail;
     188//    FILE &Get_Line_From_Reader (e.qname) (<BufferedReader s.reader>);
     189//  };
    184190
    185191Get_Line_From_Reader s.reader =
  • to-imperative/trunk/java/META-INF/MANIFEST.MF

    r3557 r3564  
    1313 org.refal.plus.comp,
    1414 org.refal.plus.compiler,
    15  org.refal.plus.wrappers.java.lang,
    16  org.refal.plus.wrappers.java.io,
    17  org.refal.plus.wrappers.java.util.concurrent.atomic,
    18  org.refal.plus.wrappers.org.objectweb.asm,
    19  org.refal.plus.wrappers.org.refal.plus.comp,
    2015 refal.plus
  • to-imperative/trunk/java/compiler/org/refal/plus/compiler/rfp_src.java

    r3452 r3564  
    199199  static public void GetImplementationReader (Expr _vt_fileId, Result _v_res1, Result _v_res2, Result _v_res3) throws RefalException
    200200  {
    201     _block1: {
    202       _block1__branch1: {
    203         Result _v_Get1 = new Result (Expr.empty);
    204         refal.plus.Box.Get (Env, _v_Get1);
    205         if (_v_Get1.getExpr ().length () != 1)
    206         {
    207           break _block1__branch1;
    208         }
    209         if (!_v_Get1.getExpr ().isSymbolAt (0))
    210         {
    211           break _block1__branch1;
    212         }
    213         Expr _vs__dollar_tmp_m_37_m_19 = Expr.empty;
    214         _vs__dollar_tmp_m_37_m_19 = _v_Get1.getExpr ().subexpr (0, 1);
    215         Env_GetImplementationReader (_vt_fileId, _v_res1, _v_res2, _v_res3);
    216         break _block1;
    217       }
    218       Arg_GetImplementationReader (_vt_fileId, _v_res1, _v_res2, _v_res3);
    219     }
     201    Arg_GetImplementationReader (_vt_fileId, _v_res1, _v_res2, _v_res3);
    220202  }
    221203
     
    223205  static public boolean GetInterfaceReader (Expr _ve_name, Result _v_res1) throws RefalException
    224206  {
    225     _block1: {
    226       _block1__branch1: {
    227         Result _v_Get1 = new Result (Expr.empty);
    228         refal.plus.Box.Get (Env, _v_Get1);
    229         if (_v_Get1.getExpr ().length () != 1)
    230         {
    231           break _block1__branch1;
    232         }
    233         if (!_v_Get1.getExpr ().isSymbolAt (0))
    234         {
    235           break _block1__branch1;
    236         }
    237         Expr _vs__dollar_tmp_m_43_m_19 = Expr.empty;
    238         _vs__dollar_tmp_m_43_m_19 = _v_Get1.getExpr ().subexpr (0, 1);
    239         if (!Env_GetInterfaceReader (_ve_name, _v_res1)) {
    240           return false;
    241         }
    242         break _block1;
    243       }
    244       if (!Arg_GetInterfaceReader (_ve_name, _v_res1)) {
    245         return false;
    246       }
     207    if (!Arg_GetInterfaceReader (_ve_name, _v_res1)) {
     208      return false;
    247209    }
    248210    return true;
     
    442404      _v_res3.assign (_ve_implem__reader);
    443405      break _exit4;
     406    }
     407  }
     408
     409  @RefalFormat("$func ReadFormatsFromClass s = s;")
     410  static  void ReadFormatsFromClass (Expr _gs_arg1, Result _gs_res1) throws RefalException {
     411    try {
     412      _gs_res1.assign(Native.sValueOf(org.refal.plus.comp.FormatReader.ReadFormatsFromClass(((java.lang.String) Native.objectValue(_gs_arg1.at(0))))));
     413    } catch (java.lang.Exception e) {
     414      throw new org.refal.plus.RefalException("org.refal.plus.compiler.rfp_src", "ReadFormatsFromClass", e.toString());
     415    }
     416  }
     417
     418  @RefalFormat("$func ReadFormatsFromFile s = s;")
     419  static  void ReadFormatsFromFile (Expr _gs_arg1, Result _gs_res1) throws RefalException {
     420    try {
     421      _gs_res1.assign(Native.sValueOf(org.refal.plus.comp.FormatReader.ReadFormatsFromFile(((java.lang.String) Native.objectValue(_gs_arg1.at(0))))));
     422    } catch (java.lang.Exception e) {
     423      throw new org.refal.plus.RefalException("org.refal.plus.compiler.rfp_src", "ReadFormatsFromFile", e.toString());
    444424    }
    445425  }
     
    474454        _exit1: _continue1: for ( ; ; _va_7.next ())
    475455        {
    476           Expr _ve__dollar_tmp_m_85_m_34 = _va_7.getLeft();
     456          Expr _ve__dollar_tmp_m_91_m_34 = _va_7.getLeft();
    477457          Expr _v_lsplit__Get2 = _va_7.getRight();
    478458          if (!_va_7.isValid ())
     
    486466            break _block1__branch1;
    487467          }
    488           int _v_len___dollar_tmp_m_85_m_48 = (_v_len1 - _v_len2);
     468          int _v_len___dollar_tmp_m_91_m_48 = (_v_len1 - _v_len2);
    489469          if (_v_lsplit__Get2.isSymbolAt (0))
    490470          {
     
    499479          }
    500480          int _v_len__dirname = (_v_len3 - _v_len4);
    501           Expr _ve__dollar_tmp_m_85_m_48 = Expr.empty;
    502           _ve__dollar_tmp_m_85_m_48 = _v_lsplit__Get2.subexpr ((0 + 1), _v_len___dollar_tmp_m_85_m_48);
     481          Expr _ve__dollar_tmp_m_91_m_48 = Expr.empty;
     482          _ve__dollar_tmp_m_91_m_48 = _v_lsplit__Get2.subexpr ((0 + 1), _v_len___dollar_tmp_m_91_m_48);
    503483          Expr _ve_dirname = Expr.empty;
    504484          _ve_dirname = _v_deref__lsplit__Get2.subexpr (0, _v_len__dirname);
     
    572552            _exit2: _continue2: for ( ; ; _va_8.next ())
    573553            {
    574               Expr _ve__dollar_tmp_m_94_m_36 = _va_8.getLeft();
     554              Expr _ve__dollar_tmp_m_100_m_36 = _va_8.getLeft();
    575555              Expr _v_lsplit__Get3 = _va_8.getRight();
    576556              if (!_va_8.isValid ())
     
    584564                break _block2__branch2;
    585565              }
    586               int _v_len___dollar_tmp_m_94_m_50 = (_v_len5 - _v_len6);
     566              int _v_len___dollar_tmp_m_100_m_50 = (_v_len5 - _v_len6);
    587567              if (_v_lsplit__Get3.isSymbolAt (0))
    588568              {
     
    597577              }
    598578              int _v_len__dirname2 = (_v_len7 - _v_len8);
    599               Expr _ve__dollar_tmp_m_94_m_50 = Expr.empty;
    600               _ve__dollar_tmp_m_94_m_50 = _v_lsplit__Get3.subexpr ((0 + 1), _v_len___dollar_tmp_m_94_m_50);
     579              Expr _ve__dollar_tmp_m_100_m_50 = Expr.empty;
     580              _ve__dollar_tmp_m_100_m_50 = _v_lsplit__Get3.subexpr ((0 + 1), _v_len___dollar_tmp_m_100_m_50);
    601581              Expr _ve_dirname = Expr.empty;
    602582              _ve_dirname = _v_deref__lsplit__Get3.subexpr (0, _v_len__dirname2);
     
    604584              refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_ve_dirname).toRight (_ve_fname.getExpr ()).toRight (_c_7).yield (), _gs_auxcall6);
    605585              Result _gs_auxcall7 = new Result (Expr.empty);
    606               org.refal.plus.wrappers.org.refal.plus.comp.FormatReader.ReadFormatsFromFile (_gs_auxcall6.getExpr (), _gs_auxcall7);
     586              ReadFormatsFromFile (_gs_auxcall6.getExpr (), _gs_auxcall7);
    607587              Result _v_Null2 = new Result (Expr.empty);
    608588              refal.plus.Java.Null (_v_Null2);
     
    647627          refal.plus.Convert.ToWord (_ve_fname.getExpr (), _gs_auxcall9);
    648628          Result _gs_auxcall10 = new Result (Expr.empty);
    649           org.refal.plus.wrappers.org.refal.plus.comp.FormatReader.ReadFormatsFromClass (_gs_auxcall9.getExpr (), _gs_auxcall10);
     629          ReadFormatsFromClass (_gs_auxcall9.getExpr (), _gs_auxcall10);
    650630          Result _v_Null3 = new Result (Expr.empty);
    651631          refal.plus.Java.Null (_v_Null3);
     
    691671          return false;
    692672        }
    693         int _v_len___dollar_tmp_m_108_m_8 = (_v_len9 - _v_len10);
     673        int _v_len___dollar_tmp_m_114_m_8 = (_v_len9 - _v_len10);
    694674        int _v_len11 = _ve_qname.length ();
    695675        int _v_len12 = 2;
     
    699679        }
    700680        int _v_len__lib = (_v_len11 - _v_len12);
    701         if (!_c_10.termEquals (err, (0 + _v_len___dollar_tmp_m_108_m_8)))
     681        if (!_c_10.termEquals (err, (0 + _v_len___dollar_tmp_m_114_m_8)))
    702682        {
    703683          return false;
     
    707687          return false;
    708688        }
    709         Expr _ve__dollar_tmp_m_108_m_8 = Expr.empty;
    710         _ve__dollar_tmp_m_108_m_8 = err.subexpr (0, _v_len___dollar_tmp_m_108_m_8);
     689        Expr _ve__dollar_tmp_m_114_m_8 = Expr.empty;
     690        _ve__dollar_tmp_m_114_m_8 = err.subexpr (0, _v_len___dollar_tmp_m_114_m_8);
    711691        Expr _ve_lib = Expr.empty;
    712692        _ve_lib = _ve_qname.subexpr ((0 + 1 + 1), _v_len__lib);
     
    723703        _exit3: _continue3: for ( ; ; _va_10.next ())
    724704        {
    725           Expr _ve__dollar_tmp_m_111_m_33 = _va_10.getLeft();
     705          Expr _ve__dollar_tmp_m_117_m_33 = _va_10.getLeft();
    726706          Expr _v_lsplit__Get4 = _va_10.getRight();
    727707          if (!_va_10.isValid ())
     
    735715            return false;
    736716          }
    737           int _v_len___dollar_tmp_m_111_m_47 = (_v_len13 - _v_len14);
     717          int _v_len___dollar_tmp_m_117_m_47 = (_v_len13 - _v_len14);
    738718          if (_v_lsplit__Get4.isSymbolAt (0))
    739719          {
     
    748728          }
    749729          int _v_len__dirname3 = (_v_len15 - _v_len16);
    750           Expr _ve__dollar_tmp_m_111_m_47 = Expr.empty;
    751           _ve__dollar_tmp_m_111_m_47 = _v_lsplit__Get4.subexpr ((0 + 1), _v_len___dollar_tmp_m_111_m_47);
     730          Expr _ve__dollar_tmp_m_117_m_47 = Expr.empty;
     731          _ve__dollar_tmp_m_117_m_47 = _v_lsplit__Get4.subexpr ((0 + 1), _v_len___dollar_tmp_m_117_m_47);
    752732          Expr _ve_dirname = Expr.empty;
    753733          _ve_dirname = _v_deref__lsplit__Get4.subexpr (0, _v_len__dirname3);
     
    924904
    925905  @RefalFormat("$func? ReadFormatsFromBox e = e;")
    926   static  boolean ReadFormatsFromBox (Expr _ve__dollar_tmp_m_150_m_21, Result _v_res1) throws RefalException
     906  static  boolean ReadFormatsFromBox (Expr _ve__dollar_tmp_m_156_m_21, Result _v_res1) throws RefalException
    927907  {
    928908    Result _v_Get1 = new Result (Expr.empty);
     
    939919    refal.plus.Box.Store (FormatsFromClass, Expr.empty);
    940920    _v_res1.assign (_vv_formats);
    941     return true;
    942   }
    943 
    944   @RefalFormat("$func Env_GetImplementationReader t = (e) (e) (e);")
    945   static  void Env_GetImplementationReader (Expr _vt__dollar_tmp_m_160_m_30, Result _v_res1, Result _v_res2, Result _v_res3) throws RefalException
    946   {
    947     Result _v_Get1 = new Result (Expr.empty);
    948     refal.plus.Box.Get (Env, _v_Get1);
    949     if (_v_Get1.getExpr ().length () != 1)
    950     {
    951       throw new RefalException ("org.refal.plus.compiler.rfp_src", "Env_GetImplementationReader", "Unexpected fail");
    952     }
    953     if (!_v_Get1.getExpr ().isSymbolAt (0))
    954     {
    955       throw new RefalException ("org.refal.plus.compiler.rfp_src", "Env_GetImplementationReader", "Unexpected fail");
    956     }
    957     Expr _vs_env = Expr.empty;
    958     _vs_env = _v_Get1.getExpr ().subexpr (0, 1);
    959     Result _vs_name = new Result (Expr.empty);
    960     org.refal.plus.wrappers.org.refal.plus.comp.CompilerEnvironment.GetModuleName (_vs_env, _vs_name);
    961     Result _ge_auxcall1 = new Result (Expr.empty);
    962     refal.plus.Convert.ToChars (_vs_name.getExpr (), _ge_auxcall1);
    963     Result _ve_qname = new Result (Expr.empty);
    964     rfp_helper.Make_Name (_ge_auxcall1.getExpr (), _ve_qname);
    965     Result _vs_reader = new Result (Expr.empty);
    966     org.refal.plus.wrappers.org.refal.plus.comp.CompilerEnvironment.GetInterfReader (_vs_env, _vs_name.getExpr (), _vs_reader);
    967     Expr _ve_inter__reader = Expr.empty;
    968     _block1: {
    969       _block1__branch1: {
    970         Result _v_Null1 = new Result (Expr.empty);
    971         refal.plus.Java.Null (_v_Null1);
    972         if (!_vs_reader.getExpr ().termEquals (_v_Null1.getExpr (), 0))
    973         {
    974           break _block1__branch1;
    975         }
    976         _ve_inter__reader = Expr.empty;
    977         break _block1;
    978       }
    979       Result _gs_auxcall2 = new Result (Expr.empty);
    980       org.refal.plus.wrappers.java.io.BufferedReader.BufferedReader (_vs_reader.getExpr (), _gs_auxcall2);
    981       _ve_inter__reader = Expr.getConcatenator ().toRight (_c_6).toRight ((Comparable<?>) _vs_name.getExpr ()).toRight ((Comparable<?>) _gs_auxcall2.getExpr ()).yield ();
    982     }
    983     Result _gs_reader__1 = new Result (Expr.empty);
    984     org.refal.plus.wrappers.org.refal.plus.comp.CompilerEnvironment.GetImplemReader (_vs_env, _gs_reader__1);
    985     Expr _ve_implem__reader = Expr.empty;
    986     _block2: {
    987       _block2__branch1: {
    988         Result _v_Null2 = new Result (Expr.empty);
    989         refal.plus.Java.Null (_v_Null2);
    990         if (!_gs_reader__1.getExpr ().termEquals (_v_Null2.getExpr (), 0))
    991         {
    992           break _block2__branch1;
    993         }
    994         _ve_implem__reader = Expr.empty;
    995         break _block2;
    996       }
    997       Result _gs_auxcall3 = new Result (Expr.empty);
    998       org.refal.plus.wrappers.java.io.BufferedReader.BufferedReader (_gs_reader__1.getExpr (), _gs_auxcall3);
    999       _ve_implem__reader = Expr.getConcatenator ().toRight (_c_6).toRight ((Comparable<?>) _vs_name.getExpr ()).toRight ((Comparable<?>) _gs_auxcall3.getExpr ()).yield ();
    1000     }
    1001     _v_res1.assign (_ve_qname.getExpr ());
    1002     _v_res2.assign (_ve_inter__reader);
    1003     _v_res3.assign (_ve_implem__reader);
    1004   }
    1005 
    1006   @RefalFormat("$func? Env_GetInterfaceReader e = e;")
    1007   static  boolean Env_GetInterfaceReader (Expr _ve_qname, Result _v_res1) throws RefalException
    1008   {
    1009     Result _v_Get1 = new Result (Expr.empty);
    1010     refal.plus.Box.Get (Env, _v_Get1);
    1011     if (_v_Get1.getExpr ().length () != 1)
    1012     {
    1013       return false;
    1014     }
    1015     if (!_v_Get1.getExpr ().isSymbolAt (0))
    1016     {
    1017       return false;
    1018     }
    1019     Expr _vs_env = Expr.empty;
    1020     _vs_env = _v_Get1.getExpr ().subexpr (0, 1);
    1021     Result _ge_auxcall1 = new Result (Expr.empty);
    1022     refal.plus.List.Intersperse (_c_5, _ve_qname, _ge_auxcall1);
    1023     Result _vs_fname = new Result (Expr.empty);
    1024     refal.plus.Convert.ToWord (_ge_auxcall1.getExpr (), _vs_fname);
    1025     Result _vs_reader = new Result (Expr.empty);
    1026     org.refal.plus.wrappers.org.refal.plus.comp.CompilerEnvironment.GetInterfReader (_vs_env, _vs_fname.getExpr (), _vs_reader);
    1027     _block1__branch1: {
    1028       Result _v_Null1 = new Result (Expr.empty);
    1029       refal.plus.Java.Null (_v_Null1);
    1030       if (!_vs_reader.getExpr ().termEquals (_v_Null1.getExpr (), 0))
    1031       {
    1032         break _block1__branch1;
    1033       }
    1034       return false;
    1035     }
    1036     Result _gs_auxcall2 = new Result (Expr.empty);
    1037     org.refal.plus.wrappers.java.io.BufferedReader.BufferedReader (_vs_reader.getExpr (), _gs_auxcall2);
    1038     _v_res1.assign (Expr.getConcatenator ().toRight (_c_6).toRight ((Comparable<?>) _ve_qname).toRight ((Comparable<?>) _gs_auxcall2.getExpr ()).yield ());
    1039921    return true;
    1040922  }
Note: See TracChangeset for help on using the changeset viewer.