OCL サンプルの詳細

Company/Employee ドメインのサブセットに基づくこのサンプル・モデルは、以下の表にリストされている OCL 機能を示します。
機能 サンプル・モデルでの場所
インバリアント制約 EmployeeConstraints、PersonConstraints
オペレーションの前提条件、事後条件、および本文条件の制約
  • 事後条件での @pre 表記
  • 事後条件および本文条件での結果表記
CompanyConstraints、EmployeeConstraints、PersonConstraints
イテレーター式:
  • select、forAll
CompanyConstraints
型キャスト:
  • oclIsKindOf()
  • oclAsType()
CompanyConstraints、ステレオタイプ
列挙型リテラルの参照 EmployeeConstraints
関連ナビゲーション EmployeeConstraints
修飾関連ナビゲーション CompanyConstraints
関連クラス
  • 関連クラスによるナビゲーション
  • 片側からの関連クラスへのナビゲーション
  • 関連クラスから片側へのナビゲーション
CompanyConstraints、EmployeeConstraints
let 式 CompanyConstraints、PersonConstraints、ステレオタイプ
メッセージが送信されたことをアサートするメッセージ式 CompanyConstraints
送信メッセージを反復するメッセージ式 PersonConstraints
UML プロファイルでの制約用 OCL の使用 ステレオタイプ
他のパッケージでの型の参照 ステレオタイプ
allInstances() 式 ステレオタイプ
if-then-else-endif 式 ステレオタイプ
指定されていない値の式 PersonConstraints
oclIsInState() オペレーション CompanyConstraints
メタモデル制約 (随時) クラス図

フィードバック