slicc: improved invalid transition message
This commit is contained in:
@@ -1232,8 +1232,8 @@ if (!%s.areNSlotsAvailable(%s))
|
|||||||
code('''
|
code('''
|
||||||
default:
|
default:
|
||||||
fatal("Invalid transition\\n"
|
fatal("Invalid transition\\n"
|
||||||
"version: %d time: %d addr: %s event: %s state: %s\\n",
|
"%s time: %d addr: %s event: %s state: %s\\n",
|
||||||
m_version, g_eventQueue_ptr->getTime(), addr, event, state);
|
name(), g_eventQueue_ptr->getTime(), addr, event, state);
|
||||||
}
|
}
|
||||||
return TransitionResult_Valid;
|
return TransitionResult_Valid;
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user