以下代码模式是创建用于每项原语(用户定义的)操作的:
void class::op1() { NOTIFY_OPERATION(op1, op1(), 0, op1_SERIALIZE); // Instrumentation //#[ operation op1() // Annotation // body of the operation as you entered //#] };