コーラブルはすべてユーザー（利用者）定義となるわけだが、このコーラブル群とHoareRules実行フレームワークは切り離そう。適当なインターフェースを仕切りにして、コーラブルの詳細は隠蔽する。 public interface CallableLibrary { // 実行フレームワーク…

構文解析のオハナシは、変なことを書いてしまったですね。これ以上追記をするとゴチャゴチャし混乱しそうだから、このエントリーに補足と注意をまとめます。構文規則の曖昧性と演算子の優先順位ことの発端は、演算子を含む式を「式 ::= 式 '+' 式」のように“…