这些方法实现状态、事件和转换行为。它们是根据状态图同步的。 如果将类的 CG::Attribute/Event/File/Generalization/Operation/Relation::Generate 属性设置为 Cleared,那么将不会生成这些行为。
int class::state1Takeevent1() {
int res = eventNotConsumed;
SETPARAMS(hungry);
NOTIFY_TRANSITION_STARTED("2");
Transition code NOTIFY_TRANSITION_TERMINATED("2");
res = eventConsumed;
return res;
};