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; --- 29 unchanged lines hidden (view full) --- 38 self.event = machine.events[event] 39 if nextState == '*': 40 # check to make sure there is a getNextState function declared 41 found = False 42 for func in machine.functions: 43 if func.c_ident == 'getNextState_Addr': 44 found = True 45 break |
46 if not found: |
47 fatal("Machine uses a wildcard transition without getNextState defined") 48 self.nextState = WildcardState(machine.symtab, 49 '*', location) 50 else: 51 self.nextState = machine.states[nextState] 52 self.actions = [ machine.actions[a] for a in actions ] 53 self.request_types = [ machine.request_types[s] for s in request_types ] 54 self.resources = {} --- 18 unchanged lines hidden --- |