From ddc74238132c6ef38e8298bff6352e05facc200b Mon Sep 17 00:00:00 2001 From: halw Date: Mon, 31 Jan 2011 14:43:38 +0000 Subject: [PATCH] Author:halw Date:2011-01-31T14:43:38.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@744 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../concurrent-eiffel-scoop/index.wiki | 2 +- .../concurrent-eiffel-scoop/scoop-examples/index.wiki | 8 ++++++++ 2 files changed, 9 insertions(+), 1 deletion(-) create mode 100644 documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/index.wiki diff --git a/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/index.wiki b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/index.wiki index 3a6e48b0..03f49e01 100644 --- a/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/index.wiki +++ b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/index.wiki @@ -229,7 +229,7 @@ Postcondition semantics are characterized as follows: ===Class invariants=== -TThe '''separate argument rule''' above tells us that separate calls are valid only on targets which are formal arguments of their enclosing routines. Because class invariants are not routines and therefore have no arguments, separate calls are not allowed in class invariants. +The '''separate argument rule''' above tells us that separate calls are valid only on targets which are formal arguments of their enclosing routines. Because class invariants are not routines and therefore have no arguments, separate calls are not allowed in class invariants. The semantics of class invariants will be the same as in sequential Eiffel, precisely because invariants must include only non-spearate calls. To put it the terms of SCOOP, the class invariant ensuring the validity of any particular object will be evaluated entirely by the processor handling that object. diff --git a/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/index.wiki b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/index.wiki new file mode 100644 index 00000000..1fa9c2f9 --- /dev/null +++ b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/index.wiki @@ -0,0 +1,8 @@ +[[Property:title|SCOOP examples]] +[[Property:weight|0]] +[[Property:uuid|75ddd9e0-3baf-655a-748f-ea8765a1d06d]] +The examples for SCOOP that are distributed with EiffelStudio are solutions to classic and not-so-classic concurrency problems. + + + +