このxtext文法を書ける最良の方法

Question

私はXtextを使用しており、次の2つの問題についての提案が必要です。

問題＃1

は、私は3は、b、cのルール考えてみましょう。そして、私はこれらの規則の任意のシーケンスを許可したいが、bとcは一度だけ現れなければならない。どのように文法を書くのが最善でしょうか？ルート文法を書くためのより良い方法はあり

root: 
    a+=a* 
    b=b 
    a+=a* 
    c=c 
    a+=a* 
; 
a: 'a'; 
b: 'b'; 
c: 'c'; 

：ここ

は私が思い付いたのですか？ bとcは依然として厳密な順序でなければならず、理想的ではない。

問題＃2

はこの文法を見てください：

私は以下のような言語を書くことができると期待この文法を使用

root: 
    any+=any* 
    x=x 
    any+=any* 
; 

any: 
    name=ID 
    '{' 
     any+=any* 
    '}' 
; 

x: 
    name='x' '{' y=y '}' 
; 

y: 
    name='y' '{' z=z '}' 
; 

z: 
    name='z' '{' any+=any* '}' 
; 

：

a { 
    b { 

    } 

    c { 
     y { 

     } 
    } 
} 

x { 
    y { 
     z { 
      the_end {} 
     } 
    } 
} 

しかし、 "y"が "c"の下に表示されるため、エラーが発生します。何故ですか？それは "y"がルールの1つの端末として使用されたので、それは文法のどこにも現れないからですか？

この文法を修正するにはどうすればよいですか？問題＃1の

Answer 1

：問題＃2の

root: a+=a* (b=b a+=a* & c=c a+=a*); 

あなたはこのようなdatatype rule必要があります。

IdOrABC: ID | 'a' | 'b' | 'c' ; 

を、あなたはname=IdOrABC代わりのname=IDようなあなたのanyルールでそれを使用する必要があります。

Answer 2

、私たちは以下のような文法を調整することができます。一方

root: 
    a+=a* 
    (
    b=b a+=a* c=c 
    | 
    c=c a+=a* b=b 
) 
    a+=a* 
; 
a: 'a'; 
b: 'b'; 
c: 'c'; 

を、＃2は本当にパーサとして文法を経由して解決できない問題は、IDとを区別することはできません特別なキーワード「x」、「y」または「z」。おそらく、より良い戦略は以下のように文法を単純に保つことです： ルート： any + = any + ;

any: 
    name=ID 
    '{' 
    any+=any+ 
    '}' 
; 

バリデーターを使用して特殊なx/y/z階層を適用します。問題＃1の