Changeset 2173


Ignore:
Timestamp:
Nov 30, 2006, 5:16:52 PM (14 years ago)
Author:
orlov
Message:
  • Fresh-generated libraries.
Location:
to-imperative/branches/changing_directory_structure/java/org/refal/plus/library
Files:
10 edited

Legend:

Unmodified
Added
Removed

  • to-imperative/branches/changing_directory_structure/java/org/refal/plus/library

    • Property svn:ignore set to
      *.class

  • to-imperative/branches/changing_directory_structure/java/org/refal/plus/library/CppMangle.java

    r2065 r2173  
    22
    33import org.refal.plus.*;
    4 import org.refal.plus.library.Class;
     4import org.refal.plus.library.Apply;
    55import org.refal.plus.library.Convert;
    66import org.refal.plus.library.List;
    7 import org.refal.plus.library.Apply;
     7import org.refal.plus.library.Class;
    88
    99public class CppMangle
    … …  
    1111  static private final Expr[] _va_1 = { new Expr (Expr.fromSequence ("!e")), new Expr (Expr.fromSequence ("?q")), new Expr (Expr.fromSequence ("_")), new Expr (Expr.fromSequence ("-m")), new Expr (Expr.fromSequence ("+p")), new Expr (Expr.fromSequence ("<lt")), new Expr (Expr.fromSequence (">gt")), new Expr (Expr.fromSequence ("=eq")), new Expr (Expr.fromSequence ("*a")), new Expr (Expr.fromSequence ("/s")), new Expr (Expr.fromSequence (" sp")), new Expr (Expr.fromSequence ("\\bs")), new Expr (Expr.fromSequence ("|bar")), new Expr (Expr.fromSequence ("~tilde")), new Expr (Expr.fromSequence ("@at")), new Expr (Expr.fromSequence ("#num")), new Expr (Expr.fromSequence ("$dollar")), new Expr (Expr.fromSequence ("%percnt")), new Expr (Expr.fromSequence ("^circ")), new Expr (Expr.fromSequence ("&amp")), new Expr (Expr.fromSequence ("(lpar")), new Expr (Expr.fromSequence (")rpar")), new Expr (Expr.fromSequence ("[lsqb")), new Expr (Expr.fromSequence ("]rsqb")), new Expr (Expr.fromSequence ("{lcub")), new Expr (Expr.fromSequence ("}rcub")), new Expr (Expr.fromSequence ("`grave")), new Expr (Expr.fromSequence ("'apos")), new Expr (Expr.fromSequence ("\"quot")), new Expr (Expr.fromSequence (",comma")), new Expr (Expr.fromSequence (".period")), new Expr (Expr.fromSequence (":colon")), new Expr (Expr.fromSequence (";semi")) };
    1212  static private final Expr Conv_m_Table = Expr.concat (_va_1);
    13   static private final Expr _c_0 = new Expr (new Word ("VAR"));
    14   static private final Expr _c_2 = Expr.fromSequence ("_v_");
    15   static private final Expr _c_1 = new Expr (_c_2, 0, 1);
    16   static private final Expr _c_3 = new Expr (new Word ("EVAR"));
    17   static private final Expr _c_4 = Expr.fromSequence ("_ve_");
    18   static private final Expr _c_5 = new Expr (new Word ("VVAR"));
    19   static private final Expr _c_6 = Expr.fromSequence ("_vv_");
    20   static private final Expr _c_7 = new Expr (new Word ("TVAR"));
    21   static private final Expr _c_8 = Expr.fromSequence ("_vt_");
    22   static private final Expr _c_9 = new Expr (new Word ("SVAR"));
    23   static private final Expr _c_10 = Expr.fromSequence ("_vs_");
    24   static private final Expr _c_11 = new Expr (new Word ("STATIC"));
    25   static private final Expr _c_12 = Expr.fromSequence ("_c_");
    26   static private final Expr _c_13 = new Expr (new Word ("LABEL"));
    27   static private final Expr _c_14 = new Expr (new Word ("OBJ"));
    28   static private final Expr _c_15 = new Expr (new Func () {
     13  static private final Expr _c_0 = new Expr (new Word ("EVAR"));
     14  static private final Expr _c_36 = Expr.fromSequence ("_ve_");
     15  static private final Expr _c_12 = new Expr (_c_36, 0, 3);
     16  static private final Expr _c_1 = new Expr (_c_12, 2, 1);
     17  static private final Expr _c_2 = new Expr (new Word ("VVAR"));
     18  static private final Expr _c_11 = new Expr (_c_12, 0, 2);
     19  static private final Expr _c_3 = new Expr (_c_11, 1, 1);
     20  static private final Expr _c_4 = new Expr (new Word ("TVAR"));
     21  static private final Expr _c_38 = Expr.fromSequence ("_vt_");
     22  static private final Expr _c_14 = new Expr (_c_38, 0, 3);
     23  static private final Expr _c_5 = new Expr (_c_14, 2, 1);
     24  static private final Expr _c_6 = new Expr (new Word ("SVAR"));
     25  static private final Expr _c_39 = Expr.fromSequence ("_vs_");
     26  static private final Expr _c_15 = new Expr (_c_39, 0, 3);
     27  static private final Expr _c_7 = new Expr (_c_15, 2, 1);
     28  static private final Expr _c_9 = Expr.fromSequence ("_g");
     29  static private final Expr _c_8 = new Expr (_c_9, 0, 1);
     30  static private final Expr _c_10 = new Expr (new Word ("VAR"));
     31  static private final Expr _c_37 = Expr.fromSequence ("_vv_");
     32  static private final Expr _c_13 = new Expr (_c_37, 0, 3);
     33  static private final Expr _c_16 = new Expr (new Word ("STATIC"));
     34  static private final Expr _c_17 = Expr.fromSequence ("_c_");
     35  static private final Expr _c_18 = new Expr (new Word ("LABEL"));
     36  static private final Expr _c_19 = new Expr (new Word ("OBJ"));
     37  static private final Expr _c_20 = new Expr (new Func () {
    2938    public boolean eval (Expr arg, Result res) throws RefalException {
    3039      Qualifier2Cpp (arg, res);
    … …  
    3241    }
    3342  });
    34   static private final Expr _c_16 = new Expr (new Func () {
     43  static private final Expr _c_21 = new Expr (new Func () {
    3544    public boolean eval (Expr arg, Result res) throws RefalException {
    3645      return Reserved_m_Word_q___0 (arg, res);
    3746    }
    3847  });
    39   static private final Expr _c_17 = Expr.fromSequence ("_r_");
    40   static private final Expr _c_18 = new Expr (new Func () {
     48  static private final Expr _c_22 = Expr.fromSequence ("_r_");
     49  static private final Expr _c_23 = new Expr (new Func () {
    4150    public boolean eval (Expr arg, Result res) throws RefalException {
    4251      A_m_Char2Cpp (arg, res);
    … …  
    4453    }
    4554  });
    46   static private final Expr _c_19 = Expr.fromSequence ("?!");
    47   static private final Expr _c_20 = Expr.fromSequence ("b");
    48   static private final Expr _c_21 = Expr.fromSequence ("08");
    49   static private final Expr _c_22 = Expr.fromSequence ("\t");
    50   static private final Expr _c_23 = Expr.fromSequence ("09");
    51   static private final Expr _c_24 = Expr.fromSequence ("\n");
    52   static private final Expr _c_25 = Expr.fromSequence ("0A");
    53   static private final Expr _c_26 = new Expr (_c_10, 1, 1);
    54   static private final Expr _c_27 = Expr.fromSequence ("0B");
    55   static private final Expr _c_28 = Expr.fromSequence ("f");
    56   static private final Expr _c_29 = Expr.fromSequence ("0C");
    57   static private final Expr _c_30 = Expr.fromSequence ("\r");
    58   static private final Expr _c_31 = Expr.fromSequence ("0D");
    59   static private final Expr _c_32 = new Expr (_c_19, 0, 1);
     55  static private final Expr _c_24 = Expr.fromSequence ("?!");
     56  static private final Expr _c_25 = Expr.fromSequence ("b");
     57  static private final Expr _c_26 = Expr.fromSequence ("08");
     58  static private final Expr _c_27 = Expr.fromSequence ("\t");
     59  static private final Expr _c_28 = Expr.fromSequence ("09");
     60  static private final Expr _c_29 = Expr.fromSequence ("\n");
     61  static private final Expr _c_30 = Expr.fromSequence ("0A");
     62  static private final Expr _c_31 = Expr.fromSequence ("0B");
     63  static private final Expr _c_32 = Expr.fromSequence ("f");
     64  static private final Expr _c_33 = Expr.fromSequence ("0C");
     65  static private final Expr _c_34 = Expr.fromSequence ("\r");
     66  static private final Expr _c_35 = Expr.fromSequence ("0D");
     67  static private final Expr _c_40 = new Expr (_c_24, 0, 1);
    6068  static private final Expr[] _va_2 = { new Expr (new Word ("Apply")), new Expr (new Word ("Apply")), new Expr (new Word ("Unexpected fail")) };
    61   static private final Expr _c_33 = Expr.concat (_va_2);
     69  static private final Expr _c_41 = Expr.concat (_va_2);
    6270
    6371  static public void Rfp2Cpp (Expr _ve_rfp_m_obj, Result _v_res1) throws RefalException
    … …  
    92100            Expr _v_deref__deref__rfp_m_obj = (Expr) _v_deref__rfp_m_obj.at ((0 + 1 + _v_len__ns));
    93101            int _v_len3 = _v_deref__deref__rfp_m_obj.getLen ();
    94             int _v_len4 = 0;
     102            int _v_len4 = 1;
    95103            if ((_v_len3 < _v_len4))
    96104            {
    97105              break _block2__branch1;
    98106            }
    99             int _v_len__name__1 = (_v_len3 - _v_len4);
    100             if (!_c_0.eq (_v_deref__rfp_m_obj, 0))
     107            int _v_len__name__2 = (_v_len3 - _v_len4);
     108            if (!_v_deref__rfp_m_obj.symbolAt (0))
    101109            {
    102110              break _block2__branch1;
    103111            }
     112            if (!_v_deref__deref__rfp_m_obj.symbolAt ((0 + _v_len__name__2)))
     113            {
     114              break _block2__branch1;
     115            }
     116            Expr _vs_tag = new Expr (_v_deref__rfp_m_obj, 0, 1);
    104117            Expr _ve_ns = new Expr (_v_deref__rfp_m_obj, (0 + 1), _v_len__ns);
    105             Expr _v_name__1 = new Expr (_v_deref__deref__rfp_m_obj, 0, _v_len__name__1);
    106             Expr[] _va_3 = { _c_2 , _ve_ns , _c_1 };
     118            Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj, 0, _v_len__name__2);
     119            Expr _vs_last = new Expr (_v_deref__deref__rfp_m_obj, (0 + _v_len__name__2), 1);
     120            if (!Class.Int_q_ (_vs_last))
     121            {
     122              break _block2__branch1;
     123            }
     124            Expr _vs_t = Expr.empty;
     125            _block3: {
     126              _block3__branch1: {
     127                if ((1 != 1))
     128                {
     129                  break _block3__branch1;
     130                }
     131                if (!_vs_tag.eq (_c_0, 0))
     132                {
     133                  break _block3__branch1;
     134                }
     135                _vs_t = _c_1;
     136                break _block3;
     137              }
     138              _block3__branch2: {
     139                if ((1 != 1))
     140                {
     141                  break _block3__branch2;
     142                }
     143                if (!_vs_tag.eq (_c_2, 0))
     144                {
     145                  break _block3__branch2;
     146                }
     147                _vs_t = _c_3;
     148                break _block3;
     149              }
     150              _block3__branch3: {
     151                if ((1 != 1))
     152                {
     153                  break _block3__branch3;
     154                }
     155                if (!_vs_tag.eq (_c_4, 0))
     156                {
     157                  break _block3__branch3;
     158                }
     159                _vs_t = _c_5;
     160                break _block3;
     161              }
     162              if ((1 != 1))
     163              {
     164                break _block2__branch1;
     165              }
     166              if (!_vs_tag.eq (_c_6, 0))
     167              {
     168                break _block2__branch1;
     169              }
     170              _vs_t = _c_7;
     171            }
     172            Expr[] _va_3 = { _c_9 , _vs_t , _ve_ns , _c_8 };
    107173            _ve_prefix = Expr.concat (_va_3);
    108             _ve_name = _v_name__1;
     174            _ve_name = new Expr (_ge_name__2, _vs_last);
    109175            break _block2;
    110176          }
    … …  
    137203              break _block2__branch2;
    138204            }
    139             int _v_len__name__12 = (_v_len7 - _v_len8);
    140             if (!_c_3.eq (_v_deref__rfp_m_obj2, 0))
     205            int _v_len__name__22 = (_v_len7 - _v_len8);
     206            if (!_c_10.eq (_v_deref__rfp_m_obj2, 0))
    141207            {
    142208              break _block2__branch2;
    143209            }
    144210            Expr _ve_ns = new Expr (_v_deref__rfp_m_obj2, (0 + 1), _v_len__ns2);
    145             Expr _v_name__1 = new Expr (_v_deref__deref__rfp_m_obj2, 0, _v_len__name__12);
    146             Expr[] _va_4 = { _c_4 , _ve_ns , _c_1 };
     211            Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj2, 0, _v_len__name__22);
     212            Expr[] _va_4 = { _c_11 , _ve_ns , _c_8 };
    147213            _ve_prefix = Expr.concat (_va_4);
    148             _ve_name = _v_name__1;
     214            _ve_name = _ge_name__2;
    149215            break _block2;
    150216          }
    … …  
    177243              break _block2__branch3;
    178244            }
    179             int _v_len__name__13 = (_v_len11 - _v_len12);
    180             if (!_c_5.eq (_v_deref__rfp_m_obj3, 0))
     245            int _v_len__name__23 = (_v_len11 - _v_len12);
     246            if (!_c_0.eq (_v_deref__rfp_m_obj3, 0))
    181247            {
    182248              break _block2__branch3;
    183249            }
    184250            Expr _ve_ns = new Expr (_v_deref__rfp_m_obj3, (0 + 1), _v_len__ns3);
    185             Expr _v_name__1 = new Expr (_v_deref__deref__rfp_m_obj3, 0, _v_len__name__13);
    186             Expr[] _va_5 = { _c_6 , _ve_ns , _c_1 };
     251            Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj3, 0, _v_len__name__23);
     252            Expr[] _va_5 = { _c_12 , _ve_ns , _c_8 };
    187253            _ve_prefix = Expr.concat (_va_5);
    188             _ve_name = _v_name__1;
     254            _ve_name = _ge_name__2;
    189255            break _block2;
    190256          }
    … …  
    217283              break _block2__branch4;
    218284            }
    219             int _v_len__name__14 = (_v_len15 - _v_len16);
    220             if (!_c_7.eq (_v_deref__rfp_m_obj4, 0))
     285            int _v_len__name__24 = (_v_len15 - _v_len16);
     286            if (!_c_2.eq (_v_deref__rfp_m_obj4, 0))
    221287            {
    222288              break _block2__branch4;
    223289            }
    224290            Expr _ve_ns = new Expr (_v_deref__rfp_m_obj4, (0 + 1), _v_len__ns4);
    225             Expr _v_name__1 = new Expr (_v_deref__deref__rfp_m_obj4, 0, _v_len__name__14);
    226             Expr[] _va_6 = { _c_8 , _ve_ns , _c_1 };
     291            Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj4, 0, _v_len__name__24);
     292            Expr[] _va_6 = { _c_13 , _ve_ns , _c_8 };
    227293            _ve_prefix = Expr.concat (_va_6);
    228             _ve_name = _v_name__1;
     294            _ve_name = _ge_name__2;
    229295            break _block2;
    230296          }
    … …  
    257323              break _block2__branch5;
    258324            }
    259             int _v_len__name__15 = (_v_len19 - _v_len20);
    260             if (!_c_9.eq (_v_deref__rfp_m_obj5, 0))
     325            int _v_len__name__25 = (_v_len19 - _v_len20);
     326            if (!_c_4.eq (_v_deref__rfp_m_obj5, 0))
    261327            {
    262328              break _block2__branch5;
    263329            }
    264330            Expr _ve_ns = new Expr (_v_deref__rfp_m_obj5, (0 + 1), _v_len__ns5);
    265             Expr _v_name__1 = new Expr (_v_deref__deref__rfp_m_obj5, 0, _v_len__name__15);
    266             Expr[] _va_7 = { _c_10 , _ve_ns , _c_1 };
     331            Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj5, 0, _v_len__name__25);
     332            Expr[] _va_7 = { _c_14 , _ve_ns , _c_8 };
    267333            _ve_prefix = Expr.concat (_va_7);
    268             _ve_name = _v_name__1;
     334            _ve_name = _ge_name__2;
    269335            break _block2;
    270336          }
    … …  
    279345            }
    280346            Expr _v_deref__rfp_m_obj6 = (Expr) _ve_rfp_m_obj.at (0);
    281             if ((_v_deref__rfp_m_obj6.getLen () != 2))
     347            int _v_len21 = _v_deref__rfp_m_obj6.getLen ();
     348            int _v_len22 = 2;
     349            if ((_v_len21 < _v_len22))
    282350            {
    283351              break _block2__branch6;
    284352            }
    285             if (_v_deref__rfp_m_obj6.symbolAt ((0 + 1)))
     353            int _v_len__ns6 = (_v_len21 - _v_len22);
     354            if (_v_deref__rfp_m_obj6.symbolAt ((0 + 1 + _v_len__ns6)))
    286355            {
    287356              break _block2__branch6;
    288357            }
    289             Expr _v_deref__deref__rfp_m_obj6 = (Expr) _v_deref__rfp_m_obj6.at ((0 + 1));
    290             int _v_len21 = _v_deref__deref__rfp_m_obj6.getLen ();
    291             int _v_len22 = 0;
    292             if ((_v_len21 < _v_len22))
     358            Expr _v_deref__deref__rfp_m_obj6 = (Expr) _v_deref__rfp_m_obj6.at ((0 + 1 + _v_len__ns6));
     359            int _v_len23 = _v_deref__deref__rfp_m_obj6.getLen ();
     360            int _v_len24 = 0;
     361            if ((_v_len23 < _v_len24))
    293362            {
    294363              break _block2__branch6;
    295364            }
    296             int _v_len__name__16 = (_v_len21 - _v_len22);
    297             if (!_c_11.eq (_v_deref__rfp_m_obj6, 0))
     365            int _v_len__name__26 = (_v_len23 - _v_len24);
     366            if (!_c_6.eq (_v_deref__rfp_m_obj6, 0))
    298367            {
    299368              break _block2__branch6;
    300369            }
    301             Expr _v_name__1 = new Expr (_v_deref__deref__rfp_m_obj6, 0, _v_len__name__16);
    302             _ve_prefix = _c_12;
    303             _ve_name = _v_name__1;
     370            Expr _ve_ns = new Expr (_v_deref__rfp_m_obj6, (0 + 1), _v_len__ns6);
     371            Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj6, 0, _v_len__name__26);
     372            Expr[] _va_8 = { _c_15 , _ve_ns , _c_8 };
     373            _ve_prefix = Expr.concat (_va_8);
     374            _ve_name = _ge_name__2;
    304375            break _block2;
    305376          }
     377          _block2__branch7: {
     378            if ((_ve_rfp_m_obj.getLen () != 1))
     379            {
     380              break _block2__branch7;
     381            }
     382            if (_ve_rfp_m_obj.symbolAt (0))
     383            {
     384              break _block2__branch7;
     385            }
     386            Expr _v_deref__rfp_m_obj7 = (Expr) _ve_rfp_m_obj.at (0);
     387            if ((_v_deref__rfp_m_obj7.getLen () != 2))
     388            {
     389              break _block2__branch7;
     390            }
     391            if (_v_deref__rfp_m_obj7.symbolAt ((0 + 1)))
     392            {
     393              break _block2__branch7;
     394            }
     395            Expr _v_deref__deref__rfp_m_obj7 = (Expr) _v_deref__rfp_m_obj7.at ((0 + 1));
     396            int _v_len25 = _v_deref__deref__rfp_m_obj7.getLen ();
     397            int _v_len26 = 0;
     398            if ((_v_len25 < _v_len26))
     399            {
     400              break _block2__branch7;
     401            }
     402            int _v_len__name__27 = (_v_len25 - _v_len26);
     403            if (!_c_16.eq (_v_deref__rfp_m_obj7, 0))
     404            {
     405              break _block2__branch7;
     406            }
     407            Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj7, 0, _v_len__name__27);
     408            _ve_prefix = _c_17;
     409            _ve_name = _ge_name__2;
     410            break _block2;
     411          }
    306412          if ((_ve_rfp_m_obj.getLen () != 1))
    307413          {
    … …  
    312418            break _block1__branch1;
    313419          }
    314           Expr _v_deref__rfp_m_obj7 = (Expr) _ve_rfp_m_obj.at (0);
    315           if ((_v_deref__rfp_m_obj7.getLen () != 2))
     420          Expr _v_deref__rfp_m_obj8 = (Expr) _ve_rfp_m_obj.at (0);
     421          if ((_v_deref__rfp_m_obj8.getLen () != 2))
    316422          {
    317423            break _block1__branch1;
    318424          }
    319           if (_v_deref__rfp_m_obj7.symbolAt ((0 + 1)))
     425          if (_v_deref__rfp_m_obj8.symbolAt ((0 + 1)))
    320426          {
    321427            break _block1__branch1;
    322428          }
    323           Expr _v_deref__deref__rfp_m_obj7 = (Expr) _v_deref__rfp_m_obj7.at ((0 + 1));
    324           int _v_len23 = _v_deref__deref__rfp_m_obj7.getLen ();
    325           int _v_len24 = 0;
    326           if ((_v_len23 < _v_len24))
     429          Expr _v_deref__deref__rfp_m_obj8 = (Expr) _v_deref__rfp_m_obj8.at ((0 + 1));
     430          int _v_len27 = _v_deref__deref__rfp_m_obj8.getLen ();
     431          int _v_len28 = 0;
     432          if ((_v_len27 < _v_len28))
    327433          {
    328434            break _block1__branch1;
    329435          }
    330           int _v_len__name__17 = (_v_len23 - _v_len24);
    331           if (!_c_13.eq (_v_deref__rfp_m_obj7, 0))
     436          int _v_len__name__28 = (_v_len27 - _v_len28);
     437          if (!_c_18.eq (_v_deref__rfp_m_obj8, 0))
    332438          {
    333439            break _block1__branch1;
    334440          }
    335           Expr _v_name__1 = new Expr (_v_deref__deref__rfp_m_obj7, 0, _v_len__name__17);
    336           _ve_prefix = _c_1;
    337           _ve_name = _v_name__1;
     441          Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj8, 0, _v_len__name__28);
     442          _ve_prefix = _c_8;
     443          _ve_name = _ge_name__2;
    338444        }
    339445        Result _v_Chars2Cpp1 = new Result ();
    … …  
    343449      }
    344450      _block1__branch2: {
    345         Expr _v_auxblock1 = Expr.empty;
    346         _block3: {
    347           _block3__branch1: {
     451        Expr _ge_auxalt1 = Expr.empty;
     452        _block4: {
     453          _block4__branch1: {
    348454            if ((_ve_rfp_m_obj.getLen () != 1))
    349455            {
    350               break _block3__branch1;
     456              break _block4__branch1;
    351457            }
    352458            if (_ve_rfp_m_obj.symbolAt (0))
    353459            {
    354               break _block3__branch1;
    355             }
    356             Expr _v_deref__rfp_m_obj8 = (Expr) _ve_rfp_m_obj.at (0);
    357             int _v_len25 = _v_deref__rfp_m_obj8.getLen ();
    358             int _v_len26 = 1;
    359             if ((_v_len25 < _v_len26))
    360             {
    361               break _block3__branch1;
    362             }
    363             int _v_len__names = (_v_len25 - _v_len26);
    364             if (!_c_14.eq (_v_deref__rfp_m_obj8, 0))
    365             {
    366               break _block3__branch1;
    367             }
    368             Expr _ve_names = new Expr (_v_deref__rfp_m_obj8, (0 + 1), _v_len__names);
    369             _v_auxblock1 = _ve_names;
    370             break _block3;
    371           }
    372           _block3__branch2: {
     460              break _block4__branch1;
     461            }
     462            Expr _v_deref__rfp_m_obj9 = (Expr) _ve_rfp_m_obj.at (0);
     463            int _v_len29 = _v_deref__rfp_m_obj9.getLen ();
     464            int _v_len30 = 1;
     465            if ((_v_len29 < _v_len30))
     466            {
     467              break _block4__branch1;
     468            }
     469            int _v_len__names = (_v_len29 - _v_len30);
     470            if (!_c_19.eq (_v_deref__rfp_m_obj9, 0))
     471            {
     472              break _block4__branch1;
     473            }
     474            Expr _ve_names = new Expr (_v_deref__rfp_m_obj9, (0 + 1), _v_len__names);
     475            _ge_auxalt1 = _ve_names;
     476            break _block4;
     477          }
     478          _block4__branch2: {
    373479            if ((_ve_rfp_m_obj.getLen () != 1))
    374480            {
    375               break _block3__branch2;
     481              break _block4__branch2;
    376482            }
    377483            if (_ve_rfp_m_obj.symbolAt (0))
    378484            {
    379               break _block3__branch2;
    380             }
    381             Expr _v_deref__rfp_m_obj9 = (Expr) _ve_rfp_m_obj.at (0);
    382             int _v_len27 = _v_deref__rfp_m_obj9.getLen ();
    383             int _v_len28 = 0;
    384             if ((_v_len27 < _v_len28))
    385             {
    386               break _block3__branch2;
    387             }
    388             int _v_len__names2 = (_v_len27 - _v_len28);
    389             Expr _ve_names = new Expr (_v_deref__rfp_m_obj9, 0, _v_len__names2);
    390             _v_auxblock1 = _ve_names;
    391             break _block3;
    392           }
    393           int _v_len29 = _ve_rfp_m_obj.getLen ();
    394           int _v_len30 = 0;
    395           if ((_v_len29 < _v_len30))
     485              break _block4__branch2;
     486            }
     487            Expr _v_deref__rfp_m_obj10 = (Expr) _ve_rfp_m_obj.at (0);
     488            int _v_len31 = _v_deref__rfp_m_obj10.getLen ();
     489            int _v_len32 = 0;
     490            if ((_v_len31 < _v_len32))
     491            {
     492              break _block4__branch2;
     493            }
     494            int _v_len__names2 = (_v_len31 - _v_len32);
     495            Expr _ve_names = new Expr (_v_deref__rfp_m_obj10, 0, _v_len__names2);
     496            _ge_auxalt1 = _ve_names;
     497            break _block4;
     498          }
     499          int _v_len33 = _ve_rfp_m_obj.getLen ();
     500          int _v_len34 = 0;
     501          if ((_v_len33 < _v_len34))
    396502          {
    397503            throw new RefalException ("CppMangle", "Rfp2Cpp", "Unexpected fail");
    398504          }
    399           int _v_len__names3 = (_v_len29 - _v_len30);
     505          int _v_len__names3 = (_v_len33 - _v_len34);
    400506          Expr _ve_names = new Expr (_ve_rfp_m_obj, 0, _v_len__names3);
    401           _v_auxblock1 = _ve_names;
    402         }
    403         int _v_len31 = _v_auxblock1.getLen ();
    404         int _v_len32 = 1;
    405         if ((_v_len31 < _v_len32))
     507          _ge_auxalt1 = _ve_names;
     508        }
     509        int _v_len35 = _ge_auxalt1.getLen ();
     510        int _v_len36 = 1;
     511        if ((_v_len35 < _v_len36))
    406512        {
    407513          break _block1__branch2;
    408514        }
    409         int _v_len__qualifiers = (_v_len31 - _v_len32);
    410         if (!_v_auxblock1.symbolAt ((0 + _v_len__qualifiers)))
     515        int _v_len__qualifiers = (_v_len35 - _v_len36);
     516        if (!_ge_auxalt1.symbolAt ((0 + _v_len__qualifiers)))
    411517        {
    412518          break _block1__branch2;
    413519        }
    414         Expr _ve_qualifiers = new Expr (_v_auxblock1, 0, _v_len__qualifiers);
    415         Expr _vs_name = new Expr (_v_auxblock1, (0 + _v_len__qualifiers), 1);
    416         Result _v_Map1 = new Result ();
    417         List.Map (_c_15, Expr.empty, _ve_qualifiers, _v_Map1);
     520        Expr _ve_qualifiers = new Expr (_ge_auxalt1, 0, _v_len__qualifiers);
     521        Expr _vs_name = new Expr (_ge_auxalt1, (0 + _v_len__qualifiers), 1);
     522        Result _ge_auxcall2 = new Result ();
     523        if (!List.Map (_c_20, Expr.empty, _ve_qualifiers, _ge_auxcall2))
     524        {
     525          throw new RefalException ("CppMangle", "Rfp2Cpp", "Unexpected fail");
     526        }
    418527        Result _v_Chars2Cpp2 = new Result ();
    419528        Chars2Cpp (_vs_name, _v_Chars2Cpp2);
    420         _ve_ident = new Expr (_v_Map1.getExpr (), _v_Chars2Cpp2.getExpr ());
     529        _ve_ident = new Expr (_ge_auxcall2.getExpr (), _v_Chars2Cpp2.getExpr ());
    421530        break _block1;
    422531      }
    423532      _ve_ident = Expr.empty;
    424533    }
    425     _block4: {
    426       _block4__branch1: {
     534    _block5: {
     535      _block5__branch1: {
    427536        Result _v_Apply1 = new Result ();
    428         if (!Apply.Apply (_c_16, _ve_ident, _v_Apply1))
    429         {
    430           break _block4__branch1;
    431         }
    432         int _v_len33 = _v_Apply1.getExpr ().getLen ();
    433         int _v_len34 = 0;
    434         if ((_v_len33 < _v_len34))
    435         {
    436           break _block4__branch1;
    437         }
    438         int _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_78_m_40 = (_v_len33 - _v_len34);
    439         Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_78_m_40 = new Expr (_v_Apply1.getExpr (), 0, _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_78_m_40);
    440         _v_res1.assign (new Expr (_c_17, _ve_ident));
    441         break _block4;
     537        if (!Apply.Apply (_c_21, _ve_ident, _v_Apply1))
     538        {
     539          break _block5__branch1;
     540        }
     541        int _v_len37 = _v_Apply1.getExpr ().getLen ();
     542        int _v_len38 = 0;
     543        if ((_v_len37 < _v_len38))
     544        {
     545          break _block5__branch1;
     546        }
     547        int _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_79_m_40 = (_v_len37 - _v_len38);
     548        Expr _ve__e__e_tmp_m__s_lib_s_CppManglerf_m_79_m_40 = new Expr (_v_Apply1.getExpr (), 0, _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_79_m_40);
     549        _v_res1.assign (new Expr (_c_22, _ve_ident));
     550        break _block5;
    442551      }
    443552      _v_res1.assign (_ve_ident);
    … …  
    445554  }
    446555
    447   static private void Qualifier2Cpp (Expr _v_arg1, Result _v_res1) throws RefalException
     556  static private void Qualifier2Cpp (Expr _ge_arg1, Result _v_res1) throws RefalException
    448557  {
    449     if ((_v_arg1.getLen () != 1))
     558    if ((_ge_arg1.getLen () != 1))
    450559    {
    451560      throw new RefalException ("CppMangle", "Qualifier2Cpp", "Unexpected fail");
    452561    }
    453     if (!_v_arg1.symbolAt (0))
     562    if (!_ge_arg1.symbolAt (0))
    454563    {
    455564      throw new RefalException ("CppMangle", "Qualifier2Cpp", "Unexpected fail");
    456565    }
    457     Expr _vs_qualifier = new Expr (_v_arg1, 0, 1);
    458     Result _v_Chars2Cpp1 = new Result ();
    459     Chars2Cpp (_vs_qualifier, _v_Chars2Cpp1);
    460     _v_res1.assign (new Expr (_v_Chars2Cpp1.getExpr (), cpp__specific.Namespace_m_Delimeter));
     566    Expr _vs_qualifier = new Expr (_ge_arg1, 0, 1);
     567    Result _ge_auxcall1 = new Result ();
     568    Chars2Cpp (_vs_qualifier, _ge_auxcall1);
     569    _v_res1.assign (new Expr (_ge_auxcall1.getExpr (), cpp__specific.Namespace_m_Delimeter));
    461570  }
    462571
    463572  static private void Chars2Cpp (Expr _ve_name, Result _v_res1) throws RefalException
    464573  {
    465     Result _v_To_m_Chars1 = new Result ();
    466     Convert.To_m_Chars (_ve_name, _v_To_m_Chars1);
    467     List.Map (_c_18, Expr.empty, _v_To_m_Chars1.getExpr (), _v_res1);
     574    Result _ge_auxcall1 = new Result ();
     575    Convert.To_m_Chars (_ve_name, _ge_auxcall1);
     576    if (!List.Map (_c_23, Expr.empty, _ge_auxcall1.getExpr (), _v_res1))
     577    {
     578      throw new RefalException ("CppMangle", "Chars2Cpp", "Unexpected fail");
     579    }
    468580  }
    469581
    470   static private void A_m_Char2Cpp (Expr _v_arg1, Result _v_res1) throws RefalException
     582  static private void A_m_Char2Cpp (Expr _ge_arg1, Result _v_res1) throws RefalException
    471583  {
    472     if ((_v_arg1.getLen () != 1))
     584    if ((_ge_arg1.getLen () != 1))
    473585    {
    474586      throw new RefalException ("CppMangle", "A_m_Char2Cpp", "Unexpected fail");
    475587    }
    476     if (!_v_arg1.symbolAt (0))
     588    if (!_ge_arg1.symbolAt (0))
    477589    {
    478590      throw new RefalException ("CppMangle", "A_m_Char2Cpp", "Unexpected fail");
    479591    }
    480     Expr _vs_char = new Expr (_v_arg1, 0, 1);
     592    Expr _vs_char = new Expr (_ge_arg1, 0, 1);
    481593    _block1: {
    482594      _block1__branch1: {
    … …  
    498610            break _negation1;
    499611          }
    500           Expr.SplitIterator _va_8 = _c_19.leftSplit(0);
    501           _exit1: _continue1: for ( ; ; _va_8.next ())
    502           {
    503             Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_88_m_34 = _va_8.getLeft();
    504             Expr _v_lsplit__19 = _va_8.getRight();
    505             if (!_va_8.isValid ())
     612          Expr.SplitIterator _va_9 = _c_24.leftSplit(0);
     613          _exit1: _continue1: for ( ; ; _va_9.next ())
     614          {
     615            Expr _ve__e__e_tmp_m__s_lib_s_CppManglerf_m_89_m_34 = _va_9.getLeft();
     616            Expr _v_lsplit__24 = _va_9.getRight();
     617            if (!_va_9.isValid ())
    506618            {
    507619              break _negation1;
    508620            }
    509             int _v_len1 = _v_lsplit__19.getLen ();
     621            int _v_len1 = _v_lsplit__24.getLen ();
    510622            int _v_len2 = 1;
    511623            if ((_v_len1 < _v_len2))
    … …  
    513625              break _negation1;
    514626            }
    515             int _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_88_m_43 = (_v_len1 - _v_len2);
    516             if (!_vs_char.eq (_v_lsplit__19, 0))
     627            int _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_89_m_43 = (_v_len1 - _v_len2);
     628            if (!_vs_char.eq (_v_lsplit__24, 0))
    517629            {
    518630              continue _continue1;
    519631            }
    520             Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_88_m_43 = new Expr (_v_lsplit__19, (0 + 1), _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_88_m_43);
     632            Expr _ve__e__e_tmp_m__s_lib_s_CppManglerf_m_89_m_43 = new Expr (_v_lsplit__24, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_89_m_43);
    521633            break _exit1;
    522634          }
    … …  
    531643          break _block1__branch3;
    532644        }
    533         Expr.SplitIterator _va_9 = Conv_m_Table.leftSplit(0);
    534         _exit2: _continue2: for ( ; ; _va_9.next ())
    535         {
    536           Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_89_m_18 = _va_9.getLeft();
    537           Expr _v_lsplit__Conv_m_Table = _va_9.getRight();
    538           if (!_va_9.isValid ())
     645        Expr.SplitIterator _va_10 = Conv_m_Table.leftSplit(0);
     646        _exit2: _continue2: for ( ; ; _va_10.next ())
     647        {
     648          Expr _ve__e__e_tmp_m__s_lib_s_CppManglerf_m_90_m_18 = _va_10.getLeft();
     649          Expr _v_lsplit__Conv_m_Table = _va_10.getRight();
     650          if (!_va_10.isValid ())
    539651          {
    540652            break _block1__branch3;
    … …  
    546658            break _block1__branch3;
    547659          }
    548           int _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_89_m_36 = (_v_len3 - _v_len4);
     660          int _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_90_m_36 = (_v_len3 - _v_len4);
    549661          if (_v_lsplit__Conv_m_Table.symbolAt (0))
    550662          {
    … …  
    563675            continue _continue2;
    564676          }
    565           Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_89_m_36 = new Expr (_v_lsplit__Conv_m_Table, (0 + 1), _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_89_m_36);
     677          Expr _ve__e__e_tmp_m__s_lib_s_CppManglerf_m_90_m_36 = new Expr (_v_lsplit__Conv_m_Table, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_90_m_36);
    566678          Expr _ve_code = new Expr (_v_deref__lsplit__Conv_m_Table, (0 + 1), _v_len__code);
    567           Expr[] _va_10 = { _c_1 , _ve_code , _c_1 };
    568           _v_res1.assign (Expr.concat (_va_10));
     679          Expr[] _va_11 = { _c_8 , _ve_code , _c_8 };
     680          _v_res1.assign (Expr.concat (_va_11));
    569681          break _exit2;
    570682        }
    571683        break _block1;
    572684      }
    573       Result _v_Char_m_To_m_Unicode1 = new Result ();
    574       Char_m_To_m_Unicode (_vs_char, _v_Char_m_To_m_Unicode1);
    575       Expr[] _va_11 = { _c_1 , _v_Char_m_To_m_Unicode1.getExpr () , _c_1 };
    576       _v_res1.assign (Expr.concat (_va_11));
     685      Result _ge_auxcall1 = new Result ();
     686      Char_m_To_m_Unicode (_vs_char, _ge_auxcall1);
     687      Expr[] _va_12 = { _c_8 , _ge_auxcall1.getExpr () , _c_8 };
     688      _v_res1.assign (Expr.concat (_va_12));
    577689    }
    578690  }
    579691
    580   static private void Char_m_To_m_Unicode (Expr _v_arg1, Result _v_res1) throws RefalException
     692  static private void Char_m_To_m_Unicode (Expr _gs_arg1, Result _v_res1) throws RefalException
    581693  {
    582694    _block1: {
    … …  
    586698          break _block1__branch1;
    587699        }
    588         if (!_v_arg1.eq (_c_20, 0))
     700        if (!_gs_arg1.eq (_c_25, 0))
    589701        {
    590702          break _block1__branch1;
    591703        }
    592         _v_res1.assign (_c_21);
     704        _v_res1.assign (_c_26);
    593705        break _block1;
    594706      }
    … …  
    598710          break _block1__branch2;
    599711        }
    600         if (!_v_arg1.eq (_c_22, 0))
     712        if (!_gs_arg1.eq (_c_27, 0))
    601713        {
    602714          break _block1__branch2;
    603715        }
    604         _v_res1.assign (_c_23);
     716        _v_res1.assign (_c_28);
    605717        break _block1;
    606718      }
    … …  
    610722          break _block1__branch3;
    611723        }
    612         if (!_v_arg1.eq (_c_24, 0))
     724        if (!_gs_arg1.eq (_c_29, 0))
    613725        {
    614726          break _block1__branch3;
    615727        }
    616         _v_res1.assign (_c_25);
     728        _v_res1.assign (_c_30);
    617729        break _block1;
    618730      }
    … …  
    622734          break _block1__branch4;
    623735        }
    624         if (!_v_arg1.eq (_c_26, 0))
     736        if (!_gs_arg1.eq (_c_3, 0))
    625737        {
    626738          break _block1__branch4;
    627739        }
    628         _v_res1.assign (_c_27);
     740        _v_res1.assign (_c_31);
    629741        break _block1;
    630742      }
    … …  
    634746          break _block1__branch5;
    635747        }
    636         if (!_v_arg1.eq (_c_28, 0))
     748        if (!_gs_arg1.eq (_c_32, 0))
    637749        {
    638750          break _block1__branch5;
    639751        }
    640         _v_res1.assign (_c_29);
     752        _v_res1.assign (_c_33);
    641753        break _block1;
    642754      }
    … …  
    645757        throw new RefalException ("CppMangle", "Char_m_To_m_Unicode", "Unexpected fail");
    646758      }
    647       if (!_v_arg1.eq (_c_30, 0))
     759      if (!_gs_arg1.eq (_c_34, 0))
    648760      {
    649761        throw new RefalException ("CppMangle", "Char_m_To_m_Unicode", "Unexpected fail");
    650762      }
    651       _v_res1.assign (_c_31);
     763      _v_res1.assign (_c_35);
    652764    }
    653765  }
    … …  
    657769    Result _v_To_m_Chars1 = new Result ();
    658770    Convert.To_m_Chars (_ve_ident, _v_To_m_Chars1);
    659     Expr _v_auxblock1 = Expr.empty;
     771    Expr _ge_auxalt1 = Expr.empty;
    660772    _block1: {
    661773      _block1__branch1: {
    … …  
    667779        }
    668780        int _v_len__name = (_v_len1 - _v_len2);
    669         if (!_c_17.eq (_v_To_m_Chars1.getExpr (), 0))
     781        if (!_c_22.eq (_v_To_m_Chars1.getExpr (), 0))
    670782        {
    671783          break _block1__branch1;
    672784        }
    673785        Expr _ve_name = new Expr (_v_To_m_Chars1.getExpr (), (0 + 1 + 1 + 1), _v_len__name);
    674         _v_auxblock1 = _ve_name;
     786        _ge_auxalt1 = _ve_name;
    675787        break _block1;
    676788      }
    … …  
    683795      int _v_len__name2 = (_v_len3 - _v_len4);
    684796      Expr _ve_name = new Expr (_v_To_m_Chars1.getExpr (), 0, _v_len__name2);
    685       _v_auxblock1 = _ve_name;
     797      _ge_auxalt1 = _ve_name;
    686798    }
    687799    _block2: {
    688800      _block2__branch1: {
    689         int _v_len5 = _v_auxblock1.getLen ();
     801        int _v_len5 = _ge_auxalt1.getLen ();
    690802        int _v_len6 = 4;
    691803        if ((_v_len5 < _v_len6))
    … …  
    694806        }
    695807        int _v_len__name3 = (_v_len5 - _v_len6);
    696         if (!_c_4.eq (_v_auxblock1, 0))
     808        if (!_c_36.eq (_ge_auxalt1, 0))
    697809        {
    698810          break _block2__branch1;
    699811        }
    700         Expr _ve_name = new Expr (_v_auxblock1, (0 + 1 + 1 + 1 + 1), _v_len__name3);
    701         Result _v_Chars2Rfp1 = new Result ();
    702         if (!Chars2Rfp (_ve_name, _v_Chars2Rfp1))
     812        Expr _ve_name = new Expr (_ge_auxalt1, (0 + 1 + 1 + 1 + 1), _v_len__name3);
     813        Result _gs_auxcall2 = new Result ();
     814        if (!Chars2Rfp (_ve_name, _gs_auxcall2))
    703815        {
    704816          return false;
    705817        }
    706         _v_res1.assign (new Expr(new Expr (_c_3, new Expr(_v_Chars2Rfp1.getExpr ()))));
     818        _v_res1.assign (new Expr(new Expr (_c_0, new Expr(_gs_auxcall2.getExpr ()))));
    707819        break _block2;
    708820      }
    709821      _block2__branch2: {
    710         int _v_len7 = _v_auxblock1.getLen ();
     822        int _v_len7 = _ge_auxalt1.getLen ();
    711823        int _v_len8 = 4;
    712824        if ((_v_len7 < _v_len8))
    … …  
    715827        }
    716828        int _v_len__name4 = (_v_len7 - _v_len8);
    717         if (!_c_6.eq (_v_auxblock1, 0))
     829        if (!_c_37.eq (_ge_auxalt1, 0))
    718830        {
    719831          break _block2__branch2;
    720832        }
    721         Expr _ve_name = new Expr (_v_auxblock1, (0 + 1 + 1 + 1 + 1), _v_len__name4);
    722         Result _v_Chars2Rfp2 = new Result ();
    723         if (!Chars2Rfp (_ve_name, _v_Chars2Rfp2))
     833        Expr _ve_name = new Expr (_ge_auxalt1, (0 + 1 + 1 + 1 + 1), _v_len__name4);
     834        Result _gs_auxcall3 = new Result ();
     835        if (!Chars2Rfp (_ve_name, _gs_auxcall3))
    724836        {
    725837          return false;
    726838        }
    727         _v_res1.assign (new Expr(new Expr (_c_5, new Expr(_v_Chars2Rfp2.getExpr ()))));
     839        _v_res1.assign (new Expr(new Expr (_c_2, new Expr(_gs_auxcall3.getExpr ()))));
    728840        break _block2;
    729841      }
    730842      _block2__branch3: {
    731         int _v_len9 = _v_auxblock1.getLen ();
     843        int _v_len9 = _ge_auxalt1.getLen ();
    732844        int _v_len10 = 4;
    733845        if ((_v_len9 < _v_len10))
    … …  
    736848        }
    737849        int _v_len__name5 = (_v_len9 - _v_len10);
    738         if (!_c_8.eq (_v_auxblock1, 0))
     850        if (!_c_38.eq (_ge_auxalt1, 0))
    739851        {
    740852          break _block2__branch3;
    741853        }
    742         Expr _ve_name = new Expr (_v_auxblock1, (0 + 1 + 1 + 1 + 1), _v_len__name5);
    743         Result _v_Chars2Rfp3 = new Result ();
    744         if (!Chars2Rfp (_ve_name, _v_Chars2Rfp3))
     854        Expr _ve_name = new Expr (_ge_auxalt1, (0 + 1 + 1 + 1 + 1), _v_len__name5);
     855        Result _gs_auxcall4 = new Result ();
     856        if (!Chars2Rfp (_ve_name, _gs_auxcall4))
    745857        {
    746858          return false;
    747859        }
    748         _v_res1.assign (new Expr(new Expr (_c_7, new Expr(_v_Chars2Rfp3.getExpr ()))));
     860        _v_res1.assign (new Expr(new Expr (_c_4, new Expr(_gs_auxcall4.getExpr ()))));
    749861        break _block2;
    750862      }
    751863      _block2__branch4: {
    752         int _v_len11 = _v_auxblock1.getLen ();
     864        int _v_len11 = _ge_auxalt1.getLen ();
    753865        int _v_len12 = 4;
    754866        if ((_v_len11 < _v_len12))
    … …  
    757869        }
    758870        int _v_len__name6 = (_v_len11 - _v_len12);
    759         if (!_c_10.eq (_v_auxblock1, 0))
     871        if (!_c_39.eq (_ge_auxalt1, 0))
    760872        {
    761873          break _block2__branch4;
    762874        }
    763         Expr _ve_name = new Expr (_v_auxblock1, (0 + 1 + 1 + 1 + 1), _v_len__name6);
    764         Result _v_Chars2Rfp4 = new Result ();
    765         if (!Chars2Rfp (_ve_name, _v_Chars2Rfp4))
     875        Expr _ve_name = new Expr (_ge_auxalt1, (0 + 1 + 1 + 1 + 1), _v_len__name6);
     876        Result _gs_auxcall5 = new Result ();
     877        if (!Chars2Rfp (_ve_name, _gs_auxcall5))
    766878        {
    767879          return false;
    768880        }
    769         _v_res1.assign (new Expr(new Expr (_c_9, new Expr(_v_Chars2Rfp4.getExpr ()))));
     881        _v_res1.assign (new Expr(new Expr (_c_6, new Expr(_gs_auxcall5.getExpr ()))));
    770882        break _block2;
    771883      }
    772       int _v_len13 = _v_auxblock1.getLen ();
     884      int _v_len13 = _ge_auxalt1.getLen ();
    773885      int _v_len14 = 0;
    774886      if ((_v_len13 < _v_len14))
    … …  
    777889      }
    778890      int _v_len__name7 = (_v_len13 - _v_len14);
    779       Expr _ve_name = new Expr (_v_auxblock1, 0, _v_len__name7);
     891      Expr _ve_name = new Expr (_ge_auxalt1, 0, _v_len__name7);
    780892      if (!Qualifiers2Rfp (_ve_name, _v_res1)) {
    781893        return false;
    … …  
    785897  }
    786898
    787   static private boolean Qualifiers2Rfp (Expr _v_arg1, Result _v_res1) throws RefalException
     899  static private boolean Qualifiers2Rfp (Expr _ge_arg1, Result _v_res1) throws RefalException
    788900  {
    789901    _block1: {
    790902      _block1__branch1: {
    791         if ((_v_arg1.getLen () < 2))
     903        if ((_ge_arg1.getLen () < 2))
    792904        {
    793905          break _block1__branch1;
    794906        }
    795         Expr.SplitIterator _va_12 = _v_arg1.leftSplit(0);
    796         _exit1: _continue1: for ( ; ; _va_12.next ())
    797         {
    798           Expr _ve_qualifier = _va_12.getLeft();
    799           Expr _v_lsplit__arg1 = _va_12.getRight();
    800           if (!_va_12.isValid ())
     907        Expr.SplitIterator _va_13 = _ge_arg1.leftSplit(0);
     908        _exit1: _continue1: for ( ; ; _va_13.next ())
     909        {
     910          Expr _ve_qualifier = _va_13.getLeft();
     911          Expr _v_lsplit__arg1 = _va_13.getRight();
     912          if (!_va_13.isValid ())
    801913          {
    802914            break _block1__branch1;
    … …  
    814926          }
    815927          Expr _ve_rest = new Expr (_v_lsplit__arg1, (0 + 1 + 1), _v_len__rest);
    816           Result _v_Chars2Rfp1 = new Result ();
    817           if (!Chars2Rfp (_ve_qualifier, _v_Chars2Rfp1))
     928          Result _gs_auxcall1 = new Result ();
     929          if (!Chars2Rfp (_ve_qualifier, _gs_auxcall1))
    818930          {
    819931            return false;
    … …  
    824936            return false;
    825937          }
    826           _v_res1.assign (new Expr (_v_Chars2Rfp1.getExpr (), _v_Qualifiers2Rfp1.getExpr ()));
     938          _v_res1.assign (new Expr (_gs_auxcall1.getExpr (), _v_Qualifiers2Rfp1.getExpr ()));
    827939          break _exit1;
    828940        }
    829941        break _block1;
    830942      }
    831       if (!Chars2Rfp (_v_arg1, _v_res1))
     943      if (!Chars2Rfp (_ge_arg1, _v_res1))
    832944      {
    833945        return false;
    … …  
    839951  static private boolean Chars2Rfp (Expr _ve_name, Result _v_res1) throws RefalException
    840952  {
    841     Result _v_Codes2Rfp1 = new Result ();
    842     if (!Codes2Rfp (_ve_name, _v_Codes2Rfp1))
     953    Result _ge_auxcall1 = new Result ();
     954    if (!Codes2Rfp (_ve_name, _ge_auxcall1))
    843955    {
    844956      return false;
    845957    }
    846     Convert.To_m_Word (_v_Codes2Rfp1.getExpr (), _v_res1);
     958    Convert.To_m_Word (_ge_auxcall1.getExpr (), _v_res1);
    847959    return true;
    848960  }
    849961
    850   static private boolean Codes2Rfp (Expr _v_arg1, Result _v_res1) throws RefalException
     962  static private boolean Codes2Rfp (Expr _ge_arg1, Result _v_res1) throws RefalException
    851963  {
    852964    _block1: {
    853965      _block1__branch1: {
    854         if ((_v_arg1.getLen () < 2))
     966        if ((_ge_arg1.getLen () < 2))
    855967        {
    856968          break _block1__branch1;
    857969        }
    858         if (!_c_1.eq (_v_arg1, 0))
     970        if (!_c_8.eq (_ge_arg1, 0))
    859971        {
    860972          break _block1__branch1;
    861973        }
    862         Expr _v_subexpr__arg1 = new Expr (_v_arg1, (0 + 1), (_v_arg1.getLen () - (0 + 1 + 0)));
    863         Expr.SplitIterator _va_13 = _v_subexpr__arg1.leftSplit(0);
    864         _exit1: _continue1: for ( ; ; _va_13.next ())
    865         {
    866           Expr _ve_code = _va_13.getLeft();
    867           Expr _v_lsplit__arg1 = _va_13.getRight();
    868           if (!_va_13.isValid ())
     974        Expr _v_subexpr__arg1 = new Expr (_ge_arg1, (0 + 1), (_ge_arg1.getLen () - (0 + 1 + 0)));
     975        Expr.SplitIterator _va_14 = _v_subexpr__arg1.leftSplit(0);
     976        _exit1: _continue1: for ( ; ; _va_14.next ())
     977        {
     978          Expr _ve_code = _va_14.getLeft();
     979          Expr _v_lsplit__arg1 = _va_14.getRight();
     980          if (!_va_14.isValid ())
    869981          {
    870982            break _block1__branch1;
    … …  
    877989          }
    878990          int _v_len__rest = (_v_len1 - _v_len2);
    879           if (!_c_1.eq (_v_lsplit__arg1, 0))
     991          if (!_c_8.eq (_v_lsplit__arg1, 0))
    880992          {
    881993            continue _continue1;
    … …  
    886998            return false;
    887999          }
    888           Expr.SplitIterator _va_14 = Conv_m_Table.leftSplit(0);
    889           _exit2: _continue2: for ( ; ; _va_14.next ())
    890           {
    891             Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_132_m_20 = _va_14.getLeft();
    892             Expr _v_lsplit__Conv_m_Table = _va_14.getRight();
    893             if (!_va_14.isValid ())
     1000          Expr.SplitIterator _va_15 = Conv_m_Table.leftSplit(0);
     1001          _exit2: _continue2: for ( ; ; _va_15.next ())
     1002          {
     1003            Expr _ve__e__e_tmp_m__s_lib_s_CppManglerf_m_133_m_20 = _va_15.getLeft();
     1004            Expr _v_lsplit__Conv_m_Table = _va_15.getRight();
     1005            if (!_va_15.isValid ())
    8941006            {
    8951007              return false;
    … …  
    9011013              return false;
    9021014            }
    903             int _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_132_m_38 = (_v_len3 - _v_len4);
     1015            int _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_133_m_38 = (_v_len3 - _v_len4);
    9041016            if (_v_lsplit__Conv_m_Table.symbolAt (0))
    9051017            {
    … …  
    9191031              continue _continue2;
    9201032            }
    921             Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_132_m_38 = new Expr (_v_lsplit__Conv_m_Table, (0 + 1), _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_132_m_38);
     1033            Expr _ve__e__e_tmp_m__s_lib_s_CppManglerf_m_133_m_38 = new Expr (_v_lsplit__Conv_m_Table, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_133_m_38);
    9221034            Expr _vs_char = new Expr (_v_deref__lsplit__Conv_m_Table, 0, 1);
    9231035            Result _v_Codes2Rfp1 = new Result ();
    … …  
    9341046      }
    9351047      _block1__branch2: {
    936         int _v_len5 = _v_arg1.getLen ();
     1048        int _v_len5 = _ge_arg1.getLen ();
    9371049        int _v_len6 = 1;
    9381050        if ((_v_len5 < _v_len6))
    … …  
    9411053        }
    9421054        int _v_len__rest2 = (_v_len5 - _v_len6);
    943         if (!_v_arg1.symbolAt (0))
     1055        if (!_ge_arg1.symbolAt (0))
    9441056        {
    9451057          break _block1__branch2;
    9461058        }
    947         Expr _vs_char = new Expr (_v_arg1, 0, 1);
    948         Expr _ve_rest = new Expr (_v_arg1, (0 + 1), _v_len__rest2);
     1059        Expr _vs_char = new Expr (_ge_arg1, 0, 1);
     1060        Expr _ve_rest = new Expr (_ge_arg1, (0 + 1), _v_len__rest2);
    9491061        _block2: {
    9501062          _block2__branch1: {
    … …  
    9641076              break _negation1;
    9651077            }
    966             if (!_vs_char.eq (_c_32, 0))
     1078            if (!_vs_char.eq (_c_40, 0))
    9671079            {
    9681080              break _negation1;
    … …  
    9791091        break _block1;
    9801092      }
    981       if ((_v_arg1.getLen () != 0))
     1093      if ((_ge_arg1.getLen () != 0))
    9821094      {
    9831095        throw new RefalException ("CppMangle", "Codes2Rfp", "Unexpected fail");
    … …  
    9881100  }
    9891101
    990   static private boolean Reserved_m_Word_q___0 (Expr _v_arg1, Result _v_res1) throws RefalException
     1102  static private boolean Reserved_m_Word_q___0 (Expr _ge_arg1, Result _v_res1) throws RefalException
    9911103  {
    992     int _v_len1 = _v_arg1.getLen ();
     1104    int _v_len1 = _ge_arg1.getLen ();
    9931105    int _v_len2 = 0;
    9941106    if ((_v_len1 < _v_len2))
    9951107    {
    996       throw new RefalException (_c_33);
     1108      throw new RefalException (_c_41);
    9971109    }
    9981110    int _v_len__stub1 = (_v_len1 - _v_len2);
    999     Expr _v_stub1 = new Expr (_v_arg1, 0, _v_len__stub1);
     1111    Expr _v_stub1 = new Expr (_ge_arg1, 0, _v_len__stub1);
    10001112    if (!cpp__specific.Reserved_m_Word_q_ (_v_stub1))
    10011113    {

  • to-imperative/branches/changing_directory_structure/java/org/refal/plus/library/JavaMangle.java

    r2065 r2173  
    22
    33import org.refal.plus.*;
     4import org.refal.plus.library.Apply;
     5import org.refal.plus.library.Convert;
     6import org.refal.plus.library.List;
    47import org.refal.plus.library.Class;
    5 import org.refal.plus.library.Convert;
    6 import org.refal.plus.library.java__specific;
    7 import org.refal.plus.library.List;
    8 import org.refal.plus.library.Apply;
    98
    109public class JavaMangle
    … …  
    1211  static private final Expr[] _va_1 = { new Expr (Expr.fromSequence ("!e")), new Expr (Expr.fromSequence ("?q")), new Expr (Expr.fromSequence ("_")), new Expr (Expr.fromSequence ("-m")), new Expr (Expr.fromSequence ("+p")), new Expr (Expr.fromSequence ("<lt")), new Expr (Expr.fromSequence (">gt")), new Expr (Expr.fromSequence ("=eq")), new Expr (Expr.fromSequence ("*a")), new Expr (Expr.fromSequence ("/s")), new Expr (Expr.fromSequence (" sp")), new Expr (Expr.fromSequence ("\\bs")), new Expr (Expr.fromSequence ("|bar")), new Expr (Expr.fromSequence ("~tilde")), new Expr (Expr.fromSequence ("@at")), new Expr (Expr.fromSequence ("#num")), new Expr (Expr.fromSequence ("$dollar")), new Expr (Expr.fromSequence ("%percnt")), new Expr (Expr.fromSequence ("^circ")), new Expr (Expr.fromSequence ("&amp")), new Expr (Expr.fromSequence ("(lpar")), new Expr (Expr.fromSequence (")rpar")), new Expr (Expr.fromSequence ("[lsqb")), new Expr (Expr.fromSequence ("]rsqb")), new Expr (Expr.fromSequence ("{lcub")), new Expr (Expr.fromSequence ("}rcub")), new Expr (Expr.fromSequence ("`grave")), new Expr (Expr.fromSequence ("'apos")), new Expr (Expr.fromSequence ("\"quot")), new Expr (Expr.fromSequence (",comma")), new Expr (Expr.fromSequence (".period")), new Expr (Expr.fromSequence (":colon")), new Expr (Expr.fromSequence (";semi")) };
    1312  static private final Expr Conv_m_Table = Expr.concat (_va_1);
    14   static private final Expr _c_0 = new Expr (new Word ("VAR"));
    15   static private final Expr _c_2 = Expr.fromSequence ("_v_");
    16   static private final Expr _c_1 = new Expr (_c_2, 0, 1);
    17   static private final Expr _c_3 = new Expr (new Word ("EVAR"));
    18   static private final Expr _c_4 = Expr.fromSequence ("_ve_");
    19   static private final Expr _c_5 = new Expr (new Word ("VVAR"));
    20   static private final Expr _c_6 = Expr.fromSequence ("_vv_");
    21   static private final Expr _c_7 = new Expr (new Word ("TVAR"));
    22   static private final Expr _c_8 = Expr.fromSequence ("_vt_");
    23   static private final Expr _c_9 = new Expr (new Word ("SVAR"));
    24   static private final Expr _c_10 = Expr.fromSequence ("_vs_");
    25   static private final Expr _c_11 = new Expr (new Word ("STATIC"));
    26   static private final Expr _c_12 = Expr.fromSequence ("_c_");
    27   static private final Expr _c_13 = new Expr (new Word ("LABEL"));
    28   static private final Expr _c_14 = new Expr (new Word ("OBJ"));
    29   static private final Expr _c_15 = new Expr (new Func () {
     13  static private final Expr _c_0 = new Expr (new Word ("EVAR"));
     14  static private final Expr _c_36 = Expr.fromSequence ("_ve_");
     15  static private final Expr _c_12 = new Expr (_c_36, 0, 3);
     16  static private final Expr _c_1 = new Expr (_c_12, 2, 1);
     17  static private final Expr _c_2 = new Expr (new Word ("VVAR"));
     18  static private final Expr _c_11 = new Expr (_c_12, 0, 2);
     19  static private final Expr _c_3 = new Expr (_c_11, 1, 1);
     20  static private final Expr _c_4 = new Expr (new Word ("TVAR"));
     21  static private final Expr _c_38 = Expr.fromSequence ("_vt_");
     22  static private final Expr _c_14 = new Expr (_c_38, 0, 3);
     23  static private final Expr _c_5 = new Expr (_c_14, 2, 1);
     24  static private final Expr _c_6 = new Expr (new Word ("SVAR"));
     25  static private final Expr _c_39 = Expr.fromSequence ("_vs_");
     26  static private final Expr _c_15 = new Expr (_c_39, 0, 3);
     27  static private final Expr _c_7 = new Expr (_c_15, 2, 1);
     28  static private final Expr _c_9 = Expr.fromSequence ("_g");
     29  static private final Expr _c_8 = new Expr (_c_9, 0, 1);
     30  static private final Expr _c_10 = new Expr (new Word ("VAR"));
     31  static private final Expr _c_37 = Expr.fromSequence ("_vv_");
     32  static private final Expr _c_13 = new Expr (_c_37, 0, 3);
     33  static private final Expr _c_16 = new Expr (new Word ("STATIC"));
     34  static private final Expr _c_17 = Expr.fromSequence ("_c_");
     35  static private final Expr _c_18 = new Expr (new Word ("LABEL"));
     36  static private final Expr _c_19 = new Expr (new Word ("OBJ"));
     37  static private final Expr _c_20 = new Expr (new Func () {
    3038    public boolean eval (Expr arg, Result res) throws RefalException {
    3139      Qualifier2Cpp (arg, res);
    … …  
    3341    }
    3442  });
    35   static private final Expr _c_16 = new Expr (new Func () {
     43  static private final Expr _c_21 = new Expr (new Func () {
    3644    public boolean eval (Expr arg, Result res) throws RefalException {
    3745      return Reserved_m_Word_q___0 (arg, res);
    3846    }
    3947  });
    40   static private final Expr _c_17 = Expr.fromSequence ("_r_");
    41   static private final Expr _c_18 = new Expr (new Func () {
     48  static private final Expr _c_22 = Expr.fromSequence ("_r_");
     49  static private final Expr _c_23 = new Expr (new Func () {
    4250    public boolean eval (Expr arg, Result res) throws RefalException {
    4351      A_m_Char2Cpp (arg, res);
    … …  
    4553    }
    4654  });
    47   static private final Expr _c_19 = Expr.fromSequence ("?!");
    48   static private final Expr _c_20 = Expr.fromSequence ("b");
    49   static private final Expr _c_21 = Expr.fromSequence ("08");
    50   static private final Expr _c_22 = Expr.fromSequence ("\t");
    51   static private final Expr _c_23 = Expr.fromSequence ("09");
    52   static private final Expr _c_24 = Expr.fromSequence ("\n");
    53   static private final Expr _c_25 = Expr.fromSequence ("0A");
    54   static private final Expr _c_26 = new Expr (_c_10, 1, 1);
    55   static private final Expr _c_27 = Expr.fromSequence ("0B");
    56   static private final Expr _c_28 = Expr.fromSequence ("f");
    57   static private final Expr _c_29 = Expr.fromSequence ("0C");
    58   static private final Expr _c_30 = Expr.fromSequence ("\r");
    59   static private final Expr _c_31 = Expr.fromSequence ("0D");
    60   static private final Expr _c_32 = new Expr (_c_19, 0, 1);
     55  static private final Expr _c_24 = Expr.fromSequence ("?!");
     56  static private final Expr _c_25 = Expr.fromSequence ("b");
     57  static private final Expr _c_26 = Expr.fromSequence ("08");
     58  static private final Expr _c_27 = Expr.fromSequence ("\t");
     59  static private final Expr _c_28 = Expr.fromSequence ("09");
     60  static private final Expr _c_29 = Expr.fromSequence ("\n");
     61  static private final Expr _c_30 = Expr.fromSequence ("0A");
     62  static private final Expr _c_31 = Expr.fromSequence ("0B");
     63  static private final Expr _c_32 = Expr.fromSequence ("f");
     64  static private final Expr _c_33 = Expr.fromSequence ("0C");
     65  static private final Expr _c_34 = Expr.fromSequence ("\r");
     66  static private final Expr _c_35 = Expr.fromSequence ("0D");
     67  static private final Expr _c_40 = new Expr (_c_24, 0, 1);
    6168  static private final Expr[] _va_2 = { new Expr (new Word ("Apply")), new Expr (new Word ("Apply")), new Expr (new Word ("Unexpected fail")) };
    62   static private final Expr _c_33 = Expr.concat (_va_2);
     69  static private final Expr _c_41 = Expr.concat (_va_2);
    6370
    6471  static public void Rfp2Java (Expr _ve_rfp_m_obj, Result _v_res1) throws RefalException
    … …  
    93100            Expr _v_deref__deref__rfp_m_obj = (Expr) _v_deref__rfp_m_obj.at ((0 + 1 + _v_len__ns));
    94101            int _v_len3 = _v_deref__deref__rfp_m_obj.getLen ();
    95             int _v_len4 = 0;
     102            int _v_len4 = 1;
    96103            if ((_v_len3 < _v_len4))
    97104            {
    98105              break _block2__branch1;
    99106            }
    100             int _v_len__name__1 = (_v_len3 - _v_len4);
    101             if (!_c_0.eq (_v_deref__rfp_m_obj, 0))
     107            int _v_len__name__2 = (_v_len3 - _v_len4);
     108            if (!_v_deref__rfp_m_obj.symbolAt (0))
    102109            {
    103110              break _block2__branch1;
    104111            }
     112            if (!_v_deref__deref__rfp_m_obj.symbolAt ((0 + _v_len__name__2)))
     113            {
     114              break _block2__branch1;
     115            }
     116            Expr _vs_tag = new Expr (_v_deref__rfp_m_obj, 0, 1);
    105117            Expr _ve_ns = new Expr (_v_deref__rfp_m_obj, (0 + 1), _v_len__ns);
    106             Expr _v_name__1 = new Expr (_v_deref__deref__rfp_m_obj, 0, _v_len__name__1);
    107             Expr[] _va_3 = { _c_2 , _ve_ns , _c_1 };
     118            Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj, 0, _v_len__name__2);
     119            Expr _vs_last = new Expr (_v_deref__deref__rfp_m_obj, (0 + _v_len__name__2), 1);
     120            if (!Class.Int_q_ (_vs_last))
     121            {
     122              break _block2__branch1;
     123            }
     124            Expr _vs_t = Expr.empty;
     125            _block3: {
     126              _block3__branch1: {
     127                if ((1 != 1))
     128                {
     129                  break _block3__branch1;
     130                }
     131                if (!_vs_tag.eq (_c_0, 0))
     132                {
     133                  break _block3__branch1;
     134                }
     135                _vs_t = _c_1;
     136                break _block3;
     137              }
     138              _block3__branch2: {
     139                if ((1 != 1))
     140                {
     141                  break _block3__branch2;
     142                }
     143                if (!_vs_tag.eq (_c_2, 0))
     144                {
     145                  break _block3__branch2;
     146                }
     147                _vs_t = _c_3;
     148                break _block3;
     149              }
     150              _block3__branch3: {
     151                if ((1 != 1))
     152                {
     153                  break _block3__branch3;
     154                }
     155                if (!_vs_tag.eq (_c_4, 0))
     156                {
     157                  break _block3__branch3;
     158                }
     159                _vs_t = _c_5;
     160                break _block3;
     161              }
     162              if ((1 != 1))
     163              {
     164                break _block2__branch1;
     165              }
     166              if (!_vs_tag.eq (_c_6, 0))
     167              {
     168                break _block2__branch1;
     169              }
     170              _vs_t = _c_7;
     171            }
     172            Expr[] _va_3 = { _c_9 , _vs_t , _ve_ns , _c_8 };
    108173            _ve_prefix = Expr.concat (_va_3);
    109             _ve_name = _v_name__1;
     174            _ve_name = new Expr (_ge_name__2, _vs_last);
    110175            break _block2;
    111176          }
    … …  
    138203              break _block2__branch2;
    139204            }
    140             int _v_len__name__12 = (_v_len7 - _v_len8);
    141             if (!_c_3.eq (_v_deref__rfp_m_obj2, 0))
     205            int _v_len__name__22 = (_v_len7 - _v_len8);
     206            if (!_c_10.eq (_v_deref__rfp_m_obj2, 0))
    142207            {
    143208              break _block2__branch2;
    144209            }
    145210            Expr _ve_ns = new Expr (_v_deref__rfp_m_obj2, (0 + 1), _v_len__ns2);
    146             Expr _v_name__1 = new Expr (_v_deref__deref__rfp_m_obj2, 0, _v_len__name__12);
    147             Expr[] _va_4 = { _c_4 , _ve_ns , _c_1 };
     211            Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj2, 0, _v_len__name__22);
     212            Expr[] _va_4 = { _c_11 , _ve_ns , _c_8 };
    148213            _ve_prefix = Expr.concat (_va_4);
    149             _ve_name = _v_name__1;
     214            _ve_name = _ge_name__2;
    150215            break _block2;
    151216          }
    … …  
    178243              break _block2__branch3;
    179244            }
    180             int _v_len__name__13 = (_v_len11 - _v_len12);
    181             if (!_c_5.eq (_v_deref__rfp_m_obj3, 0))
     245            int _v_len__name__23 = (_v_len11 - _v_len12);
     246            if (!_c_0.eq (_v_deref__rfp_m_obj3, 0))
    182247            {
    183248              break _block2__branch3;
    184249            }
    185250            Expr _ve_ns = new Expr (_v_deref__rfp_m_obj3, (0 + 1), _v_len__ns3);
    186             Expr _v_name__1 = new Expr (_v_deref__deref__rfp_m_obj3, 0, _v_len__name__13);
    187             Expr[] _va_5 = { _c_6 , _ve_ns , _c_1 };
     251            Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj3, 0, _v_len__name__23);
     252            Expr[] _va_5 = { _c_12 , _ve_ns , _c_8 };
    188253            _ve_prefix = Expr.concat (_va_5);
    189             _ve_name = _v_name__1;
     254            _ve_name = _ge_name__2;
    190255            break _block2;
    191256          }
    … …  
    218283              break _block2__branch4;
    219284            }
    220             int _v_len__name__14 = (_v_len15 - _v_len16);
    221             if (!_c_7.eq (_v_deref__rfp_m_obj4, 0))
     285            int _v_len__name__24 = (_v_len15 - _v_len16);
     286            if (!_c_2.eq (_v_deref__rfp_m_obj4, 0))
    222287            {
    223288              break _block2__branch4;
    224289            }
    225290            Expr _ve_ns = new Expr (_v_deref__rfp_m_obj4, (0 + 1), _v_len__ns4);
    226             Expr _v_name__1 = new Expr (_v_deref__deref__rfp_m_obj4, 0, _v_len__name__14);
    227             Expr[] _va_6 = { _c_8 , _ve_ns , _c_1 };
     291            Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj4, 0, _v_len__name__24);
     292            Expr[] _va_6 = { _c_13 , _ve_ns , _c_8 };
    228293            _ve_prefix = Expr.concat (_va_6);
    229             _ve_name = _v_name__1;
     294            _ve_name = _ge_name__2;
    230295            break _block2;
    231296          }
    … …  
    258323              break _block2__branch5;
    259324            }
    260             int _v_len__name__15 = (_v_len19 - _v_len20);
    261             if (!_c_9.eq (_v_deref__rfp_m_obj5, 0))
     325            int _v_len__name__25 = (_v_len19 - _v_len20);
     326            if (!_c_4.eq (_v_deref__rfp_m_obj5, 0))
    262327            {
    263328              break _block2__branch5;
    264329            }
    265330            Expr _ve_ns = new Expr (_v_deref__rfp_m_obj5, (0 + 1), _v_len__ns5);
    266             Expr _v_name__1 = new Expr (_v_deref__deref__rfp_m_obj5, 0, _v_len__name__15);
    267             Expr[] _va_7 = { _c_10 , _ve_ns , _c_1 };
     331            Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj5, 0, _v_len__name__25);
     332            Expr[] _va_7 = { _c_14 , _ve_ns , _c_8 };
    268333            _ve_prefix = Expr.concat (_va_7);
    269             _ve_name = _v_name__1;
     334            _ve_name = _ge_name__2;
    270335            break _block2;
    271336          }
    … …  
    280345            }
    281346            Expr _v_deref__rfp_m_obj6 = (Expr) _ve_rfp_m_obj.at (0);
    282             if ((_v_deref__rfp_m_obj6.getLen () != 2))
     347            int _v_len21 = _v_deref__rfp_m_obj6.getLen ();
     348            int _v_len22 = 2;
     349            if ((_v_len21 < _v_len22))
    283350            {
    284351              break _block2__branch6;
    285352            }
    286             if (_v_deref__rfp_m_obj6.symbolAt ((0 + 1)))
     353            int _v_len__ns6 = (_v_len21 - _v_len22);
     354            if (_v_deref__rfp_m_obj6.symbolAt ((0 + 1 + _v_len__ns6)))
    287355            {
    288356              break _block2__branch6;
    289357            }
    290             Expr _v_deref__deref__rfp_m_obj6 = (Expr) _v_deref__rfp_m_obj6.at ((0 + 1));
    291             int _v_len21 = _v_deref__deref__rfp_m_obj6.getLen ();
    292             int _v_len22 = 0;
    293             if ((_v_len21 < _v_len22))
     358            Expr _v_deref__deref__rfp_m_obj6 = (Expr) _v_deref__rfp_m_obj6.at ((0 + 1 + _v_len__ns6));
     359            int _v_len23 = _v_deref__deref__rfp_m_obj6.getLen ();
     360            int _v_len24 = 0;
     361            if ((_v_len23 < _v_len24))
    294362            {
    295363              break _block2__branch6;
    296364            }
    297             int _v_len__name__16 = (_v_len21 - _v_len22);
    298             if (!_c_11.eq (_v_deref__rfp_m_obj6, 0))
     365            int _v_len__name__26 = (_v_len23 - _v_len24);
     366            if (!_c_6.eq (_v_deref__rfp_m_obj6, 0))
    299367            {
    300368              break _block2__branch6;
    301369            }
    302             Expr _v_name__1 = new Expr (_v_deref__deref__rfp_m_obj6, 0, _v_len__name__16);
    303             _ve_prefix = _c_12;
    304             _ve_name = _v_name__1;
     370            Expr _ve_ns = new Expr (_v_deref__rfp_m_obj6, (0 + 1), _v_len__ns6);
     371            Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj6, 0, _v_len__name__26);
     372            Expr[] _va_8 = { _c_15 , _ve_ns , _c_8 };
     373            _ve_prefix = Expr.concat (_va_8);
     374            _ve_name = _ge_name__2;
    305375            break _block2;
    306376          }
     377          _block2__branch7: {
     378            if ((_ve_rfp_m_obj.getLen () != 1))
     379            {
     380              break _block2__branch7;
     381            }
     382            if (_ve_rfp_m_obj.symbolAt (0))
     383            {
     384              break _block2__branch7;
     385            }
     386            Expr _v_deref__rfp_m_obj7 = (Expr) _ve_rfp_m_obj.at (0);
     387            if ((_v_deref__rfp_m_obj7.getLen () != 2))
     388            {
     389              break _block2__branch7;
     390            }
     391            if (_v_deref__rfp_m_obj7.symbolAt ((0 + 1)))
     392            {
     393              break _block2__branch7;
     394            }
     395            Expr _v_deref__deref__rfp_m_obj7 = (Expr) _v_deref__rfp_m_obj7.at ((0 + 1));
     396            int _v_len25 = _v_deref__deref__rfp_m_obj7.getLen ();
     397            int _v_len26 = 0;
     398            if ((_v_len25 < _v_len26))
     399            {
     400              break _block2__branch7;
     401            }
     402            int _v_len__name__27 = (_v_len25 - _v_len26);
     403            if (!_c_16.eq (_v_deref__rfp_m_obj7, 0))
     404            {
     405              break _block2__branch7;
     406            }
     407            Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj7, 0, _v_len__name__27);
     408            _ve_prefix = _c_17;
     409            _ve_name = _ge_name__2;
     410            break _block2;
     411          }
    307412          if ((_ve_rfp_m_obj.getLen () != 1))
    308413          {
    … …  
    313418            break _block1__branch1;
    314419          }
    315           Expr _v_deref__rfp_m_obj7 = (Expr) _ve_rfp_m_obj.at (0);
    316           if ((_v_deref__rfp_m_obj7.getLen () != 2))
     420          Expr _v_deref__rfp_m_obj8 = (Expr) _ve_rfp_m_obj.at (0);
     421          if ((_v_deref__rfp_m_obj8.getLen () != 2))
    317422          {
    318423            break _block1__branch1;
    319424          }
    320           if (_v_deref__rfp_m_obj7.symbolAt ((0 + 1)))
     425          if (_v_deref__rfp_m_obj8.symbolAt ((0 + 1)))
    321426          {
    322427            break _block1__branch1;
    323428          }
    324           Expr _v_deref__deref__rfp_m_obj7 = (Expr) _v_deref__rfp_m_obj7.at ((0 + 1));
    325           int _v_len23 = _v_deref__deref__rfp_m_obj7.getLen ();
    326           int _v_len24 = 0;
    327           if ((_v_len23 < _v_len24))
     429          Expr _v_deref__deref__rfp_m_obj8 = (Expr) _v_deref__rfp_m_obj8.at ((0 + 1));
     430          int _v_len27 = _v_deref__deref__rfp_m_obj8.getLen ();
     431          int _v_len28 = 0;
     432          if ((_v_len27 < _v_len28))
    328433          {
    329434            break _block1__branch1;
    330435          }
    331           int _v_len__name__17 = (_v_len23 - _v_len24);
    332           if (!_c_13.eq (_v_deref__rfp_m_obj7, 0))
     436          int _v_len__name__28 = (_v_len27 - _v_len28);
     437          if (!_c_18.eq (_v_deref__rfp_m_obj8, 0))
    333438          {
    334439            break _block1__branch1;
    335440          }
    336           Expr _v_name__1 = new Expr (_v_deref__deref__rfp_m_obj7, 0, _v_len__name__17);
    337           _ve_prefix = _c_1;
    338           _ve_name = _v_name__1;
     441          Expr _ge_name__2 = new Expr (_v_deref__deref__rfp_m_obj8, 0, _v_len__name__28);
     442          _ve_prefix = _c_8;
     443          _ve_name = _ge_name__2;
    339444        }
    340445        Result _v_Chars2Cpp1 = new Result ();
    … …  
    344449      }
    345450      _block1__branch2: {
    346         Expr _v_auxblock1 = Expr.empty;
    347         _block3: {
    348           _block3__branch1: {
     451        Expr _ge_auxalt1 = Expr.empty;
     452        _block4: {
     453          _block4__branch1: {
    349454            if ((_ve_rfp_m_obj.getLen () != 1))
    350455            {
    351               break _block3__branch1;
     456              break _block4__branch1;
    352457            }
    353458            if (_ve_rfp_m_obj.symbolAt (0))
    354459            {
    355               break _block3__branch1;
    356             }
    357             Expr _v_deref__rfp_m_obj8 = (Expr) _ve_rfp_m_obj.at (0);
    358             int _v_len25 = _v_deref__rfp_m_obj8.getLen ();
    359             int _v_len26 = 1;
    360             if ((_v_len25 < _v_len26))
    361             {
    362               break _block3__branch1;
    363             }
    364             int _v_len__names = (_v_len25 - _v_len26);
    365             if (!_c_14.eq (_v_deref__rfp_m_obj8, 0))
    366             {
    367               break _block3__branch1;
    368             }
    369             Expr _ve_names = new Expr (_v_deref__rfp_m_obj8, (0 + 1), _v_len__names);
    370             _v_auxblock1 = _ve_names;
    371             break _block3;
    372           }
    373           _block3__branch2: {
     460              break _block4__branch1;
     461            }
     462            Expr _v_deref__rfp_m_obj9 = (Expr) _ve_rfp_m_obj.at (0);
     463            int _v_len29 = _v_deref__rfp_m_obj9.getLen ();
     464            int _v_len30 = 1;
     465            if ((_v_len29 < _v_len30))
     466            {
     467              break _block4__branch1;
     468            }
     469            int _v_len__names = (_v_len29 - _v_len30);
     470            if (!_c_19.eq (_v_deref__rfp_m_obj9, 0))
     471            {
     472              break _block4__branch1;
     473            }
     474            Expr _ve_names = new Expr (_v_deref__rfp_m_obj9, (0 + 1), _v_len__names);
     475            _ge_auxalt1 = _ve_names;
     476            break _block4;
     477          }
     478          _block4__branch2: {
    374479            if ((_ve_rfp_m_obj.getLen () != 1))
    375480            {
    376               break _block3__branch2;
     481              break _block4__branch2;
    377482            }
    378483            if (_ve_rfp_m_obj.symbolAt (0))
    379484            {
    380               break _block3__branch2;
    381             }
    382             Expr _v_deref__rfp_m_obj9 = (Expr) _ve_rfp_m_obj.at (0);
    383             int _v_len27 = _v_deref__rfp_m_obj9.getLen ();
    384             int _v_len28 = 0;
    385             if ((_v_len27 < _v_len28))
    386             {
    387               break _block3__branch2;
    388             }
    389             int _v_len__names2 = (_v_len27 - _v_len28);
    390             Expr _ve_names = new Expr (_v_deref__rfp_m_obj9, 0, _v_len__names2);
    391             _v_auxblock1 = _ve_names;
    392             break _block3;
    393           }
    394           int _v_len29 = _ve_rfp_m_obj.getLen ();
    395           int _v_len30 = 0;
    396           if ((_v_len29 < _v_len30))
     485              break _block4__branch2;
     486            }
     487            Expr _v_deref__rfp_m_obj10 = (Expr) _ve_rfp_m_obj.at (0);
     488            int _v_len31 = _v_deref__rfp_m_obj10.getLen ();
     489            int _v_len32 = 0;
     490            if ((_v_len31 < _v_len32))
     491            {
     492              break _block4__branch2;
     493            }
     494            int _v_len__names2 = (_v_len31 - _v_len32);
     495            Expr _ve_names = new Expr (_v_deref__rfp_m_obj10, 0, _v_len__names2);
     496            _ge_auxalt1 = _ve_names;
     497            break _block4;
     498          }
     499          int _v_len33 = _ve_rfp_m_obj.getLen ();
     500          int _v_len34 = 0;
     501          if ((_v_len33 < _v_len34))
    397502          {
    398503            throw new RefalException ("JavaMangle", "Rfp2Java", "Unexpected fail");
    399504          }
    400           int _v_len__names3 = (_v_len29 - _v_len30);
     505          int _v_len__names3 = (_v_len33 - _v_len34);
    401506          Expr _ve_names = new Expr (_ve_rfp_m_obj, 0, _v_len__names3);
    402           _v_auxblock1 = _ve_names;
    403         }
    404         int _v_len31 = _v_auxblock1.getLen ();
    405         int _v_len32 = 1;
    406         if ((_v_len31 < _v_len32))
     507          _ge_auxalt1 = _ve_names;
     508        }
     509        int _v_len35 = _ge_auxalt1.getLen ();
     510        int _v_len36 = 1;
     511        if ((_v_len35 < _v_len36))
    407512        {
    408513          break _block1__branch2;
    409514        }
    410         int _v_len__qualifiers = (_v_len31 - _v_len32);
    411         if (!_v_auxblock1.symbolAt ((0 + _v_len__qualifiers)))
     515        int _v_len__qualifiers = (_v_len35 - _v_len36);
     516        if (!_ge_auxalt1.symbolAt ((0 + _v_len__qualifiers)))
    412517        {
    413518          break _block1__branch2;
    414519        }
    415         Expr _ve_qualifiers = new Expr (_v_auxblock1, 0, _v_len__qualifiers);
    416         Expr _vs_name = new Expr (_v_auxblock1, (0 + _v_len__qualifiers), 1);
    417         Result _v_Map1 = new Result ();
    418         List.Map (_c_15, Expr.empty, _ve_qualifiers, _v_Map1);
     520        Expr _ve_qualifiers = new Expr (_ge_auxalt1, 0, _v_len__qualifiers);
     521        Expr _vs_name = new Expr (_ge_auxalt1, (0 + _v_len__qualifiers), 1);
     522        Result _ge_auxcall2 = new Result ();
     523        if (!List.Map (_c_20, Expr.empty, _ve_qualifiers, _ge_auxcall2))
     524        {
     525          throw new RefalException ("JavaMangle", "Rfp2Java", "Unexpected fail");
     526        }
    419527        Result _v_Chars2Cpp2 = new Result ();
    420528        Chars2Cpp (_vs_name, _v_Chars2Cpp2);
    421         _ve_ident = new Expr (_v_Map1.getExpr (), _v_Chars2Cpp2.getExpr ());
     529        _ve_ident = new Expr (_ge_auxcall2.getExpr (), _v_Chars2Cpp2.getExpr ());
    422530        break _block1;
    423531      }
    424532      _ve_ident = Expr.empty;
    425533    }
    426     _block4: {
    427       _block4__branch1: {
     534    _block5: {
     535      _block5__branch1: {
    428536        Result _v_Apply1 = new Result ();
    429         if (!Apply.Apply (_c_16, _ve_ident, _v_Apply1))
    430         {
    431           break _block4__branch1;
    432         }
    433         int _v_len33 = _v_Apply1.getExpr ().getLen ();
    434         int _v_len34 = 0;
    435         if ((_v_len33 < _v_len34))
    436         {
    437           break _block4__branch1;
    438         }
    439         int _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_78_m_40 = (_v_len33 - _v_len34);
    440         Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_78_m_40 = new Expr (_v_Apply1.getExpr (), 0, _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_78_m_40);
    441         _v_res1.assign (new Expr (_c_17, _ve_ident));
    442         break _block4;
     537        if (!Apply.Apply (_c_21, _ve_ident, _v_Apply1))
     538        {
     539          break _block5__branch1;
     540        }
     541        int _v_len37 = _v_Apply1.getExpr ().getLen ();
     542        int _v_len38 = 0;
     543        if ((_v_len37 < _v_len38))
     544        {
     545          break _block5__branch1;
     546        }
     547        int _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_79_m_40 = (_v_len37 - _v_len38);
     548        Expr _ve__e__e_tmp_m__s_lib_s_CppManglerf_m_79_m_40 = new Expr (_v_Apply1.getExpr (), 0, _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_79_m_40);
     549        _v_res1.assign (new Expr (_c_22, _ve_ident));
     550        break _block5;
    443551      }
    444552      _v_res1.assign (_ve_ident);
    … …  
    446554  }
    447555
    448   static private void Qualifier2Cpp (Expr _v_arg1, Result _v_res1) throws RefalException
     556  static private void Qualifier2Cpp (Expr _ge_arg1, Result _v_res1) throws RefalException
    449557  {
    450     if ((_v_arg1.getLen () != 1))
     558    if ((_ge_arg1.getLen () != 1))
    451559    {
    452560      throw new RefalException ("CppMangle", "Qualifier2Cpp", "Unexpected fail");
    453561    }
    454     if (!_v_arg1.symbolAt (0))
     562    if (!_ge_arg1.symbolAt (0))
    455563    {
    456564      throw new RefalException ("CppMangle", "Qualifier2Cpp", "Unexpected fail");
    457565    }
    458     Expr _vs_qualifier = new Expr (_v_arg1, 0, 1);
    459     Result _v_Chars2Cpp1 = new Result ();
    460     Chars2Cpp (_vs_qualifier, _v_Chars2Cpp1);
    461     _v_res1.assign (new Expr (_v_Chars2Cpp1.getExpr (), java__specific.Namespace_m_Delimeter));
     566    Expr _vs_qualifier = new Expr (_ge_arg1, 0, 1);
     567    Result _ge_auxcall1 = new Result ();
     568    Chars2Cpp (_vs_qualifier, _ge_auxcall1);
     569    _v_res1.assign (new Expr (_ge_auxcall1.getExpr (), java__specific.Namespace_m_Delimeter));
    462570  }
    463571
    464572  static private void Chars2Cpp (Expr _ve_name, Result _v_res1) throws RefalException
    465573  {
    466     Result _v_To_m_Chars1 = new Result ();
    467     Convert.To_m_Chars (_ve_name, _v_To_m_Chars1);
    468     List.Map (_c_18, Expr.empty, _v_To_m_Chars1.getExpr (), _v_res1);
     574    Result _ge_auxcall1 = new Result ();
     575    Convert.To_m_Chars (_ve_name, _ge_auxcall1);
     576    if (!List.Map (_c_23, Expr.empty, _ge_auxcall1.getExpr (), _v_res1))
     577    {
     578      throw new RefalException ("CppMangle", "Chars2Cpp", "Unexpected fail");
     579    }
    469580  }
    470581
    471   static private void A_m_Char2Cpp (Expr _v_arg1, Result _v_res1) throws RefalException
     582  static private void A_m_Char2Cpp (Expr _ge_arg1, Result _v_res1) throws RefalException
    472583  {
    473     if ((_v_arg1.getLen () != 1))
     584    if ((_ge_arg1.getLen () != 1))
    474585    {
    475586      throw new RefalException ("CppMangle", "A_m_Char2Cpp", "Unexpected fail");
    476587    }
    477     if (!_v_arg1.symbolAt (0))
     588    if (!_ge_arg1.symbolAt (0))
    478589    {
    479590      throw new RefalException ("CppMangle", "A_m_Char2Cpp", "Unexpected fail");
    480591    }
    481     Expr _vs_char = new Expr (_v_arg1, 0, 1);
     592    Expr _vs_char = new Expr (_ge_arg1, 0, 1);
    482593    _block1: {
    483594      _block1__branch1: {
    … …  
    499610            break _negation1;
    500611          }
    501           Expr.SplitIterator _va_8 = _c_19.leftSplit(0);
    502           _exit1: _continue1: for ( ; ; _va_8.next ())
    503           {
    504             Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_88_m_34 = _va_8.getLeft();
    505             Expr _v_lsplit__19 = _va_8.getRight();
    506             if (!_va_8.isValid ())
     612          Expr.SplitIterator _va_9 = _c_24.leftSplit(0);
     613          _exit1: _continue1: for ( ; ; _va_9.next ())
     614          {
     615            Expr _ve__e__e_tmp_m__s_lib_s_CppManglerf_m_89_m_34 = _va_9.getLeft();
     616            Expr _v_lsplit__24 = _va_9.getRight();
     617            if (!_va_9.isValid ())
    507618            {
    508619              break _negation1;
    509620            }
    510             int _v_len1 = _v_lsplit__19.getLen ();
     621            int _v_len1 = _v_lsplit__24.getLen ();
    511622            int _v_len2 = 1;
    512623            if ((_v_len1 < _v_len2))
    … …  
    514625              break _negation1;
    515626            }
    516             int _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_88_m_43 = (_v_len1 - _v_len2);
    517             if (!_vs_char.eq (_v_lsplit__19, 0))
     627            int _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_89_m_43 = (_v_len1 - _v_len2);
     628            if (!_vs_char.eq (_v_lsplit__24, 0))
    518629            {
    519630              continue _continue1;
    520631            }
    521             Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_88_m_43 = new Expr (_v_lsplit__19, (0 + 1), _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_88_m_43);
     632            Expr _ve__e__e_tmp_m__s_lib_s_CppManglerf_m_89_m_43 = new Expr (_v_lsplit__24, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_89_m_43);
    522633            break _exit1;
    523634          }
    … …  
    532643          break _block1__branch3;
    533644        }
    534         Expr.SplitIterator _va_9 = Conv_m_Table.leftSplit(0);
    535         _exit2: _continue2: for ( ; ; _va_9.next ())
    536         {
    537           Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_89_m_18 = _va_9.getLeft();
    538           Expr _v_lsplit__Conv_m_Table = _va_9.getRight();
    539           if (!_va_9.isValid ())
     645        Expr.SplitIterator _va_10 = Conv_m_Table.leftSplit(0);
     646        _exit2: _continue2: for ( ; ; _va_10.next ())
     647        {
     648          Expr _ve__e__e_tmp_m__s_lib_s_CppManglerf_m_90_m_18 = _va_10.getLeft();
     649          Expr _v_lsplit__Conv_m_Table = _va_10.getRight();
     650          if (!_va_10.isValid ())
    540651          {
    541652            break _block1__branch3;
    … …  
    547658            break _block1__branch3;
    548659          }
    549           int _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_89_m_36 = (_v_len3 - _v_len4);
     660          int _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_90_m_36 = (_v_len3 - _v_len4);
    550661          if (_v_lsplit__Conv_m_Table.symbolAt (0))
    551662          {
    … …  
    564675            continue _continue2;
    565676          }
    566           Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_89_m_36 = new Expr (_v_lsplit__Conv_m_Table, (0 + 1), _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_89_m_36);
     677          Expr _ve__e__e_tmp_m__s_lib_s_CppManglerf_m_90_m_36 = new Expr (_v_lsplit__Conv_m_Table, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_90_m_36);
    567678          Expr _ve_code = new Expr (_v_deref__lsplit__Conv_m_Table, (0 + 1), _v_len__code);
    568           Expr[] _va_10 = { _c_1 , _ve_code , _c_1 };
    569           _v_res1.assign (Expr.concat (_va_10));
     679          Expr[] _va_11 = { _c_8 , _ve_code , _c_8 };
     680          _v_res1.assign (Expr.concat (_va_11));
    570681          break _exit2;
    571682        }
    572683        break _block1;
    573684      }
    574       Result _v_Char_m_To_m_Unicode1 = new Result ();
    575       Char_m_To_m_Unicode (_vs_char, _v_Char_m_To_m_Unicode1);
    576       Expr[] _va_11 = { _c_1 , _v_Char_m_To_m_Unicode1.getExpr () , _c_1 };
    577       _v_res1.assign (Expr.concat (_va_11));
     685      Result _ge_auxcall1 = new Result ();
     686      Char_m_To_m_Unicode (_vs_char, _ge_auxcall1);
     687      Expr[] _va_12 = { _c_8 , _ge_auxcall1.getExpr () , _c_8 };
     688      _v_res1.assign (Expr.concat (_va_12));
    578689    }
    579690  }
    580691
    581   static private void Char_m_To_m_Unicode (Expr _v_arg1, Result _v_res1) throws RefalException
     692  static private void Char_m_To_m_Unicode (Expr _gs_arg1, Result _v_res1) throws RefalException
    582693  {
    583694    _block1: {
    … …  
    587698          break _block1__branch1;
    588699        }
    589         if (!_v_arg1.eq (_c_20, 0))
     700        if (!_gs_arg1.eq (_c_25, 0))
    590701        {
    591702          break _block1__branch1;
    592703        }
    593         _v_res1.assign (_c_21);
     704        _v_res1.assign (_c_26);
    594705        break _block1;
    595706      }
    … …  
    599710          break _block1__branch2;
    600711        }
    601         if (!_v_arg1.eq (_c_22, 0))
     712        if (!_gs_arg1.eq (_c_27, 0))
    602713        {
    603714          break _block1__branch2;
    604715        }
    605         _v_res1.assign (_c_23);
     716        _v_res1.assign (_c_28);
    606717        break _block1;
    607718      }
    … …  
    611722          break _block1__branch3;
    612723        }
    613         if (!_v_arg1.eq (_c_24, 0))
     724        if (!_gs_arg1.eq (_c_29, 0))
    614725        {
    615726          break _block1__branch3;
    616727        }
    617         _v_res1.assign (_c_25);
     728        _v_res1.assign (_c_30);
    618729        break _block1;
    619730      }
    … …  
    623734          break _block1__branch4;
    624735        }
    625         if (!_v_arg1.eq (_c_26, 0))
     736        if (!_gs_arg1.eq (_c_3, 0))
    626737        {
    627738          break _block1__branch4;
    628739        }
    629         _v_res1.assign (_c_27);
     740        _v_res1.assign (_c_31);
    630741        break _block1;
    631742      }
    … …  
    635746          break _block1__branch5;
    636747        }
    637         if (!_v_arg1.eq (_c_28, 0))
     748        if (!_gs_arg1.eq (_c_32, 0))
    638749        {
    639750          break _block1__branch5;
    640751        }
    641         _v_res1.assign (_c_29);
     752        _v_res1.assign (_c_33);
    642753        break _block1;
    643754      }
    … …  
    646757        throw new RefalException ("CppMangle", "Char_m_To_m_Unicode", "Unexpected fail");
    647758      }
    648       if (!_v_arg1.eq (_c_30, 0))
     759      if (!_gs_arg1.eq (_c_34, 0))
    649760      {
    650761        throw new RefalException ("CppMangle", "Char_m_To_m_Unicode", "Unexpected fail");
    651762      }
    652       _v_res1.assign (_c_31);
     763      _v_res1.assign (_c_35);
    653764    }
    654765  }
    … …  
    658769    Result _v_To_m_Chars1 = new Result ();
    659770    Convert.To_m_Chars (_ve_ident, _v_To_m_Chars1);
    660     Expr _v_auxblock1 = Expr.empty;
     771    Expr _ge_auxalt1 = Expr.empty;
    661772    _block1: {
    662773      _block1__branch1: {
    … …  
    668779        }
    669780        int _v_len__name = (_v_len1 - _v_len2);
    670         if (!_c_17.eq (_v_To_m_Chars1.getExpr (), 0))
     781        if (!_c_22.eq (_v_To_m_Chars1.getExpr (), 0))
    671782        {
    672783          break _block1__branch1;
    673784        }
    674785        Expr _ve_name = new Expr (_v_To_m_Chars1.getExpr (), (0 + 1 + 1 + 1), _v_len__name);
    675         _v_auxblock1 = _ve_name;
     786        _ge_auxalt1 = _ve_name;
    676787        break _block1;
    677788      }
    … …  
    684795      int _v_len__name2 = (_v_len3 - _v_len4);
    685796      Expr _ve_name = new Expr (_v_To_m_Chars1.getExpr (), 0, _v_len__name2);
    686       _v_auxblock1 = _ve_name;
     797      _ge_auxalt1 = _ve_name;
    687798    }
    688799    _block2: {
    689800      _block2__branch1: {
    690         int _v_len5 = _v_auxblock1.getLen ();
     801        int _v_len5 = _ge_auxalt1.getLen ();
    691802        int _v_len6 = 4;
    692803        if ((_v_len5 < _v_len6))
    … …  
    695806        }
    696807        int _v_len__name3 = (_v_len5 - _v_len6);
    697         if (!_c_4.eq (_v_auxblock1, 0))
     808        if (!_c_36.eq (_ge_auxalt1, 0))
    698809        {
    699810          break _block2__branch1;
    700811        }
    701         Expr _ve_name = new Expr (_v_auxblock1, (0 + 1 + 1 + 1 + 1), _v_len__name3);
    702         Result _v_Chars2Rfp1 = new Result ();
    703         if (!Chars2Rfp (_ve_name, _v_Chars2Rfp1))
     812        Expr _ve_name = new Expr (_ge_auxalt1, (0 + 1 + 1 + 1 + 1), _v_len__name3);
     813        Result _gs_auxcall2 = new Result ();
     814        if (!Chars2Rfp (_ve_name, _gs_auxcall2))
    704815        {
    705816          return false;
    706817        }
    707         _v_res1.assign (new Expr(new Expr (_c_3, new Expr(_v_Chars2Rfp1.getExpr ()))));
     818        _v_res1.assign (new Expr(new Expr (_c_0, new Expr(_gs_auxcall2.getExpr ()))));
    708819        break _block2;
    709820      }
    710821      _block2__branch2: {
    711         int _v_len7 = _v_auxblock1.getLen ();
     822        int _v_len7 = _ge_auxalt1.getLen ();
    712823        int _v_len8 = 4;
    713824        if ((_v_len7 < _v_len8))
    … …  
    716827        }
    717828        int _v_len__name4 = (_v_len7 - _v_len8);
    718         if (!_c_6.eq (_v_auxblock1, 0))
     829        if (!_c_37.eq (_ge_auxalt1, 0))
    719830        {
    720831          break _block2__branch2;
    721832        }
    722         Expr _ve_name = new Expr (_v_auxblock1, (0 + 1 + 1 + 1 + 1), _v_len__name4);
    723         Result _v_Chars2Rfp2 = new Result ();
    724         if (!Chars2Rfp (_ve_name, _v_Chars2Rfp2))
     833        Expr _ve_name = new Expr (_ge_auxalt1, (0 + 1 + 1 + 1 + 1), _v_len__name4);
     834        Result _gs_auxcall3 = new Result ();
     835        if (!Chars2Rfp (_ve_name, _gs_auxcall3))
    725836        {
    726837          return false;
    727838        }
    728         _v_res1.assign (new Expr(new Expr (_c_5, new Expr(_v_Chars2Rfp2.getExpr ()))));
     839        _v_res1.assign (new Expr(new Expr (_c_2, new Expr(_gs_auxcall3.getExpr ()))));
    729840        break _block2;
    730841      }
    731842      _block2__branch3: {
    732         int _v_len9 = _v_auxblock1.getLen ();
     843        int _v_len9 = _ge_auxalt1.getLen ();
    733844        int _v_len10 = 4;
    734845        if ((_v_len9 < _v_len10))
    … …  
    737848        }
    738849        int _v_len__name5 = (_v_len9 - _v_len10);
    739         if (!_c_8.eq (_v_auxblock1, 0))
     850        if (!_c_38.eq (_ge_auxalt1, 0))
    740851        {
    741852          break _block2__branch3;
    742853        }
    743         Expr _ve_name = new Expr (_v_auxblock1, (0 + 1 + 1 + 1 + 1), _v_len__name5);
    744         Result _v_Chars2Rfp3 = new Result ();
    745         if (!Chars2Rfp (_ve_name, _v_Chars2Rfp3))
     854        Expr _ve_name = new Expr (_ge_auxalt1, (0 + 1 + 1 + 1 + 1), _v_len__name5);
     855        Result _gs_auxcall4 = new Result ();
     856        if (!Chars2Rfp (_ve_name, _gs_auxcall4))
    746857        {
    747858          return false;
    748859        }
    749         _v_res1.assign (new Expr(new Expr (_c_7, new Expr(_v_Chars2Rfp3.getExpr ()))));
     860        _v_res1.assign (new Expr(new Expr (_c_4, new Expr(_gs_auxcall4.getExpr ()))));
    750861        break _block2;
    751862      }
    752863      _block2__branch4: {
    753         int _v_len11 = _v_auxblock1.getLen ();
     864        int _v_len11 = _ge_auxalt1.getLen ();
    754865        int _v_len12 = 4;
    755866        if ((_v_len11 < _v_len12))
    … …  
    758869        }
    759870        int _v_len__name6 = (_v_len11 - _v_len12);
    760         if (!_c_10.eq (_v_auxblock1, 0))
     871        if (!_c_39.eq (_ge_auxalt1, 0))
    761872        {
    762873          break _block2__branch4;
    763874        }
    764         Expr _ve_name = new Expr (_v_auxblock1, (0 + 1 + 1 + 1 + 1), _v_len__name6);
    765         Result _v_Chars2Rfp4 = new Result ();
    766         if (!Chars2Rfp (_ve_name, _v_Chars2Rfp4))
     875        Expr _ve_name = new Expr (_ge_auxalt1, (0 + 1 + 1 + 1 + 1), _v_len__name6);
     876        Result _gs_auxcall5 = new Result ();
     877        if (!Chars2Rfp (_ve_name, _gs_auxcall5))
    767878        {
    768879          return false;
    769880        }
    770         _v_res1.assign (new Expr(new Expr (_c_9, new Expr(_v_Chars2Rfp4.getExpr ()))));
     881        _v_res1.assign (new Expr(new Expr (_c_6, new Expr(_gs_auxcall5.getExpr ()))));
    771882        break _block2;
    772883      }
    773       int _v_len13 = _v_auxblock1.getLen ();
     884      int _v_len13 = _ge_auxalt1.getLen ();
    774885      int _v_len14 = 0;
    775886      if ((_v_len13 < _v_len14))
    … …  
    778889      }
    779890      int _v_len__name7 = (_v_len13 - _v_len14);
    780       Expr _ve_name = new Expr (_v_auxblock1, 0, _v_len__name7);
     891      Expr _ve_name = new Expr (_ge_auxalt1, 0, _v_len__name7);
    781892      if (!Qualifiers2Rfp (_ve_name, _v_res1)) {
    782893        return false;
    … …  
    786897  }
    787898
    788   static private boolean Qualifiers2Rfp (Expr _v_arg1, Result _v_res1) throws RefalException
     899  static private boolean Qualifiers2Rfp (Expr _ge_arg1, Result _v_res1) throws RefalException
    789900  {
    790901    _block1: {
    791902      _block1__branch1: {
    792         if ((_v_arg1.getLen () < 1))
     903        if ((_ge_arg1.getLen () < 1))
    793904        {
    794905          break _block1__branch1;
    795906        }
    796         Expr.SplitIterator _va_12 = _v_arg1.leftSplit(0);
    797         _exit1: _continue1: for ( ; ; _va_12.next ())
    798         {
    799           Expr _ve_qualifier = _va_12.getLeft();
    800           Expr _v_lsplit__arg1 = _va_12.getRight();
    801           if (!_va_12.isValid ())
     907        Expr.SplitIterator _va_13 = _ge_arg1.leftSplit(0);
     908        _exit1: _continue1: for ( ; ; _va_13.next ())
     909        {
     910          Expr _ve_qualifier = _va_13.getLeft();
     911          Expr _v_lsplit__arg1 = _va_13.getRight();
     912          if (!_va_13.isValid ())
    802913          {
    803914            break _block1__branch1;
    … …  
    815926          }
    816927          Expr _ve_rest = new Expr (_v_lsplit__arg1, (0 + 1), _v_len__rest);
    817           Result _v_Chars2Rfp1 = new Result ();
    818           if (!Chars2Rfp (_ve_qualifier, _v_Chars2Rfp1))
     928          Result _gs_auxcall1 = new Result ();
     929          if (!Chars2Rfp (_ve_qualifier, _gs_auxcall1))
    819930          {
    820931            return false;
    … …  
    825936            return false;
    826937          }
    827           _v_res1.assign (new Expr (_v_Chars2Rfp1.getExpr (), _v_Qualifiers2Rfp1.getExpr ()));
     938          _v_res1.assign (new Expr (_gs_auxcall1.getExpr (), _v_Qualifiers2Rfp1.getExpr ()));
    828939          break _exit1;
    829940        }
    830941        break _block1;
    831942      }
    832       if (!Chars2Rfp (_v_arg1, _v_res1))
     943      if (!Chars2Rfp (_ge_arg1, _v_res1))
    833944      {
    834945        return false;
    … …  
    840951  static private boolean Chars2Rfp (Expr _ve_name, Result _v_res1) throws RefalException
    841952  {
    842     Result _v_Codes2Rfp1 = new Result ();
    843     if (!Codes2Rfp (_ve_name, _v_Codes2Rfp1))
     953    Result _ge_auxcall1 = new Result ();
     954    if (!Codes2Rfp (_ve_name, _ge_auxcall1))
    844955    {
    845956      return false;
    846957    }
    847     Convert.To_m_Word (_v_Codes2Rfp1.getExpr (), _v_res1);
     958    Convert.To_m_Word (_ge_auxcall1.getExpr (), _v_res1);
    848959    return true;
    849960  }
    850961
    851   static private boolean Codes2Rfp (Expr _v_arg1, Result _v_res1) throws RefalException
     962  static private boolean Codes2Rfp (Expr _ge_arg1, Result _v_res1) throws RefalException
    852963  {
    853964    _block1: {
    854965      _block1__branch1: {
    855         if ((_v_arg1.getLen () < 2))
     966        if ((_ge_arg1.getLen () < 2))
    856967        {
    857968          break _block1__branch1;
    858969        }
    859         if (!_c_1.eq (_v_arg1, 0))
     970        if (!_c_8.eq (_ge_arg1, 0))
    860971        {
    861972          break _block1__branch1;
    862973        }
    863         Expr _v_subexpr__arg1 = new Expr (_v_arg1, (0 + 1), (_v_arg1.getLen () - (0 + 1 + 0)));
    864         Expr.SplitIterator _va_13 = _v_subexpr__arg1.leftSplit(0);
    865         _exit1: _continue1: for ( ; ; _va_13.next ())
    866         {
    867           Expr _ve_code = _va_13.getLeft();
    868           Expr _v_lsplit__arg1 = _va_13.getRight();
    869           if (!_va_13.isValid ())
     974        Expr _v_subexpr__arg1 = new Expr (_ge_arg1, (0 + 1), (_ge_arg1.getLen () - (0 + 1 + 0)));
     975        Expr.SplitIterator _va_14 = _v_subexpr__arg1.leftSplit(0);
     976        _exit1: _continue1: for ( ; ; _va_14.next ())
     977        {
     978          Expr _ve_code = _va_14.getLeft();
     979          Expr _v_lsplit__arg1 = _va_14.getRight();
     980          if (!_va_14.isValid ())
    870981          {
    871982            break _block1__branch1;
    … …  
    878989          }
    879990          int _v_len__rest = (_v_len1 - _v_len2);
    880           if (!_c_1.eq (_v_lsplit__arg1, 0))
     991          if (!_c_8.eq (_v_lsplit__arg1, 0))
    881992          {
    882993            continue _continue1;
    … …  
    887998            return false;
    888999          }
    889           Expr.SplitIterator _va_14 = Conv_m_Table.leftSplit(0);
    890           _exit2: _continue2: for ( ; ; _va_14.next ())
    891           {
    892             Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_132_m_20 = _va_14.getLeft();
    893             Expr _v_lsplit__Conv_m_Table = _va_14.getRight();
    894             if (!_va_14.isValid ())
     1000          Expr.SplitIterator _va_15 = Conv_m_Table.leftSplit(0);
     1001          _exit2: _continue2: for ( ; ; _va_15.next ())
     1002          {
     1003            Expr _ve__e__e_tmp_m__s_lib_s_CppManglerf_m_133_m_20 = _va_15.getLeft();
     1004            Expr _v_lsplit__Conv_m_Table = _va_15.getRight();
     1005            if (!_va_15.isValid ())
    8951006            {
    8961007              return false;
    … …  
    9021013              return false;
    9031014            }
    904             int _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_132_m_38 = (_v_len3 - _v_len4);
     1015            int _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_133_m_38 = (_v_len3 - _v_len4);
    9051016            if (_v_lsplit__Conv_m_Table.symbolAt (0))
    9061017            {
    … …  
    9201031              continue _continue2;
    9211032            }
    922             Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_132_m_38 = new Expr (_v_lsplit__Conv_m_Table, (0 + 1), _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_CppManglerf_m_132_m_38);
     1033            Expr _ve__e__e_tmp_m__s_lib_s_CppManglerf_m_133_m_38 = new Expr (_v_lsplit__Conv_m_Table, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_CppManglerf_m_133_m_38);
    9231034            Expr _vs_char = new Expr (_v_deref__lsplit__Conv_m_Table, 0, 1);
    9241035            Result _v_Codes2Rfp1 = new Result ();
    … …  
    9351046      }
    9361047      _block1__branch2: {
    937         int _v_len5 = _v_arg1.getLen ();
     1048        int _v_len5 = _ge_arg1.getLen ();
    9381049        int _v_len6 = 1;
    9391050        if ((_v_len5 < _v_len6))
    … …  
    9421053        }
    9431054        int _v_len__rest2 = (_v_len5 - _v_len6);
    944         if (!_v_arg1.symbolAt (0))
     1055        if (!_ge_arg1.symbolAt (0))
    9451056        {
    9461057          break _block1__branch2;
    9471058        }
    948         Expr _vs_char = new Expr (_v_arg1, 0, 1);
    949         Expr _ve_rest = new Expr (_v_arg1, (0 + 1), _v_len__rest2);
     1059        Expr _vs_char = new Expr (_ge_arg1, 0, 1);
     1060        Expr _ve_rest = new Expr (_ge_arg1, (0 + 1), _v_len__rest2);
    9501061        _block2: {
    9511062          _block2__branch1: {
    … …  
    9651076              break _negation1;
    9661077            }
    967             if (!_vs_char.eq (_c_32, 0))
     1078            if (!_vs_char.eq (_c_40, 0))
    9681079            {
    9691080              break _negation1;
    … …  
    9801091        break _block1;
    9811092      }
    982       if ((_v_arg1.getLen () != 0))
     1093      if ((_ge_arg1.getLen () != 0))
    9831094      {
    9841095        throw new RefalException ("CppMangle", "Codes2Rfp", "Unexpected fail");
    … …  
    9891100  }
    9901101
    991   static private boolean Reserved_m_Word_q___0 (Expr _v_arg1, Result _v_res1) throws RefalException
     1102  static private boolean Reserved_m_Word_q___0 (Expr _ge_arg1, Result _v_res1) throws RefalException
    9921103  {
    993     int _v_len1 = _v_arg1.getLen ();
     1104    int _v_len1 = _ge_arg1.getLen ();
    9941105    int _v_len2 = 0;
    9951106    if ((_v_len1 < _v_len2))
    9961107    {
    997       throw new RefalException (_c_33);
     1108      throw new RefalException (_c_41);
    9981109    }
    9991110    int _v_len__stub1 = (_v_len1 - _v_len2);
    1000     Expr _v_stub1 = new Expr (_v_arg1, 0, _v_len__stub1);
     1111    Expr _v_stub1 = new Expr (_ge_arg1, 0, _v_len__stub1);
    10011112    if (!java__specific.Reserved_m_Word_q_ (_v_stub1))
    10021113    {

  • to-imperative/branches/changing_directory_structure/java/org/refal/plus/library/Lexer.java

    r1965 r2173  
    134134    }
    135135    Expr _vs_num = new Expr (_v__q_1.getExpr (), 0, 1);
    136     Result _v__p_1 = new Result ();
    137     Arithm._p_ (_vs_num, _c_0, _v__p_1);
    138     Box.Store (Collect_m_Errors_m_Box, _v__p_1.getExpr ());
     136    Result _gs_auxcall1 = new Result ();
     137    Arithm._p_ (_vs_num, _c_0, _gs_auxcall1);
     138    Box.Store (Collect_m_Errors_m_Box, _gs_auxcall1.getExpr ());
    139139  }
    140140
    … …  
    164164      }
    165165      Expr _vs_num = new Expr (_v__q_1.getExpr (), 0, 1);
    166       Result _v__m_1 = new Result ();
    167       Arithm._m_ (_vs_num, _c_0, _v__m_1);
    168       Box.Store (Collect_m_Errors_m_Box, _v__m_1.getExpr ());
     166      Result _gs_auxcall1 = new Result ();
     167      Arithm._m_ (_vs_num, _c_0, _gs_auxcall1);
     168      Box.Store (Collect_m_Errors_m_Box, _gs_auxcall1.getExpr ());
    169169    }
    170170  }
    … …  
    188188  }
    189189
    190   static private boolean Blank_q_ (Expr _v_arg1) throws RefalException
     190  static private boolean Blank_q_ (Expr _gt_arg1) throws RefalException
    191191  {
    192192    _block1: {
    … …  
    196196          break _block1__branch1;
    197197        }
    198         if (!_v_arg1.eq (_c_2, 0))
     198        if (!_gt_arg1.eq (_c_2, 0))
    199199        {
    200200          break _block1__branch1;
    … …  
    207207          break _block1__branch2;
    208208        }
    209         if (!_v_arg1.eq (_c_3, 0))
     209        if (!_gt_arg1.eq (_c_3, 0))
    210210        {
    211211          break _block1__branch2;
    … …  
    218218          break _block1__branch3;
    219219        }
    220         if (!_v_arg1.eq (_c_4, 0))
     220        if (!_gt_arg1.eq (_c_4, 0))
    221221        {
    222222          break _block1__branch3;
    … …  
    228228        return false;
    229229      }
    230       if (!_v_arg1.eq (_c_5, 0))
     230      if (!_gt_arg1.eq (_c_5, 0))
    231231      {
    232232        return false;
    … …  
    246246      return false;
    247247    }
    248     int _v_len___e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_40_m_52 = (_v_len1 - _v_len2);
    249     Expr _vv__e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_40_m_52 = new Expr (_v_Get_m_While1.getExpr (), 0, _v_len___e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_40_m_52);
     248    int _v_len___e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_40_m_52 = (_v_len1 - _v_len2);
     249    Expr _vv__e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_40_m_52 = new Expr (_v_Get_m_While1.getExpr (), 0, _v_len___e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_40_m_52);
    250250    return true;
    251251  }
    … …  
    289289          return false;
    290290        }
    291         int _v_len___e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_46_m_32 = (_v_len1 - _v_len2);
    292         Expr _ve__e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_46_m_32 = new Expr (_v_Get_m_Line1.getExpr (), 0, _v_len___e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_46_m_32);
     291        int _v_len___e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_46_m_32 = (_v_len1 - _v_len2);
     292        Expr _ve__e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_46_m_32 = new Expr (_v_Get_m_Line1.getExpr (), 0, _v_len___e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_46_m_32);
    293293        break _block2;
    294294      }
    … …  
    329329                  return false;
    330330                }
    331                 int _v_len___e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_51_m_38 = (_v_len3 - _v_len4);
    332                 Expr _ve__e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_51_m_38 = new Expr (_v_Get_m_Line2.getExpr (), 0, _v_len___e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_51_m_38);
     331                int _v_len___e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_51_m_38 = (_v_len3 - _v_len4);
     332                Expr _ve__e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_51_m_38 = new Expr (_v_Get_m_Line2.getExpr (), 0, _v_len___e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_51_m_38);
    333333                break _block4;
    334334              }
    … …  
    366366                        break _block5__branch1;
    367367                      }
    368                       int _v_len___e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_54_m_41 = (_v_len5 - _v_len6);
    369                       Expr _vv__e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_54_m_41 = new Expr (_v_Get_m_Delim1.getExpr (), 0, _v_len___e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_54_m_41);
     368                      int _v_len___e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_54_m_41 = (_v_len5 - _v_len6);
     369                      Expr _vv__e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_54_m_41 = new Expr (_v_Get_m_Delim1.getExpr (), 0, _v_len___e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_54_m_41);
    370370                      _block6: {
    371371                        _block6__branch1: {
    … …  
    392392                              throw new RefalException ("Lexer", "Skip_m_Comment_q_", "Unexpected fail");
    393393                            }
    394                             Expr _vt__e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_57_m_20 = new Expr (_v_Getc3.getExpr (), 0, 1);
     394                            Expr _vt__e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_57_m_20 = new Expr (_v_Getc3.getExpr (), 0, 1);
    395395                            _ve_stop_q_ = Expr.empty;
    396396                          }
    … …  
    435435  }
    436436
    437   static private boolean Var_m_Sym_q_ (Expr _v_arg1) throws RefalException
     437  static private boolean Var_m_Sym_q_ (Expr _gt_arg1) throws RefalException
    438438  {
    439439    if ((1 != 1))
    … …  
    441441      return false;
    442442    }
    443     if (!_v_arg1.symbolAt (0))
    444     {
    445       return false;
    446     }
    447     Expr _vs_ym = new Expr (_v_arg1, 0, 1);
     443    if (!_gt_arg1.symbolAt (0))
     444    {
     445      return false;
     446    }
     447    Expr _vs_ym = new Expr (_gt_arg1, 0, 1);
    448448    _block1: {
    449449      _block1__branch1: {
    … …  
    468468      _exit1: _continue1: for ( ; ; _va_3.next ())
    469469      {
    470         Expr _ve__e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_80_m_14 = _va_3.getLeft();
     470        Expr _ve__e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_80_m_14 = _va_3.getLeft();
    471471        Expr _v_lsplit__14 = _va_3.getRight();
    472472        if (!_va_3.isValid ())
    … …  
    480480          return false;
    481481        }
    482         int _v_len___e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_80_m_20 = (_v_len1 - _v_len2);
     482        int _v_len___e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_80_m_20 = (_v_len1 - _v_len2);
    483483        if (!_vs_ym.eq (_v_lsplit__14, 0))
    484484        {
    485485          continue _continue1;
    486486        }
    487         Expr _ve__e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_80_m_20 = new Expr (_v_lsplit__14, (0 + 1), _v_len___e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_80_m_20);
     487        Expr _ve__e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_80_m_20 = new Expr (_v_lsplit__14, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_80_m_20);
    488488        break _exit1;
    489489      }
    … …  
    521521    Result _ve_ident = new Result ();
    522522    Stream.Get_m_While (_vs_tream, _c_16, _ve_ident);
    523     Expr _v_auxblock1 = Expr.empty;
     523    Expr _ge_auxalt1 = Expr.empty;
    524524    _block2: {
    525525      _block2__branch1: {
    … …  
    536536        Result _va_4 = new Result ();
    537537        Convert.To_m_Lower (_ve_ident.getExpr (), _va_4);
    538         _v_auxblock1 = _va_4.getExpr ();
     538        _ge_auxalt1 = _va_4.getExpr ();
    539539        break _block2;
    540540      }
    541       _v_auxblock1 = _ve_ident.getExpr ();
     541      _ge_auxalt1 = _ve_ident.getExpr ();
    542542    }
    543543    _block3: {
    544544      _block3__branch1: {
    545         if ((_v_auxblock1.getLen () != 3))
     545        if ((_ge_auxalt1.getLen () != 3))
    546546        {
    547547          break _block3__branch1;
    548548        }
    549         if (!_c_17.eq (_v_auxblock1, 0))
     549        if (!_c_17.eq (_ge_auxalt1, 0))
    550550        {
    551551          break _block3__branch1;
    … …  
    555555      }
    556556      _block3__branch2: {
    557         if ((_v_auxblock1.getLen () != 7))
     557        if ((_ge_auxalt1.getLen () != 7))
    558558        {
    559559          break _block3__branch2;
    560560        }
    561         if (!_c_19.eq (_v_auxblock1, 0))
     561        if (!_c_19.eq (_ge_auxalt1, 0))
    562562        {
    563563          break _block3__branch2;
    … …  
    567567      }
    568568      _block3__branch3: {
    569         if ((_v_auxblock1.getLen () != 5))
     569        if ((_ge_auxalt1.getLen () != 5))
    570570        {
    571571          break _block3__branch3;
    572572        }
    573         if (!_c_21.eq (_v_auxblock1, 0))
     573        if (!_c_21.eq (_ge_auxalt1, 0))
    574574        {
    575575          break _block3__branch3;
    … …  
    579579      }
    580580      _block3__branch4: {
    581         if ((_v_auxblock1.getLen () != 5))
     581        if ((_ge_auxalt1.getLen () != 5))
    582582        {
    583583          break _block3__branch4;
    584584        }
    585         if (!_c_23.eq (_v_auxblock1, 0))
     585        if (!_c_23.eq (_ge_auxalt1, 0))
    586586        {
    587587          break _block3__branch4;
    … …  
    591591      }
    592592      _block3__branch5: {
    593         if ((_v_auxblock1.getLen () != 4))
     593        if ((_ge_auxalt1.getLen () != 4))
    594594        {
    595595          break _block3__branch5;
    596596        }
    597         if (!_c_25.eq (_v_auxblock1, 0))
     597        if (!_c_25.eq (_ge_auxalt1, 0))
    598598        {
    599599          break _block3__branch5;
    … …  
    603603      }
    604604      _block3__branch6: {
    605         if ((_v_auxblock1.getLen () != 4))
     605        if ((_ge_auxalt1.getLen () != 4))
    606606        {
    607607          break _block3__branch6;
    608608        }
    609         if (!_c_27.eq (_v_auxblock1, 0))
     609        if (!_c_27.eq (_ge_auxalt1, 0))
    610610        {
    611611          break _block3__branch6;
    … …  
    615615      }
    616616      _block3__branch7: {
    617         if ((_v_auxblock1.getLen () != 5))
     617        if ((_ge_auxalt1.getLen () != 5))
    618618        {
    619619          break _block3__branch7;
    620620        }
    621         if (!_c_29.eq (_v_auxblock1, 0))
     621        if (!_c_29.eq (_ge_auxalt1, 0))
    622622        {
    623623          break _block3__branch7;
    … …  
    627627      }
    628628      _block3__branch8: {
    629         if ((_v_auxblock1.getLen () != 4))
     629        if ((_ge_auxalt1.getLen () != 4))
    630630        {
    631631          break _block3__branch8;
    632632        }
    633         if (!_c_31.eq (_v_auxblock1, 0))
     633        if (!_c_31.eq (_ge_auxalt1, 0))
    634634        {
    635635          break _block3__branch8;
    … …  
    639639      }
    640640      _block3__branch9: {
    641         if ((_v_auxblock1.getLen () != 1))
     641        if ((_ge_auxalt1.getLen () != 1))
    642642        {
    643643          break _block3__branch9;
    644644        }
    645         if (!_c_33.eq (_v_auxblock1, 0))
     645        if (!_c_33.eq (_ge_auxalt1, 0))
    646646        {
    647647          break _block3__branch9;
    … …  
    651651      }
    652652      _block3__branch10: {
    653         if ((_v_auxblock1.getLen () != 1))
     653        if ((_ge_auxalt1.getLen () != 1))
    654654        {
    655655          break _block3__branch10;
    656656        }
    657         if (!_c_35.eq (_v_auxblock1, 0))
     657        if (!_c_35.eq (_ge_auxalt1, 0))
    658658        {
    659659          break _block3__branch10;
    … …  
    663663      }
    664664      _block3__branch11: {
    665         if ((_v_auxblock1.getLen () != 6))
     665        if ((_ge_auxalt1.getLen () != 6))
    666666        {
    667667          break _block3__branch11;
    668668        }
    669         if (!_c_37.eq (_v_auxblock1, 0))
     669        if (!_c_37.eq (_ge_auxalt1, 0))
    670670        {
    671671          break _block3__branch11;
    … …  
    675675      }
    676676      _block3__branch12: {
    677         if ((_v_auxblock1.getLen () != 5))
     677        if ((_ge_auxalt1.getLen () != 5))
    678678        {
    679679          break _block3__branch12;
    680680        }
    681         if (!_c_39.eq (_v_auxblock1, 0))
     681        if (!_c_39.eq (_ge_auxalt1, 0))
    682682        {
    683683          break _block3__branch12;
    … …  
    687687      }
    688688      _block3__branch13: {
    689         if ((_v_auxblock1.getLen () != 5))
     689        if ((_ge_auxalt1.getLen () != 5))
    690690        {
    691691          break _block3__branch13;
    692692        }
    693         if (!_c_41.eq (_v_auxblock1, 0))
     693        if (!_c_41.eq (_ge_auxalt1, 0))
    694694        {
    695695          break _block3__branch13;
    … …  
    699699      }
    700700      _block3__branch14: {
    701         if ((_v_auxblock1.getLen () != 8))
     701        if ((_ge_auxalt1.getLen () != 8))
    702702        {
    703703          break _block3__branch14;
    704704        }
    705         if (!_c_43.eq (_v_auxblock1, 0))
     705        if (!_c_43.eq (_ge_auxalt1, 0))
    706706        {
    707707          break _block3__branch14;
    … …  
    711711      }
    712712      _block3__branch15: {
    713         if ((_v_auxblock1.getLen () != 4))
     713        if ((_ge_auxalt1.getLen () != 4))
    714714        {
    715715          break _block3__branch15;
    716716        }
    717         if (!_c_45.eq (_v_auxblock1, 0))
     717        if (!_c_45.eq (_ge_auxalt1, 0))
    718718        {
    719719          break _block3__branch15;
    … …  
    723723      }
    724724      _block3__branch16: {
    725         if ((_v_auxblock1.getLen () != 3))
     725        if ((_ge_auxalt1.getLen () != 3))
    726726        {
    727727          break _block3__branch16;
    728728        }
    729         if (!_c_47.eq (_v_auxblock1, 0))
     729        if (!_c_47.eq (_ge_auxalt1, 0))
    730730        {
    731731          break _block3__branch16;
    … …  
    735735      }
    736736      _block3__branch17: {
    737         if ((_v_auxblock1.getLen () != 6))
     737        if ((_ge_auxalt1.getLen () != 6))
    738738        {
    739739          break _block3__branch17;
    740740        }
    741         if (!_c_49.eq (_v_auxblock1, 0))
     741        if (!_c_49.eq (_ge_auxalt1, 0))
    742742        {
    743743          break _block3__branch17;
    … …  
    747747      }
    748748      _block3__branch18: {
    749         if ((_v_auxblock1.getLen () != 4))
     749        if ((_ge_auxalt1.getLen () != 4))
    750750        {
    751751          break _block3__branch18;
    752752        }
    753         if (!_c_51.eq (_v_auxblock1, 0))
     753        if (!_c_51.eq (_ge_auxalt1, 0))
    754754        {
    755755          break _block3__branch18;
    … …  
    758758        break _block3;
    759759      }
    760       int _v_len1 = _v_auxblock1.getLen ();
     760      int _v_len1 = _ge_auxalt1.getLen ();
    761761      int _v_len2 = 0;
    762762      if ((_v_len1 < _v_len2))
    … …  
    765765      }
    766766      int _v_len__1 = (_v_len1 - _v_len2);
    767       Expr _ve_1 = new Expr (_v_auxblock1, 0, _v_len__1);
     767      Expr _ve_1 = new Expr (_ge_auxalt1, 0, _v_len__1);
    768768      Stream.Ungets (_vs_tream, new Expr (_c_15, _ve_1));
    769769      return false;
    … …  
    980980          _exit1: _continue1: for ( ; ; _va_7.next ())
    981981          {
    982             Expr _ve__e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_154_m_15 = _va_7.getLeft();
     982            Expr _ve__e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_154_m_15 = _va_7.getLeft();
    983983            Expr _v_lsplit__66 = _va_7.getRight();
    984984            if (!_va_7.isValid ())
    … …  
    992992              break _block1__branch1;
    993993            }
    994             int _v_len___e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_154_m_25 = (_v_len1 - _v_len2);
     994            int _v_len___e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_154_m_25 = (_v_len1 - _v_len2);
    995995            if (!_vs_first.eq (_v_lsplit__66, 0))
    996996            {
    997997              continue _continue1;
    998998            }
    999             Expr _ve__e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_154_m_25 = new Expr (_v_lsplit__66, (0 + 1), _v_len___e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_154_m_25);
     999            Expr _ve__e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_154_m_25 = new Expr (_v_lsplit__66, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_154_m_25);
    10001000            break _exit1;
    10011001          }
    … …  
    10191019      return false;
    10201020    }
    1021     Result _v_To_m_Upper1 = new Result ();
    1022     Convert.To_m_Upper (_vs_letter, _v_To_m_Upper1);
    1023     if (!Compare._eq_ (_v_To_m_Upper1.getExpr (), _vs_letter)) {
     1021    Result _ge_auxcall1 = new Result ();
     1022    Convert.To_m_Upper (_vs_letter, _ge_auxcall1);
     1023    if (!Compare._eq_ (_ge_auxcall1.getExpr (), _vs_letter)) {
    10241024      return false;
    10251025    }
    … …  
    10271027  }
    10281028
    1029   static private boolean Fun_m_Sym_q_ (Expr _v_arg1) throws RefalException
     1029  static private boolean Fun_m_Sym_q_ (Expr _gt_arg1) throws RefalException
    10301030  {
    10311031    if ((1 != 1))
    … …  
    10331033      return false;
    10341034    }
    1035     if (!_v_arg1.symbolAt (0))
    1036     {
    1037       return false;
    1038     }
    1039     Expr _vs_ym = new Expr (_v_arg1, 0, 1);
     1035    if (!_gt_arg1.symbolAt (0))
     1036    {
     1037      return false;
     1038    }
     1039    Expr _vs_ym = new Expr (_gt_arg1, 0, 1);
    10401040    _block1: {
    10411041      _block1__branch1: {
    … …  
    10601060      _exit1: _continue1: for ( ; ; _va_9.next ())
    10611061      {
    1062         Expr _ve__e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_168_m_15 = _va_9.getLeft();
     1062        Expr _ve__e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_168_m_15 = _va_9.getLeft();
    10631063        Expr _v_lsplit__69 = _va_9.getRight();
    10641064        if (!_va_9.isValid ())
    … …  
    10721072          return false;
    10731073        }
    1074         int _v_len___e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_168_m_21 = (_v_len1 - _v_len2);
     1074        int _v_len___e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_168_m_21 = (_v_len1 - _v_len2);
    10751075        if (!_vs_ym.eq (_v_lsplit__69, 0))
    10761076        {
    10771077          continue _continue1;
    10781078        }
    1079         Expr _ve__e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_168_m_21 = new Expr (_v_lsplit__69, (0 + 1), _v_len___e__e_tmp_m__s_library_s_Lexer_s_refal_s_Lexerrf_m_168_m_21);
     1079        Expr _ve__e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_168_m_21 = new Expr (_v_lsplit__69, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_Lexer_s_Lexerrf_m_168_m_21);
    10801080        break _exit1;
    10811081      }
    … …  
    12541254  {
    12551255    Expr _ve_s = Expr.empty;
    1256     Expr _v_max__1 = _vs_max;
     1256    Expr _gs_max__0 = _vs_max;
    12571257    _exit__iter1: for ( ; ; )
    12581258    {
    … …  
    12621262          break _iter1;
    12631263        }
    1264         if (!_v_max__1.eq (_c_1, 0))
     1264        if (!_gs_max__0.eq (_c_1, 0))
    12651265        {
    12661266          break _iter1;
    … …  
    12861286                break _block2__branch1;
    12871287              }
    1288               _v_max__1 = _c_1;
     1288              _gs_max__0 = _c_1;
    12891289              break _block2;
    12901290            }
    … …  
    13161316                      }
    13171317                      Result _va_10 = new Result ();
    1318                       Arithm._m_ (_v_max__1, _c_0, _va_10);
    1319                       _v_max__1 = _va_10.getExpr ();
     1318                      Arithm._m_ (_gs_max__0, _c_0, _va_10);
     1319                      _gs_max__0 = _va_10.getExpr ();
    13201320                      _ve_s = new Expr (_ve_s, _c_4);
    13211321                      break _block4;
    … …  
    13311331                      }
    13321332                      Result _va_11 = new Result ();
    1333                       Arithm._m_ (_v_max__1, _c_0, _va_11);
    1334                       _v_max__1 = _va_11.getExpr ();
     1333                      Arithm._m_ (_gs_max__0, _c_0, _va_11);
     1334                      _gs_max__0 = _va_11.getExpr ();
    13351335                      _ve_s = new Expr (_ve_s, _c_3);
    13361336                      break _block4;
    … …  
    13461346                      }
    13471347                      Result _va_12 = new Result ();
    1348                       Arithm._m_ (_v_max__1, _c_0, _va_12);
    1349                       _v_max__1 = _va_12.getExpr ();
     1348                      Arithm._m_ (_gs_max__0, _c_0, _va_12);
     1349                      _gs_max__0 = _va_12.getExpr ();
    13501350                      _ve_s = new Expr (_ve_s, _c_61);
    13511351                      break _block4;
    … …  
    13611361                      }
    13621362                      Result _va_13 = new Result ();
    1363                       Arithm._m_ (_v_max__1, _c_0, _va_13);
    1364                       _v_max__1 = _va_13.getExpr ();
     1363                      Arithm._m_ (_gs_max__0, _c_0, _va_13);
     1364                      _gs_max__0 = _va_13.getExpr ();
    13651365                      _ve_s = new Expr (_ve_s, _c_77);
    13661366                      break _block4;
    … …  
    13761376                      }
    13771377                      Result _va_14 = new Result ();
    1378                       Arithm._m_ (_v_max__1, _c_0, _va_14);
    1379                       _v_max__1 = _va_14.getExpr ();
     1378                      Arithm._m_ (_gs_max__0, _c_0, _va_14);
     1379                      _gs_max__0 = _va_14.getExpr ();
    13801380                      _ve_s = new Expr (_ve_s, _c_5);
    13811381                      break _block4;
    … …  
    13911391                      }
    13921392                      Result _va_15 = new Result ();
    1393                       Arithm._m_ (_v_max__1, _c_0, _va_15);
    1394                       _v_max__1 = _va_15.getExpr ();
     1393                      Arithm._m_ (_gs_max__0, _c_0, _va_15);
     1394                      _gs_max__0 = _va_15.getExpr ();
    13951395                      _ve_s = new Expr (_ve_s, _c_78);
    13961396                      break _block4;
    … …  
    14061406                      }
    14071407                      Result _va_16 = new Result ();
    1408                       Arithm._m_ (_v_max__1, _c_0, _va_16);
    1409                       _v_max__1 = _va_16.getExpr ();
     1408                      Arithm._m_ (_gs_max__0, _c_0, _va_16);
     1409                      _gs_max__0 = _va_16.getExpr ();
    14101410                      _ve_s = new Expr (_ve_s, _c_75);
    14111411                      break _block4;
    … …  
    14211421                      }
    14221422                      Result _va_17 = new Result ();
    1423                       Arithm._m_ (_v_max__1, _c_0, _va_17);
    1424                       _v_max__1 = _va_17.getExpr ();
     1423                      Arithm._m_ (_gs_max__0, _c_0, _va_17);
     1424                      _gs_max__0 = _va_17.getExpr ();
    14251425                      _ve_s = new Expr (_ve_s, _c_73);
    14261426                      break _block4;
    … …  
    14361436                      }
    14371437                      Result _va_18 = new Result ();
    1438                       Arithm._m_ (_v_max__1, _c_0, _va_18);
    1439                       _v_max__1 = _va_18.getExpr ();
     1438                      Arithm._m_ (_gs_max__0, _c_0, _va_18);
     1439                      _gs_max__0 = _va_18.getExpr ();
    14401440                      _ve_s = new Expr (_ve_s, _c_70);
    14411441                      break _block4;
    … …  
    14651465                      StreamErr.Error (_vs_tream, Expr.concat (_va_19));
    14661466                      Result _va_20 = new Result ();
    1467                       Arithm._m_ (_v_max__1, _c_0, _va_20);
    1468                       _v_max__1 = _va_20.getExpr ();
     1467                      Arithm._m_ (_gs_max__0, _c_0, _va_20);
     1468                      _gs_max__0 = _va_20.getExpr ();
    14691469                      _ve_s = new Expr (_ve_s, _vs_1);
    14701470                      break _block4;
    … …  
    14811481                }
    14821482                StreamErr.Error_m_At (_vt_pos, _c_81);
    1483                 _v_max__1 = _c_1;
     1483                _gs_max__0 = _c_1;
    14841484              }
    14851485              break _block2;
    … …  
    14951495              }
    14961496              Result _va_22 = new Result ();
    1497               Arithm._m_ (_v_max__1, _c_0, _va_22);
    1498               _v_max__1 = _va_22.getExpr ();
     1497              Arithm._m_ (_gs_max__0, _c_0, _va_22);
     1498              _gs_max__0 = _va_22.getExpr ();
    14991499              _ve_s = new Expr (_ve_s, _c_4);
    15001500              break _block2;
    … …  
    15111511              Expr _vs_1 = new Expr (_v_Getc1.getExpr (), 0, 1);
    15121512              Result _va_23 = new Result ();
    1513               Arithm._m_ (_v_max__1, _c_0, _va_23);
    1514               _v_max__1 = _va_23.getExpr ();
     1513              Arithm._m_ (_gs_max__0, _c_0, _va_23);
     1514              _gs_max__0 = _va_23.getExpr ();
    15151515              _ve_s = new Expr (_ve_s, _vs_1);
    15161516              break _block2;
    … …  
    15271527        }
    15281528        StreamErr.Error_m_At (_vt_pos, _c_81);
    1529         _v_max__1 = _c_1;
     1529        _gs_max__0 = _c_1;
    15301530      }
    15311531    }
    … …  
    15971597                }
    15981598                Expr _vs_level = new Expr (_v__q_1.getExpr (), 0, 1);
    1599                 Result _v__p_1 = new Result ();
    1600                 Arithm._p_ (_vs_level, _c_0, _v__p_1);
    1601                 Box.Store (Parenth_m_Level, _v__p_1.getExpr ());
     1599                Result _gs_auxcall1 = new Result ();
     1600                Arithm._p_ (_vs_level, _c_0, _gs_auxcall1);
     1601                Box.Store (Parenth_m_Level, _gs_auxcall1.getExpr ());
    16021602                Expr _ve_terms = Expr.empty;
    16031603                Expr _ve_last = Expr.empty;
    … …  
    16201620                  _block3: {
    16211621                    _block3__branch1: {
    1622                       Result _v_Read_m_Term_m_Aux1 = new Result ();
    1623                       if (!Read_m_Term_m_Aux (_vs_tream, _v_Read_m_Term_m_Aux1))
     1622                      Result _gt_auxcall2 = new Result ();
     1623                      if (!Read_m_Term_m_Aux (_vs_tream, _gt_auxcall2))
    16241624                      {
    16251625                        break _block3__branch1;
    16261626                      }
    16271627                      _ve_terms = new Expr (_ve_terms, _ve_last);
    1628                       _ve_last = _v_Read_m_Term_m_Aux1.getExpr ();
     1628                      _ve_last = _gt_auxcall2.getExpr ();
    16291629                      break _block3;
    16301630                    }
    … …  
    16611661                      break _block4__branch1;
    16621662                    }
    1663                     Result _v__m_1 = new Result ();
    1664                     Arithm._m_ (_vs_level, _c_0, _v__m_1);
    1665                     Box.Store (Parenth_m_Level, _v__m_1.getExpr ());
     1663                    Result _gs_auxcall3 = new Result ();
     1664                    Arithm._m_ (_vs_level, _c_0, _gs_auxcall3);
     1665                    Box.Store (Parenth_m_Level, _gs_auxcall3.getExpr ());
    16661666                    _v_res1.assign (_c_85);
    16671667                    break _block4;
    … …  
    16831683          }
    16841684          _block1__branch2: {
    1685             Expr _v_auxblock1 = Expr.empty;
     1685            Expr _ge_auxalt4 = Expr.empty;
    16861686            _block5: {
    16871687              _block5__branch1: {
    … …  
    16911691                  break _block5__branch1;
    16921692                }
    1693                 _v_auxblock1 = _va_25.getExpr ();
     1693                _ge_auxalt4 = _va_25.getExpr ();
    16941694                break _block5;
    16951695              }
    … …  
    17001700                  break _block5__branch2;
    17011701                }
    1702                 _v_auxblock1 = _va_26.getExpr ();
     1702                _ge_auxalt4 = _va_26.getExpr ();
    17031703                break _block5;
    17041704              }
    … …  
    17091709                  break _block5__branch3;
    17101710                }
    1711                 _v_auxblock1 = _va_27.getExpr ();
     1711                _ge_auxalt4 = _va_27.getExpr ();
    17121712                break _block5;
    17131713              }
    … …  
    17171717                break _block1__branch2;
    17181718              }
    1719               _v_auxblock1 = _va_28.getExpr ();
     1719              _ge_auxalt4 = _va_28.getExpr ();
    17201720            }
    1721             int _v_len1 = _v_auxblock1.getLen ();
     1721            int _v_len1 = _ge_auxalt4.getLen ();
    17221722            int _v_len2 = 1;
    17231723            if ((_v_len1 < _v_len2))
    … …  
    17261726            }
    17271727            int _v_len__value = (_v_len1 - _v_len2);
    1728             if (!_v_auxblock1.symbolAt (0))
     1728            if (!_ge_auxalt4.symbolAt (0))
    17291729            {
    17301730              break _block1__branch2;
    17311731            }
    1732             Expr _vs_type = new Expr (_v_auxblock1, 0, 1);
    1733             Expr _ve_value = new Expr (_v_auxblock1, (0 + 1), _v_len__value);
     1732            Expr _vs_type = new Expr (_ge_auxalt4, 0, 1);
     1733            Expr _ve_value = new Expr (_ge_auxalt4, (0 + 1), _v_len__value);
    17341734            _block6: {
    17351735              _block6__branch1: {
    … …  
    17541754                      break _block7__branch1;
    17551755                    }
    1756                     Result _v_To_m_Upper1 = new Result ();
    1757                     Convert.To_m_Upper (_ve_value, _v_To_m_Upper1);
    1758                     Convert.To_m_Word (_v_To_m_Upper1.getExpr (), _v_res1);
     1756                    Result _ge_auxcall5 = new Result ();
     1757                    Convert.To_m_Upper (_ve_value, _ge_auxcall5);
     1758                    Convert.To_m_Word (_ge_auxcall5.getExpr (), _v_res1);
    17591759                    break _block7;
    17601760                  }
    … …  
    18601860  }
    18611861
    1862   static private boolean Digit_q___0 (Expr _v_arg1, Result _v_res1) throws RefalException
    1863   {
    1864     int _v_len1 = _v_arg1.getLen ();
     1862  static private boolean Digit_q___0 (Expr _ge_arg1, Result _v_res1) throws RefalException
     1863  {
     1864    int _v_len1 = _ge_arg1.getLen ();
    18651865    int _v_len2 = 0;
    18661866    if ((_v_len1 < _v_len2))
    … …  
    18691869    }
    18701870    int _v_len__stub1 = (_v_len1 - _v_len2);
    1871     Expr _v_stub1 = new Expr (_v_arg1, 0, _v_len__stub1);
     1871    Expr _v_stub1 = new Expr (_ge_arg1, 0, _v_len__stub1);
    18721872    if (!Class.Digit_q_ (_v_stub1))
    18731873    {
    … …  
    18781878  }
    18791879
    1880   static private boolean Fun_m_Sym_q___0 (Expr _v_arg1, Result _v_res1) throws RefalException
    1881   {
    1882     if ((_v_arg1.getLen () != 1))
     1880  static private boolean Fun_m_Sym_q___0 (Expr _ge_arg1, Result _v_res1) throws RefalException
     1881  {
     1882    if ((_ge_arg1.getLen () != 1))
    18831883    {
    18841884      throw new RefalException (_c_87);
    18851885    }
    1886     Expr _v_stub1 = new Expr (_v_arg1, 0, 1);
     1886    Expr _v_stub1 = new Expr (_ge_arg1, 0, 1);
    18871887    if (!Fun_m_Sym_q_ (_v_stub1))
    18881888    {
    … …  
    18931893  }
    18941894
    1895   static private boolean Var_m_Sym_q___0 (Expr _v_arg1, Result _v_res1) throws RefalException
    1896   {
    1897     if ((_v_arg1.getLen () != 1))
     1895  static private boolean Var_m_Sym_q___0 (Expr _ge_arg1, Result _v_res1) throws RefalException
     1896  {
     1897    if ((_ge_arg1.getLen () != 1))
    18981898    {
    18991899      throw new RefalException (_c_87);
    19001900    }
    1901     Expr _v_stub1 = new Expr (_v_arg1, 0, 1);
     1901    Expr _v_stub1 = new Expr (_ge_arg1, 0, 1);
    19021902    if (!Var_m_Sym_q_ (_v_stub1))
    19031903    {
    … …  
    19081908  }
    19091909
    1910   static private boolean Blank_q___0 (Expr _v_arg1, Result _v_res1) throws RefalException
    1911   {
    1912     if ((_v_arg1.getLen () != 1))
     1910  static private boolean Blank_q___0 (Expr _ge_arg1, Result _v_res1) throws RefalException
     1911  {
     1912    if ((_ge_arg1.getLen () != 1))
    19131913    {
    19141914      throw new RefalException (_c_87);
    19151915    }
    1916     Expr _v_stub1 = new Expr (_v_arg1, 0, 1);
     1916    Expr _v_stub1 = new Expr (_ge_arg1, 0, 1);
    19171917    if (!Blank_q_ (_v_stub1))
    19181918    {

  • to-imperative/branches/changing_directory_structure/java/org/refal/plus/library/List.java

    r2065 r2173  
    2424  static private final Expr _c_4 = Expr.concat (_va_1);
    2525
    26   static private void Deparen_m_Term (Expr _v_arg1, Result _v_res1) throws RefalException
     26  static private void Deparen_m_Term (Expr _gt_arg1, Result _v_res1) throws RefalException
    2727  {
    2828    _block1: {
    … …  
    3232          break _block1__branch1;
    3333        }
    34         if (_v_arg1.symbolAt (0))
     34        if (_gt_arg1.symbolAt (0))
    3535        {
    3636          break _block1__branch1;
    3737        }
    38         Expr _v_deref__arg1 = (Expr) _v_arg1.at (0);
     38        Expr _v_deref__arg1 = (Expr) _gt_arg1.at (0);
    3939        int _v_len1 = _v_deref__arg1.getLen ();
    4040        int _v_len2 = 0;
    … …  
    4848        break _block1;
    4949      }
    50       _v_res1.assign (_v_arg1);
     50      _v_res1.assign (_gt_arg1);
    5151    }
    5252  }
    … …  
    6969  static public void Zip (Expr _ve_list1, Expr _ve_list2, Result _v_res1) throws RefalException
    7070  {
    71     Expr _v_list1__1 = _ve_list1;
    72     Expr _v_list2__1 = _ve_list2;
     71    Expr _ge_list1__0 = _ve_list1;
     72    Expr _ge_list2__0 = _ve_list2;
    7373    Expr _ve_new_m_list = Expr.empty;
    7474    _exit__iter1: for ( ; ; )
    7575    {
    7676      _iter1: {
    77         if ((_v_list1__1.getLen () != 0))
     77        if ((_ge_list1__0.getLen () != 0))
    7878        {
    7979          break _iter1;
    … …  
    8282        break _exit__iter1;
    8383      }
    84       int _v_len1 = _v_list2__1.getLen ();
     84      int _v_len1 = _ge_list2__0.getLen ();
    8585      int _v_len2 = 1;
    8686      if ((_v_len1 < _v_len2))
    … …  
    8989      }
    9090      int _v_len__rest2 = (_v_len1 - _v_len2);
    91       int _v_len3 = _v_list1__1.getLen ();
     91      int _v_len3 = _ge_list1__0.getLen ();
    9292      int _v_len4 = 1;
    9393      if ((_v_len3 < _v_len4))
    … …  
    9696      }
    9797      int _v_len__rest1 = (_v_len3 - _v_len4);
    98       Expr _vt_first1 = new Expr (_v_list1__1, 0, 1);
    99       Expr _ve_rest1 = new Expr (_v_list1__1, (0 + 1), _v_len__rest1);
    100       Expr _vt_first2 = new Expr (_v_list2__1, 0, 1);
    101       Expr _ve_rest2 = new Expr (_v_list2__1, (0 + 1), _v_len__rest2);
    102       _v_list1__1 = _ve_rest1;
    103       _v_list2__1 = _ve_rest2;
     98      Expr _vt_first1 = new Expr (_ge_list1__0, 0, 1);
     99      Expr _ve_rest1 = new Expr (_ge_list1__0, (0 + 1), _v_len__rest1);
     100      Expr _vt_first2 = new Expr (_ge_list2__0, 0, 1);
     101      Expr _ve_rest2 = new Expr (_ge_list2__0, (0 + 1), _v_len__rest2);
     102      _ge_list1__0 = _ve_rest1;
     103      _ge_list2__0 = _ve_rest2;
    104104      _ve_new_m_list = new Expr (_ve_new_m_list, new Expr(new Expr (_vt_first1, _vt_first2)));
    105105    }
    … …  
    109109  {
    110110    Expr _ve_new_m_list = Expr.empty;
    111     Expr _v_list__1 = _ve_list;
    112     _exit__iter1: for ( ; ; )
    113     {
    114       _iter1: {
    115         if ((_v_list__1.getLen () != 0))
     111    Expr _ge_list__0 = _ve_list;
     112    _exit__iter1: for ( ; ; )
     113    {
     114      _iter1: {
     115        if ((_ge_list__0.getLen () != 0))
    116116        {
    117117          break _iter1;
    … …  
    120120        break _exit__iter1;
    121121      }
    122       int _v_len1 = _v_list__1.getLen ();
     122      int _v_len1 = _ge_list__0.getLen ();
    123123      int _v_len2 = 1;
    124124      if ((_v_len1 < _v_len2))
    … …  
    127127      }
    128128      int _v_len__rest = (_v_len1 - _v_len2);
    129       Expr _vt_item = new Expr (_v_list__1, 0, 1);
    130       Expr _ve_rest = new Expr (_v_list__1, (0 + 1), _v_len__rest);
    131       Result _v_Apply1 = new Result ();
    132       if (!Apply.Apply (_vs_Fname, new Expr (_ve_Fargs, _vt_item), _v_Apply1))
     129      Expr _vt_item = new Expr (_ge_list__0, 0, 1);
     130      Expr _ve_rest = new Expr (_ge_list__0, (0 + 1), _v_len__rest);
     131      Result _ge_auxcall1 = new Result ();
     132      if (!Apply.Apply (_vs_Fname, new Expr (_ve_Fargs, _vt_item), _ge_auxcall1))
    133133      {
    134134        return false;
    135135      }
    136       _ve_new_m_list = new Expr (_ve_new_m_list, _v_Apply1.getExpr ());
    137       _v_list__1 = _ve_rest;
     136      _ve_new_m_list = new Expr (_ve_new_m_list, _ge_auxcall1.getExpr ());
     137      _ge_list__0 = _ve_rest;
    138138    }
    139139    return true;
    … …  
    143143  {
    144144    Expr _ve_new_m_list = Expr.empty;
    145     Expr _v_list__1 = _ve_list;
    146     _exit__iter1: for ( ; ; )
    147     {
    148       _iter1: {
    149         if ((_v_list__1.getLen () != 0))
     145    Expr _ge_list__0 = _ve_list;
     146    _exit__iter1: for ( ; ; )
     147    {
     148      _iter1: {
     149        if ((_ge_list__0.getLen () != 0))
    150150        {
    151151          break _iter1;
    … …  
    154154        break _exit__iter1;
    155155      }
    156       int _v_len1 = _v_list__1.getLen ();
     156      int _v_len1 = _ge_list__0.getLen ();
    157157      int _v_len2 = 1;
    158158      if ((_v_len1 < _v_len2))
    … …  
    161161      }
    162162      int _v_len__rest = (_v_len1 - _v_len2);
    163       if (_v_list__1.symbolAt (0))
     163      if (_ge_list__0.symbolAt (0))
    164164      {
    165165        throw new RefalException ("List", "Map_e_", "Unexpected fail");
    166166      }
    167       Expr _v_deref__list__1 = (Expr) _v_list__1.at (0);
    168       int _v_len3 = _v_deref__list__1.getLen ();
     167      Expr _v_deref__list__0 = (Expr) _ge_list__0.at (0);
     168      int _v_len3 = _v_deref__list__0.getLen ();
    169169      int _v_len4 = 0;
    170170      if ((_v_len3 < _v_len4))
    … …  
    173173      }
    174174      int _v_len__item = (_v_len3 - _v_len4);
    175       Expr _ve_rest = new Expr (_v_list__1, (0 + 1), _v_len__rest);
    176       Expr _ve_item = new Expr (_v_deref__list__1, 0, _v_len__item);
    177       Result _v_Apply1 = new Result ();
    178       if (!Apply.Apply (_vs_Fname, new Expr (_ve_Fargs, _ve_item), _v_Apply1))
     175      Expr _ve_rest = new Expr (_ge_list__0, (0 + 1), _v_len__rest);
     176      Expr _ve_item = new Expr (_v_deref__list__0, 0, _v_len__item);
     177      Result _ge_auxcall1 = new Result ();
     178      if (!Apply.Apply (_vs_Fname, new Expr (_ve_Fargs, _ve_item), _ge_auxcall1))
    179179      {
    180180        return false;
    181181      }
    182       _ve_new_m_list = new Expr (_ve_new_m_list, new Expr(_v_Apply1.getExpr ()));
    183       _v_list__1 = _ve_rest;
     182      _ve_new_m_list = new Expr (_ve_new_m_list, new Expr(_ge_auxcall1.getExpr ()));
     183      _ge_list__0 = _ve_rest;
    184184    }
    185185    return true;
    … …  
    189189  {
    190190    Expr _ve_new_m_list = Expr.empty;
    191     Expr _v_list__1 = _ve_list;
    192     _exit__iter1: for ( ; ; )
    193     {
    194       _iter1: {
    195         if ((_v_list__1.getLen () != 0))
     191    Expr _ge_list__0 = _ve_list;
     192    _exit__iter1: for ( ; ; )
     193    {
     194      _iter1: {
     195        if ((_ge_list__0.getLen () != 0))
    196196        {
    197197          break _iter1;
    … …  
    200200        break _exit__iter1;
    201201      }
    202       int _v_len1 = _v_list__1.getLen ();
     202      int _v_len1 = _ge_list__0.getLen ();
    203203      int _v_len2 = 1;
    204204      if ((_v_len1 < _v_len2))
    … …  
    207207      }
    208208      int _v_len__rest = (_v_len1 - _v_len2);
    209       Expr _vt_item = new Expr (_v_list__1, 0, 1);
    210       Expr _ve_rest = new Expr (_v_list__1, (0 + 1), _v_len__rest);
     209      Expr _vt_item = new Expr (_ge_list__0, 0, 1);
     210      Expr _ve_rest = new Expr (_ge_list__0, (0 + 1), _v_len__rest);
    211211      _block2: {
    212212        _block2__branch1: {
    … …  
    222222            break _block2__branch1;
    223223          }
    224           int _v_len___e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_48_m_41 = (_v_len3 - _v_len4);
    225           Expr _ve__e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_48_m_41 = new Expr (_v_Apply1.getExpr (), 0, _v_len___e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_48_m_41);
     224          int _v_len___e__e_tmp_m__s_lib_s_Listrf_m_48_m_41 = (_v_len3 - _v_len4);
     225          Expr _ve__e__e_tmp_m__s_lib_s_Listrf_m_48_m_41 = new Expr (_v_Apply1.getExpr (), 0, _v_len___e__e_tmp_m__s_lib_s_Listrf_m_48_m_41);
    226226          _ve_new_m_list = new Expr (_ve_new_m_list, _vt_item);
    227           _v_list__1 = _ve_rest;
     227          _ge_list__0 = _ve_rest;
    228228          break _block2;
    229229        }
    230         _v_list__1 = _ve_rest;
     230        _ge_list__0 = _ve_rest;
    231231      }
    232232    }
    … …  
    237237    Expr _ve_true_m_list = Expr.empty;
    238238    Expr _ve_false_m_list = Expr.empty;
    239     Expr _v_list__1 = _ve_list;
    240     _exit__iter1: for ( ; ; )
    241     {
    242       _iter1: {
    243         if ((_v_list__1.getLen () != 0))
     239    Expr _ge_list__0 = _ve_list;
     240    _exit__iter1: for ( ; ; )
     241    {
     242      _iter1: {
     243        if ((_ge_list__0.getLen () != 0))
    244244        {
    245245          break _iter1;
    … …  
    249249        break _exit__iter1;
    250250      }
    251       int _v_len1 = _v_list__1.getLen ();
     251      int _v_len1 = _ge_list__0.getLen ();
    252252      int _v_len2 = 1;
    253253      if ((_v_len1 < _v_len2))
    … …  
    256256      }
    257257      int _v_len__rest = (_v_len1 - _v_len2);
    258       Expr _vt_item = new Expr (_v_list__1, 0, 1);
    259       Expr _ve_rest = new Expr (_v_list__1, (0 + 1), _v_len__rest);
     258      Expr _vt_item = new Expr (_ge_list__0, 0, 1);
     259      Expr _ve_rest = new Expr (_ge_list__0, (0 + 1), _v_len__rest);
    260260      _block2: {
    261261        _block2__branch1: {
    … …  
    271271            break _block2__branch1;
    272272          }
    273           int _v_len___e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_59_m_41 = (_v_len3 - _v_len4);
    274           Expr _ve__e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_59_m_41 = new Expr (_v_Apply1.getExpr (), 0, _v_len___e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_59_m_41);
     273          int _v_len___e__e_tmp_m__s_lib_s_Listrf_m_59_m_41 = (_v_len3 - _v_len4);
     274          Expr _ve__e__e_tmp_m__s_lib_s_Listrf_m_59_m_41 = new Expr (_v_Apply1.getExpr (), 0, _v_len___e__e_tmp_m__s_lib_s_Listrf_m_59_m_41);
    275275          _ve_true_m_list = new Expr (_ve_true_m_list, _vt_item);
    276           _v_list__1 = _ve_rest;
     276          _ge_list__0 = _ve_rest;
    277277          break _block2;
    278278        }
    279279        _ve_false_m_list = new Expr (_ve_false_m_list, _vt_item);
    280         _v_list__1 = _ve_rest;
     280        _ge_list__0 = _ve_rest;
    281281      }
    282282    }
    … …  
    292292    _exit1: _continue1: for ( ; ; _va_2.next ())
    293293    {
    294       Expr _ve__e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_68_m_13 = _va_2.getLeft();
     294      Expr _ve__e__e_tmp_m__s_lib_s_Listrf_m_68_m_13 = _va_2.getLeft();
    295295      Expr _v_lsplit__list = _va_2.getRight();
    296296      if (!_va_2.isValid ())
    … …  
    304304        return false;
    305305      }
    306       int _v_len___e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_68_m_22 = (_v_len1 - _v_len2);
     306      int _v_len___e__e_tmp_m__s_lib_s_Listrf_m_68_m_22 = (_v_len1 - _v_len2);
    307307      if (!_vt_item.eq (_v_lsplit__list, 0))
    308308      {
    309309        continue _continue1;
    310310      }
    311       Expr _ve__e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_68_m_22 = new Expr (_v_lsplit__list, (0 + 1), _v_len___e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_68_m_22);
     311      Expr _ve__e__e_tmp_m__s_lib_s_Listrf_m_68_m_22 = new Expr (_v_lsplit__list, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_Listrf_m_68_m_22);
    312312      break _exit1;
    313313    }
    … …  
    317317  static public void Foldr (Expr _vs_Fname, Expr _ve_Fargs, Expr _ve_value, Expr _ve_list, Result _v_res1) throws RefalException
    318318  {
    319     Expr _v_value__1 = _ve_value;
    320     Expr _v_list__1 = _ve_list;
    321     _exit__iter1: for ( ; ; )
    322     {
    323       _iter1: {
    324         if ((_v_list__1.getLen () != 0))
    325         {
    326           break _iter1;
    327         }
    328         _v_res1.assign (_v_value__1);
    329         break _exit__iter1;
    330       }
    331       int _v_len1 = _v_list__1.getLen ();
     319    Expr _ge_value__0 = _ve_value;
     320    Expr _ge_list__0 = _ve_list;
     321    _exit__iter1: for ( ; ; )
     322    {
     323      _iter1: {
     324        if ((_ge_list__0.getLen () != 0))
     325        {
     326          break _iter1;
     327        }
     328        _v_res1.assign (_ge_value__0);
     329        break _exit__iter1;
     330      }
     331      int _v_len1 = _ge_list__0.getLen ();
    332332      int _v_len2 = 1;
    333333      if ((_v_len1 < _v_len2))
    … …  
    336336      }
    337337      int _v_len__something = (_v_len1 - _v_len2);
    338       Expr _ve_something = new Expr (_v_list__1, 0, _v_len__something);
    339       Expr _vt_last = new Expr (_v_list__1, (0 + _v_len__something), 1);
    340       Expr[] _va_4 = { _ve_Fargs , _vt_last , _v_value__1 };
    341       Result _va_3 = new Result ();
    342       if (!Apply.Apply (_vs_Fname, Expr.concat (_va_4), _va_3))
     338      Expr _ve_something = new Expr (_ge_list__0, 0, _v_len__something);
     339      Expr _vt_last = new Expr (_ge_list__0, (0 + _v_len__something), 1);
     340      Result _ge_auxcall1 = new Result ();
     341      Expr[] _va_3 = { _ve_Fargs , _vt_last , _ge_value__0 };
     342      if (!Apply.Apply (_vs_Fname, Expr.concat (_va_3), _ge_auxcall1))
    343343      {
    344344        throw new RefalException ("List", "Foldr", "Unexpected fail");
    345345      }
    346       _v_value__1 = _va_3.getExpr ();
    347       _v_list__1 = _ve_something;
     346      _ge_value__0 = _ge_auxcall1.getExpr ();
     347      _ge_list__0 = _ve_something;
    348348    }
    349349  }
    … …  
    385385  }
    386386
    387   static public void Reverse (Expr _v_arg1, Result _v_res1) throws RefalException
     387  static public void Reverse (Expr _ge_arg1, Result _v_res1) throws RefalException
    388388  {
    389389    _block1: {
    390390      _block1__branch1: {
    391         int _v_len1 = _v_arg1.getLen ();
     391        int _v_len1 = _ge_arg1.getLen ();
    392392        int _v_len2 = 1;
    393393        if ((_v_len1 < _v_len2))
    … …  
    396396        }
    397397        int _v_len__list = (_v_len1 - _v_len2);
    398         Expr _vt_erm = new Expr (_v_arg1, 0, 1);
    399         Expr _ve_list = new Expr (_v_arg1, (0 + 1), _v_len__list);
    400         Result _v_Reverse1 = new Result ();
    401         Reverse (_ve_list, _v_Reverse1);
    402         _v_res1.assign (new Expr (_v_Reverse1.getExpr (), _vt_erm));
     398        Expr _vt_erm = new Expr (_ge_arg1, 0, 1);
     399        Expr _ve_list = new Expr (_ge_arg1, (0 + 1), _v_len__list);
     400        Result _ge_auxcall1 = new Result ();
     401        Reverse (_ve_list, _ge_auxcall1);
     402        _v_res1.assign (new Expr (_ge_auxcall1.getExpr (), _vt_erm));
    403403        break _block1;
    404404      }
    405       if ((_v_arg1.getLen () != 0))
     405      if ((_ge_arg1.getLen () != 0))
    406406      {
    407407        throw new RefalException ("List", "Reverse", "Unexpected fail");
    … …  
    411411  }
    412412
    413   static public void Intersperse (Expr _v_arg1, Expr _v_arg2, Result _v_res1) throws RefalException
     413  static public void Intersperse (Expr _ge_arg1, Expr _ge_arg2, Result _v_res1) throws RefalException
    414414  {
    415415    _block1: {
    416416      _block1__branch1: {
    417         if (((_v_arg2.getLen () + 1) != 1))
     417        if (((_ge_arg2.getLen () + 1) != 1))
    418418        {
    419419          break _block1__branch1;
    420420        }
    421         Expr _v_compose1 = new Expr (new Expr(_v_arg1), _v_arg2);
     421        Expr _v_compose1 = new Expr (new Expr(_ge_arg1), _ge_arg2);
    422422        if (_v_compose1.symbolAt (0))
    423423        {
    … …  
    437437      }
    438438      _block1__branch2: {
    439         if (((_v_arg2.getLen () + 1) != 2))
     439        if (((_ge_arg2.getLen () + 1) != 2))
    440440        {
    441441          break _block1__branch2;
    442442        }
    443         Expr _v_compose2 = new Expr (new Expr(_v_arg1), _v_arg2);
     443        Expr _v_compose2 = new Expr (new Expr(_ge_arg1), _ge_arg2);
    444444        if (_v_compose2.symbolAt (0))
    445445        {
    … …  
    459459        break _block1;
    460460      }
    461       int _v_len5 = (_v_arg2.getLen () + 1);
     461      int _v_len5 = (_ge_arg2.getLen () + 1);
    462462      int _v_len6 = 2;
    463463      if ((_v_len5 < _v_len6))
    … …  
    466466      }
    467467      int _v_len__list = (_v_len5 - _v_len6);
    468       Expr _v_compose3 = new Expr (new Expr(_v_arg1), _v_arg2);
     468      Expr _v_compose3 = new Expr (new Expr(_ge_arg1), _ge_arg2);
    469469      if (_v_compose3.symbolAt (0))
    470470      {
    … …  
    503503        Expr _vt_2 = new Expr (_ve_list, 0, 1);
    504504        Expr _ve_rest = new Expr (_ve_list, (0 + 1), _v_len__rest);
    505         Expr[] _va_5 = { _ve_new_m_list , _vt_2 , _ve_sep };
    506         _ve_new_m_list = Expr.concat (_va_5);
     505        Expr[] _va_4 = { _ve_new_m_list , _vt_2 , _ve_sep };
     506        _ve_new_m_list = Expr.concat (_va_4);
    507507        _ve_list = _ve_rest;
    508508      }
    … …  
    512512  static public void Nub (Expr _ve_expr, Result _v_res1) throws RefalException
    513513  {
    514     Expr _v_expr__1 = _ve_expr;
     514    Expr _ge_expr__0 = _ve_expr;
    515515    Expr _ve_selected = Expr.empty;
    516516    _exit__iter1: for ( ; ; )
    517517    {
    518518      _iter1: {
    519         if ((_v_expr__1.getLen () != 0))
     519        if ((_ge_expr__0.getLen () != 0))
    520520        {
    521521          break _iter1;
    … …  
    524524        break _exit__iter1;
    525525      }
    526       int _v_len1 = _v_expr__1.getLen ();
     526      int _v_len1 = _ge_expr__0.getLen ();
    527527      int _v_len2 = 1;
    528528      if ((_v_len1 < _v_len2))
    … …  
    531531      }
    532532      int _v_len__rest = (_v_len1 - _v_len2);
    533       Expr _vt_erm = new Expr (_v_expr__1, 0, 1);
    534       Expr _ve_rest = new Expr (_v_expr__1, (0 + 1), _v_len__rest);
     533      Expr _vt_erm = new Expr (_ge_expr__0, 0, 1);
     534      Expr _ve_rest = new Expr (_ge_expr__0, (0 + 1), _v_len__rest);
    535535      _block2: {
    536536        _block2__branch1: {
    … …  
    539539            break _block2__branch1;
    540540          }
    541           Expr.SplitIterator _va_6 = _ve_selected.leftSplit(0);
    542           _exit1: _continue1: for ( ; ; _va_6.next ())
    543           {
    544             Expr _ve__e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_108_m_21 = _va_6.getLeft();
    545             Expr _v_lsplit__selected = _va_6.getRight();
    546             if (!_va_6.isValid ())
     541          Expr.SplitIterator _va_5 = _ve_selected.leftSplit(0);
     542          _exit1: _continue1: for ( ; ; _va_5.next ())
     543          {
     544            Expr _ve__e__e_tmp_m__s_lib_s_Listrf_m_108_m_21 = _va_5.getLeft();
     545            Expr _v_lsplit__selected = _va_5.getRight();
     546            if (!_va_5.isValid ())
    547547            {
    548548              break _block2__branch1;
    … …  
    554554              break _block2__branch1;
    555555            }
    556             int _v_len___e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_108_m_28 = (_v_len3 - _v_len4);
     556            int _v_len___e__e_tmp_m__s_lib_s_Listrf_m_108_m_28 = (_v_len3 - _v_len4);
    557557            if (!_vt_erm.eq (_v_lsplit__selected, 0))
    558558            {
    559559              continue _continue1;
    560560            }
    561             Expr _ve__e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_108_m_28 = new Expr (_v_lsplit__selected, (0 + 1), _v_len___e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_108_m_28);
    562             _v_expr__1 = _ve_rest;
     561            Expr _ve__e__e_tmp_m__s_lib_s_Listrf_m_108_m_28 = new Expr (_v_lsplit__selected, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_Listrf_m_108_m_28);
     562            _ge_expr__0 = _ve_rest;
    563563            break _exit1;
    564564          }
    565565          break _block2;
    566566        }
    567         _v_expr__1 = _ve_rest;
     567        _ge_expr__0 = _ve_rest;
    568568        _ve_selected = new Expr (_ve_selected, _vt_erm);
    569569      }
    … …  
    573573  static public void Replicate (Expr _vs_n, Expr _ve_expr, Result _v_res1) throws RefalException
    574574  {
    575     Expr _v_n__1 = _vs_n;
     575    Expr _gs_n__0 = _vs_n;
    576576    Expr _ve_list = Expr.empty;
    577577    _exit__iter1: for ( ; ; )
    578578    {
    579579      _iter1: {
    580         if (!Compare._lt__eq_ (_v_n__1, _c_2))
     580        if (!Compare._lt__eq_ (_gs_n__0, _c_2))
    581581        {
    582582          break _iter1;
    … …  
    585585        break _exit__iter1;
    586586      }
    587       Result _va_7 = new Result ();
    588       Arithm._m_ (_v_n__1, _c_3, _va_7);
    589       _v_n__1 = _va_7.getExpr ();
     587      Result _gs_auxcall1 = new Result ();
     588      Arithm._m_ (_gs_n__0, _c_3, _gs_auxcall1);
     589      _gs_n__0 = _gs_auxcall1.getExpr ();
    590590      _ve_list = new Expr (_ve_list, _ve_expr);
    591591    }
    … …  
    594594  static public void Or (Expr _ve_list1, Expr _ve_list2, Result _v_res1) throws RefalException
    595595  {
    596     Expr _v_list1__1 = _ve_list1;
    597     Expr _v_list2__1 = _ve_list2;
    598     _exit__iter1: for ( ; ; )
    599     {
    600       _iter1: {
    601         if ((_v_list2__1.getLen () != 0))
    602         {
    603           break _iter1;
    604         }
    605         _v_res1.assign (_v_list1__1);
    606         break _exit__iter1;
    607       }
    608       int _v_len1 = _v_list2__1.getLen ();
     596    Expr _ge_list1__0 = _ve_list1;
     597    Expr _ge_list2__0 = _ve_list2;
     598    _exit__iter1: for ( ; ; )
     599    {
     600      _iter1: {
     601        if ((_ge_list2__0.getLen () != 0))
     602        {
     603          break _iter1;
     604        }
     605        _v_res1.assign (_ge_list1__0);
     606        break _exit__iter1;
     607      }
     608      int _v_len1 = _ge_list2__0.getLen ();
    609609      int _v_len2 = 1;
    610610      if ((_v_len1 < _v_len2))
    … …  
    613613      }
    614614      int _v_len__rest = (_v_len1 - _v_len2);
    615       Expr _vt_erm = new Expr (_v_list2__1, 0, 1);
    616       Expr _ve_rest = new Expr (_v_list2__1, (0 + 1), _v_len__rest);
     615      Expr _vt_erm = new Expr (_ge_list2__0, 0, 1);
     616      Expr _ve_rest = new Expr (_ge_list2__0, (0 + 1), _v_len__rest);
    617617      _block2: {
    618618        _block2__branch1: {
    619           if ((_v_list1__1.getLen () < 1))
     619          if ((_ge_list1__0.getLen () < 1))
    620620          {
    621621            break _block2__branch1;
    622622          }
    623           Expr.SplitIterator _va_8 = _v_list1__1.leftSplit(0);
    624           _exit1: _continue1: for ( ; ; _va_8.next ())
    625           {
    626             Expr _ve__e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_140_m_20 = _va_8.getLeft();
    627             Expr _v_lsplit__list1__1 = _va_8.getRight();
    628             if (!_va_8.isValid ())
     623          Expr.SplitIterator _va_6 = _ge_list1__0.leftSplit(0);
     624          _exit1: _continue1: for ( ; ; _va_6.next ())
     625          {
     626            Expr _ve__e__e_tmp_m__s_lib_s_Listrf_m_140_m_20 = _va_6.getLeft();
     627            Expr _v_lsplit__list1__0 = _va_6.getRight();
     628            if (!_va_6.isValid ())
    629629            {
    630630              break _block2__branch1;
    631631            }
    632             int _v_len3 = _v_lsplit__list1__1.getLen ();
     632            int _v_len3 = _v_lsplit__list1__0.getLen ();
    633633            int _v_len4 = 1;
    634634            if ((_v_len3 < _v_len4))
    … …  
    636636              break _block2__branch1;
    637637            }
    638             int _v_len___e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_140_m_27 = (_v_len3 - _v_len4);
    639             if (!_vt_erm.eq (_v_lsplit__list1__1, 0))
     638            int _v_len___e__e_tmp_m__s_lib_s_Listrf_m_140_m_27 = (_v_len3 - _v_len4);
     639            if (!_vt_erm.eq (_v_lsplit__list1__0, 0))
    640640            {
    641641              continue _continue1;
    642642            }
    643             Expr _ve__e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_140_m_27 = new Expr (_v_lsplit__list1__1, (0 + 1), _v_len___e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_140_m_27);
    644             _v_list2__1 = _ve_rest;
     643            Expr _ve__e__e_tmp_m__s_lib_s_Listrf_m_140_m_27 = new Expr (_v_lsplit__list1__0, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_Listrf_m_140_m_27);
     644            _ge_list2__0 = _ve_rest;
    645645            break _exit1;
    646646          }
    647647          break _block2;
    648648        }
    649         _v_list1__1 = new Expr (_v_list1__1, _vt_erm);
    650         _v_list2__1 = _ve_rest;
     649        _ge_list1__0 = new Expr (_ge_list1__0, _vt_erm);
     650        _ge_list2__0 = _ve_rest;
    651651      }
    652652    }
    … …  
    655655  static public void And (Expr _ve_list1, Expr _ve_list2, Result _v_res1) throws RefalException
    656656  {
    657     Expr _v_list1__1 = _ve_list1;
     657    Expr _ge_list1__0 = _ve_list1;
    658658    Expr _ve_and = Expr.empty;
    659659    _exit__iter1: for ( ; ; )
    660660    {
    661661      _iter1: {
    662         if ((_v_list1__1.getLen () != 0))
     662        if ((_ge_list1__0.getLen () != 0))
    663663        {
    664664          break _iter1;
    … …  
    667667        break _exit__iter1;
    668668      }
    669       int _v_len1 = _v_list1__1.getLen ();
     669      int _v_len1 = _ge_list1__0.getLen ();
    670670      int _v_len2 = 1;
    671671      if ((_v_len1 < _v_len2))
    … …  
    674674      }
    675675      int _v_len__rest = (_v_len1 - _v_len2);
    676       Expr _vt_erm = new Expr (_v_list1__1, 0, 1);
    677       Expr _ve_rest = new Expr (_v_list1__1, (0 + 1), _v_len__rest);
     676      Expr _vt_erm = new Expr (_ge_list1__0, 0, 1);
     677      Expr _ve_rest = new Expr (_ge_list1__0, (0 + 1), _v_len__rest);
    678678      _block2: {
    679679        _block2__branch1: {
    … …  
    682682            break _block2__branch1;
    683683          }
    684           Expr.SplitIterator _va_9 = _ve_list2.leftSplit(0);
    685           _exit1: _continue1: for ( ; ; _va_9.next ())
    686           {
    687             Expr _ve__e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_154_m_20 = _va_9.getLeft();
    688             Expr _v_lsplit__list2 = _va_9.getRight();
    689             if (!_va_9.isValid ())
     684          Expr.SplitIterator _va_7 = _ve_list2.leftSplit(0);
     685          _exit1: _continue1: for ( ; ; _va_7.next ())
     686          {
     687            Expr _ve__e__e_tmp_m__s_lib_s_Listrf_m_154_m_20 = _va_7.getLeft();
     688            Expr _v_lsplit__list2 = _va_7.getRight();
     689            if (!_va_7.isValid ())
    690690            {
    691691              break _block2__branch1;
    … …  
    697697              break _block2__branch1;
    698698            }
    699             int _v_len___e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_154_m_27 = (_v_len3 - _v_len4);
     699            int _v_len___e__e_tmp_m__s_lib_s_Listrf_m_154_m_27 = (_v_len3 - _v_len4);
    700700            if (!_vt_erm.eq (_v_lsplit__list2, 0))
    701701            {
    702702              continue _continue1;
    703703            }
    704             Expr _ve__e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_154_m_27 = new Expr (_v_lsplit__list2, (0 + 1), _v_len___e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_154_m_27);
    705             _v_list1__1 = _ve_rest;
     704            Expr _ve__e__e_tmp_m__s_lib_s_Listrf_m_154_m_27 = new Expr (_v_lsplit__list2, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_Listrf_m_154_m_27);
     705            _ge_list1__0 = _ve_rest;
    706706            _ve_and = new Expr (_ve_and, _vt_erm);
    707707            break _exit1;
    … …  
    709709          break _block2;
    710710        }
    711         _v_list1__1 = _ve_rest;
     711        _ge_list1__0 = _ve_rest;
    712712      }
    713713    }
    … …  
    716716  static public void Sub (Expr _ve_list1, Expr _ve_list2, Result _v_res1) throws RefalException
    717717  {
    718     Expr _v_list1__1 = _ve_list1;
     718    Expr _ge_list1__0 = _ve_list1;
    719719    Expr _ve_not = Expr.empty;
    720720    _exit__iter1: for ( ; ; )
    721721    {
    722722      _iter1: {
    723         if ((_v_list1__1.getLen () != 0))
     723        if ((_ge_list1__0.getLen () != 0))
    724724        {
    725725          break _iter1;
    … …  
    728728        break _exit__iter1;
    729729      }
    730       int _v_len1 = _v_list1__1.getLen ();
     730      int _v_len1 = _ge_list1__0.getLen ();
    731731      int _v_len2 = 1;
    732732      if ((_v_len1 < _v_len2))
    … …  
    735735      }
    736736      int _v_len__rest = (_v_len1 - _v_len2);
    737       Expr _vt_erm = new Expr (_v_list1__1, 0, 1);
    738       Expr _ve_rest = new Expr (_v_list1__1, (0 + 1), _v_len__rest);
     737      Expr _vt_erm = new Expr (_ge_list1__0, 0, 1);
     738      Expr _ve_rest = new Expr (_ge_list1__0, (0 + 1), _v_len__rest);
    739739      _block2: {
    740740        _block2__branch1: {
    … …  
    743743            break _block2__branch1;
    744744          }
    745           Expr.SplitIterator _va_10 = _ve_list2.leftSplit(0);
    746           _exit1: _continue1: for ( ; ; _va_10.next ())
    747           {
    748             Expr _ve__e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_168_m_20 = _va_10.getLeft();
    749             Expr _v_lsplit__list2 = _va_10.getRight();
    750             if (!_va_10.isValid ())
     745          Expr.SplitIterator _va_8 = _ve_list2.leftSplit(0);
     746          _exit1: _continue1: for ( ; ; _va_8.next ())
     747          {
     748            Expr _ve__e__e_tmp_m__s_lib_s_Listrf_m_168_m_20 = _va_8.getLeft();
     749            Expr _v_lsplit__list2 = _va_8.getRight();
     750            if (!_va_8.isValid ())
    751751            {
    752752              break _block2__branch1;
    … …  
    758758              break _block2__branch1;
    759759            }
    760             int _v_len___e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_168_m_27 = (_v_len3 - _v_len4);
     760            int _v_len___e__e_tmp_m__s_lib_s_Listrf_m_168_m_27 = (_v_len3 - _v_len4);
    761761            if (!_vt_erm.eq (_v_lsplit__list2, 0))
    762762            {
    763763              continue _continue1;
    764764            }
    765             Expr _ve__e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_168_m_27 = new Expr (_v_lsplit__list2, (0 + 1), _v_len___e__e_tmp_m__s_library_s_List_s_refal_s_Listrf_m_168_m_27);
    766             _v_list1__1 = _ve_rest;
     765            Expr _ve__e__e_tmp_m__s_lib_s_Listrf_m_168_m_27 = new Expr (_v_lsplit__list2, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_Listrf_m_168_m_27);
     766            _ge_list1__0 = _ve_rest;
    767767            break _exit1;
    768768          }
    769769          break _block2;
    770770        }
    771         _v_list1__1 = _ve_rest;
     771        _ge_list1__0 = _ve_rest;
    772772        _ve_not = new Expr (_ve_not, _vt_erm);
    773773      }
    … …  
    775775  }
    776776
    777   static private boolean Paren_m_Term__0 (Expr _v_arg1, Result _v_res1) throws RefalException
    778   {
    779     if ((_v_arg1.getLen () != 1))
     777  static private boolean Paren_m_Term__0 (Expr _ge_arg1, Result _v_res1) throws RefalException
     778  {
     779    if ((_ge_arg1.getLen () != 1))
    780780    {
    781781      throw new RefalException (_c_4);
    782782    }
    783     Expr _v_stub1 = new Expr (_v_arg1, 0, 1);
     783    Expr _v_stub1 = new Expr (_ge_arg1, 0, 1);
    784784    Result _v_Paren_m_Term1 = new Result ();
    785785    Paren_m_Term (_v_stub1, _v_Paren_m_Term1);
    … …  
    788788  }
    789789
    790   static private boolean Deparen_m_Term__0 (Expr _v_arg1, Result _v_res1) throws RefalException
    791   {
    792     if ((_v_arg1.getLen () != 1))
     790  static private boolean Deparen_m_Term__0 (Expr _ge_arg1, Result _v_res1) throws RefalException
     791  {
     792    if ((_ge_arg1.getLen () != 1))
    793793    {
    794794      throw new RefalException (_c_4);
    795795    }
    796     Expr _v_stub1 = new Expr (_v_arg1, 0, 1);
     796    Expr _v_stub1 = new Expr (_ge_arg1, 0, 1);
    797797    Deparen_m_Term (_v_stub1, _v_res1);
    798798    return true;

  • to-imperative/branches/changing_directory_structure/java/org/refal/plus/library/StdIO.java

    r2066 r2173  
    230230        return false;
    231231      }
    232       Result _v_Stream1 = new Result ();
    233       Stream.Stream (_c_3, new Expr (_vs_channel, Read_m_Chunk_m_Size), _v_Stream1);
    234       Table.Bind (Buffers, _vs_channel, _v_Stream1.getExpr ());
     232      Result _gs_auxcall1 = new Result ();
     233      Stream.Stream (_c_3, new Expr (_vs_channel, Read_m_Chunk_m_Size), _gs_auxcall1);
     234      Table.Bind (Buffers, _vs_channel, _gs_auxcall1.getExpr ());
    235235    }
    236236    return true;
    … …  
    484484            break _block3__branch1;
    485485          }
    486           int _v_len___e__e_tmp_m__s_library_s_StdIO_s_refal_s_StdIOrf_m_86_m_46 = (_v_len1 - _v_len2);
     486          int _v_len___e__e_tmp_m__s_lib_s_StdIOrf_m_86_m_46 = (_v_len1 - _v_len2);
    487487          if (_v_Errors1.getExpr ().symbolAt (0))
    488488          {
    … …  
    506506          }
    507507          int _v_len__message = (_v_len3 - _v_len4);
    508           Expr _ve__e__e_tmp_m__s_library_s_StdIO_s_refal_s_StdIOrf_m_86_m_46 = new Expr (_v_Errors1.getExpr (), (0 + 1), _v_len___e__e_tmp_m__s_library_s_StdIO_s_refal_s_StdIOrf_m_86_m_46);
     508          Expr _ve__e__e_tmp_m__s_lib_s_StdIOrf_m_86_m_46 = new Expr (_v_Errors1.getExpr (), (0 + 1), _v_len___e__e_tmp_m__s_lib_s_StdIOrf_m_86_m_46);
    509509          Expr _vt_name = new Expr (_v_deref__Errors1, 0, 1);
    510510          Expr _vt_pos = new Expr (_v_deref__Errors1, (0 + 1), 1);
    … …  
    527527  }
    528528
    529   static private boolean Prim_m_Read__0 (Expr _v_arg1, Result _v_res1) throws RefalException
    530   {
    531     if ((_v_arg1.getLen () != 2))
     529  static private boolean Prim_m_Read__0 (Expr _ge_arg1, Result _v_res1) throws RefalException
     530  {
     531    if ((_ge_arg1.getLen () != 2))
    532532    {
    533533      throw new RefalException (_c_15);
    534534    }
    535     if (!_v_arg1.symbolAt (0))
     535    if (!_ge_arg1.symbolAt (0))
    536536    {
    537537      throw new RefalException (_c_15);
    538538    }
    539     if (!_v_arg1.symbolAt ((0 + 1)))
     539    if (!_ge_arg1.symbolAt ((0 + 1)))
    540540    {
    541541      throw new RefalException (_c_15);
    542542    }
    543     Expr _v_stub1 = new Expr (_v_arg1, 0, 1);
    544     Expr _v_stub2 = new Expr (_v_arg1, (0 + 1), 1);
     543    Expr _v_stub1 = new Expr (_ge_arg1, 0, 1);
     544    Expr _v_stub2 = new Expr (_ge_arg1, (0 + 1), 1);
    545545    if (!Prim_m_Read (_v_stub1, _v_stub2, _v_res1)) {
    546546      return false;

  • to-imperative/branches/changing_directory_structure/java/org/refal/plus/library/Stream.java

    r2028 r2173  
    260260        {
    261261          _iter1: {
    262             Result _v_Length1 = new Result ();
    263             Access.Length (_ve_buf, _v_Length1);
    264             if (!Compare._gt__eq_ (_v_Length1.getExpr (), _vs_n))
     262            Result _gs_auxcall1 = new Result ();
     263            Access.Length (_ve_buf, _gs_auxcall1);
     264            if (!Compare._gt__eq_ (_gs_auxcall1.getExpr (), _vs_n))
    265265            {
    266266              break _iter1;
    267267            }
    268             Result _v_Middle1 = new Result ();
    269             if (!Access.Middle (_vs_n, _c_11, _ve_buf, _v_Middle1))
     268            Result _ge_auxcall2 = new Result ();
     269            if (!Access.Middle (_vs_n, _c_11, _ve_buf, _ge_auxcall2))
    270270            {
    271271              return false;
    272272            }
    273             Box.Store (_vs_tream, new Expr (new Expr(_v_Middle1.getExpr ()), new Expr(new Expr (_vs_func, _ve_args))));
     273            Box.Store (_vs_tream, new Expr (new Expr(_ge_auxcall2.getExpr ()), new Expr(new Expr (_vs_func, _ve_args))));
    274274            if (!Access.Left (_c_11, _vs_n, _ve_buf, _v_res1)) {
    275275              return false;
    … …  
    478478            }
    479479            _block2__branch2: {
    480               Result _v_Apply1 = new Result ();
    481               if (!Apply.Apply (_vs_func, _ve_args, _v_Apply1))
     480              Result _ge_auxcall1 = new Result ();
     481              if (!Apply.Apply (_vs_func, _ve_args, _ge_auxcall1))
    482482              {
    483483                break _block2__branch2;
    484484              }
    485485              _ve_str = new Expr (_ve_str, _ve_buf);
    486               _ve_buf = _v_Apply1.getExpr ();
     486              _ve_buf = _ge_auxcall1.getExpr ();
    487487              _ve_stop_q_ = Expr.empty;
    488488              break _block2;
    … …  
    531531  static public void Get_m_Line (Expr _vs_tream, Result _v_res1) throws RefalException
    532532  {
    533     Result _v_Get_m_While1 = new Result ();
    534     Get_m_While (_vs_tream, _c_18, _v_Get_m_While1);
     533    Result _ge_auxcall1 = new Result ();
     534    Get_m_While (_vs_tream, _c_18, _ge_auxcall1);
     535    Result _ge_auxcall2 = new Result ();
     536    Scanc (_vs_tream, _c_17, _ge_auxcall2);
    535537    Result _v_Scanc1 = new Result ();
    536     Scanc (_vs_tream, _c_17, _v_Scanc1);
    537     Result _v_Scanc2 = new Result ();
    538     Scanc (_vs_tream, _c_16, _v_Scanc2);
    539     Expr[] _va_4 = { _v_Get_m_While1.getExpr () , _v_Scanc1.getExpr () , _v_Scanc2.getExpr () };
     538    Scanc (_vs_tream, _c_16, _v_Scanc1);
     539    Expr[] _va_4 = { _ge_auxcall1.getExpr () , _ge_auxcall2.getExpr () , _v_Scanc1.getExpr () };
    540540    _v_res1.assign (Expr.concat (_va_4));
    541541  }
    … …  
    623623                    break _block3__branch1;
    624624                  }
    625                   int _v_len___e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_134_m_30 = (_v_len7 - _v_len8);
    626                   Expr _ve__e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_134_m_30 = new Expr (_v_Apply1.getExpr (), 0, _v_len___e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_134_m_30);
     625                  int _v_len___e__e_tmp_m__s_lib_s_Stream_s_Streamrf_m_134_m_30 = (_v_len7 - _v_len8);
     626                  Expr _ve__e__e_tmp_m__s_lib_s_Stream_s_Streamrf_m_134_m_30 = new Expr (_v_Apply1.getExpr (), 0, _v_len___e__e_tmp_m__s_lib_s_Stream_s_Streamrf_m_134_m_30);
    627627                  _ve_str = new Expr (_ve_str, _vt_1);
    628628                  _ve_buf = _ve_2;
    … …  
    635635            }
    636636            _block2__branch2: {
    637               Result _va_5 = new Result ();
    638               if (!Apply.Apply (_vs_func, _ve_args, _va_5))
     637              Result _ge_auxcall1 = new Result ();
     638              if (!Apply.Apply (_vs_func, _ve_args, _ge_auxcall1))
    639639              {
    640640                break _block2__branch2;
    641641              }
    642               _ve_buf = _va_5.getExpr ();
     642              _ve_buf = _ge_auxcall1.getExpr ();
    643643              _ve_stop_q_ = Expr.empty;
    644644              break _block2;
    … …  
    696696        Expr _ve_args = new Expr (_v_deref___q_12, (0 + 1), _v_len__args);
    697697        _block2__branch1: {
    698           Expr _v_buf__1 = _ve_buf;
     698          Expr _ge_buf__2 = _ve_buf;
    699699          _exit__iter1: for ( ; ; )
    700700          {
    701701            _iter1: {
    702               int _v_len5 = _v_buf__1.getLen ();
     702              int _v_len5 = _ge_buf__2.getLen ();
    703703              int _v_len6 = 0;
    704704              if ((_v_len5 < (_v_len6 + 1)))
    … …  
    706706                break _iter1;
    707707              }
    708               int _v_len___e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_155_m_18 = (_v_len5 - _v_len6);
    709               Expr _vv__e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_155_m_18 = new Expr (_v_buf__1, 0, _v_len___e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_155_m_18);
    710               Box.Store (_vs_tream, new Expr (new Expr(_v_buf__1), new Expr(new Expr (_vs_func, _ve_args))));
     708              int _v_len___e__e_tmp_m__s_lib_s_Stream_s_Streamrf_m_155_m_18 = (_v_len5 - _v_len6);
     709              Expr _vv__e__e_tmp_m__s_lib_s_Stream_s_Streamrf_m_155_m_18 = new Expr (_ge_buf__2, 0, _v_len___e__e_tmp_m__s_lib_s_Stream_s_Streamrf_m_155_m_18);
     710              Box.Store (_vs_tream, new Expr (new Expr(_ge_buf__2), new Expr(new Expr (_vs_func, _ve_args))));
    711711              return false;
    712712            }
    713             Result _va_6 = new Result ();
    714             if (!Apply.Apply (_vs_func, _ve_args, _va_6))
     713            Result _va_5 = new Result ();
     714            if (!Apply.Apply (_vs_func, _ve_args, _va_5))
    715715            {
    716716              break _block2__branch1;
    717717            }
    718             _v_buf__1 = _va_6.getExpr ();
     718            _ge_buf__2 = _va_5.getExpr ();
    719719          }
    720720        }
    … …  
    727727  }
    728728
    729   static private boolean Prim_m_Read__0 (Expr _v_arg1, Result _v_res1) throws RefalException
    730   {
    731     if ((_v_arg1.getLen () != 2))
     729  static private boolean Prim_m_Read__0 (Expr _ge_arg1, Result _v_res1) throws RefalException
     730  {
     731    if ((_ge_arg1.getLen () != 2))
    732732    {
    733733      throw new RefalException (_c_21);
    734734    }
    735     if (!_v_arg1.symbolAt (0))
     735    if (!_ge_arg1.symbolAt (0))
    736736    {
    737737      throw new RefalException (_c_21);
    738738    }
    739     if (!_v_arg1.symbolAt ((0 + 1)))
     739    if (!_ge_arg1.symbolAt ((0 + 1)))
    740740    {
    741741      throw new RefalException (_c_21);
    742742    }
    743     Expr _v_stub1 = new Expr (_v_arg1, 0, 1);
    744     Expr _v_stub2 = new Expr (_v_arg1, (0 + 1), 1);
     743    Expr _v_stub1 = new Expr (_ge_arg1, 0, 1);
     744    Expr _v_stub2 = new Expr (_ge_arg1, (0 + 1), 1);
    745745    if (!StdIO.Prim_m_Read (_v_stub1, _v_stub2, _v_res1)) {
    746746      return false;
    … …  
    749749  }
    750750
    751   static private boolean Read_m_Expr__0 (Expr _v_arg1, Result _v_res1) throws RefalException
    752   {
    753     if ((_v_arg1.getLen () != 1))
     751  static private boolean Read_m_Expr__0 (Expr _ge_arg1, Result _v_res1) throws RefalException
     752  {
     753    if ((_ge_arg1.getLen () != 1))
    754754    {
    755755      throw new RefalException (_c_21);
    756756    }
    757     if (!_v_arg1.symbolAt (0))
     757    if (!_ge_arg1.symbolAt (0))
    758758    {
    759759      throw new RefalException (_c_21);
    760760    }
    761     Expr _v_stub1 = new Expr (_v_arg1, 0, 1);
     761    Expr _v_stub1 = new Expr (_ge_arg1, 0, 1);
    762762    if (!Read_m_Expr (_v_stub1, _v_res1))
    763763    {
    … …  
    767767  }
    768768
    769   static private boolean Not_m_EOL__0 (Expr _v_arg1, Result _v_res1) throws RefalException
    770   {
    771     if ((_v_arg1.getLen () != 1))
     769  static private boolean Not_m_EOL__0 (Expr _ge_arg1, Result _v_res1) throws RefalException
     770  {
     771    if ((_ge_arg1.getLen () != 1))
    772772    {
    773773      throw new RefalException (_c_21);
    774774    }
    775     Expr _v_stub1 = new Expr (_v_arg1, 0, 1);
     775    Expr _v_stub1 = new Expr (_ge_arg1, 0, 1);
    776776    if (!Not_m_EOL (_v_stub1))
    777777    {

  • to-imperative/branches/changing_directory_structure/java/org/refal/plus/library/StreamErr.java

    r1965 r2173  
    4848      _exit1: _continue1: for ( ; ; _va_1.next ())
    4949      {
    50         Expr _ve__e__e_tmp_m__s_library_s_Stream_s_refal_s_StreamErrrf_m_38_m_15 = _va_1.getLeft();
     50        Expr _ve__e__e_tmp_m__s_lib_s_Stream_s_StreamErrrf_m_38_m_15 = _va_1.getLeft();
    5151        Expr _v_lsplit__Errors1 = _va_1.getRight();
    5252        if (!_va_1.isValid ())
    … …  
    6060          break _block1__branch1;
    6161        }
    62         int _v_len___e__e_tmp_m__s_library_s_Stream_s_refal_s_StreamErrrf_m_38_m_54 = (_v_len1 - _v_len2);
     62        int _v_len___e__e_tmp_m__s_lib_s_Stream_s_StreamErrrf_m_38_m_54 = (_v_len1 - _v_len2);
    6363        if (_v_lsplit__Errors1.symbolAt (0))
    6464        {
    … …  
    111111          continue _continue1;
    112112        }
    113         Expr _ve__e__e_tmp_m__s_library_s_Stream_s_refal_s_StreamErrrf_m_38_m_54 = new Expr (_v_lsplit__Errors1, (0 + 1), _v_len___e__e_tmp_m__s_library_s_Stream_s_refal_s_StreamErrrf_m_38_m_54);
     113        Expr _ve__e__e_tmp_m__s_lib_s_Stream_s_StreamErrrf_m_38_m_54 = new Expr (_v_lsplit__Errors1, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_Stream_s_StreamErrrf_m_38_m_54);
    114114        Expr _ve_name = new Expr (_v_deref__deref__lsplit__Errors1, 0, _v_len__name);
    115115        Expr _vs_row = new Expr (_v_deref__deref__lsplit__Errors12, 0, 1);

  • to-imperative/branches/changing_directory_structure/java/org/refal/plus/library/cpp__specific.java

    r1965 r2173  
    2727          break _block1__branch1;
    2828        }
    29         int _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_cpp__specificrf_m_33_m_35 = (_v_len1 - _v_len2);
     29        int _v_len___e__e_tmp_m__s_lib_s_NameMangling_s_cpp__specificrf_m_33_m_35 = (_v_len1 - _v_len2);
    3030        if (!_c_0.eq (_v_To_m_Chars1.getExpr (), 0))
    3131        {
    … …  
    3737        }
    3838        Expr _vs_char = new Expr (_v_To_m_Chars1.getExpr (), (0 + 1), 1);
    39         Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_cpp__specificrf_m_33_m_35 = new Expr (_v_To_m_Chars1.getExpr (), (0 + 1 + 1), _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_cpp__specificrf_m_33_m_35);
     39        Expr _ve__e__e_tmp_m__s_lib_s_NameMangling_s_cpp__specificrf_m_33_m_35 = new Expr (_v_To_m_Chars1.getExpr (), (0 + 1 + 1), _v_len___e__e_tmp_m__s_lib_s_NameMangling_s_cpp__specificrf_m_33_m_35);
    4040        _block2: {
    4141          _block2__branch1: {
    … …  
    6262            _exit1: _continue1: for ( ; ; _va_2.next ())
    6363            {
    64               Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_cpp__specificrf_m_35_m_36 = _va_2.getLeft();
     64              Expr _ve__e__e_tmp_m__s_lib_s_NameMangling_s_cpp__specificrf_m_35_m_36 = _va_2.getLeft();
    6565              Expr _v_lsplit__1 = _va_2.getRight();
    6666              if (!_va_2.isValid ())
    … …  
    7474                break _negation1;
    7575              }
    76               int _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_cpp__specificrf_m_35_m_45 = (_v_len3 - _v_len4);
     76              int _v_len___e__e_tmp_m__s_lib_s_NameMangling_s_cpp__specificrf_m_35_m_45 = (_v_len3 - _v_len4);
    7777              if (!_vs_char.eq (_v_lsplit__1, 0))
    7878              {
    7979                continue _continue1;
    8080              }
    81               Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_cpp__specificrf_m_35_m_45 = new Expr (_v_lsplit__1, (0 + 1), _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_cpp__specificrf_m_35_m_45);
     81              Expr _ve__e__e_tmp_m__s_lib_s_NameMangling_s_cpp__specificrf_m_35_m_45 = new Expr (_v_lsplit__1, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_NameMangling_s_cpp__specificrf_m_35_m_45);
    8282              break _exit1;
    8383            }
    … …  
    9191        break _block1;
    9292      }
    93       Result _vs_word = new Result ();
    94       Convert.To_m_Word (_ve_word, _vs_word);
     93      Result _gs_word__1 = new Result ();
     94      Convert.To_m_Word (_ve_word, _gs_word__1);
    9595      if ((73 < 1))
    9696      {
    … …  
    100100      _exit2: _continue2: for ( ; ; _va_3.next ())
    101101      {
    102         Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_cpp__specificrf_m_37_m_50 = _va_3.getLeft();
     102        Expr _ve__e__e_tmp_m__s_lib_s_NameMangling_s_cpp__specificrf_m_37_m_50 = _va_3.getLeft();
    103103        Expr _v_lsplit__Reserved_m_Words = _va_3.getRight();
    104104        if (!_va_3.isValid ())
    … …  
    112112          return false;
    113113        }
    114         int _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_cpp__specificrf_m_37_m_59 = (_v_len5 - _v_len6);
    115         if (!_vs_word.getExpr ().eq (_v_lsplit__Reserved_m_Words, 0))
     114        int _v_len___e__e_tmp_m__s_lib_s_NameMangling_s_cpp__specificrf_m_37_m_59 = (_v_len5 - _v_len6);
     115        if (!_gs_word__1.getExpr ().eq (_v_lsplit__Reserved_m_Words, 0))
    116116        {
    117117          continue _continue2;
    118118        }
    119         Expr _ve__e__e_tmp_m__s_library_s_CppMangle_s_refal_s_cpp__specificrf_m_37_m_59 = new Expr (_v_lsplit__Reserved_m_Words, (0 + 1), _v_len___e__e_tmp_m__s_library_s_CppMangle_s_refal_s_cpp__specificrf_m_37_m_59);
     119        Expr _ve__e__e_tmp_m__s_lib_s_NameMangling_s_cpp__specificrf_m_37_m_59 = new Expr (_v_lsplit__Reserved_m_Words, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_NameMangling_s_cpp__specificrf_m_37_m_59);
    120120        break _exit2;
    121121      }

  • to-imperative/branches/changing_directory_structure/java/org/refal/plus/library/java__specific.java

    r1965 r2173  
    1212  static public boolean Reserved_m_Word_q_ (Expr _ve_word) throws RefalException
    1313  {
    14     Result _vs_word = new Result ();
    15     Convert.To_m_Word (_ve_word, _vs_word);
     14    Result _gs_word__0 = new Result ();
     15    Convert.To_m_Word (_ve_word, _gs_word__0);
    1616    if ((53 < 1))
    1717    {
    … …  
    2121    _exit1: _continue1: for ( ; ; _va_2.next ())
    2222    {
    23       Expr _ve__e__e_tmp_m__s_library_s_JavaMangle_s_refal_s_java__specificrf_m_28_m_50 = _va_2.getLeft();
     23      Expr _ve__e__e_tmp_m__s_lib_s_NameMangling_s_java__specificrf_m_28_m_50 = _va_2.getLeft();
    2424      Expr _v_lsplit__Reserved_m_Words = _va_2.getRight();
    2525      if (!_va_2.isValid ())
    … …  
    3333        return false;
    3434      }
    35       int _v_len___e__e_tmp_m__s_library_s_JavaMangle_s_refal_s_java__specificrf_m_28_m_59 = (_v_len1 - _v_len2);
    36       if (!_vs_word.getExpr ().eq (_v_lsplit__Reserved_m_Words, 0))
     35      int _v_len___e__e_tmp_m__s_lib_s_NameMangling_s_java__specificrf_m_28_m_59 = (_v_len1 - _v_len2);
     36      if (!_gs_word__0.getExpr ().eq (_v_lsplit__Reserved_m_Words, 0))
    3737      {
    3838        continue _continue1;
    3939      }
    40       Expr _ve__e__e_tmp_m__s_library_s_JavaMangle_s_refal_s_java__specificrf_m_28_m_59 = new Expr (_v_lsplit__Reserved_m_Words, (0 + 1), _v_len___e__e_tmp_m__s_library_s_JavaMangle_s_refal_s_java__specificrf_m_28_m_59);
     40      Expr _ve__e__e_tmp_m__s_lib_s_NameMangling_s_java__specificrf_m_28_m_59 = new Expr (_v_lsplit__Reserved_m_Words, (0 + 1), _v_len___e__e_tmp_m__s_lib_s_NameMangling_s_java__specificrf_m_28_m_59);
    4141      break _exit1;
    4242    }
Note: See TracChangeset for help on using the changeset viewer.