StateMachine.py (10963:51f40b101a56) | StateMachine.py (10964:2b4fe083d17b) |
---|---|
1# Copyright (c) 1999-2008 Mark D. Hill and David A. Wood 2# Copyright (c) 2009 The Hewlett-Packard Development Company 3# All rights reserved. 4# 5# Redistribution and use in source and binary forms, with or without 6# modification, are permitted provided that the following conditions are 7# met: redistributions of source code must retain the above copyright 8# notice, this list of conditions and the following disclaimer; --- 1296 unchanged lines hidden (view full) --- 1305 1306 for trans in self.transitions: 1307 case_string = "%s_State_%s, %s_Event_%s" % \ 1308 (self.ident, trans.state.ident, self.ident, trans.event.ident) 1309 1310 case = self.symtab.codeFormatter() 1311 # Only set next_state if it changes 1312 if trans.state != trans.nextState: | 1# Copyright (c) 1999-2008 Mark D. Hill and David A. Wood 2# Copyright (c) 2009 The Hewlett-Packard Development Company 3# All rights reserved. 4# 5# Redistribution and use in source and binary forms, with or without 6# modification, are permitted provided that the following conditions are 7# met: redistributions of source code must retain the above copyright 8# notice, this list of conditions and the following disclaimer; --- 1296 unchanged lines hidden (view full) --- 1305 1306 for trans in self.transitions: 1307 case_string = "%s_State_%s, %s_Event_%s" % \ 1308 (self.ident, trans.state.ident, self.ident, trans.event.ident) 1309 1310 case = self.symtab.codeFormatter() 1311 # Only set next_state if it changes 1312 if trans.state != trans.nextState: |
1313 ns_ident = trans.nextState.ident 1314 case('next_state = ${ident}_State_${ns_ident};') | 1313 if trans.nextState.isWildcard(): 1314 # When * is encountered as an end state of a transition, 1315 # the next state is determined by calling the 1316 # machine-specific getNextState function. The next state 1317 # is determined before any actions of the transition 1318 # execute, and therefore the next state calculation cannot 1319 # depend on any of the transitionactions. 1320 case('next_state = getNextState(addr);') 1321 else: 1322 ns_ident = trans.nextState.ident 1323 case('next_state = ${ident}_State_${ns_ident};') |
1315 1316 actions = trans.actions 1317 request_types = trans.request_types 1318 1319 # Check for resources 1320 case_sorter = [] 1321 res = trans.resources 1322 for key,val in res.iteritems(): --- 259 unchanged lines hidden --- | 1324 1325 actions = trans.actions 1326 request_types = trans.request_types 1327 1328 # Check for resources 1329 case_sorter = [] 1330 res = trans.resources 1331 for key,val in res.iteritems(): --- 259 unchanged lines hidden --- |