JS/CC のサンプル

!       ' |\t';
'\('
'\)'
'[0-9]+'        INT     [* %match = parseInt(%match); *];
< '\+' '\-';
< '\*' '/';
##
p: e        [* print( %1 ); *];

e:
| e '+' e   [* %% = %1 + %3; *]
| e '-' e   [* %% = %1 - %3; *]
| e '*' e   [* %% = %1 * %3; *]
| e '/' e   [* %% = %1 / %3; *]
| '-' e     &'*' [* %% = %2 * -1; *]
| '(' e ')' [* %% = %2; *]
| INT;

[*
var calc_parser = {
  parse: __##PREFIX##parse,
  set_with_trace: function ()        { ##PREFIX##_dbg_withtrace = true; },
  set_with_parse_tree: function ()   { ##PREFIX##_dbg_withparsetree = true; },
  set_with_step_by_step: function () { ##PREFIX##_dbg_withstepbystep = true; }
};
*]

構文解析器は文法定義のあとに宣言された calc_parser オブジェクトの parse メソッドとしています。##PREFIX は JS/CC が適宜、置き換えるようです。ドライバルーチンを除去したのは、JS/CC による書き換えに依存しない部分は通常のJavaScriptのコードとして独立させたかったからです。

これを以下のようにjsccで処理して、構文解析器(calc.js)を作成します。

jscc -o calc.js calc.grammar

以下がドライバルーチン (main.js) です。

(function (input) {
    var error_offsets = new Array();
    var error_lookaheads = new Array();
    calc_parser.parse(input, error_offsets, error_lookaheads);

    error_offsets.forEach(function (i) {
        print("Parse error near \"" +
            str.substr(error_offsets[i]) +
            "\", expecting \"" +
            error_lookaheads[i].join() +
            "\"");
        });
    })(arguments[0]);

まだ納得がいかないのは、字句定義の部分のセミコロンの使い方です。セミコロンの有無に意味があるのかなぁと思いつつ、今夜はこれまでにしようと思います。

元々のドライバルーチンより若干、すっきりとさせましたが、特に説明を要する点はないでしょう。これを以下のように実行することができます。

$ tracemonkey -f calc.js main.js '5*(2-7)/4'
-6.25
$ squirrelfish calc.js main.js -- '5*(2-7)/4'
-6.25

明日は先日、Objective Caml で書いた IMP を JS/CC + JavaScript で書いてみようと思います。