java - Daikon不変検出器でプログラムポイントを省略する方法は?

Question

私はDaikon（おそらくプログラム不変検出器）を使用して、さまざまなメソッドを持つ単純なJavaクラスの不変式を生成しています。次のコマンドで達成したこのクラスからいくつかのメソッドを省略したかったのです。

java daikon.Chicory '--ppt-omit-pattern=C0.printRangeFail()|C0.printRangePass()|C0.main()|C0.failureDomain()' C0

このツールには、ENTER、EXIT などの特定のポイントで不変条件をスキップするオプションも用意されています。ここで、メソッドの EXIT ポイントをスキップしたいと考えています。コマンドに次のテキストを追加しましたが、うまくいきませんでした。

checkFirstAndLastValue():::EXIT

Daikons の出力から次のメソッドを省略する方法を教えてください。

C0.checkFirstAndLastValue(int, int):::EXIT

ありがとう。

Answer 1

Daikonマニュアルで説明されているように、 --ppt-omit-pattern コマンドライン引数への引数は正規表現です。正規表現では、「()」は何にも一致しません。括弧を一致させたい場合は、正規表現で括弧を引用する必要があります。

次のような方がうまくいくと思います：

java daikon.Chicory '--ppt-omit-pattern=C0\.printRangeFail\(\)|C0\.printRangePass\(\)|C0\.main\(\)|C0\.failureDomain\(\)|C0\.checkFirstAndLastValue\(\):::EXIT' C0