StateMachine.py (9104:27d56b644e78) StateMachine.py (9105:b576c490e7d1)
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;

--- 1224 unchanged lines hidden (view full) ---

1233 for key,val in res.iteritems():
1234 if key.type.ident != "DNUCAStopTable":
1235 val = '''
1236if (!%s.areNSlotsAvailable(%s))
1237 return TransitionResult_ResourceStall;
1238''' % (key.code, val)
1239 case_sorter.append(val)
1240
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;

--- 1224 unchanged lines hidden (view full) ---

1233 for key,val in res.iteritems():
1234 if key.type.ident != "DNUCAStopTable":
1235 val = '''
1236if (!%s.areNSlotsAvailable(%s))
1237 return TransitionResult_ResourceStall;
1238''' % (key.code, val)
1239 case_sorter.append(val)
1240
1241 # Check all of the request_types for resource constraints
1242 for request_type in request_types:
1243 val = '''
1244if (!checkResourceAvailable(%s_RequestType_%s, addr)) {
1245 return TransitionResult_ResourceStall;
1246}
1247''' % (self.ident, request_type.ident)
1248 case_sorter.append(val)
1241
1242 # Emit the code sequences in a sorted order. This makes the
1243 # output deterministic (without this the output order can vary
1244 # since Map's keys() on a vector of pointers is not deterministic
1245 for c in sorted(case_sorter):
1246 case("$c")
1247
1248 # Record access types for this transition

--- 452 unchanged lines hidden --- 		1249
1250 # Emit the code sequences in a sorted order. This makes the
1251 # output deterministic (without this the output order can vary
1252 # since Map's keys() on a vector of pointers is not deterministic
1253 for c in sorted(case_sorter):
1254 case("$c")
1255
1256 # Record access types for this transition

--- 452 unchanged lines hidden ---