emf - FeatureIDE で構成エラーを検出する

Question

FeatureIDE でユーザー定義の制約に対して、構成ファイルで検証エラーをプログラムで検出する方法はありますか? その場合、それらを検出して検証済みの構成を変更するにはどうすればよいですか? 機能指向言語として AHEAD を使用しています。

Answer 1

FeatureIDE は、SAT ソルバーを使用して、単一の構成の競合を自動的に解決します。現時点では、構成間の競合に関する詳細情報を取得する方法はありません。