Changeset 3615


Ignore:
Timestamp:
Mar 30, 2008, 1:19:28 AM (13 years ago)
Author:
yura
Message:
  • Java are splited into two packages: onlu java libraries are in refal.plus, refal+java libraries in refal.plus.internal.
Location:
to-imperative/trunk/java
Files:
1 added
5 edited
10 moved

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/java/java/refal/plus/IndexedStream.java

    r3428 r3615  
    1 
    21package refal.plus;
    32
     
    54
    65public class IndexedStream {
    7   static  final Expr _c_2 = Expr.concat (Symbol.newInt ("0"), Symbol.newInt ("0"));
    8   static  final Expr _c_0 = _c_2.subexpr (0, 1);
    9   static  final Expr _c_1 = new Expr ((Comparable<?>) Expr.concat ((Comparable<?>) Expr.empty, (Comparable<?>) _c_2));
     6    private static final Expr _c_2 = Expr.concat(Symbol.newInt("0"), Symbol.newInt("0"));
     7    private static final Expr _c_0 = _c_2.subexpr(0, 1);
     8    private static final Expr _c_1 = new Expr((Comparable<?>) Expr.concat((Comparable<?>) Expr.empty, (Comparable<?>) _c_2));
    109
    11   @RefalFormat("$func Name s = e;")
    12   static  void Name (Expr _vs_tream, Result _v_res1) throws RefalException
    13   {
    14     _v_res1.assign (Expr.empty);
    15   }
     10    @RefalFormat("$func Name s = e;")
     11    public static void Name (Expr _vs_tream, Result _v_res1) throws RefalException {
     12        _v_res1.assign(Expr.empty);
     13    }
    1614
    17   @RefalFormat("$func Row s = s;")
    18   static  void Row (Expr _vs_tream, Result _v_res1) throws RefalException
    19   {
    20     _v_res1.assign (_c_0);
    21   }
     15    @RefalFormat("$func Row s = s;")
     16    public static void Row (Expr _vs_tream, Result _v_res1) throws RefalException {
     17        _v_res1.assign(_c_0);
     18    }
    2219
    23   @RefalFormat("$func Column s = s;")
    24   static  void Column (Expr _vs_tream, Result _v_res1) throws RefalException
    25   {
    26     _v_res1.assign (_c_0);
    27   }
     20    @RefalFormat("$func Column s = s;")
     21    public static void Column (Expr _vs_tream, Result _v_res1) throws RefalException {
     22        _v_res1.assign(_c_0);
     23    }
    2824
    29   @RefalFormat("$func Current_Pos s = t;")
    30   static  void Current_Pos (Expr _vs_tream, Result _v_res1) throws RefalException
    31   {
    32     _v_res1.assign (_c_1);
    33   }
     25    @RefalFormat("$func Current_Pos s = t;")
     26    public static void Current_Pos (Expr _vs_tream, Result _v_res1) throws RefalException {
     27        _v_res1.assign(_c_1);
     28    }
    3429}
  • to-imperative/trunk/java/java/refal/plus/internal/Convert.java

    r3614 r3615  
    55 */
    66
    7 package refal.plus;
     7package refal.plus.internal;
    88
    99import java.lang.String;
     
    102102        res.assign(concat.yield());
    103103    }
    104 
    105     // ///////////////////// Begining of generated part ///////////////////
    106 
    107     @RefalFormat("$func? Read_Expr e = e;")
    108     static public boolean Read_Expr (Expr _ve_xpr, Result _v_res1) throws RefalException {
    109         Result _ge_auxcall1 = new Result();
    110         ToChars(_ve_xpr, _ge_auxcall1);
    111         Result _vs_tream = new Result();
    112         refal.plus.Stream.Expr_Open(_ge_auxcall1.getExpr(), _vs_tream);
    113         Expr _ve_res = Expr.empty;
    114         _ve_res = Expr.empty;
    115         _exit__iter1: for (;;) {
    116             _iter1: {
    117                 if (!refal.plus.Stream.IsEnd_of_Stream(_vs_tream.getExpr())) {
    118                     break _iter1;
    119                 }
    120                 _v_res1.assign(_ve_res);
    121                 break _exit__iter1;
    122             }
    123             Result _v_IsRead__Term1 = new Result();
    124             if (!refal.plus.Lexer.IsRead_Term(_vs_tream.getExpr(), _v_IsRead__Term1)) {
    125                 return false;
    126             }
    127             _ve_res = Expr.concat(_ve_res, _v_IsRead__Term1.getExpr());
    128         }
    129         return true;
    130     }
    131 
    132     // ///////////////////// End of generated part ///////////////////
    133 
    134104}
  • to-imperative/trunk/java/java/refal/plus/internal/CppMangle.java

    r3614 r3615  
    11
    2 package refal.plus;
     2package refal.plus.internal;
    33
    44import org.refal.plus.*;
     5
     6import refal.plus.Apply;
     7import refal.plus.Class;
    58
    69public class CppMangle {
     
    641644  {
    642645    Result _ge_auxcall1 = new Result ();
    643     refal.plus.Convert.ToChars (_ve_name, _ge_auxcall1);
    644     if (!refal.plus.List.Map (_c_23, Expr.empty, _ge_auxcall1.getExpr (), _v_res1))
     646    refal.plus.internal.Convert.ToChars (_ve_name, _ge_auxcall1);
     647    if (!refal.plus.internal.List.Map (_c_23, Expr.empty, _ge_auxcall1.getExpr (), _v_res1))
    645648    {
    646649      throw new RefalException ("refal.plus.CppMangle", "Chars2Cpp", "Unexpected fail");
     
    819822  {
    820823    Result _v_ToChars1 = new Result ();
    821     refal.plus.Convert.ToChars (_ve_ident, _v_ToChars1);
     824    refal.plus.internal.Convert.ToChars (_ve_ident, _v_ToChars1);
    822825    Expr _ge_auxalt1 = Expr.empty;
    823826    _block1: {
     
    10411044      return false;
    10421045    }
    1043     refal.plus.Convert.ToWord (_ge_auxcall1.getExpr (), _v_res1);
     1046    refal.plus.internal.Convert.ToWord (_ge_auxcall1.getExpr (), _v_res1);
    10441047    return true;
    10451048  }
  • to-imperative/trunk/java/java/refal/plus/internal/Error.java

    r3614 r3615  
    11
    2 package refal.plus;
     2package refal.plus.internal;
    33
    44import org.refal.plus.*;
     
    1818  {
    1919    Result _ge_auxcall1 = new Result ();
    20     refal.plus.List.Intersperse (_c_0, _ve_name, _ge_auxcall1);
     20    refal.plus.internal.List.Intersperse (_c_0, _ve_name, _ge_auxcall1);
    2121    Result _gs_auxcall2 = new Result ();
    22     refal.plus.Convert.ToWord (_ge_auxcall1.getExpr (), _gs_auxcall2);
     22    refal.plus.internal.Convert.ToWord (_ge_auxcall1.getExpr (), _gs_auxcall2);
    2323    throw new RefalException (Expr.concat (_gs_auxcall2.getExpr (), _c_1));
    2424  }
  • to-imperative/trunk/java/java/refal/plus/internal/Lexer.java

    r3614 r3615  
    11
    2 package refal.plus;
     2package refal.plus.internal;
    33
    44import org.refal.plus.*;
     5
     6import refal.plus.Arithm;
     7import refal.plus.Box;
     8import refal.plus.Class;
     9import refal.plus.Compare;
     10import refal.plus.IndexedStream;
    511
    612public class Lexer {
     
    230236  {
    231237    Result _v_Get__While1 = new Result ();
    232     refal.plus.Stream.Get_While (_vs_tream, _c_6, _v_Get__While1);
     238    refal.plus.internal.Stream.Get_While (_vs_tream, _c_6, _v_Get__While1);
    233239    int _v_len1;
    234240    _v_len1 = _v_Get__While1.getExpr ().length ();
     
    258264          break _block1__branch1;
    259265        }
    260         refal.plus.StreamErr.Clear_Errors ();
     266        refal.plus.internal.StreamErr.Clear_Errors ();
    261267        break _block1;
    262268      }
    263269    }
    264270    Result _v_Getc1 = new Result ();
    265     if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc1))
     271    if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc1))
    266272    {
    267273      return false;
     
    274280        }
    275281        Result _v_Get__Line1 = new Result ();
    276         refal.plus.Stream.Get_Line (_vs_tream, _v_Get__Line1);
     282        refal.plus.internal.Stream.Get_Line (_vs_tream, _v_Get__Line1);
    277283        int _v_len1;
    278284        _v_len1 = _v_Get__Line1.getExpr ().length ();
     
    299305          _block3__branch1: {
    300306            Result _v_Getc2 = new Result ();
    301             if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc2))
     307            if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc2))
    302308            {
    303309              break _block3__branch1;
     
    310316                }
    311317                Result _v_Get__Line2 = new Result ();
    312                 refal.plus.Stream.Get_Line (_vs_tream, _v_Get__Line2);
     318                refal.plus.internal.Stream.Get_Line (_vs_tream, _v_Get__Line2);
    313319                int _v_len3;
    314320                _v_len3 = _v_Get__Line2.getExpr ().length ();
     
    348354                    _block5__branch1: {
    349355                      Result _v_Get__Delim1 = new Result ();
    350                       refal.plus.Stream.Get_Delim (_vs_tream, _c_7, _v_Get__Delim1);
     356                      refal.plus.internal.Stream.Get_Delim (_vs_tream, _c_7, _v_Get__Delim1);
    351357                      int _v_len5;
    352358                      _v_len5 = _v_Get__Delim1.getExpr ().length ();
     
    364370                        _block6__branch1: {
    365371                          Result _v_Getc3 = new Result ();
    366                           if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc3))
     372                          if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc3))
    367373                          {
    368374                            break _block6__branch1;
     
    383389                          break _block6;
    384390                        }
    385                         refal.plus.StreamErr.Error_At (_vt_pos.getExpr (), _c_10);
     391                        refal.plus.internal.StreamErr.Error_At (_vt_pos.getExpr (), _c_10);
    386392                        _ve_Isstop = _c_9;
    387393                      }
    388394                      break _block5;
    389395                    }
    390                     refal.plus.StreamErr.Error_At (_vt_pos.getExpr (), _c_10);
     396                    refal.plus.internal.StreamErr.Error_At (_vt_pos.getExpr (), _c_10);
    391397                    _ve_Isstop = _c_9;
    392398                  }
     
    396402              Expr _vt_1 = Expr.empty;
    397403              _vt_1 = _v_Getc2.getExpr ().subexpr (0, 1);
    398               refal.plus.StreamErr.Error (_vs_tream, Expr.getConcatenator ().toRight (_c_12).toRight (_vt_1).toRight (_c_11).yield ());
     404              refal.plus.internal.StreamErr.Error (_vs_tream, Expr.getConcatenator ().toRight (_c_12).toRight (_vt_1).toRight (_c_11).yield ());
    399405              return false;
    400406            }
    401407            break _block3;
    402408          }
    403           refal.plus.StreamErr.Error_At (_vt_pos.getExpr (), _c_13);
     409          refal.plus.internal.StreamErr.Error_At (_vt_pos.getExpr (), _c_13);
    404410          return false;
    405411        }
     
    408414      Expr _vt_1 = Expr.empty;
    409415      _vt_1 = _v_Getc1.getExpr ().subexpr (0, 1);
    410       refal.plus.Stream.Ungets (_vs_tream, _vt_1);
     416      refal.plus.internal.Stream.Ungets (_vs_tream, _vt_1);
    411417      return false;
    412418    }
     
    473479  {
    474480    Result _v_Getc1 = new Result ();
    475     if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc1))
     481    if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc1))
    476482    {
    477483      return false;
     
    487493      Expr _vt_1 = Expr.empty;
    488494      _vt_1 = _v_Getc1.getExpr ().subexpr (0, 1);
    489       refal.plus.Stream.Ungets (_vs_tream, _vt_1);
     495      refal.plus.internal.Stream.Ungets (_vs_tream, _vt_1);
    490496      return false;
    491497    }
    492498    Result _ve_ident = new Result ();
    493     refal.plus.Stream.Get_While (_vs_tream, _c_16, _ve_ident);
     499    refal.plus.internal.Stream.Get_While (_vs_tream, _c_16, _ve_ident);
    494500    Expr _ge_auxalt1 = Expr.empty;
    495501    _block2: {
     
    506512        }
    507513        Result _va_2 = new Result ();
    508         refal.plus.Convert.ToLower (_ve_ident.getExpr (), _va_2);
     514        refal.plus.internal.Convert.ToLower (_ve_ident.getExpr (), _va_2);
    509515        _ge_auxalt1 = _va_2.getExpr ();
    510516        break _block2;
     
    741747      Expr _ve_1 = Expr.empty;
    742748      _ve_1 = _ge_auxalt1.subexpr (0, _v_len__1);
    743       refal.plus.Stream.Ungets (_vs_tream, Expr.concat (_c_15, _ve_1));
     749      refal.plus.internal.Stream.Ungets (_vs_tream, Expr.concat (_c_15, _ve_1));
    744750      return false;
    745751    }
     
    751757  {
    752758    Result _v_Getc1 = new Result ();
    753     if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc1))
     759    if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc1))
    754760    {
    755761      return false;
     
    785791        break _block1;
    786792      }
    787       refal.plus.Stream.Ungets (_vs_tream, _vs_first);
     793      refal.plus.internal.Stream.Ungets (_vs_tream, _vs_first);
    788794      return false;
    789795    }
    790796    Result _v_Get__While1 = new Result ();
    791     refal.plus.Stream.Get_While (_vs_tream, _c_55, _v_Get__While1);
     797    refal.plus.internal.Stream.Get_While (_vs_tream, _c_55, _v_Get__While1);
    792798    _v_res1.assign (Expr.getConcatenator ().toRight (_c_56).toRight (_vs_first).toRight (_v_Get__While1.getExpr ()).yield ());
    793799    return true;
     
    798804  {
    799805    Result _v_Getc1 = new Result ();
    800     if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc1))
     806    if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc1))
    801807    {
    802808      return false;
     
    838844      Expr _vt_1 = Expr.empty;
    839845      _vt_1 = _v_Getc1.getExpr ().subexpr (0, 1);
    840       refal.plus.Stream.Ungets (_vs_tream, _vt_1);
     846      refal.plus.internal.Stream.Ungets (_vs_tream, _vt_1);
    841847      return false;
    842848    }
    843849    Result _v_Getc2 = new Result ();
    844     if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc2))
     850    if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc2))
    845851    {
    846852      return false;
     
    854860        }
    855861        Result _va_3 = new Result ();
    856         refal.plus.Stream.Get_While (_vs_tream, _c_16, _va_3);
     862        refal.plus.internal.Stream.Get_While (_vs_tream, _c_16, _va_3);
    857863        _ve_name = _va_3.getExpr ();
    858864        break _block2;
     
    870876        }
    871877        Result _v_Get__While1 = new Result ();
    872         refal.plus.Stream.Get_While (_vs_tream, _c_16, _v_Get__While1);
     878        refal.plus.internal.Stream.Get_While (_vs_tream, _c_16, _v_Get__While1);
    873879        _ve_name = Expr.concat (_vs_1, _v_Get__While1.getExpr ());
    874880        break _block2;
     
    876882      Expr _vt_1 = Expr.empty;
    877883      _vt_1 = _v_Getc2.getExpr ().subexpr (0, 1);
    878       refal.plus.Stream.Ungets (_vs_tream, _vt_1);
     884      refal.plus.internal.Stream.Ungets (_vs_tream, _vt_1);
    879885      _ve_name = Expr.empty;
    880886    }
     
    887893  {
    888894    Result _v_Getc1 = new Result ();
    889     if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc1))
     895    if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc1))
    890896    {
    891897      return false;
     
    913919        }
    914920        Result _v_Get__While1 = new Result ();
    915         refal.plus.Stream.Get_While (_vs_tream, _c_67, _v_Get__While1);
     921        refal.plus.internal.Stream.Get_While (_vs_tream, _c_67, _v_Get__While1);
    916922        _v_res1.assign (Expr.getConcatenator ().toRight (_c_68).toRight (_vs_first).toRight (_v_Get__While1.getExpr ()).yield ());
    917923        break _block1;
    918924      }
    919       refal.plus.Stream.Ungets (_vs_tream, _vs_first);
     925      refal.plus.internal.Stream.Ungets (_vs_tream, _vs_first);
    920926      return false;
    921927    }
     
    931937    }
    932938    Result _ge_auxcall1 = new Result ();
    933     refal.plus.Convert.ToUpper (_vs_letter, _ge_auxcall1);
     939    refal.plus.internal.Convert.ToUpper (_vs_letter, _ge_auxcall1);
    934940    if (!refal.plus.Compare.Eq (_ge_auxcall1.getExpr (), _vs_letter)) {
    935941      return false;
     
    10051011          break _block1__branch1;
    10061012        }
    1007         refal.plus.StreamErr.Clear_Errors ();
     1013        refal.plus.internal.StreamErr.Clear_Errors ();
    10081014        break _block1;
    10091015      }
     
    10121018    refal.plus.IndexedStream.Current_Pos (_vs_tream, _vt_pos);
    10131019    Result _v_Getc1 = new Result ();
    1014     if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc1))
     1020    if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc1))
    10151021    {
    10161022      return false;
     
    10291035      Expr _vt_1 = Expr.empty;
    10301036      _vt_1 = _v_Getc1.getExpr ().subexpr (0, 1);
    1031       refal.plus.Stream.Ungets (_vs_tream, _vt_1);
     1037      refal.plus.internal.Stream.Ungets (_vs_tream, _vt_1);
    10321038      return false;
    10331039    }
     
    10471053          break _block1__branch1;
    10481054        }
    1049         refal.plus.StreamErr.Clear_Errors ();
     1055        refal.plus.internal.StreamErr.Clear_Errors ();
    10501056        break _block1;
    10511057      }
     
    10541060    refal.plus.IndexedStream.Current_Pos (_vs_tream, _vt_pos);
    10551061    Result _v_Getc1 = new Result ();
    1056     if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc1))
     1062    if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc1))
    10571063    {
    10581064      return false;
     
    10711077      Expr _vt_1 = Expr.empty;
    10721078      _vt_1 = _v_Getc1.getExpr ().subexpr (0, 1);
    1073       refal.plus.Stream.Ungets (_vs_tream, _vt_1);
     1079      refal.plus.internal.Stream.Ungets (_vs_tream, _vt_1);
    10741080      return false;
    10751081    }
     
    10891095          break _block1__branch1;
    10901096        }
    1091         refal.plus.StreamErr.Clear_Errors ();
     1097        refal.plus.internal.StreamErr.Clear_Errors ();
    10921098        break _block1;
    10931099      }
     
    10961102    refal.plus.IndexedStream.Current_Pos (_vs_tream, _vt_pos);
    10971103    Result _v_Getc1 = new Result ();
    1098     if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc1))
     1104    if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc1))
    10991105    {
    11001106      return false;
     
    11221128            Expr _vv_str = Expr.empty;
    11231129            _vv_str = _v_Scan__String__Rest1.getExpr ().subexpr (0, _v_len__str);
    1124             refal.plus.Stream.Ungets (_vs_tream, _c_73);
     1130            refal.plus.internal.Stream.Ungets (_vs_tream, _c_73);
    11251131            _v_res1.assign (Expr.concat (_c_74, _vv_str));
    11261132            break _block3;
     
    11441150      Expr _vt_1 = Expr.empty;
    11451151      _vt_1 = _v_Getc1.getExpr ().subexpr (0, 1);
    1146       refal.plus.Stream.Ungets (_vs_tream, _vt_1);
     1152      refal.plus.internal.Stream.Ungets (_vs_tream, _vt_1);
    11471153      return false;
    11481154    }
     
    11701176        _block1__branch1: {
    11711177          Result _v_Getc1 = new Result ();
    1172           if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc1))
     1178          if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc1))
    11731179          {
    11741180            break _block1__branch1;
     
    11911197                _block3__branch1: {
    11921198                  Result _v_Getc2 = new Result ();
    1193                   if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc2))
     1199                  if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc2))
    11941200                  {
    11951201                    break _block3__branch1;
     
    13091315                      Expr _vs_1 = Expr.empty;
    13101316                      _vs_1 = _v_Getc2.getExpr ().subexpr (0, 1);
    1311                       refal.plus.StreamErr.Error (_vs_tream, Expr.getConcatenator ().toRight (_c_79).toRight (_vs_1).toRight (_c_11).yield ());
     1317                      refal.plus.internal.StreamErr.Error (_vs_tream, Expr.getConcatenator ().toRight (_c_79).toRight (_vs_1).toRight (_c_11).yield ());
    13121318                      Result _va_14 = new Result ();
    13131319                      refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_14);
     
    13181324                    Expr _vt_1 = Expr.empty;
    13191325                    _vt_1 = _v_Getc2.getExpr ().subexpr (0, 1);
    1320                     refal.plus.StreamErr.Error (_vs_tream, Expr.getConcatenator ().toRight (_c_80).toRight (_vt_1).toRight (_c_11).yield ());
     1326                    refal.plus.internal.StreamErr.Error (_vs_tream, Expr.getConcatenator ().toRight (_c_80).toRight (_vt_1).toRight (_c_11).yield ());
    13211327                  }
    13221328                  break _block3;
    13231329                }
    1324                 refal.plus.StreamErr.Error_At (_vt_pos, _c_81);
     1330                refal.plus.internal.StreamErr.Error_At (_vt_pos, _c_81);
    13251331                _gs_max__0 = _c_1;
    13261332              }
     
    13531359            Expr _vt_1 = Expr.empty;
    13541360            _vt_1 = _v_Getc1.getExpr ().subexpr (0, 1);
    1355             refal.plus.StreamErr.Error (_vs_tream, Expr.getConcatenator ().toRight (_c_12).toRight (_vt_1).toRight (_c_11).yield ());
     1361            refal.plus.internal.StreamErr.Error (_vs_tream, Expr.getConcatenator ().toRight (_c_12).toRight (_vt_1).toRight (_c_11).yield ());
    13561362          }
    13571363          break _block1;
    13581364        }
    1359         refal.plus.StreamErr.Error_At (_vt_pos, _c_81);
     1365        refal.plus.internal.StreamErr.Error_At (_vt_pos, _c_81);
    13601366        _gs_max__0 = _c_1;
    13611367      }
     
    14061412            refal.plus.IndexedStream.Current_Pos (_vs_tream, _vt_pos);
    14071413            Result _v_Getc1 = new Result ();
    1408             if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc1))
     1414            if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc1))
    14091415            {
    14101416              break _block1__branch1;
     
    14621468                      break _block3;
    14631469                    }
    1464                     refal.plus.StreamErr.Error_At (_vt_pos.getExpr (), _c_83);
     1470                    refal.plus.internal.StreamErr.Error_At (_vt_pos.getExpr (), _c_83);
    14651471                    return false;
    14661472                  }
     
    14971503                    break _block4;
    14981504                  }
    1499                   refal.plus.StreamErr.Error (_vs_tream, _c_86);
     1505                  refal.plus.internal.StreamErr.Error (_vs_tream, _c_86);
    15001506                  return false;
    15011507                }
     
    15041510              Expr _vt_1 = Expr.empty;
    15051511              _vt_1 = _v_Getc1.getExpr ().subexpr (0, 1);
    1506               refal.plus.Stream.Ungets (_vs_tream, _vt_1);
     1512              refal.plus.internal.Stream.Ungets (_vs_tream, _vt_1);
    15071513              break _block1__branch1;
    15081514            }
     
    15831589                    }
    15841590                    Result _ge_auxcall5 = new Result ();
    1585                     refal.plus.Convert.ToUpper (_ve_value, _ge_auxcall5);
    1586                     refal.plus.Convert.ToWord (_ge_auxcall5.getExpr (), _v_res1);
     1591                    refal.plus.internal.Convert.ToUpper (_ve_value, _ge_auxcall5);
     1592                    refal.plus.internal.Convert.ToWord (_ge_auxcall5.getExpr (), _v_res1);
    15871593                    break _block7;
    15881594                  }
    1589                   refal.plus.Convert.ToWord (_ve_value, _v_res1);
     1595                  refal.plus.internal.Convert.ToWord (_ve_value, _v_res1);
    15901596                }
    15911597                break _block6;
     
    15961602                  break _block6__branch2;
    15971603                }
    1598                 refal.plus.Convert.ToWord (_ve_value, _v_res1);
     1604                refal.plus.internal.Convert.ToWord (_ve_value, _v_res1);
    15991605                break _block6;
    16001606              }
     
    16291635                throw new RefalException ("refal.plus.Lexer", "Read_Term_Aux", "Unexpected fail");
    16301636              }
    1631               if (!refal.plus.Convert.ToInt (_ve_value, _v_res1))
     1637              if (!refal.plus.internal.Convert.ToInt (_ve_value, _v_res1))
    16321638              {
    16331639                return false;
     
    16371643          }
    16381644          Result _v_Getc2 = new Result ();
    1639           if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc2))
     1645          if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc2))
    16401646          {
    16411647            return false;
     
    16431649          Expr _vt_1 = Expr.empty;
    16441650          _vt_1 = _v_Getc2.getExpr ().subexpr (0, 1);
    1645           refal.plus.StreamErr.Error (_vs_tream, Expr.getConcatenator ().toRight (_c_12).toRight (_vt_1).toRight (_c_11).yield ());
     1651          refal.plus.internal.StreamErr.Error (_vs_tream, Expr.getConcatenator ().toRight (_c_12).toRight (_vt_1).toRight (_c_11).yield ());
    16461652          if (!Read_Term_Aux (_vs_tream, _v_res1)) {
    16471653            return false;
  • to-imperative/trunk/java/java/refal/plus/internal/List.java

    r3614 r3615  
    11
    2 package refal.plus;
     2package refal.plus.internal;
    33
    44import org.refal.plus.*;
     5
     6import refal.plus.Apply;
     7import refal.plus.Arithm;
     8import refal.plus.Compare;
    59
    610public class List {
  • to-imperative/trunk/java/java/refal/plus/internal/StdIO.java

    r3614 r3615  
    55 */
    66
    7 package refal.plus;
     7package refal.plus.internal;
    88
    99import java.io.File;
     
    2020import org.refal.plus.Result;
    2121import org.refal.plus.Symbol;
     22
     23import refal.plus.Class;
     24import refal.plus.Table;
    2225
    2326public class StdIO {
     
    226229          break _block1__branch1;
    227230        }
    228         refal.plus.Error.Lib_Error (_c_0, _c_1);
     231        refal.plus.internal.Error.Lib_Error (_c_0, _c_1);
    229232        break _block1;
    230233      }
     
    237240          break _block1__branch2;
    238241        }
    239         refal.plus.Error.Lib_Error (_c_0, _c_2);
     242        refal.plus.internal.Error.Lib_Error (_c_0, _c_2);
    240243        break _block1;
    241244      }
     
    245248      }
    246249      Result _gs_auxcall1 = new Result ();
    247       refal.plus.Stream.Stream (_c_3, Expr.concat (_vs_channel, ReadChunkSize), _gs_auxcall1);
     250      refal.plus.internal.Stream.Stream (_c_3, Expr.concat (_vs_channel, ReadChunkSize), _gs_auxcall1);
    248251      refal.plus.Table.Bind (Buffers, _vs_channel, _gs_auxcall1.getExpr ());
    249252    }
     
    263266          break _block1__branch1;
    264267        }
    265         refal.plus.Error.Lib_Error (_c_4, _c_1);
     268        refal.plus.internal.Error.Lib_Error (_c_4, _c_1);
    266269        break _block1;
    267270      }
     
    291294        Expr _vs_tream = Expr.empty;
    292295        _vs_tream = _v_Lookup1.getExpr ().subexpr (0, 1);
    293         if (!refal.plus.Stream.IsEnd_of_Stream (_vs_tream)) {
     296        if (!refal.plus.internal.Stream.IsEnd_of_Stream (_vs_tream)) {
    294297          return false;
    295298        }
    296299        break _block1;
    297300      }
    298       refal.plus.Error.Lib_Error (_c_5, _c_6);
     301      refal.plus.internal.Error.Lib_Error (_c_5, _c_6);
    299302    }
    300303    return true;
     
    322325        _vs_tream = _v_Lookup1.getExpr ().subexpr (0, 1);
    323326        Result _v_Getc1 = new Result ();
    324         if (!refal.plus.Stream.Getc (_vs_tream, _v_Getc1))
     327        if (!refal.plus.internal.Stream.Getc (_vs_tream, _v_Getc1))
    325328        {
    326329          return false;
     
    335338        break _block1;
    336339      }
    337       refal.plus.Error.Lib_Error (_c_7, _c_6);
     340      refal.plus.internal.Error.Lib_Error (_c_7, _c_6);
    338341      return false;
    339342    }
     
    371374        _vs_tream = _v_Lookup1.getExpr ().subexpr (0, 1);
    372375        Result _v_Get__Line1 = new Result ();
    373         refal.plus.Stream.Get_Line (_vs_tream, _v_Get__Line1);
     376        refal.plus.internal.Stream.Get_Line (_vs_tream, _v_Get__Line1);
    374377        _block2: {
    375378          _block2__branch1: {
     
    449452        break _block1;
    450453      }
    451       refal.plus.Error.Lib_Error (_c_11, _c_6);
     454      refal.plus.internal.Error.Lib_Error (_c_11, _c_6);
    452455      return false;
    453456    }
     
    506509          _block2__branch1: {
    507510            Result _va_1 = new Result ();
    508             if (!refal.plus.Lexer.IsRead_Term (_vs_tream, _va_1))
     511            if (!refal.plus.internal.Lexer.IsRead_Term (_vs_tream, _va_1))
    509512            {
    510513              break _block2__branch1;
     
    517520        _block3__branch1: {
    518521          Result _v_Errors1 = new Result ();
    519           refal.plus.StreamErr.Errors (_v_Errors1);
     522          refal.plus.internal.StreamErr.Errors (_v_Errors1);
    520523          int _v_len1;
    521524          _v_len1 = _v_Errors1.getExpr ().length ();
     
    562565          Expr _ve_message = Expr.empty;
    563566          _ve_message = _v_deref__deref__Errors1.subexpr (0, _v_len__message);
    564           refal.plus.Error.Lib_Error (Expr.concat (_c_14, _vs_fname), _ve_message);
     567          refal.plus.internal.Error.Lib_Error (Expr.concat (_c_14, _vs_fname), _ve_message);
    565568          return false;
    566569        }
     
    574577        break _block1;
    575578      }
    576       refal.plus.Error.Lib_Error (Expr.concat (_c_14, _vs_fname), _c_6);
     579      refal.plus.internal.Error.Lib_Error (Expr.concat (_c_14, _vs_fname), _c_6);
    577580      return false;
    578581    }
  • to-imperative/trunk/java/java/refal/plus/internal/Stream.java

    r3614 r3615  
    11
    2 package refal.plus;
     2package refal.plus.internal;
    33
    44import org.refal.plus.*;
     5
     6import refal.plus.Access;
     7import refal.plus.Apply;
     8import refal.plus.Box;
     9import refal.plus.Class;
     10import refal.plus.Compare;
    511
    612public class Stream {
     
    2430  static  final Expr _c_7 = new Expr (Symbol.newWord ("Arg 1 is not a Streamed File"));
    2531  static  final Expr _c_8 = new Expr (Symbol.newWord ("Arg 1 is not a Stream"));
    26   static  final Expr _c_9 = Expr.concat (refal.plus.StdIO.StdIn, Symbol.newInt ("1"));
     32  static  final Expr _c_9 = Expr.concat (refal.plus.internal.StdIO.StdIn, Symbol.newInt ("1"));
    2733  static  final Expr _c_10 = _c_9.subexpr (1, 1);
    2834  static  final Expr _c_11 = new Expr (Symbol.newInt ("0"));
     
    5359        break _block1__branch1;
    5460      }
    55       refal.plus.Error.Lib_Error (_c_0, _c_1);
     61      refal.plus.internal.Error.Lib_Error (_c_0, _c_1);
    5662      throw new RefalException ("refal.plus.Stream", "Stream", "Unexpected fail");
    5763    }
     
    9399  {
    94100    Result _vs_channel = new Result ();
    95     refal.plus.StdIO.Channel (_vs_channel);
    96     if (!refal.plus.StdIO.PrimOpenFile (_vs_channel.getExpr (), _ve_filename, _c_4))
     101    refal.plus.internal.StdIO.Channel (_vs_channel);
     102    if (!refal.plus.internal.StdIO.PrimOpenFile (_vs_channel.getExpr (), _ve_filename, _c_4))
    97103    {
    98104      throw new RefalException ("refal.plus.Stream", "File_Open", "Unexpected fail");
    99105    }
    100     Stream (_c_5, Expr.concat (_vs_channel.getExpr (), refal.plus.StdIO.ReadChunkSize), _v_res1);
     106    Stream (_c_5, Expr.concat (_vs_channel.getExpr (), refal.plus.internal.StdIO.ReadChunkSize), _v_res1);
    101107  }
    102108
     
    178184              break _block2__branch1;
    179185            }
    180             refal.plus.StdIO.PrimCloseChannel (_vs_ch);
     186            refal.plus.internal.StdIO.PrimCloseChannel (_vs_ch);
    181187            break _block2;
    182188          }
    183           refal.plus.Error.Lib_Error (_c_6, _c_7);
     189          refal.plus.internal.Error.Lib_Error (_c_6, _c_7);
    184190          throw new RefalException ("refal.plus.Stream", "File_Close", "Unexpected fail");
    185191        }
    186192        break _block1;
    187193      }
    188       refal.plus.Error.Lib_Error (_c_6, _c_8);
     194      refal.plus.internal.Error.Lib_Error (_c_6, _c_8);
    189195      throw new RefalException ("refal.plus.Stream", "File_Close", "Unexpected fail");
    190196    }
     
    325331        break _block1;
    326332      }
    327       refal.plus.Error.Lib_Error (_c_12, _c_8);
     333      refal.plus.internal.Error.Lib_Error (_c_12, _c_8);
    328334      return false;
    329335    }
     
    387393        break _block1;
    388394      }
    389       refal.plus.Error.Lib_Error (_c_13, _c_8);
     395      refal.plus.internal.Error.Lib_Error (_c_13, _c_8);
    390396      throw new RefalException ("refal.plus.Stream", "Ungets", "Unexpected fail");
    391397    }
     
    550556        break _block1;
    551557      }
    552       refal.plus.Error.Lib_Error (_c_15, _c_8);
     558      refal.plus.internal.Error.Lib_Error (_c_15, _c_8);
    553559      throw new RefalException ("refal.plus.Stream", "Get_Delim", "Unexpected fail");
    554560    }
     
    720726        break _block1;
    721727      }
    722       refal.plus.Error.Lib_Error (_c_19, _c_8);
     728      refal.plus.internal.Error.Lib_Error (_c_19, _c_8);
    723729      throw new RefalException ("refal.plus.Stream", "Get_While", "Unexpected fail");
    724730    }
     
    809815        break _block1;
    810816      }
    811       refal.plus.Error.Lib_Error (_c_20, _c_8);
     817      refal.plus.internal.Error.Lib_Error (_c_20, _c_8);
    812818      return false;
    813819    }
     
    833839    Expr _v_stub2 = Expr.empty;
    834840    _v_stub2 = _ge_arg1.subexpr ((0 + 1), 1);
    835     if (!refal.plus.StdIO.PrimRead (_v_stub1, _v_stub2, _v_res1)) {
     841    if (!refal.plus.internal.StdIO.PrimRead (_v_stub1, _v_stub2, _v_res1)) {
    836842      return false;
    837843    }
  • to-imperative/trunk/java/java/refal/plus/internal/StreamErr.java

    r3614 r3615  
    11
    2 package refal.plus;
     2package refal.plus.internal;
    33
    44import org.refal.plus.*;
     5
     6import refal.plus.Box;
    57
    68public class StreamErr {
     
    136138        Expr _ve_message = Expr.empty;
    137139        _ve_message = _v_deref__deref__lsplit__Errors13.subexpr (0, _v_len__message);
    138         refal.plus.StdIO.PrintLn (Expr.getConcatenator ().toRight (_ve_name).toRight (_c_3).toRight (_vs_row).toRight (_c_2).toRight (_vs_col).toRight (_c_1).toRight (_ve_message).yield ());
     140        refal.plus.internal.StdIO.PrintLn (Expr.getConcatenator ().toRight (_ve_name).toRight (_c_3).toRight (_vs_row).toRight (_c_2).toRight (_vs_col).toRight (_c_1).toRight (_ve_message).yield ());
    139141      }
    140142    }
  • to-imperative/trunk/java/java/refal/plus/internal/cpp_specific.java

    r3614 r3615  
    11
    2 package refal.plus;
     2package refal.plus.internal;
    33
    44import org.refal.plus.*;
     5
     6import refal.plus.Class;
     7import refal.plus.Compare;
    58
    69public class cpp_specific {
     
    1922      _block1__branch1: {
    2023        Result _v_ToChars1 = new Result ();
    21         refal.plus.Convert.ToChars (_ve_word, _v_ToChars1);
     24        refal.plus.internal.Convert.ToChars (_ve_word, _v_ToChars1);
    2225        int _v_len1;
    2326        _v_len1 = _v_ToChars1.getExpr ().length ();
     
    9295      }
    9396      Result _gs_word__2 = new Result ();
    94       refal.plus.Convert.ToWord (_ve_word, _gs_word__2);
     97      refal.plus.internal.Convert.ToWord (_ve_word, _gs_word__2);
    9598      Expr.SplitIterator _va_2 = Reserved_Words.leftSplit(0);
    9699      _exit2: _continue2: for ( ; ; _va_2.next ())
  • to-imperative/trunk/java/java/refal/plus/internal/java_specific.java

    r3614 r3615  
    11
    2 package refal.plus;
     2package refal.plus.internal;
    33
    44import org.refal.plus.*;
     
    1414  {
    1515    Result _gs_word__0 = new Result ();
    16     refal.plus.Convert.ToWord (_ve_word, _gs_word__0);
     16    refal.plus.internal.Convert.ToWord (_ve_word, _gs_word__0);
    1717    Expr.SplitIterator _va_1 = Reserved_Words.leftSplit(0);
    1818    _exit1: _continue1: for ( ; ; _va_1.next ())
  • to-imperative/trunk/java/refal/refal/plus/Convert.rf

    r3614 r3615  
    1 $use "Lexer.Lexer";
    2 $use "Stream.Stream";
     1$use "Lexer";
     2$use "Stream";
     3$use "refal.plus.internal.Convert";
     4
     5CharsToBytes e.Char = <"internal.Convert.CharsToBytes" e.Char>;
     6BytesToChars e.Int  = e.Char;
     7ToLower      e.Char = e.Char;
     8ToUpper      e.Char = e.Char;
     9
     10ToInt   e.Exp = s.Int;
     11ToChars e.Exp = e.Char;
     12ToWord  e.Exp = s.Word;
    313
    414Read_Expr expr =
  • to-imperative/trunk/java/refal/refal/plus/CppMangle.rf

    r3614 r3615  
    9797  '\t' = '09';
    9898  '\n' = '0A';
    99   '\v' = '0B';
     99//  '\v' = '0B';
    100100  '\f' = '0C';
    101101  '\r' = '0D';
  • to-imperative/trunk/java/refal/refal/plus/Lexer.rf

    r3614 r3615  
    44//X/$module Err = Stream-Error (Stream);
    55//X/$use Err;
    6 $use "Stream.IndexedStream";
    7 $use "Stream.Stream";
    8 $use "Stream.StreamErr";
     6$use "IndexedStream";
     7$use "Stream";
     8$use "StreamErr";
    99
    1010$use Arithm Box Class Compare Convert;
  • to-imperative/trunk/java/refal/refal/plus/StdIO.rf

    r3614 r3615  
    44
    55//X/$use Lexer(Stream FakeStreamIndex);
    6 $use Lexer.Lexer;
    7 $use Stream.Stream;
    8 $use Stream.StreamErr;
     6$use Lexer;
     7$use Stream;
     8$use StreamErr;
    99
    1010
Note: See TracChangeset for help on using the changeset viewer.