요구사항을 상태 차트 코드에 주석으로 포함시키려면 다음을 수행하십시오.
다음은 특정 상태와 연관된 요구사항에 대한 주석을 포함하여 상태에 대해 생성된 코드와 샘플 상태 차트입니다.

IOxfReactive::TakeEventStatus Printer::rootState_processEvent() {
IOxfReactive::TakeEventStatus res = eventNotConsumed;
switch (rootState_active) {
case Idle:
{
if(IS_EVENT_TYPE_OF(OMNullEventId))
{
popNullTransition();
pushNullTransition();
rootState_subState = GettingPaper;
rootState_active = GettingPaper;
/*
state GettingPaper
Realizes requirement Printer must be able to load paper for printing #:
*/
//#[ state ROOT.GettingPaper.(Entry)
getPaper();
//#]
res = eventConsumed;
}
}
break;
case GettingPaper:
{
if(IS_EVENT_TYPE_OF(OMNullEventId))
{
popNullTransition();
pushNullTransition();
rootState_subState = Printing;
rootState_active = Printing;
/*
state Printing
Realizes requirement Printer must be able to print the received data after paper is loaded #:
*/
//#[ state ROOT.Printing.(Entry)
print();
//#]
res = eventConsumed;
}
}
break;
case Printing:
{
if(IS_EVENT_TYPE_OF(OMNullEventId))
{
popNullTransition();
pushNullTransition();
rootState_subState = Idle;
rootState_active = Idle;
res = eventConsumed;
}
}
break;
default:
break;
}
return res;
}