24.8.1.3 言語の文法の定義 ¶

ある言語にたいしてSMIE文法を定義する通常の方法は、順位のテーブルを保持する新たなグローバル変数を定義してBNFルールのセットを与える方法です。たとえば小規模なPascal風言語の文法定義は以下のようになるでしょう:

(require 'smie)
(defvar sample-smie-grammar
  (smie-prec2->grammar
   (smie-bnf->prec2

    '((id)
      (inst ("begin" insts "end")
            ("if" exp "then" inst "else" inst)
            (id ":=" exp)
            (exp))
      (insts (insts ";" insts) (inst))
      (exp (exp "+" exp)
           (exp "*" exp)
           ("(" exps ")"))
      (exps (exps "," exps) (exp)))

    '((assoc ";"))
    '((assoc ","))
    '((assoc "+") (assoc "*")))))

注意すべき点がいくつかあります:

• 上記の文法は関数呼び出しの構文に明示的に言及していない。SMIEは識別子、対応がとれたカッコ(balanced parentheses)、またはbegin ... endブロックのようなsexpの任意のシーケンスがどこに、どのように出現しても自動的にそれを許容するだろう。
• 文法カテゴリーidは右側に何ももたない。これはidが空文字列だけにマッチ可能なことを意味しない。なぜなら上述のように任意のsexpシーケンスはどこに、どのような方法でも出現するからである。
• BNF文法では非終端記号が連続して出現し得ないので、終端記号として作用するトークンを正しく扱うのが困難なため、上述の文法ではSMIEが容易に扱える";"をセパレーター(separator)ステートメントのかわりとして扱っている。
• シーケンス内で使用される、(上記の","や";"のような)セパレーターは、BNFルールでは(foo (foo "separator" foo) ...)のように定義するのが最善である。これは順位の競合を生成するが、明示的に(assoc "separator")を与えることにより解決される、
• SMIEは構文テーブル(syntax table)内でカッコ構文(paren syntax)をもつようにマークされた任意の文字をペアにするだろうから、("(" exps ")")ルールにカッコをペアにする必要はなかった。(expsの定義と併せて)これはかわりに","がカッコの外に出現すべきではないことを明確にするためのルール。
• 競合解決のためのprecsテーブルは単一のテーブルより複数のテーブルをもつほうが、可能な場合は文法のBNF部分が関連する順位を指定できるので優れている。
• leftやrightを選択することが優るという明白な理由がなければ、通常はassocを使用して演算子を結合演算子(associative)とマークするほうが優れている。この理由により上述の"+"と"*"は、たとえその言語がそれらを形式上は左結合(left associative)と定義していてもassocとして定義されている。