slicc/symbols/StateMachine.py

102     def addState(self, state):
104         self.states[state.ident] = state
182             index = (trans.state, trans.event)
317     void countTransition(${ident}_State state, ${ident}_Event event);
318     void possibleTransition(${ident}_State state, ${ident}_Event event);
320     bool isPossible(${ident}_State state, ${ident}_Event event);
321     uint64_t getTransitionCount(${ident}_State state, ${ident}_Event event);
351                                     ${ident}_State state,
548 for (int state = 0; state < ${ident}_State_NUM; state++) {
550         m_possible[state][event] = false;
551         m_counters[state][event] = 0;
659                 state = "%s_State_%s" % (self.ident, trans.state.ident)
661                 code('possibleTransition($state, $event);')
756         for (${ident}_State state = ${ident}_State_FIRST;
757              state < ${ident}_State_NUM; ++state) {
767                         ${ident}_State_to_string(state) +
772                 transVec[state].push_back(t);
793     for (${ident}_State state = ${ident}_State_FIRST;
794          state < ${ident}_State_NUM; ++state) {
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]++;
819 $c_ident::possibleTransition(${ident}_State state,
822     m_possible[state][event] = true;
832 $c_ident::isPossible(${ident}_State state, ${ident}_Event event)
834     return m_possible[state][event];
838 $c_ident::getTransitionCount(${ident}_State state,
841     return m_counters[state][event];
870     for (int state = 0; state < ${ident}_State_NUM; state++) {
872             m_counters[state][event] = 0;
1181 #define HASH_FUN(state, event)  ((int(state)*${ident}_Event_NUM)+int(event))
1204             code('${ident}_State state = getState(m_tbe_ptr, m_cache_entry_ptr, addr);')
1206             code('${ident}_State state = getState(m_tbe_ptr, addr);')
1208             code('${ident}_State state = getState(m_cache_entry_ptr, addr);')
1210             code('${ident}_State state = getState(addr);')
1213 ${ident}_State next_state = state;
1215 DPRINTF(RubyGenerated, "%s, Time: %lld, state: %s, event: %s, addr: %#x\\n",
1216         *this, curCycle(), ${ident}_State_to_string(state),
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);
1242              ${ident}_State_to_string(state),
1266              ${ident}_State_to_string(state),
1274              ${ident}_State_to_string(state),
1287                                         ${ident}_State state,
1302     switch(HASH_FUN(state, event)) {
1310                 (self.ident, trans.state.ident, self.ident, trans.event.ident)
1314             if trans.state != trans.nextState:
1316                     # When * is encountered as an end state of a transition,
1317                     # the next state is determined by calling the
1318                     # machine-specific getNextState function. The next state
1320                     # execute, and therefore the next state calculation cannot
1403               "%s time: %d addr: %#x event: %s state: %s\\n",
1404               name(), curCycle(), addr, event, state);
1431         for state in self.states.itervalues():
1432             self.printHTMLTransitions(path, state)
1440         # Generate state descriptions
1441         for state in self.states.itervalues():
1442             name = "%s_State_%s.html" % (self.ident, state.ident)
1443             code = html.createSymbol(state, "State")
1489         for state in self.states.itervalues():
1491             if state == active_state:
1496             click = "%s_table_%s.html" % (self.ident, state.ident)
1497             over = "%s_State_%s.html" % (self.ident, state.ident)
1498             text = html.formatShorthand(state.short)
1499             ref = self.frameRef(click, "Table", over, "1", state.short)
1507                 trans = self.table.get((state,event), None)
1510                     if state == active_state:
1527                 # -- Print out "actions/next-state"
1529                     if state == active_state:
1536                 elif state == active_state:
1547                 if next != state:
1557             if state == active_state:
1562             click = "%s_table_%s.html" % (self.ident, state.ident)
1563             over = "%s_State_%s.html" % (self.ident, state.ident)
1564             ref = self.frameRef(click, "Table", over, "1", state.short)