優先度付きルール適用

[QRWells]

Motivation

複数のルールが適用できるとき、優先度の高いほうが優先的に適用されるような機能を追加したい。

Details need to disscussion

優先度の付け方 (hashimoto)

• ルールをいくつかのグループに分ける
• グループ内のルール間の優先度は等しい
• 各グループに優先度があり、優先度の高いグループのルールから検査を行う
  • あるグループのルールがすべてマッチングしなかった場合に、次に優先度が高いグループで検査を行う
• ルールは半順序集合

Syntax (wang)

ルールの名前部分を拡張してルールのmetadataにすると将来の拡張に便利だと思う。

[name: some_rule; group: 0; priority: 10] @@ RULE...

[QRWells]

グループ同士の間にも優先度付け、ランタイムオプションで（グループ内・グループ同士・両方とも ）優先適用指定する？

[seelx3]

現時点では、グループ間に優先度を付け、グループ内のルールには優先度を付けないことを想定しています。