Changeset 3847 for devel-tools/trunk


Ignore:
Timestamp:
Jul 17, 2008, 4:11:52 PM (12 years ago)
Author:
yura
Message:
  • toString and tests are corrected.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • devel-tools/trunk/eclipse/org.refal.rfpdt.test/src/org/refal/rfpdt/test/comp/ParserTest.java

    r3574 r3847  
    138138        implem("F {A;};", "F { : A , ; } ;");
    139139        implem("F \\{A; B;};", "F \\{ : A , ; : B , ; } ;");
    140         implem("F, {};", "F : {} ;");
    141         implem("F, {;};", "F : { , ; } ;");
    142         implem("F, {A;};", "F : { , A ; } ;");
    143         implem("F, \\{A; B;};", "F : \\{ , A ; , B ; } ;");
     140        implem("F, {};", "F : , {} ;");
     141        implem("F, {;};", "F : , { ; } ;");
     142        implem("F, {A;};", "F : , { A ; } ;");
     143        implem("F, \\{A; B;};", "F : , \\{ A ; B ; } ;");
    144144
    145145        implem("F = sX1_ t2X_ eX3_ v_X4 s.X1_ t.2X_ e.X3_ v._X4;",
    146                 "F : = , s.X1_ t.2X_ e.X3_ v._X4 s.X1_ t.2X_ e.X3_ v._X4 ;");
    147         implem("F = sX <F (e2) A> ;", "F : = , s.X <F (e.2) A> ;");
     146                "F : = s.X1_ t.2X_ e.X3_ v._X4 s.X1_ t.2X_ e.X3_ v._X4 ;");
     147        implem("F = sX <F (e2) A> ;", "F : = s.X <F (e.2) A> ;");
    148148
    149149        implem("F , eX;", "F : , e.X ;");
    150150        implem("F , A:: ;", "F : , A :: , ;");
    151151        implem("F , A::s, B;", "F : , A :: s , B ;");
    152         implem("F , A $iter B;", "F : , A $iter , B :: , ;");
    153         implem("F , A $iter B,;", "F : , A $iter , B :: , ;");
    154         implem("F , A $iter B :: s;", "F : , A $iter , B :: s , ;");
    155         implem("F , A $iter B :: s,;", "F : , A $iter , B :: s , ;");
     152        implem("F , A $iter B;", "F : , A $iter B :: , ;");
     153        implem("F , A $iter B,;", "F : , A $iter B :: , ;");
     154        implem("F , A $iter B :: s;", "F : , A $iter B :: s , ;");
     155        implem("F , A $iter B :: s,;", "F : , A $iter B :: s , ;");
    156156        implem("F , A : sX;", "F : , A : s.X , ;");
    157157        implem("F , A : sX,;", "F : , A : s.X , ;");
    158158
    159159        implem("F , , A;", "F : , :: , A ;");
    160         implem("F , #{;};", "F : , :: # { , ; } :: , ;");
    161         implem("F , #{;},A;", "F : , :: # { , ; } :: , A ;");
    162         implem("F , \\? A;", "F : , :: \\? , A ;");
    163         implem("F , \\! A;", "F : , :: \\! , A ;");
     160        implem("F , #{;};", "F : , :: # { ; } :: , ;");
     161        implem("F , #{;},A;", "F : , :: # { ; } :: , A ;");
     162        implem("F , \\? A;", "F : , :: \\? A ;");
     163        implem("F , \\! A;", "F : , :: \\! A ;");
    164164        implem("F , $fail;", "F : , :: $fail ;");
    165         implem("F , = A;", "F : , :: = , A ;");
    166         implem("F , $error A;", "F : , :: $error , A ;");
    167         implem("F , $trap A $with { A,; B,; };", "F : , :: $trap , A $with { : A , ; : B , ; } ;");
    168         implem("F , $trap A $with \\{ A,; B,; };", "F : , :: $trap , A $with \\{ : A , ; : B , ; } ;");
     165        implem("F , = A;", "F : , :: = A ;");
     166        implem("F , $error A;", "F : , :: $error A ;");
     167        implem("F , $trap A $with { A,; B,; };", "F : , :: $trap A $with { : A , ; : B , ; } ;");
     168        implem("F , $trap A $with \\{ A,; B,; };", "F : , :: $trap A $with \\{ : A , ; : B , ; } ;");
    169169
    170         implem("F , #A;", "F : , :: # , A :: , ;");
    171         implem("F , #;", "F : , :: # , :: , ;");
    172         implem("F , #{A; B;};", "F : , :: # { , A ; , B ; } :: , ;");
    173         implem("F , #\\{A; B;};", "F : , :: # \\{ , A ; , B ; } :: , ;");
    174         implem("F , #A : {A,1;B,2;};", "F : , :: # , A { : A , 1 ; : B , 2 ; } :: , ;");
    175         implem("F , #A : \\{A,1;B,2;};", "F : , :: # , A \\{ : A , 1 ; : B , 2 ; } :: , ;");
     170        implem("F , #A;", "F : , :: # A :: , ;");
     171        implem("F , #;", "F : , :: # :: , ;");
     172        implem("F , #{A; B;};", "F : , :: # { A ; B ; } :: , ;");
     173        implem("F , #\\{A; B;};", "F : , :: # \\{ A ; B ; } :: , ;");
     174        implem("F , #A : {A,1;B,2;};", "F : , :: # A { : A , 1 ; : B , 2 ; } :: , ;");
     175        implem("F , #A : \\{A,1;B,2;};", "F : , :: # A \\{ : A , 1 ; : B , 2 ; } :: , ;");
    176176        implem("F , #A : {A,1;B,2;} : {A,1;B,2;};",
    177                 "F : , :: # , A { : A , 1 ; : B , 2 ; } { : A , 1 ; : B , 2 ; } :: , ;");
     177                "F : , :: # A { : A , 1 ; : B , 2 ; } { : A , 1 ; : B , 2 ; } :: , ;");
    178178        implem("F , A : {A,1;B,2;} : {A,1;B,2;} :: sX, sX;",
    179179                "F : , A { : A , 1 ; : B , 2 ; } { : A , 1 ; : B , 2 ; } :: s.X , s.X ;");
     
    182182
    183183        implem("F { {}; };", "F { {} ; } ;");
    184         implem("F { { A = B; } :: sX; };", "F { { : A = , B ; } :: s.X , ; } ;");
     184        implem("F { { A = B; } :: sX; };", "F { { : A = B ; } :: s.X , ; } ;");
    185185
    186186        implem("F A,A;", "F : A , A ;");
    187         implem("F #A,A;", "F : # , A :: , A ;");
     187        implem("F #A,A;", "F : # A :: , A ;");
    188188        implem("F {A,A;};", "F { : A , A ; } ;");
    189         implem("F {#A,A;};", "F { : # , A :: , A ; } ;");
    190         implem("F #{A,A;};", "F : # { , A :: , A ; } :: , ;");
     189        implem("F {#A,A;};", "F { : # A :: , A ; } ;");
     190        implem("F #{A,A;};", "F : # { A :: , A ; } :: , ;");
    191191    }
    192192}
Note: See TracChangeset for help on using the changeset viewer.