プログラム ocleditor.sf.net

このプロジェクトの主な目的は、OCL コントラクトを指定するための Eclipse エディターを作成することです。OCL 言語は、前、後の条件、および不変条件を指定するために使用されます。このプロジェクトには、構文と意味の正確性をチェックするパーサーも含まれています。