mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 23:32:42 +01:00
Code Issues Packages Projects Releases Wiki Activity
1,363 Commits 1 Branch 0 Tags
2235b6264c2e1085798c735bd7c9b93389bd00d8
Commit Graph

413 Commits

Author SHA1 Message Date
halw
d2ede66f13 Added description of OUR_MESSAGE. Had been in "The predefined level" which was moved to trash. 
Author:halw
Date:2012-04-29T23:17:12.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1083 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-04-29 23:17:12 +00:00
halw
2ef63ec632 Removed reference to page "The predefined level" which is moved to trash. 
Author:halw
Date:2012-04-29T23:11:47.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1082 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-04-29 23:11:47 +00:00
halw
d84129db5a m 
Author:halw
Date:2012-04-22T20:00:54.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1079 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-04-22 20:00:54 +00:00
halw
38424d162f Updated code examples from the examples in the EiffelStudio distribution. Updated discussion to reflect changes in code. 
Author:halw
Date:2012-04-22T19:59:12.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1078 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-04-22 19:59:12 +00:00
halw
9841610b56 m 
Author:halw
Date:2012-04-22T19:30:24.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1077 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-04-22 19:30:24 +00:00
halw
d42bef4ea4 Fixed code in "Communications between two different machines" to match void-safe pattern in examples. 
Author:halw
Date:2012-04-22T19:14:40.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1076 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-04-22 19:14:40 +00:00
halw
671de00370 Author:bmeyer 
Date:2012-04-10T05:40:27.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1071 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-04-10 17:40:14 +00:00
bmeyer
dd985557c6 Cosmetic changes at beginning of text 
Author:bmeyer
Date:2012-04-10T05:36:29.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1070 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-04-10 05:36:29 +00:00
halw
30b9ca274b Changed assignment attempt usage to object test. Used /examples/net/same_mach as guide. 
Author:halw
Date:2012-04-07T15:46:24.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1069 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-04-07 15:46:24 +00:00
halw
22942a08fa Replaced assignment attempt with object test in `Sending and receiving object structures' 
Author:halw
Date:2012-04-07T14:27:40.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1068 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-04-07 14:27:40 +00:00
halw
dc5c78a721 Change instances of text "assignment attempt" to indicate object test. 
Author:halw
Date:2012-04-07T13:46:56.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1067 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-04-07 13:46:56 +00:00
halw
e324791c79 Changed assignment attempts in Recoverable Storable example to object tests. 
Author:halw
Date:2012-04-07T13:44:28.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1066 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-04-07 13:44:28 +00:00
halw
211d9b7e48 Changed assignment attempt in `Retrieval' to object test. Other minor corrections. 
Author:halw
Date:2012-04-07T13:01:44.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1065 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-04-07 13:01:44 +00:00
halw
a5e9c265c6 Changed independent_store' from a future' feature to currently existing. 
Author:halw
Date:2012-04-07T12:46:23.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1064 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-04-07 12:46:23 +00:00
halw
f17b03beee Clarification in wording of postcondition caveat. 
Author:halw
Date:2012-03-31T18:29:59.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1057 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-03-31 18:29:59 +00:00
halw
dacc83d220 Removed postcondition semantics description. This description had been true in other SCOOP implementations and descriptions, but does not apply to the current Eiffel Software implementation. A correct description needs to be provided. 
Author:halw
Date:2012-03-31T18:19:32.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1056 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-03-31 18:19:32 +00:00
halw
f51d743e75 Fixed link which was broken due to renaming pages in EiffelStudio installation section. 
Author:halw
Date:2012-01-19T20:44:12.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1051 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-01-19 20:44:12 +00:00
halw
fd9d751640 Added note for starting to use SCOOP. 
Author:halw
Date:2012-01-16T15:53:06.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1042 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-01-16 15:53:06 +00:00
halw
5b374e36cb Updated version numbers. 
Author:halw
Date:2012-01-16T14:35:07.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1041 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2012-01-16 14:35:07 +00:00
king
a4a33dd0ef Author:king 
Date:2011-11-18T18:28:38.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1015 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-11-18 18:28:38 +00:00
jfiat
011843d9b9 Author:admin 
Date:2011-11-16T14:00:11.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1014 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-11-16 14:00:11 +00:00
manus
c9f88c4f82 Author:halw 
Date:2011-11-02T18:26:28.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1007 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-11-04 18:49:47 +00:00
halw
f6b85b8086 Added {DB_SELECTION}.terminate to example code 
Author:halw
Date:2011-09-06T21:31:58.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@971 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-06 21:31:58 +00:00
halw
7c33e12800 m 
Author:halw
Date:2011-09-04T20:42:00.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@970 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-04 20:42:00 +00:00
halw
96cdf389ca Removed "lock" terminology in favor of exclusive access. For example, "lock passing" is now "access passing". 
Author:halw
Date:2011-09-04T18:15:35.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@969 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-04 18:15:35 +00:00
halw
513382f33b m 
Author:halw
Date:2011-09-04T18:04:13.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@968 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-04 18:04:13 +00:00
halw
762f9c35e3 Added note to explain relationship between choice of precompiled libraries and project Concurrency setting. 
Author:halw
Date:2011-09-04T16:57:59.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@967 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-04 16:57:59 +00:00
halw
7be866f505 m 
Author:halw
Date:2011-09-03T22:26:48.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@966 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-03 22:26:48 +00:00
halw
2517c641a9 m 
Author:halw
Date:2011-09-03T19:57:39.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@965 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-03 19:57:39 +00:00
halw
8f0dbc15cd m 
Author:halw
Date:2011-09-03T16:10:01.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@964 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-03 16:10:01 +00:00
halw
ad1adba33f Author:halw 
Date:2011-08-28T20:59:18.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@961 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-29 16:57:43 +00:00
halw
09bd4e8ad1 Added instructions for going from a default "new project wizard" project to a SCOOP-enabled project. 
Author:halw
Date:2011-08-28T20:55:08.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@960 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-28 20:55:08 +00:00
halw
42c44fb408 Author:halw 
Date:2011-08-09T19:02:25.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@949 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-09 21:33:22 +00:00
halw
f9a1d2a6b6 Correction to definition of controlled/uncontrolled assertion clauses. 
Author:halw
Date:2011-07-30T23:19:50.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@948 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-30 23:19:50 +00:00
halw
edfc6148f1 Added Info template in Class Invariants section allowing the possibility of using inline agents to effect separate calls in invariants. 
Author:halw
Date:2011-07-26T20:19:19.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@947 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-26 20:19:19 +00:00
halw
1f050a1fc0 Removed Beta and ReviewRequested templates. 
Author:halw
Date:2011-07-23T15:02:44.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@946 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-23 15:02:44 +00:00
halw
c3420c0f79 Author:halw 
Date:2011-07-18T18:32:24.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@945 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-21 16:35:54 +00:00
halw
38835bf7b3 m 
Author:halw
Date:2011-07-18T17:52:31.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@944 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-18 17:52:31 +00:00
halw
354e365bc9 Added note about iteration form of loop. 
Author:halw
Date:2011-07-18T13:50:41.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@943 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-18 13:50:41 +00:00
halw
3bd04c51b4 Added "Workarounds" section and "Print a separate STRING". 
Author:halw
Date:2011-07-18T13:30:39.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@942 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-18 13:30:39 +00:00
halw
c5c596bf43 Added more detail on controlled/uncontrolled assertions. 
Author:halw
Date:2011-07-15T22:02:00.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@941 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-15 22:02:00 +00:00
halw
f2c443d15e m formatting. 
Author:halw
Date:2011-07-14T22:56:22.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@940 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 22:56:22 +00:00
halw
181463e881 Added "uncontrolled" to controlled expression definition. 
Author:halw
Date:2011-07-14T22:44:39.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@939 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 22:44:39 +00:00
halw
e88ffebbeb Added "uncontrolled" to explanation of preconditions. 
Author:halw
Date:2011-07-14T22:41:59.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@938 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 22:41:59 +00:00
halw
e5cad2d741 Added uncontrolled precondition clauses as wait conditions, plus ref to producer-consumer example. 
Author:halw
Date:2011-07-14T18:11:44.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@937 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 18:11:44 +00:00
halw
1392976631 Added section for "wait condition". 
Author:halw
Date:2011-07-14T18:01:53.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@936 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 18:01:53 +00:00
halw
3baa8de554 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
 2011-07-14 17:27:05 +00:00
halw
05828911b1 Tweak definition of Controlled assertion. 
Author:halw
Date:2011-07-13T21:46:56.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@934 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-13 21:46:56 +00:00
halw
1f020c4cab m 
Author:halw
Date:2011-07-10T22:59:50.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@933 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-10 22:59:50 +00:00
halw
af2a90cd85 Author:halw 
Date:2011-07-06T15:36:43.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@932 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-10 14:45:10 +00:00