Changeset 10846:3d8b972ce367
---------------------------
ruby: Changes to support finite buffering in ruby.

Adds code in controller generating python code to initialize message buffers
with a size specified in the SLICC definition of of the controller's buffer.
This allows all message buffers including mandatory queues to use finite
buffering.

Additionally adds code to properly check the resource constraints for an
action with respect to the entries available in a controller's network buffers
in the case that multiple buffers are defined to map to the same virtual
network. Previously this case would cause multiple resource checks to see if
a single entry was available, rather than one check to see if multiple entries
were available.