From b7a52dcca4697b029adcf0d1c573b4669c3794f8 Mon Sep 17 00:00:00 2001 From: halw Date: Sat, 22 Sep 2012 12:46:50 +0000 Subject: [PATCH] Author:halw Date:2012-09-21T21:05:57.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1195 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../concurrent-eiffel-scoop/scoop-examples/faneuil-hall.wiki | 3 +-- .../other-languages/eiffel-external-mechanism/index.wiki | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/faneuil-hall.wiki b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/faneuil-hall.wiki index 4b7d65ea..4f604a4d 100644 --- a/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/faneuil-hall.wiki +++ b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/faneuil-hall.wiki @@ -1,12 +1,11 @@ [[Property:title|Faneuil Hall]] [[Property:weight|-5]] [[Property:uuid|93132084-5eb9-c7d9-d58c-7b5c3f7508f8]] - =Description= The Faneuil Hall example is one of several examples that comes to us from Allen Downey's book ''[http://greenteapress.com/semaphores/ The Little Book of Semaphores]''. Downey credits Grant Hutchins as the originator of the example. [http://en.wikipedia.org/wiki/Faneuil_Hall Faneuil Hall] itself is an historic building in Boston which dates from 1742 an has served as a public meeting and market place. -The scenario in the Faneuil Hall example involves a number of immigrants waiting to have their naturalizations confirmed by a judge and receive their certificates of citizenship. Immigrants enter the building wait in line to check in, then they wait. Meanwhile, a number of spectators can also enter the building. Once the judge enters the Hall, no one else may enter the hall. Spectators may leave, but immigrants may not. Once all the immigrants have checked in, their naturalization can be confirmed by the judge. Once confirmed, the immigrants can pick up their certificates. At some point after the confirmation, the judge leaves the Hall. At that point, spectators can enter again, and immigrants can leave as soon as they have picked up their certificates. +The scenario in the Faneuil Hall example involves a number of immigrants waiting to have their naturalizations confirmed by a judge and receive their certificates of citizenship. Immigrants entering the Hall wait in line to check in, then they wait to take their oaths and receive their certificates of citizenship. Meanwhile, a number of spectators can also enter the building. Once the judge enters the Hall, no one else may enter the hall. Spectators may leave, but immigrants may not. Once the immigrants in the Hall have checked in, their naturalization can be confirmed by the judge. Once confirmed, the immigrants can pick up their certificates. At some point after the confirmation, the judge leaves the Hall. At that point, spectators can enter again, and immigrants can leave as soon as they have picked up their certificates. =Highlights= diff --git a/documentation/current/solutions/other-languages/eiffel-external-mechanism/index.wiki b/documentation/current/solutions/other-languages/eiffel-external-mechanism/index.wiki index 3a795c3f..9af9664d 100644 --- a/documentation/current/solutions/other-languages/eiffel-external-mechanism/index.wiki +++ b/documentation/current/solutions/other-languages/eiffel-external-mechanism/index.wiki @@ -8,7 +8,7 @@ The Eiffel mechanism for interfacing with other languages, as defined by the [[E Additionally, there is a notion of target languages being either '''registered''' or '''unregistered'''. A language is registered if every Eiffel implementation must support the external interface to this language as defined by the standard. So the names of all registered languages appear in the Eiffel standard. And the details of the specific external mechanisms for those languages also appear in the standard. Registered languages included in the June 2006 edition of the standard are '''"C"''', '''"C++"''', and '''"dll"'''. -The case of unregistered languages is simply that there is no guarantee that such a language is supported by any particular Eiffel compiler. So, a the name of an unregistered language might appear as '''"Cobol"''' or '''"Ada"'''. These names may be meaningful to particular compilers, but from the standpoint of the standard they are arbitrary manifest strings. +The case of unregistered languages is simply that there is no guarantee that such a language is supported by any particular Eiffel compiler. So, a the name of an unregistered language might appear as '''"Cobol"''' or '''"Ada"'''. These names may be meaningful to particular Eiffel compilers, but from the standpoint of the standard they are arbitrary manifest strings.