構文のさまざまな部分でレイアウトを制御する方法は？

Question

私はチュートリアルのExpサンプルを見ています。

レイアウトを条件付きで制御できますか？そうでない場合は括弧で囲まれた式

内部ながら

• 改行、無関係な改行が例えばステートメント/発現ターミネーター

ある： （1 + \ nは、例えば、Pythonの式は、検討3）

は有効な式ですが、 1 + \ nは3

ではありません。

もしそうでなければ、同じ結果を達成する最も簡単な方法は、私の文法で改行を振りかけるのですか？

Answer 1

はい、それは可能です：

• あなたがそうのような2つの通常のシンボルAとB間syntaxルールにlayout非終端Lを使用する場合：その後、構文NY =「foo」というALB「バー」、ラスカルAとLまたはあなたがそうのように（最初のポイントでの使用のために）自動的にすべての時間を挿入されていない、あなたの文法にレイアウト非端子を追加することができます
L間と Bの間でより多くのレイアウト非端子を追加しません。 layout NoNewLineLayout = @manual [\t\ ]*;

したがって、改行を振りかざすのではなく、文法にNoNewLineLayoutシンボルのインスタンスを振りかざす必要があります。私は通常、NNLのような短い名前を使用して、これを侵害しないようにします。この回避策を使用して、Javascriptの文法や他のレイアウトに敏感な言語を試しました。一般的に、それは完璧ではないと我々はより洗練されたソリューションを働いているが、http://dl.acm.org/citation.cfm?id=2814242プレビューを参照してください。

もう1つ柔軟性の低いソリューションは、layout定義のスコープ（モジュールスコープ）を使用することです。現在のモジュールのレイアウト定義は、インポートされたレイアウト定義よりも優先されます。このようにして、非端末がどんなルールで編成されているかに影響を与えることができる。これは、異なる慣習規約などを持つかもしれない他の言語に言語を埋め込むときに大抵便利です。現在のユースケースでは、私はそれをアドバイスしません。