slicc/symbols/StateMachine.py

106     def addEvent(self, event):
108         self.events[event.ident] = event
182             index = (trans.state, trans.event)
317     void countTransition(${ident}_State state, ${ident}_Event event);
318     void possibleTransition(${ident}_State state, ${ident}_Event event);
319     uint64_t getEventCount(${ident}_Event event);
320     bool isPossible(${ident}_State state, ${ident}_Event event);
321     uint64_t getTransitionCount(${ident}_State state, ${ident}_Event event);
335 TransitionResult doTransition(${ident}_Event event,
350 TransitionResult doTransitionWorker(${ident}_Event event,
549     for (int event = 0; event < ${ident}_Event_NUM; event++) {
550         m_possible[state][event] = false;
551         m_counters[state][event] = 0;
554 for (int event = 0; event < ${ident}_Event_NUM; event++) {
555     m_event_counters[event] = 0;
660                 event = "%s_Event_%s" % (self.ident, trans.event.ident)
661                 code('possibleTransition($state, $event);')
744         for (${ident}_Event event = ${ident}_Event_FIRST;
745              event < ${ident}_Event_NUM; ++event) {
749                 ${ident}_Event_to_string(event));
761             for (${ident}_Event event = ${ident}_Event_FIRST;
762                  event < ${ident}_Event_NUM; ++event) {
768                         "." + ${ident}_Event_to_string(event));
781     for (${ident}_Event event = ${ident}_Event_FIRST;
782          event < ${ident}_Event_NUM; ++event) {
788             (*eventVec[event])[i] =
789                 (($c_ident *)(*it).second)->getEventCount(event);
796         for (${ident}_Event event = ${ident}_Event_FIRST;
797              event < ${ident}_Event_NUM; ++event) {
804                 (*transVec[state][event])[i] =
805                     (($c_ident *)(*it).second)->getTransitionCount(state, event);
812 $c_ident::countTransition(${ident}_State state, ${ident}_Event event)
814     assert(m_possible[state][event]);
815     m_counters[state][event]++;
816     m_event_counters[event]++;
820                              ${ident}_Event event)
822     m_possible[state][event] = true;
826 $c_ident::getEventCount(${ident}_Event event)
828     return m_event_counters[event];
832 $c_ident::isPossible(${ident}_State state, ${ident}_Event event)
834     return m_possible[state][event];
839                              ${ident}_Event event)
841     return m_counters[state][event];
871         for (int event = 0; event < ${ident}_Event_NUM; event++) {
872             m_counters[state][event] = 0;
876     for (int event = 0; event < ${ident}_Event_NUM; event++) {
877         m_event_counters[event] = 0;
1181 #define HASH_FUN(state, event)  ((int(state)*${ident}_Event_NUM)+int(event))
1187 ${ident}_Controller::doTransition(${ident}_Event event,
1215 DPRINTF(RubyGenerated, "%s, Time: %lld, state: %s, event: %s, addr: %#x\\n",
1217         ${ident}_Event_to_string(event), addr);
1222             code('doTransitionWorker(event, state, next_state, m_tbe_ptr, m_cache_entry_ptr, addr);')
1224             code('doTransitionWorker(event, state, next_state, m_tbe_ptr, addr);')
1226             code('doTransitionWorker(event, state, next_state, m_cache_entry_ptr, addr);')
1228             code('doTransitionWorker(event, state, next_state, addr);')
1237     countTransition(state, event);
1241              ${ident}_Event_to_string(event),
1265              ${ident}_Event_to_string(event),
1273              ${ident}_Event_to_string(event),
1286 ${ident}_Controller::doTransitionWorker(${ident}_Event event,
1302     switch(HASH_FUN(state, event)) {
1310                 (self.ident, trans.state.ident, self.ident, trans.event.ident)
1403               "%s time: %d addr: %#x event: %s state: %s\\n",
1404               name(), curCycle(), addr, event, state);
1446         # Generate event descriptions
1447         for event in self.events.itervalues():
1448             name = "%s_Event_%s.html" % (self.ident, event.ident)
1449             code = html.createSymbol(event, "Event")
1482         for event in self.events.itervalues():
1483             href = "%s_Event_%s.html" % (self.ident, event.ident)
1484             ref = self.frameRef(href, "Status", href, "1", event.short)
1505             # -- One column for each event
1506             for event in self.events.itervalues():
1507                 trans = self.table.get((state,event), None)
1575         for event in self.events.itervalues():
1576             href = "%s_Event_%s.html" % (self.ident, event.ident)
1577             ref = self.frameRef(href, "Status", href, "1", event.short)