From 3baa8de5545b8894ae69ab3a0ee55fba94d6f527 Mon Sep 17 00:00:00 2001 From: halw Date: Thu, 14 Jul 2011 17:27:05 +0000 Subject: [PATCH] Added subheader for separate argument rule. Author:halw Date:2011-07-14T17:27:05.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@935 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../scoop-examples/producer-consumer.wiki | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/producer-consumer.wiki b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/producer-consumer.wiki index 54448ca5..ce28c8a8 100644 --- a/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/producer-consumer.wiki +++ b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/producer-consumer.wiki @@ -1,7 +1,6 @@ [[Property:title|Producer-consumer]] [[Property:weight|-13]] [[Property:uuid|03739be2-e0d5-f5f0-b405-0bb75c8fee0f]] - {{Beta}} @@ -16,6 +15,8 @@ So at any time, the buffer could be empty, precluding any consumer from withdraw The root class of the example creates the bounded product buffer and a number of producers and consumers, all given separate types. It requests the producers to create a number of products, and the consumers, in the aggregate, to consume that same number of products. +==Separate argument rule== + Notice that the root class uses a feature launch_producer (and a corresponding feature launch_consumer) for instructing the producers and consumers on how many products to handle. launch_producer looks like this: