OCLにおいて、ある操作の事後条件（postcondition）内で、操作実行前の属性値を参照するための接尾辞はどれか。

属性名に@preを付加することで、実行前の値を参照できる。

関連記事

関連記事はありません。