/[eiffelstudio]/branches/eth/eve/Src/library/base
ViewVC logotype

Log of /branches/eth/eve/Src/library/base

View Directory Listing Directory Listing


Sticky Revision:

Revision 92811 - Directory Listing
Modified Fri Jul 26 04:35:53 2013 UTC (6 years, 4 months ago) by jasonw
<<Merged from trunk#92810.>>

Revision 92756 - Directory Listing
Modified Fri Jun 28 17:43:08 2013 UTC (6 years, 5 months ago) by polikarn
Made MML_SET generic; translating the rest of MML_SET features; properly translating alias binary operators

Revision 92750 - Directory Listing
Modified Fri Jun 28 04:42:18 2013 UTC (6 years, 5 months ago) by jasonw
<<Merged from trunk#92749.>>

Revision 92742 - Directory Listing
Modified Wed Jun 26 17:45:24 2013 UTC (6 years, 5 months ago) by polikarn
Calling creation version of a procedure from creation expressions; generating creation procedure from default_create; translating MML_SET.is_disjoint.

Revision 92732 - Directory Listing
Modified Mon Jun 24 15:19:19 2013 UTC (6 years, 5 months ago) by polikarn
Generalized OWNERSHIP_SET to MML_SET, added its own handler with translation for has.

Revision 92724 - Directory Listing
Modified Fri Jun 21 11:44:49 2013 UTC (6 years, 5 months ago) by polikarn
Renamed depends and dependents into subjects and observers.

Revision 92723 - Directory Listing
Modified Fri Jun 21 07:47:04 2013 UTC (6 years, 5 months ago) by jasonw
<<Merged from trunk#92722.>>

Revision 92695 - Directory Listing
Modified Fri Jun 14 07:15:41 2013 UTC (6 years, 5 months ago) by jasonw
<<Merged from trunk#92693.>>

Revision 92684 - Directory Listing
Modified Fri Jun 7 15:28:53 2013 UTC (6 years, 6 months ago) by jasonw
<<Merged from trunk#92682.>>

Revision 92543 - Directory Listing
Modified Fri May 17 04:27:04 2013 UTC (6 years, 6 months ago) by jasonw
<<Merged from trunk#92542.>>

Revision 92516 - Directory Listing
Modified Fri May 3 04:29:22 2013 UTC (6 years, 7 months ago) by jasonw
<<Merged from trunk#92515.>>

Revision 92499 - Directory Listing
Modified Fri Apr 26 23:06:21 2013 UTC (6 years, 7 months ago) by jasonw
<<Merged from trunk#92492.>>

Revision 92460 - Directory Listing
Modified Fri Apr 19 10:40:30 2013 UTC (6 years, 7 months ago) by jasonw
<<Merged from trunk#92459.>>

Revision 92434 - Directory Listing
Modified Fri Apr 12 10:41:30 2013 UTC (6 years, 8 months ago) by jasonw
<<Merged from trunk#92433.>>

Revision 92408 - Directory Listing
Modified Fri Apr 5 09:22:00 2013 UTC (6 years, 8 months ago) by jasonw
<<Merged from trunk#92407.>>

Revision 92328 - Directory Listing
Modified Fri Mar 22 11:46:02 2013 UTC (6 years, 8 months ago) by jasonw
<<Merged from trunk#92327.>>

Revision 92327 - Directory Listing
Modified Fri Mar 22 07:46:47 2013 UTC (6 years, 8 months ago) by julian
removed ELKS externals.

Revision 91379 - Directory Listing
Modified Fri Mar 15 08:48:07 2013 UTC (6 years, 8 months ago) by jasonw
<<Merged from trunk#91375.>>

Revision 91347 - Directory Listing
Modified Fri Mar 8 09:55:21 2013 UTC (6 years, 9 months ago) by jasonw
<<Merged from trunk#91345.>>

Revision 91311 - Directory Listing
Modified Fri Mar 1 12:33:27 2013 UTC (6 years, 9 months ago) by jasonw
<<Merged from trunk#91308.>>

Revision 91272 - Directory Listing
Modified Fri Feb 22 12:41:46 2013 UTC (6 years, 9 months ago) by jasonw
<<Merged from trunk#91270.>>

Revision 91205 - Directory Listing
Modified Fri Feb 8 16:12:11 2013 UTC (6 years, 10 months ago) by julian
AutoProof:
- Continued ownership translation.
- Added boxing/unboxing of integers and booleans.
- Added conversions between integer types.


Revision 91204 - Directory Listing
Modified Fri Feb 8 13:08:18 2013 UTC (6 years, 10 months ago) by julian
Changed external URL of FreeELKS to not require sourceforge login.

Revision 91201 - Directory Listing
Modified Fri Feb 8 09:03:47 2013 UTC (6 years, 10 months ago) by jasonw
<<Merged from trunk#91200.>>

Revision 91117 - Directory Listing
Modified Fri Feb 1 08:57:09 2013 UTC (6 years, 10 months ago) by jasonw
<<Merged from trunk#91110.>>

Revision 91080 - Directory Listing
Modified Tue Jan 29 13:08:11 2013 UTC (6 years, 10 months ago) by julian
Increased font size in AutoProof tool.
Improved command line output for AutoProof.

Revision 91005 - Directory Listing
Modified Mon Jan 28 14:40:26 2013 UTC (6 years, 10 months ago) by jasonw
<<Merged from trunk#90997.>>

Revision 90750 - Directory Listing
Modified Mon Jan 21 13:30:30 2013 UTC (6 years, 10 months ago) by jasonw
<<Merged from trunk#90747.>>

Revision 90399 - Directory Listing
Modified Fri Jan 4 16:03:10 2013 UTC (6 years, 11 months ago) by julian
UI improvement for AutoProof.

Revision 90398 - Directory Listing
Modified Fri Jan 4 09:58:58 2013 UTC (6 years, 11 months ago) by jasonw
<<Merged from trunk#90397.>>

Revision 90127 - Directory Listing
Modified Fri Dec 7 14:51:15 2012 UTC (7 years ago) by julian
Updated Boogie theory.

Revision 90122 - Directory Listing
Modified Fri Dec 7 08:28:50 2012 UTC (7 years ago) by jasonw
<<Merged from trunk#90120.>>

Revision 90118 - Directory Listing
Modified Thu Dec 6 16:31:22 2012 UTC (7 years ago) by julian
Updated Boogie theory.

Revision 90072 - Directory Listing
Modified Sat Dec 1 15:51:18 2012 UTC (7 years ago) by julian
Updated Boogie theory.

Revision 90071 - Directory Listing
Modified Sat Dec 1 12:50:45 2012 UTC (7 years ago) by jasonw
<<Merged from trunk#90020.>>

Revision 89960 - Directory Listing
Modified Fri Nov 23 07:04:00 2012 UTC (7 years ago) by jasonw
<<Merged from trunk#89959.>>

Revision 89919 - Directory Listing
Modified Fri Nov 16 11:24:26 2012 UTC (7 years ago) by jasonw
<<Merged from trunk#89915.>>

Revision 89804 - Directory Listing
Modified Fri Nov 2 09:14:04 2012 UTC (7 years, 1 month ago) by jasonw
<<Merged from trunk#89803.>>

Revision 89681 - Directory Listing
Modified Fri Oct 26 07:23:22 2012 UTC (7 years, 1 month ago) by jasonw
<<Merged from trunk#89679.>>

Revision 89619 - Directory Listing
Modified Fri Oct 19 04:16:13 2012 UTC (7 years, 1 month ago) by jasonw
<<Merged from trunk#89618.>>

Revision 89579 - Directory Listing
Modified Fri Oct 12 06:28:37 2012 UTC (7 years, 2 months ago) by jasonw
<<Merged from trunk#89578.>>

Revision 89535 - Directory Listing
Modified Fri Oct 5 06:46:18 2012 UTC (7 years, 2 months ago) by jasonw
<<Merged from trunk#89534.>>

Revision 89470 - Directory Listing
Modified Fri Sep 28 12:39:30 2012 UTC (7 years, 2 months ago) by jasonw
<<Merged from trunk#89469.>>

Revision 89439 - Directory Listing
Modified Fri Sep 21 04:07:03 2012 UTC (7 years, 2 months ago) by jasonw
<<Merged from trunk#89438.>>

Revision 89400 - Directory Listing
Modified Mon Aug 27 10:53:40 2012 UTC (7 years, 3 months ago) by jasonw
<<Merged from trunk#89399.>>

Revision 89347 - Directory Listing
Modified Fri Aug 10 15:09:25 2012 UTC (7 years, 4 months ago) by jasonw
<<Merged from trunk#89346.>>

Revision 89289 - Directory Listing
Modified Fri Aug 3 08:16:19 2012 UTC (7 years, 4 months ago) by jasonw
<<Merged from trunk#89288.>>

Revision 89082 - Directory Listing
Modified Sat Jul 7 12:23:44 2012 UTC (7 years, 5 months ago) by jasonw
<<Merged from trunk#89081.>>

Revision 88968 - Directory Listing
Modified Fri Jun 22 10:24:51 2012 UTC (7 years, 5 months ago) by jasonw
<<Merged from trunk#88964.>>


Revision 88574 - Directory Listing
Modified Fri Apr 13 08:45:15 2012 UTC (7 years, 8 months ago) by jasonw
<<Merged from trunk#88573.>>

Revision 88379 - Directory Listing
Modified Fri Mar 9 09:40:16 2012 UTC (7 years, 9 months ago) by jasonw
<<Merged from trunk#88377.>>

Revision 88234 - Directory Listing
Modified Fri Jan 27 09:58:45 2012 UTC (7 years, 10 months ago) by jasonw
<<Merged from trunk#88233.>>

Revision 88121 - Directory Listing
Modified Fri Dec 16 14:42:24 2011 UTC (7 years, 11 months ago) by jasonw
<<Merged from trunk#88120.>>

Revision 88026 - Directory Listing
Modified Fri Nov 25 12:11:03 2011 UTC (8 years ago) by jasonw
<<Merged from trunk#88024.>>

Revision 87847 - Directory Listing
Modified Fri Nov 18 09:52:15 2011 UTC (8 years ago) by jasonw
<<Merged from trunk#87846.>>

Revision 87613 - Directory Listing
Modified Wed Oct 26 06:49:40 2011 UTC (8 years, 1 month ago) by jasonw
<<Merged from trunk#87612.>>

Revision 87470 - Directory Listing
Modified Fri Oct 14 11:57:27 2011 UTC (8 years, 1 month ago) by jasonw
<<Merged from trunk#87469.>>

Revision 87423 - Directory Listing
Modified Fri Oct 7 08:59:53 2011 UTC (8 years, 2 months ago) by jasonw
<<Merged from trunk#87422.>>

Revision 87220 - Directory Listing
Modified Thu Sep 15 08:09:35 2011 UTC (8 years, 2 months ago) by jasonw
<<Merged from trunk#87219.>>

Revision 87104 - Directory Listing
Modified Fri Aug 26 08:16:29 2011 UTC (8 years, 3 months ago) by jasonw
<<Merged from trunk#87102.>>

Revision 86992 - Directory Listing
Modified Fri Aug 12 09:26:35 2011 UTC (8 years, 4 months ago) by jasonw
<<Merged from trunk#86991.>>

Revision 86913 - Directory Listing
Modified Fri Jul 29 09:28:44 2011 UTC (8 years, 4 months ago) by jasonw
<<Merged from trunk#86912.>>

