以下のコード・パターンが、各プリミティブ (ユーザー定義) 操作に対して作成されます。
void class::op1() { NOTIFY_OPERATION(op1, op1(), 0, op1_SERIALIZE); // Instrumentation //#[ operation op1() // Annotation // body of the operation as you entered //#] };