単一の OCL ステートメントを解析して、それが構文的に有効であることを確認できます。
OCL リソースに複数の OCL ステートメントが含まれていると、
「コンソール」ビューに、OCL ステートメントが構文的に誤りであることが報告されます。
しかし、一度に 1 つの OCL ステートメントを解析すれば、こうした結果を回避できます。
OCL ステートメントを解析するには、モデルまたはプロファイルが開かれており、
ワークスペースに OCL リソースがなければなりません。
OCL ステートメントを解析する際に以下の条件のいずれかが当てはまる場合、
「コンソール」ビューに OCL ステートメントが構文的に誤りであることが報告されます。
- OCL ステートメントが要素をその名前や完全修飾名で参照し、
要素名や完全修飾名にスペースが含まれている。
- OCL ステートメントが OCL キーワードを名前とするフィールドを使用している。
- OCL ステートメントがプロファイルによって定義された列挙を使用している。
「モデリング」パースペクティブで OCL ステートメントを解析するには、以下のようにします。
- 「モデル・エクスプローラー」ビューで、
OCL ステートメントを含む OCL リソースをダブルクリックします。
- エディターのトップで、
「ターゲット・モデル」リストからターゲット・モデルを選択します。 この選択により、使用可能なコンテキスト要素が決まります。
- 「コンテキスト要素」フィールドで、コンテキスト要素を指定します。
- 以下のステップのいずれかを実行します。
- OCL リソース内の唯一の OCL ステートメントを解析するには、をクリックします。
- OCL リソース内に多数ある OCL ステートメントの 1 つを解析するには、
対象のステートメントを右クリックしてから、「選択項目の解析」をクリックします。
解析が正常に終了すると、
OCL ステートメントが構文的に有効であることが「コンソール」ビューに報告されます。
解析に失敗すると、最初に検出された構文エラーが「コンソール」ビューに表示され、
追加情報が「問題」ビューに表示されます。