Revision 86863 - Directory Listing
Modified Fri Jul 15 12:15:19 2011 UTC (8 years, 4 months ago) by jasonw
<<Merged from trunk#86862.>>

Revision 86562 - Directory Listing
Modified Fri May 27 08:47:29 2011 UTC (8 years, 6 months ago) by jasonw
<<Merged from trunk#86561.>>

Revision 86498 - Directory Listing
Modified Fri May 20 08:15:46 2011 UTC (8 years, 6 months ago) by jasonw
<<Merged from trunk#86497.>>

Revision 86444 - Directory Listing
Modified Fri May 13 12:30:41 2011 UTC (8 years, 7 months ago) by jasonw
<<Merged from trunk#86443.>>

Revision 86354 - Directory Listing
Modified Fri Apr 29 18:23:18 2011 UTC (8 years, 7 months ago) by jasonw
<<Merged from trunk#86353.>>

Revision 86305 - Directory Listing
Modified Fri Apr 22 08:51:57 2011 UTC (8 years, 7 months ago) by jasonw
<<Merged from trunk#86303.>>

Revision 86265 - Directory Listing
Modified Fri Apr 15 12:40:05 2011 UTC (8 years, 7 months ago) by jasonw
<<Merged from trunk#86264.>>

Revision 86163 - Directory Listing
Modified Fri Apr 8 08:17:40 2011 UTC (8 years, 8 months ago) by jasonw
<<Merged from trunk#86162.>>

Revision 86099 - Directory Listing
Modified Fri Apr 1 08:07:39 2011 UTC (8 years, 8 months ago) by jasonw
<<Merged from trunk#86097.>>

Revision 86000 - Directory Listing
Modified Fri Mar 25 12:39:38 2011 UTC (8 years, 8 months ago) by jasonw
<<Merged from trunk#85999.>>

Revision 85914 - Directory Listing
Modified Fri Mar 18 10:15:05 2011 UTC (8 years, 8 months ago) by jasonw
<<Merged from trunk#85913.>>

Revision 85847 - Directory Listing
Modified Fri Mar 11 10:18:42 2011 UTC (8 years, 9 months ago) by jasonw
<<Merged from trunk#85845.>>

Revision 85792 - Directory Listing
Modified Fri Mar 4 13:51:36 2011 UTC (8 years, 9 months ago) by jasonw
<<Merged from trunk#85790.>>

Revision 85720 - Directory Listing
Modified Fri Feb 25 11:20:29 2011 UTC (8 years, 9 months ago) by jasonw
<<Merged from trunk#85719.>>

Revision 85646 - Directory Listing
Modified Fri Feb 18 11:55:44 2011 UTC (8 years, 9 months ago) by jasonw
<<Merged from trunk#85645.>>

Revision 85611 - Directory Listing
Modified Tue Feb 15 14:12:12 2011 UTC (8 years, 9 months ago) by wests
Adding Mischael Schill's patch for agents

Revision 85584 - Directory Listing
Modified Fri Feb 11 21:23:26 2011 UTC (8 years, 10 months ago) by jasonw
<<Merged from trunk#85576.>>

Revision 85524 - Directory Listing
Modified Fri Feb 4 07:23:27 2011 UTC (8 years, 10 months ago) by jasonw
<<Merged from trunk#85521.>>

Revision 85421 - Directory Listing
Modified Fri Jan 21 10:01:27 2011 UTC (8 years, 10 months ago) by jasonw
<<Merged from trunk#85420.>>

Revision 85362 - Directory Listing
Modified Sat Jan 15 14:00:47 2011 UTC (8 years, 10 months ago) by jasonw
<<Merged from trunk#85361.>>

Revision 85293 - Directory Listing
Modified Fri Jan 7 09:29:10 2011 UTC (8 years, 11 months ago) by jasonw
<<Merged from trunk#85292.>>

Revision 85248 - Directory Listing
Modified Mon Jan 3 09:09:36 2011 UTC (8 years, 11 months ago) by jasonw
<<Merged from trunk#85244.>>

Revision 85117 - Directory Listing
Modified Fri Dec 10 16:29:10 2010 UTC (9 years ago) by jasonw
<<Merged from trunk#85114.>>

Revision 84978 - Directory Listing
Modified Fri Nov 26 12:38:04 2010 UTC (9 years ago) by eve
<<Merged from trunk#84976.>>

Revision 84960 - Directory Listing
Modified Fri Nov 19 13:26:05 2010 UTC (9 years ago) by jasonw
<<Merged from trunk#84959.>>

Revision 84906 - Directory Listing
Modified Fri Nov 12 12:38:36 2010 UTC (9 years, 1 month ago) by jasonw
<<Merged from trunk#84905.>>

Revision 84757 - Directory Listing
Modified Fri Oct 29 18:56:40 2010 UTC (9 years, 1 month ago) by jasonw
<<Merged from trunk#84753.>>

Revision 84737 - Directory Listing
Modified Wed Oct 27 20:49:03 2010 UTC (9 years, 1 month ago) by jasonw
Fixed some bugs in operand position search.

Revision 84578 - Directory Listing
Modified Fri Oct 15 08:04:38 2010 UTC (9 years, 1 month ago) by mpei
Undo the changes.

Revision 84573 - Directory Listing
Modified Thu Oct 14 09:03:57 2010 UTC (9 years, 1 month ago) by mpei
Test case execution trace collecting, and program states ranking.

Revision 84470 - Directory Listing
Modified Fri Oct 1 14:01:07 2010 UTC (9 years, 2 months ago) by jasonw
<<Merged from trunk#84468.>>


Revision 84395 - Directory Listing
Modified Mon Sep 13 13:01:25 2010 UTC (9 years, 3 months ago) by jasonw
<<Merged from trunk#84391.>>


Revision 84016 - Directory Listing
Modified Mon Jul 26 09:16:52 2010 UTC (9 years, 4 months ago) by wests
<<Merged from trunk#84001.>>

Revision 83928 - Directory Listing
Modified Fri Jul 16 15:21:01 2010 UTC (9 years, 4 months ago) by mpei
<<Merged from trunk#83927>>

Revision 83445 - Directory Listing
Modified Sat Jun 5 15:29:40 2010 UTC (9 years, 6 months ago) by jasonw
<<Merged from trunk@83442.>>

Revision 83441 - Directory Listing
Modified Sat Jun 5 13:52:53 2010 UTC (9 years, 6 months ago) by jasonw
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.

Revision 83331 - Directory Listing
Modified Wed May 26 18:49:35 2010 UTC (9 years, 6 months ago) by jasonw
Original Path: branches/eth/eve3/Src/library/base
<<Breanched from trunk@83330>> Created a branch to upgrade Eiffel Transform library to trunk.

Revision 83232 - Directory Listing
Modified Wed May 19 18:19:22 2010 UTC (9 years, 6 months ago) by manus
Original Path: trunk/Src/library/base
Added missing `recursive_create_dir' in .NET version.


Revision 82906 - Directory Listing
Modified Thu Apr 22 08:34:51 2010 UTC (9 years, 7 months ago) by jfiat
Original Path: trunk/Src/library/base
Fixed various void-safe issue with execution record and replay.
(fixed bug#16539: Wrong usage of ARRAY.force)

Revision 82676 - Directory Listing
Modified Fri Mar 26 18:21:39 2010 UTC (9 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Added `is_field_expanded' and `is_field_expanded_of_type' to have a slightly more efficient way than `field_type' and `field_type_of_type' to find out if a field's type is expanded (meaning a user-defined expanded, not a basic type).
Made `expanded_field_type' obsolete since we can get the same information efficiently using existing routines.


Revision 82590 - Directory Listing
Modified Tue Mar 16 20:29:06 2010 UTC (9 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Fixed out of bound access in SPECIAL in case we are getting some corrupted file.
Fixed SED_INDEPENDENT_SERIALIZER.read_header where the loop to read twice the same thing was actually only reading it once thus failiing to retrieve old independent storable.


Revision 82581 - Directory Listing
Modified Tue Mar 16 03:07:44 2010 UTC (9 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Moved the experimental branch to be the default for libraries.


Revision 82559 - Directory Listing
Modified Thu Mar 11 23:25:54 2010 UTC (9 years, 9 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Exported `make' as it is done in the classic version since now MISMATCH_INFORMATION is not a singleton anymore.


Revision 82558 - Directory Listing
Modified Thu Mar 11 23:23:42 2010 UTC (9 years, 9 months ago) by manus
Original Path: trunk/Src/experimental/library/base
* Added `attached_type' and `detachable_type' to .NET version of INTERNAL to match the classic version, however like `is_attached_type' the implementation is not done as .NET does not support yet attached types at runtime.
* Matched .NET version of MISMATCH_INFORMATION by allowing void items and support for versioning info.
* Obsoleted `independent_store' from SED_STORABLE_FACILITIES and replace it with `store' which does not have an argument for fast retrieval, because now this is the default.
* Added support for recoverable storable in SED which is slightly more powerful than its C counterpart since we can not only handle renamed classes, but also renamed attributes.
* With the support of recoverable storable, we are now generating more than one error at the time, and therefore we have updated the error interface of SED to expose a list of errors. Plus we don't bail out that quickly when encountering something fishy, we try to read as much as we can.
* If an error is encountered and that we stop retrieval half way through we call the `cleanup' routine of SED_READER_WRITER to ensure there are no more bytes to read.
* Added SED_TYPE_MISMATCH to store precise information about a mismatch.
* Added `abstract_type' to SED_UTILITIES and use manifest type instead of STRING to get the dynamic type.
* Added new error factory entries in SED_ERROR_FACTORY.
* Added ability to write and read IMMUTABLE_STRING_8 objects.


