Changeset 3363 for devel-tools/trunk


Ignore:
Timestamp:
Feb 4, 2008, 11:29:34 PM (13 years ago)
Author:
yura
Message:
File:
1 edited

Legend:

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

    r3305 r3363  
    6969        interf("$channel A B;", "$public $channel A ; $public $channel B ; ");
    7070
    71         interf("$func F s (e t) = sX (eY tZ);", "$public $func F s ( e t ) = s.X ( e.Y t.Z ) ; ");
    72         interf("$func? F s (e t) = sX (eY tZ) ;", "$public $func? F s ( e t ) = s.X ( e.Y t.Z ) ; ");
     71        interf("$func F s (e t) = sX (eY tZ);", "$public $func F s ( e t ) = sX ( eY tZ ) ; ");
     72        interf("$func? F s (e t) = s.X (e.Y t.Z) ;", "$public $func? F s ( e t ) = s.X ( e.Y t.Z ) ; ");
    7373
    7474        interf("$module A.B.C;", "$module A.B.C ; ");
     
    107107
    108108        implem("$func F s (e t) 123 A \"A b\" ( &B ) = sX (eY tZ);",
    109                 "$func F s ( e t ) 123 A \"A b\" ( & B ) = s.X ( e.Y t.Z ) ; ");
     109                "$func F s ( e t ) 123 A \"A b\" ( & B ) = sX ( eY tZ ) ; ");
    110110        implem("$func? F s = t;", "$func? F s = t ; ");
    111111
     
    121121
    122122        implem("F;", "F : , ; ");
    123         implem("F sX;", "F : s.X , ; ");
     123        implem("F sX;", "F : sX , ; ");
    124124        implem("F s t e v sX1_ t2X_ eX3_ v_X4 s.X1_ t.2X_ e.X3_ v._X4;",
    125                 "F : s t e v s.X1_ t.2X_ e.X3_ v._X4 s.X1_ t.2X_ e.X3_ v._X4 , ; ");
     125                "F : s t e v sX1_ t2X_ eX3_ v_X4 s.X1_ t.2X_ e.X3_ v._X4 , ; ");
    126126        implem("F $l s;", "F : s , ; ");
    127127        implem("F $r s;", "F : $r s , ; ");
    128128
    129129        implem("F A;", "F : A , ; ");
    130         implem("F s1, s1 : A;", "F : s.1 , s.1 : A , ; ");
     130        implem("F s1, s1 : A;", "F : s1 , s1 : A , ; ");
    131131        implem("F {A; B;};", "F { : A , ; : B , ; } ; ");
    132132        implem("F {};", "F { } ; ");
     
    136136
    137137        implem("F = sX1_ t2X_ eX3_ v_X4 s.X1_ t.2X_ e.X3_ v._X4;",
    138                 "F : = , s.X1_ t.2X_ e.X3_ v._X4 s.X1_ t.2X_ e.X3_ v._X4 ; ");
    139         implem("F = sX <F (e2) A>;", "F : = , s.X < F ( e.2 ) A > ; ");
     138                "F : = , sX1_ t2X_ eX3_ v_X4 s.X1_ t.2X_ e.X3_ v._X4 ; ");
     139        implem("F = sX <F (e2) A>;", "F : = , sX < F ( e2 ) A > ; ");
    140140
    141         implem("F , eX;", "F : , e.X ; ");
     141        implem("F , eX;", "F : , eX ; ");
    142142        implem("F , A:: ;", "F : , A :: , ; ");
    143143        implem("F , A::s, B;", "F : , A :: s , B ; ");
     
    146146        implem("F , A $iter B :: s;", "F : , A $iter , B :: s , ; ");
    147147        implem("F , A $iter B :: s,;", "F : , A $iter , B :: s , ; ");
    148         implem("F , A : sX;", "F : , A : s.X , ; ");
    149         implem("F , A : sX,;", "F : , A : s.X , ; ");
     148        implem("F , A : sX;", "F : , A : sX , ; ");
     149        implem("F , A : sX,;", "F : , A : sX , ; ");
    150150
    151151        implem("F , , A;", "F : , :: , A ; ");
     
    169169                "F : , :: # , A { : A , 1 ; : B , 2 ; } { : A , 1 ; : B , 2 ; } :: , ; ");
    170170        implem("F , A : {A,1;B,2;} : {A,1;B,2;} :: sX, sX;",
    171                 "F : , A { : A , 1 ; : B , 2 ; } { : A , 1 ; : B , 2 ; } :: s.X , s.X ; ");
     171                "F : , A { : A , 1 ; : B , 2 ; } { : A , 1 ; : B , 2 ; } :: sX , sX ; ");
    172172        implem("F , A : {$fail;A;} : {A,1;B,2;} :: sX, sX;",
    173                 "F : , A { : $fail ; : A , ; } { : A , 1 ; : B , 2 ; } :: s.X , s.X ; ");
     173                "F : , A { : $fail ; : A , ; } { : A , 1 ; : B , 2 ; } :: sX , sX ; ");
    174174
    175175        implem("F { {}; };", "F { { } ; } ; ");
    176         implem("F { { A = B; } :: sX; };", "F { { : A = , B ; } :: s.X , ; } ; ");
     176        implem("F { { A = B; } :: sX; };", "F { { : A = , B ; } :: sX , ; } ; ");
    177177
    178178        implem("F A,A;", "F : A , A ; ");
Note: See TracChangeset for help on using the changeset viewer.