Revision 82556 - Directory Listing
Modified Thu Mar 11 23:00:24 2010 UTC (9 years, 9 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Use the new `once ("PROCESS")' syntax.


Revision 82469 - Directory Listing
Modified Fri Feb 26 23:19:41 2010 UTC (9 years, 9 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Fixed a bug in `cleanup' where if we read the old SED_MEDIUM_READER_WRITER format, we would try to read beyond the last chunk because the former format does not have the notion of `last_chunk'. So the default value for `is_last_chunk' must be True.


Revision 82421 - Directory Listing
Modified Wed Feb 24 22:17:13 2010 UTC (9 years, 9 months ago) by manus
Original Path: trunk/Src/experimental/library/base
* Added support for detection of version mismatch for version specified in `storable_version' note clause of a class. When there is a mismatch in the version, we raise a call to `correct_mismatch' for the C storable version, and for the time being rejects the storable with the SED version.
* For the C storable, we have increased all the format storable versions to XXX_6_6. We have also added the notion of format properties which let us store or not attachment marks, or store the old SPECIAL format or new one (and retrieve it accordingly).
* For the C storable, made private some routines that are only used by `retrieve.c'. Removed `eif_is_new_independent_format' and `eif_is_new_recoverable_format' because we force them to be True now (thus we have removed non-called features such as `imake_header'). It was good to have them when the formats have been used.
* SED: in order to not break SED_INDEPENDENT_XXX we added SED_RECOVERABLE_XXX. Made `independent_store' in SED_STORABLE_FACILITIES use the new recoverable format. The new recoverable format will eventually have the same features as the C recoverable format, but for the time being it does nothing apart from reading the storable version of classes being retrieved and verifying that they match the versions from the retrieving system.
* SED: Except SED_INDEPENDENT_XXX all serializers have a version number which can be used to detect mismatch between formats and to avoid reading something we should not be reading.
* SED: Added new errors
* SED: Improved SED_READER_WRITER with the addition of `cleanup' that can be used to consume all the remaining bytes to be read if there was some kind of errors during a retrieval. To support that we have changed the format in a backward compatible way for SED_MEDIUM_READER_WRITER by storing in the chunk header if there are more chunks to read or not. This facility is not yet used by SED, but will be shortly.
* SED: Fixed a bug in SED_MEDIUM_READER_WRITER where the buffer would shrink if the same instance is used to read a storable after writing a small one, the reading buffer will be shrink to the last reading buffer size instead of reusing the default buffer size.


Revision 82412 - Directory Listing
Modified Wed Feb 24 20:08:27 2010 UTC (9 years, 9 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Fixed eweasel test#store027 which did not pass anymore after we fixed test#conform001 which allowed (A [detachable STRING] to conform to `A [attached ANY]'. The issue was that we were not storing all the objects because we ignored all the SPECIAL of detachable types.


Revision 82411 - Directory Listing
Modified Wed Feb 24 19:21:11 2010 UTC (9 years, 9 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Fixed catcalls since parent EXCEPTION_MANGER usually expects `TYPE [detachable EXCEPTION]' and not just `TYPE [EXCEPTION]'.


Revision 82390 - Directory Listing
Modified Mon Feb 22 18:14:01 2010 UTC (9 years, 9 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Use objectless calls for accessing features of PLATFORM.


Revision 82358 - Directory Listing
Modified Tue Feb 16 16:49:31 2010 UTC (9 years, 9 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Added support for `storable_version' in the note clause of a class. This information can then be retrieved via INTERNAL. Storable support will come later.
Removed `ei_count_persistent_field_of_type' from eif_internal.h as now we have written it inline in ISE_RUNTIME from ELKS.

Revision 82334 - Directory Listing
Modified Sat Feb 13 17:03:00 2010 UTC (9 years, 9 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Added support for transient attributes in INTERNAL for the .NET implementation (the classic one is already done in ELKS).
Thanks to that support we can now use it in our Eiffel serialization (SED). To make it work with Session/Basic store, we had to change the format which is ok since it is not guaranteed to be the same from version to version. The change was to store the number of fields being persisted in the storable when storing an object. However we could not do that for Independent store, but that was ok since we had enough information in the header. The major difference between Session/Basic and Independent is that transient attribute are stored with their default value in Session/Basic whereas in Independent we do not store them (Note the same is done in our C version, we cannot save space in Session/Basic because not enough information is preserved).


Revision 82333 - Directory Listing
Modified Sat Feb 13 16:42:02 2010 UTC (9 years, 9 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Reverted the changes for once per process as the 6.5 or 6.6 compiler without a bootstrap cannot compile it yet.


Revision 82332 - Directory Listing
Modified Sat Feb 13 10:04:55 2010 UTC (9 years, 9 months ago) by jfiat
Original Path: trunk/Src/experimental/library/base
updated to new once syntax using key PROCESS

Revision 82327 - Directory Listing
Modified Sat Feb 13 01:15:51 2010 UTC (9 years, 9 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Made SPECIAL READABLE_INDEXABLE as it is in the classic version. This enables eweasel test#iteration001 to pass under .NET.


Revision 82144 - Directory Listing
Modified Fri Jan 22 00:25:08 2010 UTC (9 years, 10 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Use ECMA syntax.


Revision 82076 - Directory Listing
Modified Thu Jan 14 00:37:43 2010 UTC (9 years, 10 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Updated to use REAL_32/REAL_64 instead of REAL/DOUBLE.
Matched the classic implementation.


Revision 82048 - Directory Listing
Modified Mon Jan 11 23:17:15 2010 UTC (9 years, 11 months ago) by manus
Original Path: trunk/Src/experimental/library/base
* Added support for `nan', `negative_infinity', `positive_infinity', `is_nan', `is_negative_infinity' and `is_positive_infinity' for melted, C and .NET code generation.
* Improved the .NET code generation for accessing features of System.Math to provide more generality (than just Min and Max).
* Improved the .NET code generation for built-ins to get the implementation from the .NET Eiffel runtime rather than C externals as it is done now. This reduces the code dupplication for .NET and classic for the following classes: IDENTIFIED_ROUTINES, IDENTIFIED_CONTROLLER and WEL_IDENTIFIED.
* Improved the .NET Eiffel runtime to target only .NET 2.0, updated the Visual Studio solution accordingly. Increased the version number too. Updated to use IEqualityCompare in RT_REFERENCE_COMPARER (as using IComparer is obsolete in .NET 2.0) and updated INTERNAL and SED_OBJECTS_TABLE accordingly.
* Updated Unix and Java facade for IL_CODE_GENERATOR. 


Revision 82045 - Directory Listing
Modified Mon Jan 11 22:01:05 2010 UTC (9 years, 11 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Added support for NaN, +Infinity and -Infinity in REAL_32 and REAL_64.
Protected the invariant as it currently does not hold for NaN values.


Revision 82024 - Directory Listing
Modified Thu Jan 7 17:13:43 2010 UTC (9 years, 11 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Made INTERNAL really void safe by not using ARRAYs, but ARRAYED_LIST or when using ARRAY, made their content detachable.


Revision 82010 - Directory Listing
Modified Thu Jan 7 00:19:43 2010 UTC (9 years, 11 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Because some descendants may restrict exports of `internal_stream' to less than FILE, we simply use a local variable of type FILE to perform the file operation. That way the descendants class of FILE in the gobo library can be compiled in full class checking mode.


Revision 81436 - Directory Listing
Modified Thu Nov 5 20:31:14 2009 UTC (10 years, 1 month ago) by manus
Original Path: trunk/Src/experimental/library/base
Added missing redefinition of `out' required for smoothed transition from `{ANY}.generating_type' returning a STRING to returning a TYPE instance.


Revision 81424 - Directory Listing
Modified Thu Nov 5 17:16:09 2009 UTC (10 years, 1 month ago) by jfiat
Original Path: trunk/Src/experimental/library/base
Renamed `equal_evaluation' into `equal_sign_evaluation'
Keep `equal_evaluation' in RT_.. classes, for previous 6.5 interim releases.

Revision 81423 - Directory Listing
Modified Thu Nov 5 16:42:28 2009 UTC (10 years, 1 month ago) by jfiat
Original Path: trunk/Src/experimental/library/base
Fixed major issue for debugger evaluation ... where "a = b" were evaluated as "equal (a, b)"

Revision 81415 - Directory Listing
Modified Thu Nov 5 06:47:12 2009 UTC (10 years, 1 month ago) by manus
Original Path: trunk/Src/experimental/library/base
Fixed eweasel test#store027 where retrieval of experimental SPECIAL would fail if the SPECIAL contained references that are not referenced by anything else. In this case because we have to wait for the reference to be resolved the SPECIAL content is shifted. The solution is in non-void-safe mode to simply fill the SPECIAL with Void elements and then fill it with the elements we found. In void-safe mode, the solution is to ensure that we always have the objects we need before retrieving, and thus we are forcing `is_for_fast_retrieval' upon storing.


Revision 81406 - Directory Listing
Modified Wed Nov 4 20:05:08 2009 UTC (10 years, 1 month ago) by manus
Original Path: trunk/Src/experimental/library/base
Added `to_array' which can be used to create in void-safe mode manifest array with an attached actual generic parameter.


Revision 81041 - Directory Listing
Modified Wed Oct 7 18:04:17 2009 UTC (10 years, 2 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Made it compile with recent changes in the compiler for stricter validity rules for conversion which only
  allows conversion from attached source.


Revision 81038 - Directory Listing
Modified Wed Oct 7 18:01:17 2009 UTC (10 years, 2 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Due to the change in HASH_TABLE, we need to redefine `wipe_out' and not `clear_all' which is now obsolete.


Revision 81037 - Directory Listing
Modified Wed Oct 7 18:00:09 2009 UTC (10 years, 2 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Removed duplicated type in conversion clause.


Revision 81036 - Directory Listing
Modified Wed Oct 7 17:58:25 2009 UTC (10 years, 2 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Use `wipe_out' instead of obsolete `clear_all'.


Revision 80881 - Directory Listing
Modified Thu Sep 24 18:04:33 2009 UTC (10 years, 2 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Improved introspection of .NET assemblies so that if only one type of the assembly cannot be read, we 
  can still read all the other types (before it will stop processing of types at the first failure). This
  fixes an issue with the .NET consumer compiled in experimental mode that generated wrong SED storables
  because it did not get all the information on class STRING because it failed while processing the TYPE
  class (because somehow the compiler generates wrong metadata, this is a new issue that needs to be fixed
  by the compiler).


Revision 80835 - Directory Listing
Modified Tue Sep 22 22:32:06 2009 UTC (10 years, 2 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Cosmetics: Use named tuple to clarify the meaning of the TUPLE content in `attributes_map'.


Revision 80800 - Directory Listing
Modified Tue Sep 22 14:58:01 2009 UTC (10 years, 2 months ago) by jfiat
Original Path: trunk/Src/experimental/library/base
Fixed various debugger's issues related to Expanded object (especially about items from SPECIAL of expanded object). Fixed bug#16197: is DEBUG_OUTPUT no longer supported?

Better support for `generating_type' in experimental mode.
Added assertions and added a few detachable/attached marks to prepare to void-safety.


Revision 80779 - Directory Listing
Modified Mon Sep 21 16:08:53 2009 UTC (10 years, 2 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Removed the addition of the attachment mark ! as now the runtime will add it properly (see commit rev#80778).
  This fixes eweasel test#store019.


Revision 80598 - Directory Listing
Modified Wed Sep 2 20:19:50 2009 UTC (10 years, 3 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Adapted code to take into account the lack of conversion between REAL_64 and REAL_32.


Revision 80597 - Directory Listing
Modified Wed Sep 2 20:18:34 2009 UTC (10 years, 3 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Made signature of `type_of_type' match the one from classic version.


Revision 80596 - Directory Listing
Modified Wed Sep 2 20:17:44 2009 UTC (10 years, 3 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Updated to recent addition of requiring `make' from HASH_TABLE to be available in descendant class
  for `empty_duplicate'.


Revision 80361 - Directory Listing
Modified Thu Aug 20 17:43:16 2009 UTC (10 years, 3 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Added some more documentation on how to properly use this class.


Revision 80341 - Directory Listing
Modified Wed Aug 19 21:48:08 2009 UTC (10 years, 3 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Matched new specification of resize routines from the classic version of SPECIAL.


Revision 80340 - Directory Listing
Modified Wed Aug 19 21:45:29 2009 UTC (10 years, 3 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Use `wipe_out' instead of `clear_all' since the later is obsolete.


Revision 79793 - Directory Listing
Modified Wed Jul 15 23:55:00 2009 UTC (10 years, 4 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Fixed a bug in deserialization using the experimental version where we did not change the `count' of the 
  SPECIAL when resizing the SPECIAL used to store mapping between old and new type IDs. They were to
  resizing in `read_header' and the first one was done correctly, but not the second one.


Revision 79776 - Directory Listing
Modified Tue Jul 14 21:05:04 2009 UTC (10 years, 5 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Fixed bug#4118 where on .NET `put' had no effect on the actual process environement variables because
  the API was only available in .NET 2.0 which is what we support at the minimum.


Revision 79743 - Directory Listing
Modified Sun Jul 12 15:11:56 2009 UTC (10 years, 5 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Updated .NET version of TYPE to the classic version. At the moment, there is a reference from TYPE to INTERNAL and vice-versa which is not that great. In the future, it should only go from INTERNAL to TYPE.


Revision 79742 - Directory Listing
Modified Sun Jul 12 15:09:17 2009 UTC (10 years, 5 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Optimized copy by doing nothing if other is Current.


Revision 79741 - Directory Listing
Modified Sun Jul 12 15:08:17 2009 UTC (10 years, 5 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Added `own_from_pointer' which is present in the classic version since 6.4.


Revision 79639 - Directory Listing
Modified Fri Jul 10 05:48:20 2009 UTC (10 years, 5 months ago) by king
Original Path: trunk/Src/experimental/library/base
Updated to use {TYPE}.type_id instead of {INTERNAL}.dynamic_type now that it is available, this also removes the need for the once internal helper object.

Revision 79352 - Directory Listing
Modified Thu Jun 18 18:38:06 2009 UTC (10 years, 5 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Fixed incorrect assertion tags.


Revision 79351 - Directory Listing
Modified Thu Jun 18 18:34:38 2009 UTC (10 years, 5 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Added Julian Rogers from Axa Rosenberg contribution that provides a meaningful error when the retrieval
  fails.


Revision 79288 - Directory Listing
Modified Mon Jun 15 21:00:25 2009 UTC (10 years, 5 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Ensured that void-safe version of EiffelBase share the same names and UUID as the non-void-safe version
  as it is the case for the other void-safe libraries. It will also solves some spurious VHPR error to
  appear when switching a project from using non-void-safe to void-safe and vice-versa.


Revision 79287 - Directory Listing
Modified Mon Jun 15 20:59:00 2009 UTC (10 years, 5 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Renamed `make' from .NET into `dotnet_make' so that descendants can use `make' as creation procedure
  as they can do in classic mode.


Revision 79257 - Directory Listing
Modified Fri Jun 12 22:49:32 2009 UTC (10 years, 6 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Added .NET target to make it easy to verify that the code always compile for .NET too.


Revision 79191 - Directory Listing
Modified Wed Jun 10 23:29:41 2009 UTC (10 years, 6 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Moved routines of .NET version of IDENTIFIED_ROUTINES to WEL_IDENTIFIED. Because .NET and classic
  version are actually different, we had to duplicate the WEL_IDENTIFIED class for both implementation.


Revision 79184 - Directory Listing
Modified Wed Jun 10 21:14:04 2009 UTC (10 years, 6 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Fixed a bug introduced with the new version of ARRAYED_LIST which does not have a `set_count' routine
  called each time a modification is done to the list. Instead we reuse INTERACTIVE_LIST and redefine
  `on_item_added_at' and `on_item_removed_at' to connect the `empty_actions' and `not_empty_actions'.


Revision 79183 - Directory Listing
Modified Wed Jun 10 21:11:54 2009 UTC (10 years, 6 months ago) by manus
Original Path: trunk/Src/experimental/library/base
We cannot `put_i_th' in `append' since it can only be used when the list has been created filled.
  Instead we use `extend' and thus make the code much simpler.


Revision 79138 - Directory Listing
Modified Mon Jun 8 21:05:35 2009 UTC (10 years, 6 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Redefined `extend' since otherwise no actions is being executed when extend is called.


Revision 79087 - Directory Listing
Modified Thu Jun 4 17:35:09 2009 UTC (10 years, 6 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Made compilable with new version of SPECIAL which is void-safe.


Revision 79075 - Directory Listing
Modified Thu Jun 4 04:17:30 2009 UTC (10 years, 6 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Use the `void_safe' branch of the FreeELKS library.


Revision 79072 - Directory Listing
Modified Wed Jun 3 23:37:10 2009 UTC (10 years, 6 months ago) by manus
Original Path: trunk/Src/experimental/library/base
Copy of $EIFFEL_SRC/library that will contain the void-safe SPECIAL changes.


Revision 79057 - Directory Listing
Modified Wed Jun 3 12:50:54 2009 UTC (10 years, 6 months ago) by jfiat
Original Path: trunk/Src/library/base
Completed commit freeelks_rev#294
(Added DEBUG_OUTPUT facility to (ABSTRACT_)SPECIAL classes.)

Revision 79021 - Directory Listing
Modified Tue Jun 2 13:36:08 2009 UTC (10 years, 6 months ago) by jfiat
Original Path: trunk/Src/library/base
Added RT_DEBUGGER to replace current hack with external accessing runtime `debug_mode' value.

Revision 78859 - Directory Listing
Modified Mon May 25 20:17:43 2009 UTC (10 years, 6 months ago) by manus
Original Path: trunk/Src/library/base
Added missing `make_filled' required by the compiler to compile code (including .NET code).


Revision 78799 - Directory Listing
Modified Wed May 20 16:45:59 2009 UTC (10 years, 6 months ago) by manus
Original Path: trunk/Src/library/base
Fixed inconsistency  by making OPEN_ARGS detachable as it is done for ROUTINE and FUNCTION.


Revision 78798 - Directory Listing
Modified Wed May 20 16:44:27 2009 UTC (10 years, 6 months ago) by manus
Original Path: trunk/Src/library/base
Made constraint detachable since we accept Void items in CLI_CELL.


Revision 78602 - Directory Listing
Modified Mon May 11 10:42:32 2009 UTC (10 years, 7 months ago) by jfiat
Original Path: trunk/Src/library/base
the debugger now evaluates equal, is_equal and tilde_equal on the debuggee, instead of implementing the same logical on the debugger's side. 
This fixed bug#15772: Error in watch tool
and this also fixed the debugger part of bug#15773: Incorrect postcondition failure in redefinition of is_equal


Revision 78475 - Directory Listing
Modified Fri May 1 21:42:03 2009 UTC (10 years, 7 months ago) by manus
Original Path: trunk/Src/library/base
Updated to 1-5-0 schema version of ECFs.


Revision 78210 - Directory Listing
Modified Mon Apr 13 05:49:47 2009 UTC (10 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Fixed signature bug that prevented in void-safe mode to set an attribute to Void via INTERNAL.set_reference_field.


Revision 77933 - Directory Listing
Modified Fri Mar 27 03:35:03 2009 UTC (10 years, 8 months ago) by tedf
Original Path: trunk/Src/library/base
Renamed `c_in_rescue' to `eif_is_in_rescue' to follow the convention.

Revision 77923 - Directory Listing
Modified Thu Mar 26 19:47:21 2009 UTC (10 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Use `detachable' isntead of `?'.


Revision 77912 - Directory Listing
Modified Thu Mar 26 05:24:54 2009 UTC (10 years, 8 months ago) by tedf
Original Path: trunk/Src/library/base
Integrated `{EXCEPTION}.cause' .NET implementation.

Revision 77910 - Directory Listing
Modified Thu Mar 26 05:14:00 2009 UTC (10 years, 8 months ago) by tedf
Original Path: trunk/Src/library/base
Implementation of `{EXCEPTION}.cause' on ISE side, including the runtime and {ISE_EXCEPTION_MANAGER}.

Revision 77857 - Directory Listing
Modified Mon Mar 23 20:09:06 2009 UTC (10 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Added new builtin `eif_is_object_id_of_current' to avoid using `Current' in the newly added builtin
  `eif_current_object_id' as it still prevented to use this routine in a void-safe context when not
  all attached attributes have been properly set.


Revision 77848 - Directory Listing
Modified Sun Mar 22 21:35:24 2009 UTC (10 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Updated to syntax generated by EiffelStudio.


Revision 77847 - Directory Listing
Modified Sun Mar 22 20:58:42 2009 UTC (10 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Added `eif_current_object_id' as a new IDENTIFIED_ROUTINES builtin. It is useful for void-safe code
  since it does not use `Current' which would require that at the time of usage the object has all its
  attached attributes properly set in the creation procedure.
Note that the .NET version does not support yet the above property since it is still using Current.


Revision 77845 - Directory Listing
Modified Sun Mar 22 20:52:53 2009 UTC (10 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Matched classic version where `last_string' is now attached to avoid people having to rewrite their
  FILE usage pattern:
    f.read_line
	do_something_with (f.last_string)


Revision 77832 - Directory Listing
Modified Fri Mar 20 18:54:45 2009 UTC (10 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Explicitely excluded non-void safe classes from the void-safe version of EiffelBase. The list of exluded classes are:
- COMPACT_CURSOR_TREE
- LINKED_CURSOR_TREE
- TWO_WAY_CURSOR_TREE
- COMPACT_TREE_CURSOR
- LINKED_CURSOR_TREE_CURSOR
- TWO_WAY_CURSOR_TREE_CURSOR


Revision 77800 - Directory Listing
Modified Thu Mar 19 18:31:32 2009 UTC (10 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Use new C external syntax.


Revision 77745 - Directory Listing
Modified Mon Mar 16 17:47:26 2009 UTC (10 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Use new syntax for detachable types, i.e keyword instead of ?.


Revision 77628 - Directory Listing
Modified Fri Mar 6 23:30:45 2009 UTC (10 years, 9 months ago) by manus
Original Path: trunk/Src/library/base
Enabled warnings when compiling EiffelBase since the idea is that we should not have any left at the end.


Revision 77575 - Directory Listing
Modified Thu Mar 5 22:28:44 2009 UTC (10 years, 9 months ago) by manus
Original Path: trunk/Src/library/base
Removed useless usage of type in object tests.


Revision 77574 - Directory Listing
Modified Thu Mar 5 22:28:20 2009 UTC (10 years, 9 months ago) by manus
Original Path: trunk/Src/library/base
Made `error_message' attached by default thus making client code easier to manipulate.


Revision 77573 - Directory Listing
Modified Thu Mar 5 22:27:44 2009 UTC (10 years, 9 months ago) by manus
Original Path: trunk/Src/library/base
Made code really void-safe.


Revision 77513 - Directory Listing
Modified Tue Mar 3 23:44:56 2009 UTC (10 years, 9 months ago) by king
Original Path: trunk/Src/library/base
Updated to use index instead of cursor, fixed bug in the process where position wasn't not being reset correctly anyway as cursor was called again instead of using l_cursor.

Revision 77510 - Directory Listing
Modified Tue Mar 3 23:05:20 2009 UTC (10 years, 9 months ago) by king
Original Path: trunk/Src/library/base
Now avoiding insertion/removal side effect via index instead of cursor to avoid unnecessary object creation.

Revision 77335 - Directory Listing
Modified Wed Feb 25 18:48:44 2009 UTC (10 years, 9 months ago) by alexk
Original Path: trunk/Src/library/base
Put a detachable mark in front of constraints to allow detachable actual parameters.

Revision 77298 - Directory Listing
Modified Tue Feb 24 23:44:31 2009 UTC (10 years, 9 months ago) by manus
Original Path: trunk/Src/library/base
Use new syntax for object test and attached/detachable type.


Revision 77132 - Directory Listing
Modified Thu Feb 12 05:37:39 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
Because of a bug in the compiler which allowed any kind of assignment to SYSTEM_OBJECT we missed
  a few detachable mark in EiffelBase.


Revision 77126 - Directory Listing
Modified Wed Feb 11 23:22:48 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
Wrong type in object test, good argument in favor of not specifying the object test local type for void safety.


Revision 77125 - Directory Listing
Modified Wed Feb 11 23:22:01 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
Added a local to read the value of the old dynamic type when debugging in `read_attributes'.


Revision 77122 - Directory Listing
Modified Wed Feb 11 22:22:35 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
We have to use `to_cil' in `is_special_any_type' as otherwise we use the wrong .NET type and the test
  is unsuccessful.


Revision 77119 - Directory Listing
Modified Wed Feb 11 21:15:38 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
Because object test is implemented differently than assignment attempt on .NET the previous committed
  code did not work for basic type. So first we do the assignment attempt and then the object test.


Revision 77095 - Directory Listing
Modified Wed Feb 11 00:29:13 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
Made .NET code compilable in void-safe mode.  A few issues though:
- in TUPLE, native_array is assigned `dummy_array' because we access `Current' before really resizing it
  to the appropriate size
- in FUNCTION, `item' has a hack that relies on a deficiency of SPECIAL.item that can called even if the
  SPECIAL has not yet been initialized.
- in ISE_EXCEPTION_MANAGER, we got rid of OPERATING_SYSTEM_FAILURE in `wrapped_exception' since the original
  code simply ignored it.


Revision 77057 - Directory Listing
Modified Sat Feb 7 08:09:07 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
Removed precondition of `notify' because it is inherited code and thus only allows for require else.


Revision 77050 - Directory Listing
Modified Fri Feb 6 23:03:26 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
We have merged the modified ELKS classes so that they can be compiled in void safe mode into ELKS. This
  requires an update of the configuration files to not reference the `safe' directory which is now gone.


Revision 77049 - Directory Listing
Modified Fri Feb 6 23:01:52 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
To make transition easier, we are preserving `make_from_c' as creation procedure in the STRING classes
  and therefore we should use it instead of `make_from_c_pointer' that will be obsoleted soon.


Revision 77037 - Directory Listing
Modified Fri Feb 6 10:50:51 2009 UTC (10 years, 10 months ago) by jfiat
Original Path: trunk/Src/library/base
updated to clean void-safety (removed useless ! attachement marks)

Revision 77005 - Directory Listing
Modified Thu Feb 5 10:31:07 2009 UTC (10 years, 10 months ago) by tedf
Original Path: trunk/Src/library/base
Made void acceptable arguments detachable.
Added missing precondition.

Revision 76995 - Directory Listing
Modified Thu Feb 5 07:10:05 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
Use `make_from_c_pointer' rather than `make_from_c' to prepare for void-safe version of EiffelBase.


Revision 76983 - Directory Listing
Modified Thu Feb 5 00:41:39 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
To not break backward compatibility `string_8' and `string_32' should accept a detachable argument.


Revision 76814 - Directory Listing
Modified Fri Jan 23 19:58:26 2009 UTC (10 years, 10 months ago) by paulb
Original Path: trunk/Src/library/base
Added back FIXED_TREE


Revision 76753 - Directory Listing
Modified Mon Jan 19 15:34:21 2009 UTC (10 years, 10 months ago) by tedf
Original Path: trunk/Src/library/base
- Fixed bug#15266. Properly handled merged exceptions so that not to break codes get from {EXCEPTIONS}.exception.
- Changed no_memory_exception_object_cell to be attached CELL [NO_MORE_MEMORY] and moved the NO_MORE_MEMORY initialization so that the code is better written in void-safe mode.
- Cosmetics and comment improvements.

Revision 76748 - Directory Listing
Modified Mon Jan 19 04:21:47 2009 UTC (10 years, 10 months ago) by tedf
Original Path: trunk/Src/library/base
Fixed the potential issue on .NET that an exception thrown through rescues could cause infinite loop. (bug#15273)
Note: This was potential problem on .NET which didn't happen in this scenario because of different implementations.

Revision 76724 - Directory Listing
Modified Fri Jan 16 06:44:35 2009 UTC (10 years, 10 months ago) by tedf
Original Path: trunk/Src/library/base
Added checks to clarify the thrown exception is not throwing the throwing exception when they are being connected.

Revision 76708 - Directory Listing
Modified Thu Jan 15 18:15:37 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
Removed useless assignment to `count' since it is done at the end in `make_from_string_32'.


Revision 76706 - Directory Listing
Modified Thu Jan 15 17:52:23 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
Updated .NET version to match classic one which now adds `is_attached_type', `field_conforms_to' and
  an updated precondition for `set_reference_field'.


Revision 76705 - Directory Listing
Modified Thu Jan 15 17:38:19 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
Made code compilable in void-safe mode. The issue was that calling `same_type' before
  initializing `area' is not permitted since `same_type' uses Current. To prevent setting
  area multiple times, we do not call `make_from_area_and_bound' anymore.


Revision 76696 - Directory Listing
Modified Wed Jan 14 20:44:59 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
Fixed eweasel test#store019. The issue was that if an attribute type is attached, then we should store
  it by prefixing it with ! as internally in the runtime without a ! it is always the detachable version.


Revision 76692 - Directory Listing
Modified Wed Jan 14 20:20:44 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
Fixed incorrect export status of `area_lower' which prevented the compilation of EiffelBase in full 
  class checking mode.


Revision 76690 - Directory Listing
Modified Wed Jan 14 20:05:39 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
Adapted to the recent changes in STRING_xx classes in non-void-safe mode.


Revision 76689 - Directory Listing
Modified Wed Jan 14 20:02:59 2009 UTC (10 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
Adatped to the recent changes in IMMUTABLE_STRING classes from non-void-safe mode.


Revision 76420 - Directory Listing
Modified Mon Dec 29 20:27:11 2008 UTC (10 years, 11 months ago) by manus
Original Path: trunk/Src/library/base
Removal of `is' keyword.
Replacement of `is' by `=' for constant definitions.
Replaced `indexing' by `note'.


Revision 76382 - Directory Listing
Modified Wed Dec 24 19:52:40 2008 UTC (10 years, 11 months ago) by manus
Original Path: trunk/Src/library/base
Removed useless ? to match the classic implementation.


Revision 76201 - Directory Listing
Modified Wed Dec 17 05:33:39 2008 UTC (10 years, 11 months ago) by manus
Original Path: trunk/Src/library/base
Use ~ instead of using `is_equal' to avoid catcalls.


Revision 76171 - Directory Listing
Modified Mon Dec 15 20:40:30 2008 UTC (10 years, 11 months ago) by manus
Original Path: trunk/Src/library/base
Match classic alias names for BOOLEAN.


Revision 76156 - Directory Listing
Modified Mon Dec 15 05:04:58 2008 UTC (10 years, 11 months ago) by manus
Original Path: trunk/Src/library/base
Adapted our libraries to use the alias names rather than infix/prefix since now EiffelBase is using the
  alias names for its operators.


Revision 75973 - Directory Listing
Modified Mon Dec 1 19:41:06 2008 UTC (11 years ago) by manus
Original Path: trunk/Src/library/base
Match `valid_operands' signature from classic.


Revision 75971 - Directory Listing
Modified Mon Dec 1 18:57:35 2008 UTC (11 years ago) by manus
Original Path: trunk/Src/library/base
Added missing `?' qualifier to all routines expecting OPEN_ARGS.


Revision 75970 - Directory Listing
Modified Mon Dec 1 18:56:09 2008 UTC (11 years ago) by manus
Original Path: trunk/Src/library/base
Removed FILE_NAME from safe folder since it is exactly the same version as in ELKS.


Revision 75969 - Directory Listing
Modified Mon Dec 1 18:55:33 2008 UTC (11 years ago) by manus
Original Path: trunk/Src/library/base
Removed useless assignments.


Revision 75958 - Directory Listing
Modified Fri Nov 28 22:16:14 2008 UTC (11 years ago) by manus
Original Path: trunk/Src/library/base
Made code compilable with recent compiler changes correctly disallowing assigning ?G to G.


Revision 75938 - Directory Listing
Modified Fri Nov 28 12:44:11 2008 UTC (11 years ago) by alexk
Original Path: trunk/Src/library/base
Changed type declaration to follow recent changes in the rules that check attachment marks of formal generics.

Revision 75879 - Directory Listing
Modified Mon Nov 24 22:16:23 2008 UTC (11 years ago) by alexk
Original Path: trunk/Src/library/base
Specified detachable mark when required by the conformance rules.

Revision 75719 - Directory Listing
Modified Tue Nov 18 19:51:24 2008 UTC (11 years ago) by manus
Original Path: trunk/Src/library/base
Renamed `chunk_size' into `internal_chunk_size' to avoid possible VMFN errors in descendants.


Revision 75666 - Directory Listing
Modified Mon Nov 17 13:33:28 2008 UTC (11 years ago) by manus
Original Path: trunk/Src/library/base
Made compilable with new compiler that enforces the proper attachment status.


Revision 75633 - Directory Listing
Modified Fri Nov 14 23:33:23 2008 UTC (11 years ago) by manus
Original Path: trunk/Src/library/base
Exported `as_attached' to match the classic version.


Revision 75509 - Directory Listing
Modified Tue Nov 11 18:49:42 2008 UTC (11 years, 1 month ago) by alexk
Original Path: trunk/Src/library/base
Used `make_from_string' as a creation procedure as there is a way to make it void-safe.

Revision 75488 - Directory Listing
Modified Mon Nov 10 15:33:13 2008 UTC (11 years, 1 month ago) by alexk
Original Path: trunk/Src/library/base
Added new features that are now expected by other classes.

Revision 75486 - Directory Listing
Modified Mon Nov 10 12:22:56 2008 UTC (11 years, 1 month ago) by alexk
Original Path: trunk/Src/library/base
Modified the code to be void-safe.

Revision 75472 - Directory Listing
Modified Fri Nov 7 14:36:06 2008 UTC (11 years, 1 month ago) by alexk
Original Path: trunk/Src/library/base
Removed override as this is not supported for libraries.

Revision 75447 - Directory Listing
Modified Thu Nov 6 15:19:03 2008 UTC (11 years, 1 month ago) by alexk
Original Path: trunk/Src/library/base
Added a new ECF file for void-safe version of EiffelBase.

Revision 75446 - Directory Listing
Modified Thu Nov 6 15:11:25 2008 UTC (11 years, 1 month ago) by alexk
Original Path: trunk/Src/library/base
Excluded new `safe' folder that contains void-safe versions of the classes.

Revision 75445 - Directory Listing
Modified Thu Nov 6 15:09:24 2008 UTC (11 years, 1 month ago) by alexk
Original Path: trunk/Src/library/base
Added void-safe variants of the classes.

Revision 75242 - Directory Listing
Modified Wed Oct 22 16:20:50 2008 UTC (11 years, 1 month ago) by jfiat
Original Path: trunk/Src/library/base
Completed modification on RT_* classes to support void-safety 

Revision 75240 - Directory Listing
Modified Wed Oct 22 15:16:26 2008 UTC (11 years, 1 month ago) by jfiat
Original Path: trunk/Src/library/base
Modified RT_* classes to support void-safety (not completed yet, mainly related to assertion and object test)

Revision 75236 - Directory Listing
Modified Tue Oct 21 17:52:59 2008 UTC (11 years, 1 month ago) by manus
Original Path: trunk/Src/library/base
Removed the need to use `RTUD', `RTUD_INV', `eif_id_for_typearr' and `egc_fdtypes' as it has
  been quite a few releases that now `static_type_id' is always the same as `type_id' in workbench
  mode. It should make workbench execution slightly faster (but this was not measured).


Revision 75205 - Directory Listing
Modified Tue Oct 21 13:03:57 2008 UTC (11 years, 1 month ago) by alexk
Original Path: trunk/Src/library/base
Changed `kamikazes' so that it is accepted in a void-safe mode.

Revision 75180 - Directory Listing
Modified Sat Oct 18 22:52:22 2008 UTC (11 years, 1 month ago) by manus
Original Path: trunk/Src/library/base
Cosmetics


Revision 75178 - Directory Listing
Modified Sat Oct 18 22:28:05 2008 UTC (11 years, 1 month ago) by manus
Original Path: trunk/Src/library/base
No need for local variable `r' in `kamikazes'.


Revision 75162 - Directory Listing
Modified Fri Oct 17 19:27:38 2008 UTC (11 years, 1 month ago) by manus
Original Path: trunk/Src/library/base
No need for the RTID macro since it is not doing anything anymore.


Revision 75132 - Directory Listing
Modified Thu Oct 16 16:20:03 2008 UTC (11 years, 1 month ago) by manus
Original Path: trunk/Src/library/base
Previous commit messed up the definition of `count' which was always less by one than expected.


Revision 75129 - Directory Listing
Modified Thu Oct 16 14:10:53 2008 UTC (11 years, 1 month ago) by alexk
Original Path: trunk/Src/library/base
Changed type of an argument to `process_rt_hook' to avoid type mismatch in void-safe mode.

Revision 75071 - Directory Listing
Modified Mon Oct 13 06:57:48 2008 UTC (11 years, 2 months ago) by manus
Original Path: trunk/Src/library/base
Adapted the .NET version of SPECIAL to match the classic version as much as possible, especially adding
  the postconditions. This is also including the new signature of `same_items' which is a breaking change.


Revision 74858 - Directory Listing
Modified Sat Sep 27 03:59:57 2008 UTC (11 years, 2 months ago) by manus
Original Path: trunk/Src/library/base
Added .NET implementation for new routines added in the classic version (see FreeELKS).


Revision 74821 - Directory Listing
Modified Thu Sep 25 00:09:35 2008 UTC (11 years, 2 months ago) by manus
Original Path: trunk/Src/library/base
Fixed obsolete syntax by using new location for `variant' clause in a loop.


Revision 74538 - Directory Listing
Modified Fri Aug 22 17:19:17 2008 UTC (11 years, 3 months ago) by manus
Original Path: trunk/Src/library/base
Added facility to enable and disable tracing when option is enabled in the ECF.
  This is a per thread setting, therefore each thead should call the new routines
  `enable_tracing'/`disable_tracing' depending on what they want.


Revision 74529 - Directory Listing
Modified Thu Aug 21 22:23:26 2008 UTC (11 years, 3 months ago) by manus
Original Path: trunk/Src/library/base
Added obvious missing postconditions to match the FreeELKS ones.
Removed the entry for a WeakReference which has no object in `eif_id_object'.
Added missing comment for `xyz_mutex'.


Revision 74494 - Directory Listing
Modified Mon Aug 18 16:44:22 2008 UTC (11 years, 3 months ago) by manus
Original Path: trunk/Src/library/base
Use READABLE_STRING_GENERAL instead of STRING_GENERAL so that we can convert more Eiffel strings 
  to a .NET SYSTEM_STRING.


Revision 74135 - Directory Listing
Modified Mon Jul 21 22:01:20 2008 UTC (11 years, 4 months ago) by fivaa
Original Path: trunk/Src/library/base
Reverted unwanted changes from in last commit...

Revision 74134 - Directory Listing
Modified Mon Jul 21 21:53:16 2008 UTC (11 years, 4 months ago) by fivaa
Original Path: trunk/Src/library/base
Added initial testing library containing test class ancestor {TEST_SET}

Revision 74126 - Directory Listing
Modified Mon Jul 21 12:42:28 2008 UTC (11 years, 4 months ago) by tedf
Original Path: trunk/Src/library/base
- Use C_STRING in `once_rase' to be safe.
- Correct some comments.
- Rearranged a little bit of feature order.

Revision 73844 - Directory Listing
Modified Mon Jun 16 17:01:50 2008 UTC (11 years, 5 months ago) by manus
Original Path: trunk/Src/library/base
Moved `eif_thr_sleep' from `eif_threads.c' to `eif_sleep' in `misc.c' so that this functionality is
  available in non-multithreaded applications as well.


Revision 73814 - Directory Listing
Modified Wed Jun 11 07:58:21 2008 UTC (11 years, 6 months ago) by tedf
Original Path: trunk/Src/library/base
- Changed `code' from onces into normal functions. Since there is not much need to use once to query another once (which could be even slower considering inlines). And the debugger can always get `code' though non onces.
- Added missing frozen keyword for {VOID_TARGET}.code.

Revision 73811 - Directory Listing
Modified Tue Jun 10 23:37:40 2008 UTC (11 years, 6 months ago) by manus
Original Path: trunk/Src/library/base
Implemented `read_word_thread_aware' by being just a synonym of `read_word'.
Fixed `read_word' as it did not set `separator' and thus behavior was different from classic Eiffel (see
  eweasel test#lib025).


Revision 73705 - Directory Listing
Modified Sat May 24 00:25:28 2008 UTC (11 years, 6 months ago) by manus
Original Path: trunk/Src/library/base
Use back the Trunk.


Revision 73686 - Directory Listing
Modified Fri May 23 07:19:35 2008 UTC (11 years, 6 months ago) by tedf
Original Path: trunk/Src/library/base
Redefined `out' for exceptions to print the stack trace, since CLR uses for printing when crashing. Fixed bug#14015.
Added `signal_code', `error_code' interfaces for .NET classes to keep sync with classic ones, though they are not implemented.

Revision 73661 - Directory Listing
Modified Wed May 21 18:31:19 2008 UTC (11 years, 6 months ago) by manus
Original Path: trunk/Src/library/base
Added NATURAL_64 queries so that a relevant number of bytes is being shown when it is greated than 2GB.


Revision 73660 - Directory Listing
Modified Wed May 21 18:22:23 2008 UTC (11 years, 6 months ago) by manus
Original Path: trunk/Src/library/base
Fixed a bug where we used the wrong `index' to retrieve the existing values.


Revision 73555 - Directory Listing
Modified Fri May 16 00:40:15 2008 UTC (11 years, 6 months ago) by manus
Original Path: trunk/Src/library/base
Fixed VWEQ warning.


Revision 73522 - Directory Listing
Modified Wed May 14 16:28:24 2008 UTC (11 years, 7 months ago) by tedf
Original Path: trunk/Src/library/base
- Stores message in a C_STRING object, so that static address could be passed into the runtime and later used to print the trace. This fixed the problem that tag of exception trace was corrupted in deep calls, which was because the C pointer passed into the runtime from normal Eiffel string was moved when by GC. Fixed test except020 together with 167 of ELKS.
- Modified postcondition of `set_message' using `equal'.
- Explicitly passes a NULL of `meaning' into runtime, since it is not implemented.

Revision 73511 - Directory Listing
Modified Wed May 14 09:23:55 2008 UTC (11 years, 7 months ago) by jfiat
Original Path: trunk/Src/library/base
Fixed bug#14353: Execution record and replay tooltip error
Fixed bug#14352: Execution record and replay not work

+ added rt_dbg_execution_parameters.e which hold the exec replay parameters. In the future, the debugger will be able to remotely set those values.

Revision 73445 - Directory Listing
Modified Fri May 9 13:10:49 2008 UTC (11 years, 7 months ago) by larryl
Original Path: trunk/Src/library/base
Added common ancestor for all test case classes

Revision 73413 - Directory Listing
Modified Thu May 8 16:31:19 2008 UTC (11 years, 7 months ago) by tedf
Original Path: trunk/Src/library/base
Removed the accidentally committed "note".

Revision 73404 - Directory Listing
Modified Thu May 8 04:43:34 2008 UTC (11 years, 7 months ago) by manus
Original Path: trunk/Src/library/base
Removed non-used local.


Revision 73384 - Directory Listing
Modified Wed May 7 06:54:25 2008 UTC (11 years, 7 months ago) by jfiat
Original Path: trunk/Src/library/base
Various changes to improve the recording, minimize the object creation in the recording code.
Generate a leave feature macro RTDBGLE, instead of hooking existing macro RTEE and RTEOK.

Revision 73340 - Directory Listing
Modified Tue May 6 17:20:45 2008 UTC (11 years, 7 months ago) by king
Original Path: trunk/Src/library/base
Now using aliased_resized_area instead of resized_area for resizing internal special objects so that objects can be reused in some circumstances.

Revision 73339 - Directory Listing
Modified Tue May 6 17:20:15 2008 UTC (11 years, 7 months ago) by king
Original Path: trunk/Src/library/base
Now using aliased_resized_area instead of resized_area for resizing internal special objects so that objects can be reused in some circumstances.

Revision 73316 - Directory Listing
Modified Mon May 5 12:26:45 2008 UTC (11 years, 7 months ago) by alexk
Original Path: trunk/Src/library/base
Replaced object tests with comparison to Void when possible.
Made more changes towards void-safe code.
Reverted some code to the original state that is possible now due to the
new CAP rules.


Revision 73218 - Directory Listing
Modified Fri Apr 25 22:04:08 2008 UTC (11 years, 7 months ago) by manus
Original Path: trunk/Src/library/base
Added `set_target' and `is_target_closed' to match classic implementation which let you change
  the closed target of an agent but only if it is exactly the same type.


Revision 73214 - Directory Listing
Modified Fri Apr 25 21:20:28 2008 UTC (11 years, 7 months ago) by manus
Original Path: trunk/Src/library/base
Made compilable with `full_class_checking'.


Revision 73181 - Directory Listing
Modified Fri Apr 25 04:27:40 2008 UTC (11 years, 7 months ago) by tedf
Original Path: trunk/Src/library/base
Remove EXCEPTION for classic added in 73164, because there was too much code duplication, and it is OK to do the change in ELKS version.

Revision 73166 - Directory Listing
Modified Thu Apr 24 12:27:18 2008 UTC (11 years, 7 months ago) by tedf
Original Path: trunk/Src/library/base
Fixed in .NET test#except017 and partially fixed test#except016 of the issue how routines in EXCEPTIONS behave.

Revision 73164 - Directory Listing
Modified Thu Apr 24 10:38:27 2008 UTC (11 years, 7 months ago) by tedf
Original Path: trunk/Src/library/base
Made EXCEPTION compatible with the one in 6.1.

Revision 73051 - Directory Listing
Modified Wed Apr 16 19:23:13 2008 UTC (11 years, 7 months ago) by manus
Original Path: trunk/Src/library/base
Fixed warnings caused by missing `return' statement in C generated code.


Revision 73041 - Directory Listing
Modified Wed Apr 16 16:21:02 2008 UTC (11 years, 7 months ago) by jfiat
Original Path: trunk/Src/library/base
Added #ifdef WORKBENCH ... 

Revision 73040 - Directory Listing
Modified Wed Apr 16 16:12:24 2008 UTC (11 years, 7 months ago) by jfiat
Original Path: trunk/Src/library/base
Fixed various issue with execution recording (mostly related to GC)
- various optimization for the execution recording
- renamed RT_DBG_RECORD, as RT_DBG_VALUE_RECORD

Revision 73021 - Directory Listing
Modified Sun Apr 13 18:06:04 2008 UTC (11 years, 8 months ago) by jfiat
Original Path: trunk/Src/library/base
removed comparison between attached object and Void. (avoid warning)

Revision 73020 - Directory Listing
Modified Sun Apr 13 18:02:32 2008 UTC (11 years, 8 months ago) by jfiat
Original Path: trunk/Src/library/base
removed comparison between attached object and Void. (avoid warning)

Revision 73019 - Directory Listing
Modified Sun Apr 13 17:48:45 2008 UTC (11 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Removed non-used locals.


Revision 73016 - Directory Listing
Modified Sat Apr 12 06:41:25 2008 UTC (11 years, 8 months ago) by jfiat
Original Path: trunk/Src/library/base
fixed a misplaced warning

Revision 73015 - Directory Listing
Modified Sat Apr 12 06:29:23 2008 UTC (11 years, 8 months ago) by jfiat
Original Path: trunk/Src/library/base
- Completed commits for "execution record and replay" functionality
- harmonize use of level in callstack and callstack's depth and call's depth
- store dbg profiles data in a dedicated session, instead of storing in the same "dbg" sessions. This should prevent the lost of profiles .. too often.
- revert back timeout delay before closing ipc_engine  (might fix bug#14190 Long pause after execution finishes when run system under debugger)
- fixed bug#14117 Status bar message about `ignoring breakpoints' is not refreshed when status is changed
- removed previous hack about bug#14120: Object tool grayed out the first time you put EiffelStudio in debug mode

Revision 72993 - Directory Listing
Modified Wed Apr 9 19:06:00 2008 UTC (11 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Use STRING instead of STRING_32 since the later is not needed.


Revision 72983 - Directory Listing
Modified Wed Apr 9 05:59:01 2008 UTC (11 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Fixed incorrect wrapping for #ifdef WORBENCH #endif of `c_set_reference_stack_value'.


Revision 72959 - Directory Listing
Modified Sat Apr 5 17:59:09 2008 UTC (11 years, 8 months ago) by jfiat
Original Path: trunk/Src/library/base
- better catcall detection control (console and debugger)
- use remote evaluation for remote store/load object, and also for most of the replay mechanism
  (this makes the runtime lighter and cleaner)
- introduced break_nested_index (in addition to break index)
- breakpoint: do not save hidden breakpoint (since most of the time, the when hits action might include many unwanted objects)
- add a debugger observer check point to update debugger data (such as breakpoints, catcall detection .. other)
- added on_application_initialized which is just before it is really launched

- Partial integration of execution recording and replay (a few C macros are disabled for now, for next interim release)

- cosmetics

Revision 72875 - Directory Listing
Modified Wed Mar 26 11:18:36 2008 UTC (11 years, 8 months ago) by alexk
Original Path: trunk/Src/library/base
Marked types of entities that may be Void as detachable. Replaced non-void-safe constructs with void-safe ones (there are still some places that need modifications to become void-safe).

Revision 72760 - Directory Listing
Modified Sat Mar 15 14:50:43 2008 UTC (11 years, 8 months ago) by tedf
Original Path: trunk/Src/library/base
- Improved implementation of ignoring exceptions, using dynamic type of exception type and hash table as containers.
- Fixed a CAT call.

Revision 72659 - Directory Listing
Modified Sat Mar 8 05:20:54 2008 UTC (11 years, 9 months ago) by manus
Original Path: trunk/Src/library/base
Removed usage of non-conforming inheritance as it causes some issue at code generation time:
- it requires flat checking to ensure it is correct
- some code need proper replication

Revision 72621 - Directory Listing
Modified Wed Mar 5 17:30:46 2008 UTC (11 years, 9 months ago) by manus
Original Path: trunk/Src/library/base
Moved the object graph traversable classes to FreeELKS in the support directory as they can
  be used by more than just SED. Moreover they use INTERNAL facilities too.


Revision 72598 - Directory Listing
Modified Tue Mar 4 17:41:52 2008 UTC (11 years, 9 months ago) by manus
Original Path: trunk/Src/library/base
Added `deep_physical_size' to match classic implementation.
Implemented an approximation of `physical_size' since .NET does not provide such a useful feature.


Revision 72502 - Directory Listing
Modified Wed Feb 27 15:44:17 2008 UTC (11 years, 9 months ago) by jfiat
Original Path: trunk/Src/library/base
fixed wrong precondition

Revision 72398 - Directory Listing
Modified Thu Feb 21 23:08:07 2008 UTC (11 years, 9 months ago) by manus
Original Path: trunk/Src/library/base
Removed obsolete calls to feature of PLATFORM.


Revision 72351 - Directory Listing
Modified Tue Feb 19 11:20:06 2008 UTC (11 years, 9 months ago) by tedf
Original Path: trunk/Src/library/base
Missing changes accompanying with new layout of ELKS. Use ISE_EXCEPTION_MANAGER instead of EXCEPTION_MANAGER.

Revision 72306 - Directory Listing
Modified Thu Feb 14 10:30:05 2008 UTC (11 years, 9 months ago) by tedf
Original Path: trunk/Src/library/base
- Peeled ISE implementation for exception as object.
- Made all features in EXCEPTION_MANAGER built-ins.
- Added EXCEPTION_MANAGER_FACTORY as a solution to instantiate exception manager for local implementations.
- Instantiate ISE_EXCEPTION_MANAGER instead of EXCEPTION_MANAGER.
- Changed com, vision2 and wel accordingly.

Revision 72303 - Directory Listing
Modified Thu Feb 14 06:28:57 2008 UTC (11 years, 9 months ago) by manus
Original Path: trunk/Src/library/base
Made compatible with the latest version of SPECIAL in FreeELKS


Revision 72231 - Directory Listing
Modified Wed Feb 6 02:01:46 2008 UTC (11 years, 10 months ago) by manus
Original Path: trunk/Src/library/base
Fixed typo in the name of the DOTNET_EXCEPTION_WRAPPER.


Revision 72019 - Directory Listing
Modified Wed Jan 23 10:11:38 2008 UTC (11 years, 10 months ago) by tedf
Original Path: trunk/Src/library/base
Corrected the name of "dotnet_exception_wapper", added copyright info and description.

Revision 71859 - Directory Listing
Modified Fri Jan 11 12:09:16 2008 UTC (11 years, 11 months ago) by tedf
Original Path: trunk/Src/library/base
Made .NET project compile since exception class have been moved into elks.

Revision 71827 - Directory Listing
Modified Wed Jan 9 23:50:11 2008 UTC (11 years, 11 months ago) by manus
Original Path: trunk/Src/library/base
Moved exception classes to the FreeELKS's repository.


Revision 71665 - Directory Listing
Modified Fri Dec 28 09:14:24 2007 UTC (11 years, 11 months ago) by tedf
Original Path: trunk/Src/library/base
- Fixed except012 for classic, now the runtime takes the caller of `{EXCEPTION_MANAGER}.raise' or `{EXCEPTION}.raise' as recipient. The name `raise' is hard coded, it means that recipient computation relies on the name and renaming could affect the caught recipient.
- Plugged EXCEPTION type as non mandatory.
- Merged `topcall' and `seccall' into `top_n_call'.

Revision 71632 - Directory Listing
Modified Mon Dec 24 21:38:47 2007 UTC (11 years, 11 months ago) by manus
Original Path: trunk/Src/library/base
Fixed bug#13820 where class EXCEPTION was not verifiable because we were calling a .NET .ctor
  in a non .ctor routine. The workaround is to initialize the .NET exception message by redefining
  System.Exception.get_Message instead (dotnet_message in the Eiffel class).


Revision 71631 - Directory Listing
Modified Mon Dec 24 21:30:14 2007 UTC (11 years, 11 months ago) by manus
Original Path: trunk/Src/library/base
We are now using the EiffelSoftware branch of FreeELKS as a temporary measure so that
  one can easily build a delivery of EiffelStudio without having to manually patch
  EXCEPTIONS and STORABLE.


Revision 71552 - Directory Listing
Modified Tue Dec 18 01:27:30 2007 UTC (11 years, 11 months ago) by tedf
Original Path: trunk/Src/library/base
First integration of Exceptions as Objects.
There are some remaining issues:
- Final layout of base. EXCEPIONS in `elks' now depends on `ise'
- Decision to change name of `last_exception' to `last_unhandled_exception'.
- Old expression evaluations. They are recomputed after retry.
- SYS_EXCEPTION & SYSTEM_EXCEPTION, EIF_EXCEPTION & EIFFEL_EXCEPTION the naming issue.
- The place invariants are generated makes wrong recipient of post-invariant.
- except007, except008 failes on .NET. Because of invariants are generated in callers.
- except012, computation of recipients. 
- exec079, classic, could indicate memory leak problem.
- fixed036, classic, too slow, because of the trace is getting bigger and bigger to build.

Revision 71315 - Directory Listing
Modified Fri Nov 30 18:58:28 2007 UTC (12 years ago) by manus
Original Path: trunk/Src/library/base
Fixed eweasel test#lib014 where `recede' was not properly implemented (it needs a minus operator to
  the specified offset since position are relative to the end).
Optimized `put_new_line'.


Revision 71314 - Directory Listing
Modified Fri Nov 30 18:56:53 2007 UTC (12 years ago) by manus
Original Path: trunk/Src/library/base
Fixed some of the eweasel tests (test#lib012, test#lib017, test#lib023) because `put_character'
  was not processing correctly %N which should insert %R%N.


Revision 71307 - Directory Listing
Modified Fri Nov 30 17:52:24 2007 UTC (12 years ago) by manus
Original Path: trunk/Src/library/base
Fixed eweasel test#lib010 where `append' would not properly work due to the way we were
  implementing it by not checking the return value of `ost.read' which is the one that can
  tell us if we are pass the end of file.


Revision 71171 - Directory Listing
Modified Fri Nov 16 00:14:47 2007 UTC (12 years ago) by paulb
Original Path: trunk/Src/library/base
Redefined prune to remove any uncalled kamikaze actions also.

Revision 71104 - Directory Listing
Modified Fri Nov 9 12:50:11 2007 UTC (12 years, 1 month ago) by jfiat
Original Path: trunk/Src/library/base
Code cleaning
  removed deprecated "is"


  

Revision 71103 - Directory Listing
Modified Fri Nov 9 12:49:00 2007 UTC (12 years, 1 month ago) by jfiat
Original Path: trunk/Src/library/base
Code cleaning
  feature renaming
  removed deprecated "is"


  

Revision 70885 - Directory Listing
Modified Thu Oct 25 00:02:53 2007 UTC (12 years, 1 month ago) by manus
Original Path: trunk/Src/library/base
Added missing precondition to match the classic version.


Revision 70786 - Directory Listing
Modified Mon Oct 22 14:33:37 2007 UTC (12 years, 1 month ago) by jfiat
Original Path: trunk/Src/library/base
Fixed remaining issue about loading remote object storage into an existing object.
(+ better code to get the icor debug function on dotnet)

Revision 70785 - Directory Listing
Modified Mon Oct 22 13:53:17 2007 UTC (12 years, 1 month ago) by jfiat
Original Path: trunk/Src/library/base
Fixed (recently introduced) remote object storage mechanism on dotnet platform.

Revision 70770 - Directory Listing
Modified Sun Oct 21 16:00:24 2007 UTC (12 years, 1 month ago) by jfiat
Original Path: trunk/Src/library/base
Fixed part of remote storable object for dotnet platform.

Revision 70768 - Directory Listing
Modified Sun Oct 21 14:43:24 2007 UTC (12 years, 1 month ago) by jfiat
Original Path: trunk/Src/library/base
- added RT_EXTENSION_GENERAL which implement common implementation for classic and dotnet 
- updated constants values for dotnet classes

Revision 70758 - Directory Listing
Modified Sat Oct 20 19:58:44 2007 UTC (12 years, 1 month ago) by manus
Original Path: trunk/Src/library/base
Made compilable.


Revision 70752 - Directory Listing
Modified Sat Oct 20 06:40:45 2007 UTC (12 years, 1 month ago) by manus
Original Path: trunk/Src/library/base
Removed non-used local.


Revision 70734 - Directory Listing
Modified Fri Oct 19 20:12:45 2007 UTC (12 years, 1 month ago) by jfiat
Original Path: trunk/Src/library/base
+ changed constants values for later usage
+ proper call for rescue case during execution recording.
+ Code cleaning for RT_... classes (i.e: less output, comment, feature order...)

Revision 70640 - Directory Listing
Modified Wed Oct 17 20:28:18 2007 UTC (12 years, 1 month ago) by jfiat
Original Path: trunk/Src/library/base
Fixed issues related to execution replay:
- about expanded object
- prepare for future changes which implies minor breaking runtime change
 (that will be committed just before the next interim release)

Revision 70615 - Directory Listing
Modified Tue Oct 16 21:52:41 2007 UTC (12 years, 1 month ago) by manus
Original Path: trunk/Src/library/base
Removed syntax warning for using `note' as an indexing clause tag since it might become a keyword.


Revision 70609 - Directory Listing
Modified Tue Oct 16 21:40:00 2007 UTC (12 years, 1 month ago) by manus
Original Path: trunk/Src/library/base
Made IDENTIFIED_CONTROLLER compile on .NET


Revision 70606 - Directory Listing
Modified Tue Oct 16 21:04:09 2007 UTC (12 years, 1 month ago) by manus
Original Path: trunk/Src/library/base
Match classic behavior by ensuring uniqueness of IDs among threads.


Revision 70604 - Directory Listing
Modified Tue Oct 16 20:54:31 2007 UTC (12 years, 1 month ago) by manus
Original Path: trunk/Src/library/base
Adapted the .NET side to use the new FreeELKS IDENTIFIED classs. We still need a special .NET version
  for IDENTIFIED_ROUTINES.


Revision 70603 - Directory Listing
Modified Tue Oct 16 20:40:10 2007 UTC (12 years, 1 month ago) by manus
Original Path: trunk/Src/library/base
Removed IDENTIFIED which is now part of FreeELKS.


Revision 70602 - Directory Listing
Modified Tue Oct 16 20:39:26 2007 UTC (12 years, 1 month ago) by manus
Original Path: trunk/Src/library/base
Removed non-used locals.


Revision 70596 - Directory Listing
Modified Tue Oct 16 16:58:59 2007 UTC (12 years, 1 month ago) by jfiat
Original Path: trunk/Src/library/base
Fixed erroneous check when dealing expanded object.
(still need to improve the expanded object support in exec replay !)

Revision 70569 - Directory Listing
Modified Sun Oct 14 10:03:53 2007 UTC (12 years, 2 months ago) by jfiat
Original Path: trunk/Src/library/base
+ first implementation of execution replay (classic only, and limited)
+ remote object storage (save debuggee object, and load from saved object files)
+ now the feature to run the debuggee uses DEBUGGER_EXECUTION_PARAMETERS (this simplifies some code related to debuggee launching and so on)
+ fixed annoying issue with expression on object, the context feature were causing erroneous class context.
+ simplified DBG_EVALUATOR design, and get rid of the associated once from SHARED)DBG_EVALUATOR.
+ cosmetics

(note: the RT_.. classes need to be cleaned up from extra debug clauses, but this will be done before the release, for now let's keep them for debugging purpose)

Revision 70519 - Directory Listing
Modified Mon Oct 8 19:09:16 2007 UTC (12 years, 2 months ago) by manus
Original Path: trunk/Src/library/base
Added some more explanation on how to correctly use this class.


Revision 70408 - Directory Listing
Modified Tue Sep 25 18:39:43 2007 UTC (12 years, 2 months ago) by manus
Original Path: trunk/Src/library/base
Remove the `check False end' instructions as they prevent from running classic applications on .NET.


Revision 70296 - Directory Listing
Modified Mon Sep 10 22:47:50 2007 UTC (12 years, 3 months ago) by manus
Original Path: trunk/Src/library/base
Fixed bug#12458 and ewasel test#tuple010 where creation of a TUPLE through INTERNAL was
  creating a `native_array' which was one element too short.


Revision 69739 - Directory Listing
Modified Mon Jul 30 21:24:04 2007 UTC (12 years, 4 months ago) by manus
Original Path: trunk/Src/library/base
Ensured that the .NET version of DOUBLE_MATH matches the classic version.


Revision 68933 - Directory Listing
Modified Thu Jun 7 19:25:37 2007 UTC (12 years, 6 months ago) by manus
Original Path: trunk/Src/library/base
Added convenience routine for returning only the pertinent data.


Revision 68930 - Directory Listing
Modified Thu Jun 7 19:12:57 2007 UTC (12 years, 6 months ago) by manus
Original Path: trunk/Src/library/base
Added backward compatibility feature `buffer_position'.


Revision 68767 - Directory Listing
Modified Wed May 30 22:04:07 2007 UTC (12 years, 6 months ago) by manus
Original Path: trunk/Src/library/base
Renamed `buffer_position' as `count' and exported it so that one can now how many
  bytes have been read or written.


Revision 68715 - Directory Listing
Modified Mon May 28 10:10:54 2007 UTC (12 years, 6 months ago) by jfiat
Original Path: trunk/Src/library/base
Fixed bug#12866: Precondition violation when stepping through agent creation
Fixed bug#12871: Precondition violation while debugging .NET application
Similar issues due to the way we manage the Current object line by replacing it either by an address or a value line.
Added a rescue on the origin feature in charge of the row layout restoration.
Added `has_kamikaze_action' on ACTION_SEQUENCE, this was needed to move the actions from a sequence to another keeping the `kamikaze' status data.

Revision 68087 - Directory Listing
Modified Thu May 3 17:33:51 2007 UTC (12 years, 7 months ago) by paulb
Original Path: trunk/Src/library/base
Reformatted using resave tool, which mirrors how EiffelStudio's configuration UI save the settings.

Revision 67923 - Directory Listing
Modified Fri Apr 20 15:06:08 2007 UTC (12 years, 7 months ago) by manus
Original Path: trunk/Src/library/base
Added `type_of' and `type_of_type'. For now it is not implemented as singleton, but will in the future
  when the compiler does the same with manifest type.


Revision 67686 - Directory Listing
Modified Mon Apr 2 18:54:19 2007 UTC (12 years, 8 months ago) by paulb
Original Path: trunk/Src/library/base
Formatted using spaces.
Set namespace to create neat namespaces in accordance to new rules.

Revision 67670 - Directory Listing
Modified Sun Apr 1 18:17:42 2007 UTC (12 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Reverted back to version 1-0-0 since we do not use any new features of ECF here.


Revision 67666 - Directory Listing
Modified Sun Apr 1 17:15:09 2007 UTC (12 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Adapted to output by EiffelStudio.


Revision 67650 - Directory Listing
Modified Sat Mar 31 05:03:21 2007 UTC (12 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Added namespace specification to Base for both elks and ise directory.


Revision 67491 - Directory Listing
Modified Fri Mar 23 05:32:32 2007 UTC (12 years, 8 months ago) by manus
Original Path: trunk/Src/library/base
Added invariant and restricted creation to MISMATCH_CORRECTOR to ensure that only
  it can create an instance (fixes bug#11911).


Revision 67392 - Directory Listing
Modified Tue Mar 20 11:44:05 2007 UTC (12 years, 8 months ago) by alexk
Original Path: trunk/Src/library/base
Supported expanded/reference class type mark at run-time in .NET mode
(fixes test#exec211, partially fixes test#exec181, might have fixed
independent serialization when both expanded and reference variants of a
class type are present in the system - no test for that yet).
Changed initialization of generic types so that run-time type information
is computed before a call to their constructors (partially fixes
test#exec181). Removed run-time and generated code that is no longer used
because of this change. Modified run-time and class INTERNAL accordingly.


Revision 67320 - Directory Listing
Modified Thu Mar 15 19:42:56 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base
Changed signature of `item' to return a SYSTEM_OBJECT so that we can use `put' as an assigner
  procedure as it is done in classic mode. Note that in `item' we use a local of type ANY
  to ensure the same behavior as before for basic types.


Revision 67210 - Directory Listing
Modified Mon Mar 12 19:00:37 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base
Removed usage of unique since it might not exist in future releases.


Revision 66987 - Directory Listing
Modified Wed Feb 28 20:16:28 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base
Copied from: trunk/Src/library/base2 revision 66970
Renamed `base2' into `base'. Since we want this one to be the default one from now on.


Revision 66970 - Directory Listing
Modified Wed Feb 28 06:34:46 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base2
Fixed flat degree 3 errors with export status of features of ANY.


Revision 66872 - Directory Listing
Modified Fri Feb 23 02:07:56 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base2
Removed BOOL_STRING and BASIC_ROUTINES from .NET specific cluster since we can use the one
  from FreeELKS.
Added namespace to match the EiffelBase one.


Revision 66871 - Directory Listing
Modified Fri Feb 23 02:07:07 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base2
Changed signature of "+" to match the classic signature.


Revision 66870 - Directory Listing
Modified Fri Feb 23 01:44:26 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base2
Use the `base' name since it is what is going to replace EiffelBase.


Revision 66869 - Directory Listing
Modified Fri Feb 23 01:42:50 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base2
Added remaining missing classes from EiffelBase.


Revision 66868 - Directory Listing
Modified Fri Feb 23 01:39:39 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base2
Added `event' missing from FreeELKS.
Added `classic' directory needed for some missing classes of FreeELKS.


Revision 66866 - Directory Listing
Modified Fri Feb 23 01:16:40 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base2
Removed ANY, PLATFORM and ARGUMENTS since we can use the one from FreeELKS on .NET.
Fixed configuration file that was incorrect.


Revision 66863 - Directory Listing
Modified Fri Feb 23 00:42:57 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base2
Initial version of the new EiffelBase library based on FreeELKS.


Revision 66862 - Directory Listing
Modified Fri Feb 23 00:42:33 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base2
Added .NET classes that will override the one from FreeELKS for the time being.


Revision 66861 - Directory Listing
Modified Fri Feb 23 00:40:07 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base2
Added more ISE specific clusters.


Revision 66860 - Directory Listing
Modified Fri Feb 23 00:35:49 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base2
Added serialization cluster.


Revision 66859 - Directory Listing
Modified Fri Feb 23 00:34:50 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base2
Added ISE specific classes, i.e classes in EiffelBase, but not found in FreeELKS.


Revision 66858 - Directory Listing
Added Fri Feb 23 00:33:11 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/library/base2
Prepared merging of EiffelBase and FreeELKS for EiffelStudio delivery.


  ViewVC Help
Powered by ViewVC 1.1.23