/[eiffelstudio]/FreeELKS/tags/EiffelSoftware/Eiffel_72
ViewVC logotype

Log of /FreeELKS/tags/EiffelSoftware/Eiffel_72

View Directory Listing Directory Listing


Sticky Revision:
(Current path doesn't exist after revision 92316)

Revision 92167 - Directory Listing
Modified Mon Feb 4 21:05:19 2013 UTC (6 years, 10 months ago) by manus_eiffel
Copied from: FreeELKS/trunk revision 92166
New 7.2 release of FreeELKS for EiffelStudio

Revision 92166 - Directory Listing
Modified Sun Feb 3 22:18:37 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made it compile by adding inheritance to NATIVE_STRING_HANDLER.


Revision 92165 - Directory Listing
Modified Sun Feb 3 21:39:31 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Updated to match latest version from the void-safe mode.


Revision 92164 - Directory Listing
Modified Sun Feb 3 21:35:55 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo.


Revision 92163 - Directory Listing
Modified Fri Feb 1 23:32:12 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed obsolete since it is not obsolete in compatible mode.


Revision 92162 - Directory Listing
Modified Fri Feb 1 23:20:34 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `as_string_xx_conversions' to match regular libraries.


Revision 92161 - Directory Listing
Modified Fri Feb 1 23:20:05 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added PATH for those who would like to switch between compatible and regular libraries and benefit from PATH.


Revision 92160 - Directory Listing
Modified Fri Feb 1 20:52:12 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Improved comments.


Revision 92159 - Directory Listing
Modified Fri Feb 1 08:29:30 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed a bug in `components' where on Unix we would keep the directory separator at the end of each component.Simplified `end_position_of_last_directory_separator' to simply start from the end to the beginning, we do not try to skip the trailing one.
This fixes updated eweasel test#path001 and test#path002.


Revision 92158 - Directory Listing
Modified Thu Jan 31 23:49:53 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Updated PATH to
- normalize path when they come from the outside. Normalization removes double directory separator.
- clarify what is a root
- provide better contracts for `extended', `extended_path', `appended' and `append_with_extension'.
- simplified implementation for looking up content of `storage'
- rmproved efficiency of `components'
- removed `is_representable' since `name' can represent any type of wrongly encoded paths.
See review#9272053.
Updated `{DIRECTORY}.recursive_create_dir' so that it benefits from the new improvements of PATH so that it can always create an absolute path if permissions allows it (be it a path like C:foo or \\server\share\foo).


Revision 92157 - Directory Listing
Modified Thu Jan 31 23:44:17 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed missing precondition to `make_from_separator' to ensure that argument is not Void when compiled in non-void-safe system.


Revision 92156 - Directory Listing
Modified Wed Jan 30 23:12:29 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made code of gobo compile in both regular and compatible mode by adding `append_substring' and `prepend_substring' to STRING_8.


Revision 92155 - Directory Listing
Modified Wed Jan 30 20:23:58 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `append_substring' and `prepend_substring' for faster insertions in STRING_GENERAL and provided STRING_8 and STRING_32 efficient implementations.
See review#9270049.


Revision 92154 - Directory Listing
Modified Wed Jan 30 18:48:40 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added some comment about the unsafe usage of `base_address' and `item_address'.


Revision 92153 - Directory Listing
Modified Tue Jan 29 19:27:40 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed a bug in `absolute' and `absolute_in' where if you have the following path `c:abc.txt' and you try to get the absolute path where the current working directory is c:\foo\bar, the resulting path should be `c:\foo\bar\abc.txt' and not just `c:\abc.txt'.
This fix new case from eweasel test#path002 (rev#91081).


Revision 92152 - Directory Listing
Modified Sat Jan 26 06:42:21 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typos.


Revision 92151 - Directory Listing
Modified Sat Jan 26 06:41:02 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typos.


Revision 92150 - Directory Listing
Modified Sat Jan 26 06:38:03 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed extra `a' in obsolete message for `name'.


Revision 92149 - Directory Listing
Modified Sat Jan 26 06:13:49 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed Unix from comment since console is nothing Unix specific.


Revision 92148 - Directory Listing
Modified Sat Jan 26 06:09:03 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed Unix from comment since console is nothing Unix specific.


Revision 92147 - Directory Listing
Modified Sat Jan 26 06:06:57 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed grammar.


Revision 92146 - Directory Listing
Modified Sat Jan 26 06:05:34 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed grammar.


Revision 92145 - Directory Listing
Modified Sat Jan 26 05:39:51 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed grammar: it should be "a UTF" and not "an UTF".


Revision 92144 - Directory Listing
Modified Sat Jan 26 05:37:05 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed grammar: it should be "a UTF" and not "an UTF".


Revision 92143 - Directory Listing
Modified Sat Jan 26 05:23:24 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Replaced `or else' by `or', `and then' by `and' when no order is required.


Revision 92142 - Directory Listing
Modified Sat Jan 26 01:05:48 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed missing uppercase in Unicode.


Revision 92141 - Directory Listing
Modified Fri Jan 25 22:24:21 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo on `accommodate'.


Revision 92140 - Directory Listing
Modified Fri Jan 25 22:23:24 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo on `accommodate'.


Revision 92139 - Directory Listing
Modified Fri Jan 25 22:18:48 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo on `items'.


Revision 92138 - Directory Listing
Modified Fri Jan 25 22:18:20 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo on `items'.


Revision 92137 - Directory Listing
Modified Fri Jan 25 22:15:20 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo on `necessary'.


Revision 92136 - Directory Listing
Modified Fri Jan 25 20:20:08 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Relaxed obsolete message for `make' to allow any other `make_xxx' routines.


Revision 92135 - Directory Listing
Modified Fri Jan 25 19:58:54 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo for `necessary'.


Revision 92134 - Directory Listing
Modified Fri Jan 25 19:49:00 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo `twinning' in comment of `twin'.


Revision 92133 - Directory Listing
Modified Thu Jan 24 22:33:34 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo `our' instead of `or'.


Revision 92132 - Directory Listing
Modified Thu Jan 24 22:32:11 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo `sensitivity'.


Revision 92131 - Directory Listing
Modified Thu Jan 24 22:28:32 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Cosmetics: removed unnecessary parenthesis.


Revision 92130 - Directory Listing
Modified Thu Jan 24 22:27:55 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo in naming of FILE_INFO.


Revision 92129 - Directory Listing
Modified Thu Jan 24 22:25:54 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo for `consistency'.


Revision 92128 - Directory Listing
Modified Mon Jan 21 00:35:07 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added missing precondition to `make' which should require like `set_string' the input string to be valid as a STIRNG_8.


Revision 92127 - Directory Listing
Modified Fri Jan 18 22:58:24 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed invalid loop invariant in `utf_32_string_to_utf_16_0'. This fixes eweasel test#utf001.


Revision 92126 - Directory Listing
Modified Fri Jan 18 19:50:31 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Reverted signature of `raise' to STRING otherwise descendants classes (e.g. in Gobo) do not compile out of the box.


Revision 92125 - Directory Listing
Modified Fri Jan 18 19:38:00 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Allowed for READABLE_STRING_GENERAL in `raise' and `raise_retrieval_exception' to match the new capability of the EXCEPTION class to store Unicode description.


Revision 92124 - Directory Listing
Modified Thu Jan 17 19:46:15 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Changed signature of `debug_output' to be more general so that descendants can define it either as STRING_8 or STRING_32. This will enable the compiler to show Unicode content directly.


Revision 92123 - Directory Listing
Modified Wed Jan 16 18:06:21 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Moved `split' up to READABLE_STRING_GENERAL as well as `new_string' which is used in `split'.


Revision 92122 - Directory Listing
Modified Tue Jan 15 21:41:22 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed anchor to argument which is not part of the Eiffel specification anymore. This indirectly goes around a limitation of the Eiffel compiler in full class checking (see eweasel test#svalid032).

Revision 92121 - Directory Listing
Modified Tue Jan 15 18:45:12 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo in comment of `as_string_8_conversion'.


Revision 92120 - Directory Listing
Modified Fri Jan 11 19:11:53 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed implicit conversion STRING_32 -> IMMUTABLE_STRING_32.


Revision 92119 - Directory Listing
Modified Fri Jan 11 17:41:02 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `as_string_8_conversion' and `as_string_32_conversion' to help users migrating by marking places in their code where the STRING_8 <-> STRING_32 conversions needs to be worked on at a later time.
See review#9175108.


Revision 92118 - Directory Listing
Modified Thu Jan 10 00:57:33 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added ability to create HASH_TABLEs directly with object_comparison set to True. Updated `empty_duplicates' accordingly.


Revision 92117 - Directory Listing
Modified Thu Jan 10 00:50:44 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Prevented inheritance of IMMUTABLE_STRING_X to prevent descendants to access `area' and to modify it.


Revision 92116 - Directory Listing
Modified Thu Jan 10 00:49:23 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added a comment about the reuse of `area' in `make_from_string_32' when `s' is already an immutable string.


Revision 92115 - Directory Listing
Modified Mon Jan 7 22:37:33 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added ability to query the hash code of the lower case version of a string. This is useful to have an efficient hash code computation in STRING_TABLE when keys are compared in a caseless manner.
See review#9176018.


Revision 92114 - Directory Listing
Modified Mon Jan 7 22:36:00 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed explicit call to {READABLE_STRING_GENERAL}.as_string_32 and made the private `environ' table use immutable keys.


Revision 92113 - Directory Listing
Modified Mon Jan 7 22:33:17 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed implicit call to {READABLE_STRING_GENERAL}.as_string_32.


Revision 92112 - Directory Listing
Modified Mon Jan 7 22:32:27 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed many implicit or explicit calls to {READABLE_STRING_GENERAL}.as_string_32.


Revision 92111 - Directory Listing
Modified Mon Jan 7 22:32:03 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed `name_32' which is an obsolete by birth routine.


Revision 92110 - Directory Listing
Modified Mon Jan 7 16:05:50 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made it compile after a merge conflict that deleted some new code.


Revision 92109 - Directory Listing
Modified Mon Jan 7 16:05:05 2013 UTC (6 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Properly implemented `empty_duplicate' to fix eweasel test#table013 where resizing the table did not preserve the caseless insensitivity of the table structure. 


Revision 92108 - Directory Listing
Modified Mon Jan 7 01:37:31 2013 UTC (6 years, 10 months ago) by kkkkg999
Original Path: FreeELKS/trunk
Reimplemented {HASH_TABLE}.is_equal.
1 - compare the basic properties: count, object_comparison, has_default, ...
2 - compare items, go for all the items in the current hash_table and for each
of those, query if the item is present in the other table and if so, compare
them using `object comparisons' or not (depending on the setting).

Redefine {STRING_TABLE}.is_equal taking `is_case_sensitive' into account.

review#9099006

Revision 92107 - Directory Listing
Modified Fri Jan 4 23:56:50 2013 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
See STRING_32 commit rev#570, same is done here:
Added a special mismatch so that one can retrieve a IMMUTABLE_STRING_32 instance stored in .NET and retrieving it in classic mode. The code works because our SED serialization detects a mismatch since SPECIAL [NATURAL_32] is different from SPECIAL [CHARACTER_32] but when we actually create the object it is of the right type, so we just need to connect what we retrieved to what is expected.


Revision 92106 - Directory Listing
Modified Fri Jan 4 19:52:10 2013 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed an issue with resizing of MANAGED_POINTER when converting a STRING_32 into a UTF-8 or UTF-16 encoding. To simplifiy resizing, if we need to resize the managed pointer, I actually calculate how many bytes I need at least (it could be less when using escaped strings) but that way only one resizing is performed.

For UTF-16 encoding taking a `p_offset', to let us write postconditions that makes sense (since extraction from UTF-16 requires a code unit position and not an offset), we enforce that `p_offset' is always even. 

Added a postcondition for all conversion routines that helps in verifying that the implementation is correct.

See review#9157001.


Revision 92105 - Directory Listing
Modified Fri Jan 4 05:16:24 2013 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Updated postcondition `rename_path' to match the implementation and compare strings and not a string instance with a path instance.


Revision 92104 - Directory Listing
Modified Fri Jan 4 04:13:58 2013 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed invalid check in `position_of_last_directory_separator' where on Windows we wrongly checked that a character was not a directory separator. This fixes a new test case of test#path002.


Revision 92103 - Directory Listing
Modified Thu Jan 3 01:09:10 2013 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed `absolute_path_in' where now we need to twin the arguments when we are using its storage to append more to it.
Improved `internal_path_append_into' to not add a separator if `other' is already starting with a separator, this makes the appending of `x' by '/kernel' result in `x/kernel' instead of `x//kernel'.


Revision 92102 - Directory Listing
Modified Thu Jan 3 01:06:45 2013 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed conversion of surrogate pairs from a pointer either escaped or not where the resulting STRING_32 was invlid. See eweasel test#utf001 for UTF-16 sequence (0xD834,0xDD1E) or (0xD834,0xD000).


Revision 92101 - Directory Listing
Modified Thu Jan 3 00:22:47 2013 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed the conversion from string to pointer and vice-versa to use the escaped version of the UTF-16 or UTF-8 conversion from and to READABLE_STRING_32 instances, otherwise reading an invalid UTF-8 or UTF-16 sequence could result in a string that cannot be roundtripped.


Revision 92100 - Directory Listing
Modified Tue Jan 1 04:49:37 2013 UTC (6 years, 11 months ago) by kkkkg999
Original Path: FreeELKS/trunk
Abstracted `left_adjust' and `right_adjust' into STRING_GENERAL.

review#9105002

Revision 92099 - Directory Listing
Modified Fri Dec 28 23:47:54 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed all implicit conversions using `as_string_32' by either using READABLE_STRING_GENERAL/32 when it was possible, and using the `append_string_general' or `prepend_string_general' for string operations.


Revision 92098 - Directory Listing
Modified Fri Dec 28 14:07:03 2012 UTC (6 years, 11 months ago) by kkkkg999
Original Path: FreeELKS/trunk
Fixed eweasel test exec202. Null character should be allowed in the description.

Revision 92097 - Directory Listing
Modified Thu Dec 27 22:59:22 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `absolute_path_in' which gives you the ability to compute a PATH but using a different working directory as a reference.


Revision 92096 - Directory Listing
Modified Thu Dec 27 02:57:50 2012 UTC (6 years, 11 months ago) by kkkkg999
Original Path: FreeELKS/trunk
* Support Unicode in exception objects.
* Removed obsolete `tag' in EXCEPTION. 
* Marked `message', `meaning' and `exception_trace' obsolete, instead introduced Unicode `description', `tag' and `trace' respectively.
* Now UTF-8 description is stored internally and used by ISE runtime.
* Updated clients to use new features.

review#9046064

Revision 92095 - Directory Listing
Modified Tue Dec 18 18:38:13 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed `string_representation_8'.
Added `utf_8_name' and updated comment on `out'.


Revision 92094 - Directory Listing
Modified Tue Dec 18 18:21:30 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed implicit conversions using `as_string_8' and used explit creation procedure instead.


Revision 92093 - Directory Listing
Modified Tue Dec 18 06:55:23 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Move `occurrences' to READABLE_STRING_GENERAL.


Revision 92092 - Directory Listing
Modified Tue Dec 18 06:53:36 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added precondition to `has_extension' that there is no "." in the name.
Made sure that `parent' is never Void. It simplifies code written by returning the abstract representation of the current working directory if no parent can be found.


Revision 92091 - Directory Listing
Modified Mon Dec 17 22:30:42 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Avoided conversions by using READABLE_STRING_GENERAL as arguments to routine of INTERNAL_HELPER and INTERNAL for type identifier.


Revision 92090 - Directory Listing
Modified Mon Dec 17 22:13:06 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Renamed CHARACTER_32_PROPERTY into CHARACTER_PROPERTY as it could be used for both CHARACTER_8 and CHARACTER_32.

Revision 92089 - Directory Listing
Modified Mon Dec 17 22:11:53 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use `as_string_8' instead of `to_string_8' since we have no guarantee that the actual value is representable as STRING_8.

Revision 92088 - Directory Listing
Modified Mon Dec 17 22:10:57 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Avoid conversion in `set' by usign a local with the same type as arguments.
Updated postcondition of `set' and `prepend' to use `same_string' to avoid conversion via the `as_string_XX' query (not that `set' was broken before if current was STRING_8 and argument a IMMUTABLE_STRING_8 because it did not force the conversion to the right type).


Revision 92087 - Directory Listing
Modified Mon Dec 17 22:05:44 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed `make_with_path' which was temporarely added and not used anymore.


Revision 92086 - Directory Listing
Modified Mon Dec 17 22:04:21 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Moved STRING_TABLE from EiffelBase extension to FreeELKS as this is actually more than needed in real life applications that will deal with code migrating from STRING_8 to READABLE_STRING_32 and descendants.


Revision 92085 - Directory Listing
Modified Sat Dec 15 00:53:57 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made code compile on both .NET and classic by providing 2 builtins: i_th_argument_pointer and i_th_argument_string. The implementation uses i_th_argument_string to build the `internal_argument_array' so really only one builtin would be necessary, but to implement it properly in classic we need another external which we keep in ARGUMENTS_32 `i_th_argument_pointer'. The later does not need to be always implemented.


Revision 92084 - Directory Listing
Modified Fri Dec 14 22:41:26 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Moved NATIVE_STRING_HANDLER inside the `string' subcluster.


Revision 92083 - Directory Listing
Modified Fri Dec 14 22:40:42 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made code compatible with new runtime that handles only Unicode arguments.


Revision 92082 - Directory Listing
Modified Fri Dec 14 22:32:02 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added ARGUMENTS_32 that is very similar to ARGUMENTS except that it can handle Unicode characters in arguments.
Updated ARGUMENTS to actually use ARGUMENTS_32 for its implementation to avoid having 2 set of builtins.
Made ARGUMENTS obsolete.
Added `arguments' in EXECUTION_ENVIRONMENT as a replacement for `command_line' now obsolete.
See review#9015027.


Revision 92081 - Directory Listing
Modified Fri Dec 14 22:01:03 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Allowed for `is_case_insensitive_equal' to be compared with any other READABLE_STRING_X descendants for greater flexibility.


Revision 92080 - Directory Listing
Modified Fri Dec 14 19:27:18 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `extension: IMMUTABLE_STRING_32', `appended_with_extension' as a helper routine and `has_extension'.
Exported various directory separators.
Improved performance of `extended' by avoiding one object creation.
See review#9023020.


Revision 92079 - Directory Listing
Modified Thu Dec 13 19:10:57 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed `is_case_insensitive_equal' due to the usage of the wrong index when traversing the argument when used on an immutable string obtained via `shared_substring', i.e.:
  s: IMMUTABLE_STRING_32
  s := "ABCdef"
  s := s.shared_substring (4, 6)
  s.is_case_insensitive_equal ("abc")
This fixes updated eweasel test#string001.


Revision 92078 - Directory Listing
Modified Wed Dec 12 23:44:10 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed absolute path computation of path containing a drive letter. The absolute path of C:foo in the current working directory C:\something is actually C:\something\foo and not something like C:C: as we formely computed it. See eweasel test#path002 for more test cases.
Made `same_as' accept Void path for convenience and thus `path.same_as (Void)' yields False.


Revision 92077 - Directory Listing
Modified Wed Dec 12 16:59:00 2012 UTC (6 years, 11 months ago) by jfiat
Original Path: FreeELKS/trunk
Keep usage of EIF_NATIVE_CHAR rather than using platform specific type.

Revision 92076 - Directory Listing
Modified Wed Dec 12 15:47:46 2012 UTC (6 years, 11 months ago) by jfiat
Original Path: FreeELKS/trunk
Fixed EXECUTION_ENVIRONMENT.starting_environment on Windows

Revision 92075 - Directory Listing
Modified Mon Dec 10 14:30:34 2012 UTC (6 years, 11 months ago) by jfiat
Original Path: FreeELKS/trunk
Fixed utf-8 decoding from pointer (review#8998007)

Revision 92074 - Directory Listing
Modified Mon Dec 10 13:38:15 2012 UTC (6 years, 11 months ago) by kwaxer
Original Path: FreeELKS/trunk
Fixed condition to grow a pointer that was using + instead of - (review#8965241).

Revision 92073 - Directory Listing
Modified Sun Dec 9 16:08:42 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added ability to descendants of HASH_TABLE to redefine `hash_code_of' used to compute the hash code of keys other than using {HASHABLE}.hash_code. See review#8987052.


Revision 92072 - Directory Listing
Modified Sat Dec 8 01:10:36 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
On Windows `make_from_pointer' would not check that replacement of all / by \ was done properly. Indeed it could have replaced /%U even if the / character did not start on an odd position. Also added to `make_from_pointer' the removal of trailing directory separator to be consistent with the other creation procedures.
See review#8960242.


Revision 92071 - Directory Listing
Modified Sat Dec 8 01:08:58 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Ensured that the + operator on string take a READABLE_STRING_GENERAL argument. The benefit is avoiding any conversion if using STRING_32 + STRING_8. The second benefit is warning users by a precondition violation if they do STRING_8 + STRING_32 and the latter is not valid as STRING_8. See review#8960244.


Revision 92070 - Directory Listing
Modified Sat Dec 8 01:05:16 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed improper conversion of an escaped string into UTF-8, we forgot to advance the cursor by th number of character representing the badly formed UTF-8 sequence.


Revision 92069 - Directory Listing
Modified Sat Dec 8 01:03:39 2012 UTC (6 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Relaxed precondition of `fast_update' making sure that `a_ptr' had at least as many bytes as `f_name'. This is indeed not the case when `f_name' is an escaped representation of a badly encoded utf-8 name.


Revision 92068 - Directory Listing
Modified Fri Dec 7 09:37:17 2012 UTC (6 years, 11 months ago) by jfiat
Original Path: FreeELKS/trunk
Added new functions `head' and `tail'
 `head' returning the prefix composed by the first `n' characters (or as many as available)
 `tail' returning the suffix composed by the last  `n' characters (or as many as available)

Revision 92067 - Directory Listing
Modified Fri Dec 7 09:14:47 2012 UTC (6 years, 11 months ago) by jfiat
Original Path: FreeELKS/trunk
Removed obsolete methods `head' and `tail' from STRING_* classes

Revision 92066 - Directory Listing
Modified Wed Dec 5 21:04:57 2012 UTC (7 years ago) by jfiat
Original Path: FreeELKS/trunk
Restored starting_environment_variables as a table of STRING_8 (thus non unicode), and marked it as obsolete. This is mainly to avoid breaking existing code.
Added new stating_environment which is the unicode version of previous restored function.

Revision 92065 - Directory Listing
Modified Wed Dec 5 16:37:58 2012 UTC (7 years ago) by jfiat
Original Path: FreeELKS/trunk
Reverted previous changes on *_STRING_8 classes


Revision 92064 - Directory Listing
Modified Wed Dec 5 13:55:10 2012 UTC (7 years ago) by jfiat
Original Path: FreeELKS/trunk
Added make_from_string_general (READABLE_STRING_GENERAL) to (READABLE_)STRING_8, (READABLE_)STRING_32, IMMUTABLE_STRING_8 and IMMUTABLE_STRING_32

review#8713089

Revision 92063 - Directory Listing
Modified Tue Dec 4 18:57:35 2012 UTC (7 years ago) by kwaxer
Original Path: FreeELKS/trunk
Corrected processing of surrogate pairs, for example, the following UTF-16 sequence was not processed correctly:
   +U55348 +U56606 (these are UTF-16 codes, not UTF-32)
and produced 2 escaped units like "?uD834?uDD1E" instead of 1 non-escaped unit "%/119070/" ("%/x1D11E/") when converting from pointer and surrounded by ASCII characters.
review#8949134


Revision 92062 - Directory Listing
Modified Tue Dec 4 10:32:16 2012 UTC (7 years ago) by jfiat
Original Path: FreeELKS/trunk
Added Support for unicode environment variables
   This impacts the runtime and generated C code with `eif_environ'
   And EXECUTION_ENVIRONMENT.starting_environment_variables

review#8980007

Revision 92061 - Directory Listing
Modified Tue Dec 4 04:10:51 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `rename_path' for consistency with `FILE'.
Removed the obsolete status of `linear_representation_32' which actually supports mixed encoding. Implementation relies on `{PATH}.name'.


Revision 92060 - Directory Listing
Modified Tue Dec 4 04:09:04 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed `string_representation' as `name' has taken over.


Revision 92059 - Directory Listing
Modified Sat Dec 1 00:32:43 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Improved forward compatibility with void-safe EiffelBase by providing the same signature for routines of UTF_CONVERTER and updated callers accordingly. Since UTF_CONVERTER uses the hex conversion of strings which was added later, we ported the class back to compatible.


Revision 92058 - Directory Listing
Modified Sat Dec 1 00:16:25 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo in comments.


Revision 92057 - Directory Listing
Modified Sat Dec 1 00:04:13 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Reverted back to use FILE_INFO to check if a file is a symbolic link, we cannot do everything using FILE which by default follows links. This fix eweasel test#directory001 on Unix.
Fixed missing relaxation of precondition of `delete_content_with_action' from previous commit.


Revision 92056 - Directory Listing
Modified Sat Dec 1 00:02:14 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Relaxed precondition of `is_symlink' to just check for `path_exists' as otherwise you would never know if the file is a symbolic link or not.


Revision 92055 - Directory Listing
Modified Fri Nov 30 23:17:02 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed precondition violation with the new implementation of `delete_content' which now calls `delete_content_with_action' with a value of `0' to indicate that nothing needs to be called. This fixes eweasel test#directory001.


Revision 92054 - Directory Listing
Modified Fri Nov 30 20:27:24 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Changed the type of `{PATH}.name' to be `IMMUTABLE_STRING_32'. The benefit is that it enables us to cache the somewhat expensive operation `name' which involves a conversion and make sure that no one will change the strings.
Fixed an unwanted reset of `internal_hash_code' in `internal_append_into' and to reflect on the new bufferization of `name' we added `reset_internal_data' to ensure that both the buffer and the hash code are properly initialize upon PATH instance creation.


Revision 92053 - Directory Listing
Modified Fri Nov 30 20:00:35 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
A carreful reviewed of the recent changes showed that we had removed some preconditions to some of the DIRECTORY routine. I've also uniformized the comments between the classic and the .NET Version.
Removed the usage of FILE_NAME_32 in `delete_content_with_action'.


Revision 92052 - Directory Listing
Modified Fri Nov 30 19:44:49 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use explicit conversion to show that `make_from_path' is not Unicode compliant.


Revision 92051 - Directory Listing
Modified Fri Nov 30 16:25:40 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed `utf_8_0_subpointer_into_escaped_string_32' to take into account `a_stop_at_null' arguments to stop converting UTF-8 stream at the first null-character.


Revision 92050 - Directory Listing
Modified Thu Nov 29 23:31:24 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added code to ensure that one can convert a SYSTEM_STRING to a STRING_8/STRING_32 without reallocation. The is now needed because now we convert the .NET UTF-16 strings into our escaped version and thus if the .NET STRING has the `{UTF_CONVERTER}.escape_character' we need one more character in the resulting string. Because we use an non-resizable SPECIAL [..] as target of the conversion, the computation is done before hand in the callers.


Revision 92049 - Directory Listing
Modified Thu Nov 29 23:27:30 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added some missing postconditions.


Revision 92048 - Directory Listing
Modified Thu Nov 29 23:26:49 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
* Fixed UTF_CONVERTER so that when the UTF-8 or UTF-16 sequence contain the escape character, then the resulting STRING_32 instance has the escape character escaped.
* Changed UTF_CONVERTER so that the `into' conversions inside a STRING are simply appending instead of replacing existing characters. The benefit is to allow some sections of data to be converted by chunks (one example is in WEL_STRING where you want to replace all the UTF-16 %R%N sequence by juste %N).
* Added some more escape routines for UTF-32 to UTF-16/UTF-8 0-terminated sequence and vice-versa.
* Changed the `into' pointer routine of UTF_CONVERTER to take 2 additional arguments: one for telling at which offset in the destination pointer should we start writing data (useful for appending in chunks) and one other arguments to store where the offset of the last null-characters was written into. 
* Updated NATIVE_STRING to define properly `equal' and `copy', added `unit_count', `bytes_count' and `capacity', added ability to initialize Current with a subset of a string and allow sharing of an existing pointer data. Those additions makes it possible to have WEL_STRING inherits from NATIVE_STRING and avoid code duplication for all conversions.

See review#8949049.

Revision 92047 - Directory Listing
Modified Thu Nov 29 19:26:14 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed postcondition of `make_from_string' to highlight the behavior of PATH which removes any trailing directory separators.


Revision 92046 - Directory Listing
Modified Tue Nov 27 17:57:08 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Renamed some APIs and added some more to follow this convention:
1 - When conversion is done via a result we use `to'
2 - When conversion is done by updating a result we use `into'
As a consequence all the routines updating a MANAGED_POINTER have been renamed to use `into'. It impacted only a few clients (FILE_INFO in our case).


Revision 92045 - Directory Listing
Modified Wed Nov 21 21:23:37 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo.


Revision 92044 - Directory Listing
Modified Wed Nov 21 20:51:37 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed an issue with `incorrect_mismatch' when it was applied to a HASH_TABLE whose keys are expanded but did not have a default value, the retrieved HASH_TABLE has one more items than the original one. It should fix eweasel test#table013.


Revision 92043 - Directory Listing
Modified Wed Nov 21 07:36:45 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed last minute change mistake about checking if a pointer is the null pointer or not.


Revision 92042 - Directory Listing
Modified Tue Nov 20 23:27:25 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Introduced NATIVE_STRING which is a mix between C_STRING and WEL_STRING, that is to say that on Unix it represents a sequence of bytes and on Windows a wchar_t sequence. By default we assume UTF-8 on Unix and UTF-16 on Windows. If it was a valid incoding we use the escaping mechanism described in UTF_CONVERTER.
Renamed PATH_HANDLER into NATIVE_STRING_HANDLER and move a feature from FILE_INFO to there to compute the length of the native string.
Updated EXECUTION_ENVIRONMENT to use this new NATIVE_STRING and thus removed the need for having a EXECUTION_ENVIRONMENT_32 to access unicode strings. We kept `put' but allowed it to take STRING_32. We kept `get' as is, but introduced `item' to retrieve Unicode environment variables. Updated system and launch to also take unicode strings.
See review#8901024.


Revision 92041 - Directory Listing
Modified Sun Nov 18 21:54:45 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Replaced obsolete calls to `string_representation' by calls to `{PATH}.name'.


Revision 92040 - Directory Listing
Modified Sun Nov 18 21:22:50 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Replaced call to obsolete `string_representation' by a call to `name'.


Revision 92039 - Directory Listing
Modified Sun Nov 18 13:39:33 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed `make_from_path' as PATH objects are immutable there is no need to create one from another one, we can either reference the same one or simply twin it.

Revision 92038 - Directory Listing
Modified Sat Nov 17 15:46:08 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Adapted C externals to new ones of the runtime where now on Windows we use the native UTF-16 encoding to represent filenames for the various C API. See review#8814092.


Revision 92037 - Directory Listing
Modified Sat Nov 17 15:28:45 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed catcall issue in `linear_representation' as we cannot call `make_filled' if G is not attached. For the time being, wefirst fill a list and then use that list to fill Result in the reverse order.


Revision 92036 - Directory Listing
Modified Sat Nov 17 15:17:41 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed comment of  `to_pointer' to reflect the fact it does not have any arguments now.


Revision 92035 - Directory Listing
Modified Sat Nov 17 06:25:16 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed argument to `to_pointer' as it was never used in practice.


Revision 92034 - Directory Listing
Modified Sat Nov 17 06:24:20 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Simplified creation of recursive directory by using queries `parent' and `entry' from PATH.


Revision 92033 - Directory Listing
Modified Thu Nov 15 17:03:28 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
* Updated PATH so that one can use a string representation that allows a mixed-encoded path to be used as a STRING_32 too. To make it clearer that it does roundtrip we have made `string_representation' obsolete and introduced `name'. To make this possible we have introduce a new way to represent badly encoded sequence into a STRING_32 representation without loosing the value of the bad sequence, it is using a new variant of the recommended practice of using the replacement character in Unicode (see http://www.unicode.org/review/pr-121.html).
* This new way to escape badly encoded sequence is made available to all in UTF_CONVERTER.
* Added `appended' to allow an easy way to add to a filename (i.e. taking an existing filename and append a new extension such as .bak)
See review#8836014.


Revision 92032 - Directory Listing
Modified Sat Nov 10 15:14:38 2012 UTC (7 years ago) by kwaxer
Original Path: FreeELKS/trunk
Added postconditions to `extended(_path)' (review#8792130).

Revision 92031 - Directory Listing
Modified Thu Nov 8 23:51:26 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `rename_path' to rename using a PATH instance.


Revision 92030 - Directory Listing
Modified Thu Nov 8 23:19:17 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed bugs highlighted by eweasel test#path001 on Unix.


Revision 92029 - Directory Listing
Modified Thu Nov 8 19:41:46 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use `path' instead of `entry' to not confuse it with the notion of directory entry.


Revision 92028 - Directory Listing
Modified Thu Nov 8 19:38:38 2012 UTC (7 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
* Added `make_current' and `is_dot' and `is_dotdot'.
* Exported `make_from_pointer' to PATH_HANDLER and descendants.
* Fixed a bug in `to_pointer' on Windows where we did not have a proper Null-terminating character (i.e. 2 bytes with value 0). This was found when testing the vision2 loading of pixmaps that now takes a PATH.
See review#8791057.


Revision 92027 - Directory Listing
Modified Tue Nov 6 07:57:44 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
* New PATH class that provided a platform specific representation of a file path. Users are encouraged to use PATH instances to get and manipulate paths because not all paths can be represented by a STRING_8 or a STRING_32 instance. To make it easy to manipulate PATH, we made PATH immutable with the exception of some born-obsolete features that could help users to migrate away from the existing PATH_NAME classes.
* Added features in FILE/DIRECTORY to get the associated PATH instance.
* Updated EXECUTION_ENVIRONMENT queries returning a path as STRING_8 to also have a version returning a PATH instance and made the former ones obsoletes.
* Added feature to UTF_CONVERTER to support new PATH implementation.
* Moved implementation of FILE_COMPARER to PATH.
See review#8689065.


Revision 92026 - Directory Listing
Modified Thu Nov 1 22:04:12 2012 UTC (7 years, 1 month ago) by jfiat
Original Path: FreeELKS/trunk
Added is_equal and copy to PATH 

Revision 92025 - Directory Listing
Modified Wed Oct 31 11:36:01 2012 UTC (7 years, 1 month ago) by jfiat
Original Path: FreeELKS/trunk
Fixed implementation using `internal_storage'
Added DEBUG_OUTPUT to ease debugging.

Revision 92024 - Directory Listing
Modified Tue Oct 30 22:12:18 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use `set_filename' instead of `set_file_name' to be compatible with PATH_NAME/FILE_NAME interface.


Revision 92023 - Directory Listing
Modified Tue Oct 30 18:25:59 2012 UTC (7 years, 1 month ago) by jfiat
Original Path: FreeELKS/trunk
Added a temporary version of PATH (the final version will handle unicode)
Added make various make_from_path and make_with_path to ease migration to upcoming PATH 

review#8711034

Revision 92022 - Directory Listing
Modified Tue Oct 30 15:32:46 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Reverted to rev#590 (i.e. cancelling rev#591) as it was felt to extreme to allow conversion between NATURAL_32 and CHARACTER_32, NATURAL_8 and CHARACTER_8.


Revision 92021 - Directory Listing
Modified Tue Oct 30 07:58:06 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed `file_creatable' where we passed the wrong count to the C external, it was supposed to be the number of bytes of the `internal_name_pointer', not the number of characters in `internal_name'.


Revision 92020 - Directory Listing
Modified Tue Oct 30 06:44:21 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed an extra null character appearing in `pointer_to_file_name_8' on Windows.
Fixed a bug in our call to `MultiByteToWideChar' as it does not return the number of bytes as we thought but the number of wide characters (unlike WideCharToMultiByte which does that).


Revision 92019 - Directory Listing
Modified Tue Oct 30 06:42:20 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed `utf_16_0_pointer_to_string_32' to not go beyond the number of bytes of its argument by incrementing `i' by 2 at each iteration rather than multiplying it by 2.


Revision 92018 - Directory Listing
Modified Tue Oct 30 03:31:06 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed compilation warnings on Windows.


Revision 92017 - Directory Listing
Modified Tue Oct 30 03:30:46 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `eif_user_directory_name_ptr' an external from the runtime instead of trying to implement it.


Revision 92016 - Directory Listing
Modified Tue Oct 30 00:19:53 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Allowed FILE classes as well as DIRECTORY to accept Unicode characters:
* It meant changing signature of most routines to accept READABLE_STRING_GENERAL. To not break code only 2 routines in FILE did not change their signature and are now obsolete: make and change_name.
* To not break backward compatibility where STRING_8 where actually understood as a byte sequence, whenever you create a FILE/DIRECTORY using a STRING_8, we use the old implementation, otherwise we use UTF-8 encoding for UNIX and UTF-16 encoding on Windows.
* To make the above point possible is to avoid a lot of conversions, we actually store the name as a MANAGED_POINTER within the FILE/DIRECTORY/FILE_INFO instance.

Renamed UNIX_FILE_INFO as FILE_INFO as there is nothing really specific about UNIX anymore, but kept the UNIX_FILE_INFO to not break existing code.

Those changes had an impact on the runtime implementation of many C externals:
- EIF_FILENAME is now the type of paths at the C level: wchar_t * on Windows and char * on UNIX.
- All external routines have been prefixed with `eif_' to avoid conflicts at the C level.

To make this commit work on your implementation, make sure to update the compiler/runtime implementation too.


Revision 92015 - Directory Listing
Modified Tue Oct 30 00:12:00 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
To help debugging memory issues coming from MANAGED_POINTER (e.g. double frees or invalid pointer) we equipped the class with a way to uniquely identify an allocation for a given reproducible execution.


Revision 92014 - Directory Listing
Modified Tue Oct 30 00:00:45 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `utf_32_string_to_utf_8' and `utf_32_string_to_utf_8_0'.
Reimplemented the _0 routines so that they can be used by the non-_0 routines so that the only reallocation is shrinking which is cheap, versus growing which can be costly.


Revision 92013 - Directory Listing
Modified Mon Oct 29 23:46:11 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added conversion from NATURAL_32 to CHARACTER_32 and vice-versa this simplifies code that manipulate NATURAL_X values as if they were characters.


Revision 92012 - Directory Listing
Modified Mon Oct 29 21:29:47 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `has', `index_of' and `last_index_of' to take a CHARACTER_32 as input. This wil make most of the code handling READABLE_STRING_GENERAL to look more as if we were handling a STRING_32 instance.


Revision 92011 - Directory Listing
Modified Mon Oct 29 17:41:56 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `as_readable_string_8' and `as_readable_string_32' to be used to convert from READABLE_STRING_X to READABLE_STRING_Y (X or Y being either 8 or 32). Those routines are made obsolete because it is the first steps in preventing users to perform implicit conversion from 8-bit strings to 32-bit strings and vice versa.


Revision 92010 - Directory Listing
Modified Fri Oct 26 06:24:33 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use `make_with_name' instead of soon to be obsoleted `make'.


Revision 92009 - Directory Listing
Modified Fri Oct 26 06:23:09 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Create a STRING_32 instance in `error_message' to avoid conversion.


Revision 92008 - Directory Listing
Modified Thu Oct 25 21:40:38 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added logs from ISE:
------------------------------------------------------------------------
r89615 | manus | 2012-10-18 10:50:23 -0700 (Thu, 18 Oct 2012) | 5 lines

Added `is_valid_utf_8_string_8' to verify that a READABLE_STRING_8 is a valid UTF-8 sequence that can be converted to Unicode.
Added some helper function to translate any strings, interpreted as UTF-32 sequence' to UTF-8 string, UTF-8 null-terminated pointer, to UTF-16 as SPECIAL [NATURAL_16].
Added conversion from UTF-16 null-terminated pointer to STRING_32.
See review#8628054 and review#8587007.

------------------------------------------------------------------------
r89581 | alexk | 2012-10-12 05:15:34 -0700 (Fri, 12 Oct 2012) | 1 line

Added constants for Byte Order Marks of UTF encodings (review#8560044).
------------------------------------------------------------------------
r89314 | manus | 2012-08-07 10:21:24 -0700 (Tue, 07 Aug 2012) | 8 lines

Fixed a bug in the initial resizing when using `utf_32_substring_to_utf_16_0_pointer' or `utf_32_substring_to_utf_16_pointer (we forgot that UTF-16 code are 2-byte long.

Inlined the content of `utf_32_substring_to_utf_16_pointer' in `utf_32_substring_to_utf_16_0_pointer' and improved the code so that it is exactly the same speed as the original code from WEL_STRING.set_substring. The only difference is that we only perform a resizing when we hit a code greater than 0xFFFF.

Also in `utf_32_substring_to_utf_16_0_pointer' we shrink the result only when resizing the managed pointer, not all the time as this could have an effect on callers who might have allocated a large MANAGED_POINTER and don't want the content to be shrinked since it is null terminated.

See review#8199166.

------------------------------------------------------------------------
r89263 | alexk | 2012-07-31 11:28:37 -0700 (Tue, 31 Jul 2012) | 1 line

Added features that write terminating zero after the generated in-memory UTF-16 sequence (review#8192126).
------------------------------------------------------------------------
r89253 | alexk | 2012-07-31 04:51:05 -0700 (Tue, 31 Jul 2012) | 1 line

Added new classes that support Unicode file paths (review #7979223).
------------------------------------------------------------------------


Revision 92007 - Directory Listing
Modified Thu Oct 25 21:38:37 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made sure that FreeELKS is self-contained by moving an ISE specific class to FreeELKS.


Revision 92006 - Directory Listing
Modified Thu Oct 25 20:09:28 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added new creation procedure `make_with_name'.


Revision 92005 - Directory Listing
Modified Thu Oct 25 15:30:13 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `make_with_name' to help with transition from `make' which will be soon made obsolete. This helps updating the eweasel test while waiting for remaining file changes to be committed.


Revision 92004 - Directory Listing
Modified Thu Oct 18 03:10:33 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed non-used local.


Revision 92003 - Directory Listing
Modified Wed Oct 17 22:51:32 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use more efficient `is_case_insensitive_equal_general' in `is_boolean' as the current version creates a new CHARACTER_32 object each time we call lower or upper on a CHARACTER_32 instance.


Revision 92002 - Directory Listing
Modified Wed Oct 17 22:36:16 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `is_case_insensitive_equal' to READABLE_STRING_GENERAL and adapted descendants. See review#8628030.


Revision 92001 - Directory Listing
Modified Wed Oct 17 18:36:00 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `item (i: INTEGER): CHARACTER_32' in READABLE_STRING_GENERAL to make it easier to use any kind of Eiffel strings. Obsoleted `code' in CHARACTER_* classes in favor of `natural_32_code' which is not subject to truncation. Made `item_code' obsolete in *_STRING_* classes for the same reason as `code' in CHARACTER_*. Updated callers to not use the obsolete calls.
See review#8578004.


Revision 92000 - Directory Listing
Modified Fri Oct 12 16:27:10 2012 UTC (7 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added support for converting a CHARACTER_32 to lower or upper. Also added some new queries matching the is_xxx queries from CHARACTER_8: is_digit, is_alpha, is_lower, is_upper, .... It uses the CHARACTER_32_PROPERTY class which is generated by the `unicode_helper_generator' tool.


Revision 91999 - Directory Listing
Modified Tue Oct 9 04:53:14 2012 UTC (7 years, 1 month ago) by kkkkg999
Original Path: FreeELKS/trunk
There is a case where `count' is not properly set in `copy'.
Added postcondition.

See bug#18272, review#8201023

Revision 91998 - Directory Listing
Modified Fri Sep 28 17:31:43 2012 UTC (7 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#iteration001 which was broken due to the new definition of `cursor_index' in ancestor class INDEXABLE_ITERATION_CURSOR.


Revision 91997 - Directory Listing
Modified Fri Sep 28 16:01:26 2012 UTC (7 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `retrieved' return a detachable as we cannot guarantee that an implementation will always succeed to retrieve an object. Currently the C implementation triggers an exception when it fails but our .NET version does not enforce this. It makes it more in line with the new version of Eiffel serialization (SED) for which it is already detachable. See review#8427050.


Revision 91996 - Directory Listing
Modified Thu Sep 27 05:02:23 2012 UTC (7 years, 2 months ago) by kwaxer
Original Path: FreeELKS/trunk
Changed implementation of file `date' and `access_date' on Windows to correct daylight shifts (review#8427020).

Revision 91995 - Directory Listing
Modified Thu Sep 27 04:53:23 2012 UTC (7 years, 2 months ago) by kwaxer
Original Path: FreeELKS/trunk
Set file pointer to the default value when the file is closed (review#8456013).

Revision 91994 - Directory Listing
Modified Mon Sep 24 16:48:31 2012 UTC (7 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Implemented `is_first' and `is_last' queries. Updated implementation of `cursor_index' to be more efficient by not querying `index_set' but using the new `first_index' and `last_index' used for the new `is_first' and `is_last' queries.
See review#8225072.


Revision 91993 - Directory Listing
Modified Fri Sep 21 12:18:53 2012 UTC (7 years, 2 months ago) by kwaxer
Original Path: FreeELKS/trunk
Changed the argument type of an agent to make sure the actual agents have correct signature (see review#8059322).

Revision 91992 - Directory Listing
Modified Wed Sep 19 00:18:46 2012 UTC (7 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added a special mismatch so that one can retrieve a STRING_32 instance stored in .NET and retrieving it in classic mode. The code works because our SED serialization detects a mismatch since SPECIAL [NATURAL_32] is different from SPECIAL [CHARACTER_32] but when we actually create the object it is of the right type, so we just need to connect what we retrieved to what is expected.


Revision 91991 - Directory Listing
Modified Mon Aug 20 08:42:14 2012 UTC (7 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `keep_head' to ease migration of existing code to the void-safe version.


Revision 91990 - Directory Listing
Modified Sun Jul 29 10:50:27 2012 UTC (7 years, 4 months ago) by kwaxer
Original Path: FreeELKS/trunk
Added a class for the objects that can iterate over their own states (review#7425007).

Revision 91989 - Directory Listing
Modified Mon Jul 23 21:02:19 2012 UTC (7 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added missing newline character at the end of the file.


Revision 91988 - Directory Listing
Modified Fri Jun 29 15:46:21 2012 UTC (7 years, 5 months ago) by kwaxer
Original Path: FreeELKS/trunk
Replaced postconditions of `last_index_of' with more complete versions (review#8106074).

Revision 91987 - Directory Listing
Modified Thu Jun 28 23:45:11 2012 UTC (7 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `prepend' to STRING_GENERAL to match the void-safe version and to help some code to migrate easily between the two.


Revision 91986 - Directory Listing
Modified Wed Jun 27 11:54:45 2012 UTC (7 years, 5 months ago) by kwaxer
Original Path: FreeELKS/trunk
Added a function that computes last index of the given character code (review#8103020).

Revision 91984 - Directory Listing
Modified Fri Jun 15 19:34:32 2012 UTC (7 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `is_scoop_capable' that can be used in assertions/code to find out if code is running under a SCOOP capable runtime.


Revision 91983 - Directory Listing
Modified Fri Jun 15 19:23:24 2012 UTC (7 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed `make_from_separate' which forgot to set `count' properly.


Revision 91982 - Directory Listing
Modified Tue Jun 12 17:17:15 2012 UTC (7 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `disjoint' which finds out if 2 hash_tables have a disjoint set of keys based on current's comparison of keys. See eweasel test#table011 and review#7983171.


Revision 91981 - Directory Listing
Modified Thu May 24 04:13:10 2012 UTC (7 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Updated copyright year for all classes.
Cosmetics: ensured a consistent note clause and `end' class keyword without comment.


Revision 91980 - Directory Listing
Modified Wed May 16 22:43:58 2012 UTC (7 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Moved most of the `is_xxx' queries (e.g. is_integer, is_real) to the ancestor READABLE_STRING_GENERAL.
Changed the implementation of STRING_TO_NUMERIC_CONVERTOR to not assume anything about the content of the string (the code code was previously broken on the STRING_32 side as it forgot to check that input was valid as STRING_8). Now if a character that is not a CHARACTER_8 is encountered, the parsing will fail.
See review#7876088.


Revision 91979 - Directory Listing
Modified Wed May 16 22:38:32 2012 UTC (7 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added some missing postconditions to `is_valid_character_8_code' and `is_valid_character_32_code' to ensure the implementation (being optimized/simplified) is correct. See review#7823043.

Revision 91978 - Directory Listing
Modified Tue May 15 19:28:36 2012 UTC (7 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Clarified some postconditions for conversion of ARRAY <-> ARRAYED_LIST which is sharing the underlying `area'. See review#7876087.


Revision 91977 - Directory Listing
Modified Tue May 15 19:26:22 2012 UTC (7 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Adapted signature of externals to `rt_stat_buf' which is a plaform specific structure that accomodate the differences between Windows 32/64 and Unix. See review#7876052 and review#7881003.


Revision 91976 - Directory Listing
Modified Fri May 11 20:34:26 2012 UTC (7 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `make_from_separate' to STRING_8 and STRING_32 routines to make it easier to transfer strings between processors when using SCOOP.
Abstracted `make' and `make_empty' to the READABLE_STRING_GENERAL parent.
Used `make_empty' instead of `make_filled' in {READABLE_STRING_32}.make_filled to match the implementation of READABLE_STRING_8.


Revision 91975 - Directory Listing
Modified Thu Apr 26 17:20:58 2012 UTC (7 years, 7 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed `twin' to actually duplicate the underlying storage SPECIAL. Otherwise you end up having FILE instances sharing the same UNIX_FILE_INFO properties. See review#7756042. This fixes eweasel test#lib039.


Revision 91974 - Directory Listing
Modified Fri Apr 6 11:55:07 2012 UTC (7 years, 8 months ago) by kwaxer
Original Path: FreeELKS/trunk
Fixed `left_adjust' that did not work properly when the string contained only white spaces by following the implementation of STRING_8 (bug#18153, test#string001, review#7670136).

Revision 91973 - Directory Listing
Modified Thu Apr 5 23:23:39 2012 UTC (7 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed bug#18146 where creating an array with bounds M..N and then changing the lower bound so that it is smaller than `M - N - 1' means that we need to shift elements over a gap which we did not fill with the default value.
While fixing this bug, we found that there was another bug after the shift is done, we forgot to erase one item to the default value.
We have updated eweasel test#array007.
See review#7665039.


Revision 91972 - Directory Listing
Modified Mon Apr 2 13:06:37 2012 UTC (7 years, 8 months ago) by kwaxer
Original Path: FreeELKS/trunk
Corrected precondition of `force' that did not allow storing elements at existing indexes (see test#array009, review#7618002).

Revision 91971 - Directory Listing
Modified Thu Mar 1 19:37:17 2012 UTC (7 years, 9 months ago) by kwaxer
Original Path: FreeELKS/trunk
Replaced assignment attempt with assignment because the former is not required.

Revision 91970 - Directory Listing
Modified Fri Jan 20 21:26:03 2012 UTC (7 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#table010 where `valid_cursor' on a cursor obtained from an empty HASH_TABLE would cause a postcondition violation. The solution was to fix `valid_cursor' to not use `valid_iteration_index', we implemented it using `is_off_position' and `truly_occupied'. In the process we made `is_off_position' more correct by stating negative indexes as off. We wimplified `valid_iteration_index' to just check for `truly_occupied' since the latter check the validity of the index anyway. Due to the change in `is_off_position' we had to rewrite `start' to not rely on `forth' as we would be violating its precondition.
See review#7289256.


Revision 91968 - Directory Listing
Modified Sat Nov 19 00:10:01 2011 UTC (8 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `set_rout_disp' the creation procedure as this is what is used at runtime to initialize an agent. This prevent manual creation of an agent object that would not make sense.


Revision 91967 - Directory Listing
Modified Thu Nov 3 22:41:00 2011 UTC (8 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed comparison error in `is_version_mismatched' where strings should have been compared for their content, not if they point to a different address which they would do most of the time there is a mismatch caused by something else than the version number. This fixes eweasel test#store035.


Revision 91966 - Directory Listing
Modified Thu Nov 3 22:40:43 2011 UTC (8 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed comparison error in `is_version_mismatched' where strings should have been compared for their content, not if they point to a different address which they would do most of the time there is a mismatch caused by something else than the version number. This fixes eweasel test#store035.


Revision 91965 - Directory Listing
Modified Mon Oct 31 17:05:18 2011 UTC (8 years, 1 month ago) by jfiat
Original Path: FreeELKS/trunk
Introduced TABLE_ITERATOR and TABLE_ITERATION_CURSOR to allow "across" iteration using `key' and `item'
And also have HASH_TABLE conforming to TABLE_ITERABLE

Revision 91964 - Directory Listing
Modified Fri Oct 21 16:28:29 2011 UTC (8 years, 1 month ago) by jfiat
Original Path: FreeELKS/trunk
Replaced usage of obsolete ARRAY.make by ARRAY.make_filled

Revision 91963 - Directory Listing
Modified Thu Oct 20 16:09:20 2011 UTC (8 years, 1 month ago) by jfiat
Original Path: FreeELKS/trunk
Added comments for (internal_)character_types

Revision 91962 - Directory Listing
Modified Thu Oct 20 09:03:57 2011 UTC (8 years, 1 month ago) by jfiat
Original Path: FreeELKS/trunk
Fixed various indentation issues, and missing assertion tag

Revision 91961 - Directory Listing
Modified Tue Oct 18 11:39:21 2011 UTC (8 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Marked type BIT as obsolete.

Revision 91960 - Directory Listing
Modified Sat Oct 8 19:10:47 2011 UTC (8 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Added attachment marks to arguments that are expected to be attached.

Revision 91959 - Directory Listing
Modified Thu Oct 6 05:44:19 2011 UTC (8 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Improved performance of `item' and `has' by at least 10% (sometime up to 30%) depending on the content by avoiding the storage of `control' and `position' when searching for an item. The way we achieve this is by manually inlining the content of `internal_search' without updating any private attributes of HASH_TABLE.


Revision 91958 - Directory Listing
Modified Wed Oct 5 15:15:55 2011 UTC (8 years, 2 months ago) by kwaxer
Original Path: FreeELKS/trunk
Removed unused local.

Revision 91957 - Directory Listing
Modified Wed Oct 5 05:59:31 2011 UTC (8 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `ends_with' to READABLE_STRING_GENERAL.
Improved `starts_with' loop by going from count to 0.


Revision 91956 - Directory Listing
Modified Tue Oct 4 21:35:10 2011 UTC (8 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Moved `has_substring', `substring_index, `substring_index_in_bounds' and `fuzzy_index' to READABLE_STRING_GENERAL.
Dropped requirement that the searched string has to be valid as a STRING_8 string since now STRING_SEARCHER handles that case properly.


Revision 91955 - Directory Listing
Modified Tue Oct 4 06:29:12 2011 UTC (8 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `starts_with' in READABLE_STRING_GENERAL.


Revision 91954 - Directory Listing
Modified Sat Oct 1 04:35:21 2011 UTC (8 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Moved all string related classes to the `string' subdirectory of the kernel.


Revision 91953 - Directory Listing
Modified Sat Oct 1 00:14:58 2011 UTC (8 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Extended search facilities to allow searches on STRING_32 as well (no more restriction to just STRING_8). The search is optimized when looking into a STRING_32 whose codes are below `max_code_point_value' (here 2000), above the search will be offset by one more. This is to avoid a large memory footprint since there a 1,114,095 possible unicode code point which is 1MB of data and even worse if performing a fuzzy search).
Improved speed of search by creating 2 optimized descendants of STRING_SEARCHER: STRING_8_SEARCHER and STRING_32_SEARCHER. The benchmakrs shows we go from 4.35s down to 2.89s because now we access the searched string directly via its `area', instead of calling `code' on it.
Added `replace_substring_all' optimization, previously only committed for STRING_8.

Revision 91952 - Directory Listing
Modified Fri Sep 30 13:43:27 2011 UTC (8 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Addressed performance issue of `replace_substring_all' of bug#17707 where we now optimize replacement of a string by a larger one by first calculating the positions where the original string is located in the Current string and then performing one reallocation and then performing the substitution from the end. Our benchmarks shows that for a 100K string and about 5000 substitution it is a 30x speed improvement.


Revision 91951 - Directory Listing
Modified Thu Sep 29 23:05:45 2011 UTC (8 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Cosmetics.


Revision 91950 - Directory Listing
Modified Thu Sep 29 06:33:43 2011 UTC (8 years, 2 months ago) by kwaxer
Original Path: FreeELKS/trunk
Used a mandatory check instruction instead of an optional one because the CAP for the latter is going to be dropped.
Used {TYPE}.default in `make_filled'.
Added a precondition to `make_filled' that the actual generic has a default value as this is required to call {TYPE}.default.


Revision 91949 - Directory Listing
Modified Thu Sep 29 06:31:04 2011 UTC (8 years, 2 months ago) by kwaxer
Original Path: FreeELKS/trunk
Used a mandatory check instruction instead of an optional one because the CAP for the latter is going to be dropped.

Revision 91948 - Directory Listing
Modified Tue Sep 27 00:00:46 2011 UTC (8 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed some more issues with using instances of IMMUTABLE_STRING_xx obtained via a call to `shared_substring' where the lower bound is not 1:
- index_of, last_index_of, has
- hash_code
- occurrences
- is_valid_as_string_8
The fix was to ensure we use `area_lower' instead of 0 for the lower bound in the SPECIAL.
The drawback of the fix is that there is a 1% slow down in performance due to the polymorphic call to `area_lower' when applied on the EiffelStudio compiler.


Revision 91947 - Directory Listing
Modified Mon Sep 26 21:27:57 2011 UTC (8 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed `item', `item_code' and `code' which did not properly work on IMMUTABLE_STRING_xx when the are obtained from `shared_substring' with a lower index that is not 1.


Revision 91946 - Directory Listing
Modified Sun Sep 25 19:49:38 2011 UTC (8 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Moved some queries to the READABLE_STRING_GENERAL ancestor:
- is_boolean, true_constant, false_constant
- is_number_sequence, is_real_sequence
- is_real, is_double, is_integer_XX, is_natural_XX
- as_lower, as_upper

Fixed a bug in `is_boolean' when applied to IMMUTABLE_STRING_XX instances made via `shared_substring' where the lower index is not 1, it would not use `area_lower' for its lower offset in the comparison.


Revision 91945 - Directory Listing
Modified Wed Sep 21 21:57:33 2011 UTC (8 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `is_default_pointer' to quickly check if a pointer is equal to the default_pointer query.


Revision 91944 - Directory Listing
Modified Thu Sep 8 11:08:10 2011 UTC (8 years, 2 months ago) by kwaxer
Original Path: FreeELKS/trunk
Marked `item'/`at' as stable to allow application of the new rules on assigner procedures that allow types with different attachment status.

Revision 91943 - Directory Listing
Modified Mon Sep 5 14:10:30 2011 UTC (8 years, 3 months ago) by kwaxer
Original Path: FreeELKS/trunk
Updated copyright information.

Revision 91942 - Directory Listing
Modified Mon Sep 5 09:37:39 2011 UTC (8 years, 3 months ago) by kwaxer
Original Path: FreeELKS/trunk
Corrected signature and implementation of `duplicate' to return an attached result (this addresses bug#17806).

Revision 91941 - Directory Listing
Modified Thu Aug 18 15:00:33 2011 UTC (8 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Cosmetics.


Revision 91940 - Directory Listing
Modified Wed Aug 17 22:32:15 2011 UTC (8 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Minor modification to speed up twin operation for the most general cases where one twin a small string with a large buffer by not copying the large buffer but only the usable part. In EiffelStore this has a 20% speed up for general database operation.


Revision 91939 - Directory Listing
Modified Fri Jul 29 11:57:51 2011 UTC (8 years, 4 months ago) by kwaxer
Original Path: FreeELKS/trunk
Added a false postcondition to the feature `die' to indicate that execution cannot reach any point after a call to this routine.

Revision 91938 - Directory Listing
Modified Mon Jul 25 21:08:02 2011 UTC (8 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `own_from_pointer' requires a non-null pointer, as otherwise it was violating the invariant of the class.


Revision 91937 - Directory Listing
Modified Fri Jun 17 21:12:32 2011 UTC (8 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed useless implementation of {ARRAY}.trim because we were comparing against the wrong capacity instead of against the capacity of the `area'. This addresses bug#17669.


Revision 91936 - Directory Listing
Modified Fri Jun 17 21:12:00 2011 UTC (8 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed useless implementation of {ARRAY}.trim because we were comparing against the wrong capacity instead of against the capacity of the `area'. This addresses bug#17669.


Revision 91935 - Directory Listing
Modified Sat Jun 4 16:41:59 2011 UTC (8 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed bug#17622 where a STRING used in `read_to_string' would not have its `hash_code' changed even if its content changed. See eweasel test#lib037.


Revision 91934 - Directory Listing
Modified Sat Jun 4 16:41:35 2011 UTC (8 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed bug#17622 where a STRING used in `read_to_string' would not have its `hash_code' changed even if its content changed. See eweasel test#lib037.


Revision 91932 - Directory Listing
Modified Tue May 17 23:25:55 2011 UTC (8 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added very basic support for `across' in the compatible version of EiffelBase, it will only work with INDEXABLE struture and is only efficient for ARRAY based structure, not for LINKED based structure.


Revision 91931 - Directory Listing
Modified Mon May 16 05:26:08 2011 UTC (8 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Previous update to correct_mismatch was somehow incorrect and would not retrieve an old HASH_TABLE (before the change to void-safety). This fixed eweasel test#store034.


Revision 91930 - Directory Listing
Modified Mon May 9 04:43:26 2011 UTC (8 years, 7 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed requirement of having `start' in ITERATION_CURSOR. Note that you need a new compiler to compile this code, otherwise it will complain about a missing `start' routine.


Revision 91929 - Directory Listing
Modified Thu Apr 28 06:41:40 2011 UTC (8 years, 7 months ago) by kwaxer
Original Path: FreeELKS/trunk
Made ITERATION_CURSOR more abstract by moving most of the functionality to INDEXABLE_ITERATION_CURSOR, so that ITERATION_CURSOR may be used in the contexts that do not have target structure, do not support manipulations with indexes, etc.
Replaced `cursor_index' with a function that computes its value based on `target_index', `is_reversed' and `step'.
Ensured `new_cursor' returns a new cursor in a started state, so that feature `{ITERATION_CURSOR}.start' can be removed in the future.
Made `after' more general, so that it returns `True' also in the cases when a cursor or a structure are not in a valid state, that in fact means there are no more items to iterate on.
Moved inheritance link to ITERABLE from ITERATION_CURSOR to INDEXABLE_ITERATION_CURSOR so that a cursor class may decide whether it supports ITERABLE or not.


Revision 91928 - Directory Listing
Modified Wed Apr 20 05:17:38 2011 UTC (8 years, 7 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Forgot to relax precondition of `delete' to use `path_exists' as `exists' will try to follow a symbolic link and `delete' will not anyway, so we are interesting in deleting the current file/link and not checking if the links point to something that actually exists.


Revision 91927 - Directory Listing
Modified Wed Apr 13 07:39:02 2011 UTC (8 years, 7 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
* Changed UNIX_FILE_INFO to not raise an error in `update' when the file does not exist. Now we have added a precondition `exists' to the various queries to reflect that. 
* Added the ability to perform queries on the symbolic link itself in UNIX_FILE_INFO by setting or not `is_following_symlinks'.
* Changed PATH_NAME to reuse inherited routine `make_empty' and `make_from_string' as creation procedure since they are slightly more efficient.
* Added {PATH_NAME}.reset to start a new path name without having to create a new instance.
* Improved deletion of content in DIRECTORY by avoiding creation of objects and only performing one `update' query per file.
* Fixed {FILE}.is_symlink so that it returns true when the pointed file is a symbolic link.
* Improved {FILE}.reset to avoid checking for voidness status of `last_string' which is always attached.


Revision 91926 - Directory Listing
Modified Tue Apr 12 22:01:22 2011 UTC (8 years, 7 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
No need to protect last_string since it is always attached.


Revision 91925 - Directory Listing
Modified Tue Apr 12 21:57:58 2011 UTC (8 years, 7 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Cosmetics.


Revision 91924 - Directory Listing
Modified Tue Apr 12 21:46:50 2011 UTC (8 years, 7 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Cosmetics.


Revision 91923 - Directory Listing
Modified Wed Feb 23 00:51:51 2011 UTC (8 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#string001 where using `is_natural_xx' for a negative number would return True instead of False. This is because that we set the state of the parsing to an error and then override that state right away. 


Revision 91922 - Directory Listing
Modified Wed Feb 23 00:48:56 2011 UTC (8 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Allowed left_adjust and right_adjust on STRING_32 characters which remove white spaces as they are known for CHARACTER_8.


Revision 91921 - Directory Listing
Modified Tue Feb 8 18:09:15 2011 UTC (8 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed the check that is not found after a call to `search_for_insertion' since that routine does not need to set `control' since we know that the element will not be found per the precondition.


Revision 91920 - Directory Listing
Modified Mon Jan 31 18:20:26 2011 UTC (8 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#table009 where `search_for_insertion' did not take into account previously removed items to find a new location. Now its code is similar to `internal_search' except that we take the precondition into account by ignoring the cases where the key is already present.


Revision 91919 - Directory Listing
Modified Fri Jan 14 16:26:06 2011 UTC (8 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `prepend_string' in STRING_GENERAL.
Updated the substring-like routines to take a READABLE_STRING_GENERAL as argument with the constraint that it has to be considered as a valid STRING_8.


Revision 91918 - Directory Listing
Modified Fri Dec 10 23:01:37 2010 UTC (8 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Commented out very expensive assertions.


Revision 91917 - Directory Listing
Modified Fri Dec 10 23:00:54 2010 UTC (8 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Commented out very expensive assertion.


Revision 91915 - Directory Listing
Modified Tue Nov 30 00:16:14 2010 UTC (9 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added deferred `keep_head' and `keep_tail' on STRING_GENERAL.


Revision 91914 - Directory Listing
Modified Wed Nov 17 20:37:28 2010 UTC (9 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo in comment.


Revision 91913 - Directory Listing
Modified Mon Oct 4 18:00:48 2010 UTC (9 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed obsolete calls to `conservative_resize' and use `conservative_resize_with_default' instead.


Revision 91912 - Directory Listing
Modified Thu Sep 30 19:58:55 2010 UTC (9 years, 2 months ago) by jfiat
Original Path: FreeELKS/trunk
Added deferred `keep_head' and `keep_tail' on STRING_GENERAL 

Revision 91911 - Directory Listing
Modified Wed Sep 29 21:12:07 2010 UTC (9 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `conservative_resize' obsolete since its usage is not void-safe. Updated callers accordingly.


Revision 91910 - Directory Listing
Modified Wed Sep 29 21:08:54 2010 UTC (9 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed a bug where calling `put' twice in a row would cause a leak because the previous weak reference entry was not released.


Revision 91909 - Directory Listing
Modified Wed Sep 29 21:05:34 2010 UTC (9 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Make `empty_operands' always attached since it is the case and does not depend on the actual generic type.


Revision 91908 - Directory Listing
Modified Tue Sep 14 14:27:26 2010 UTC (9 years, 2 months ago) by kwaxer
Original Path: FreeELKS/trunk
Called `default' on a type instead of an element since the latter may be of a separate type thus violating the rule for the separate feature call target.

Revision 91907 - Directory Listing
Modified Fri Sep 3 13:52:20 2010 UTC (9 years, 3 months ago) by kwaxer
Original Path: FreeELKS/trunk
Taken into account that actual generic may be separate, so assignment attempt should accept separate argument as well.

Revision 91906 - Directory Listing
Modified Tue Aug 31 22:45:22 2010 UTC (9 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Initial implementation of WEAK_REFERENCE class that does not support an expanded actual generic parameter and that relies solely on the Eiffel Software Runtime. The final version should use builtins instead but this is not yet the case as the compiler hasn't been updated to recognize the WEAK_REFERENCE type.


Revision 91905 - Directory Listing
Modified Tue Aug 31 22:42:04 2010 UTC (9 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use a local to buffer `area_v2' for minor speed improvement on `force' and `extend'.


Revision 91904 - Directory Listing
Modified Wed Aug 25 19:31:06 2010 UTC (9 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Updated assertion tag to match what is being generated.
Use `fill_with' in aliased_resized_area_with_default for more efficiency.


Revision 91903 - Directory Listing
Modified Wed Aug 18 18:49:21 2010 UTC (9 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `is_expanded' query to find out if a current type is expanded.


Revision 91902 - Directory Listing
Modified Wed Aug 11 17:46:11 2010 UTC (9 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `make_empty' in ARRAY for compatibility with the default mode.
Added some obsolete messages to help people migrating to the default mode.


Revision 91901 - Directory Listing
Modified Thu Jul 22 00:03:23 2010 UTC (9 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Set `min_value' and `max_value' to their more precise value. This fixes eweasel test#exec326.


Revision 91900 - Directory Listing
Modified Wed Jul 14 18:26:25 2010 UTC (9 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made {ARRAY}.make_empty argumentless and added {ARRAY}.rebase that would help creating an empty array with a give `lower'.
Updated code of EiffelBase to not use `{ARRAY}.make' which is obsolete since not quite void-safe.
As a result of the above change, rewrote BOUNDED_QUEUE and BOUNDED_STACK to use the same implementation of ARRAYED_QUEUE and ARRAYED_STACK, the only difference is that `extendible' is defined to be False. We have redefined `correct_mismatch' to ensure retrieval.


Revision 91899 - Directory Listing
Modified Fri Jul 9 19:43:14 2010 UTC (9 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed `remove' which was replacing the wrong item with the default value (eweasel test#store033).
Fixed `linear_representation' that was included one item too many (eweasel test#store033)


Revision 91898 - Directory Listing
Modified Tue Jul 6 16:27:42 2010 UTC (9 years, 5 months ago) by jfiat
Original Path: FreeELKS/trunk
Marked `make' as obsolete since `make' is not void-safe statically. 
   Use `make_empty' or `make_filled' instead.
Fixed subarray void-safety issue

Revision 91897 - Directory Listing
Modified Tue Jul 6 10:36:36 2010 UTC (9 years, 5 months ago) by jfiat
Original Path: FreeELKS/trunk
Better void-safe code 
- removed useless type declaration in attached {EXCEPTION} ... 
- removed a few useless object test local variables, when we just care about the type conformance)

Revision 91896 - Directory Listing
Modified Mon Jul 5 14:19:47 2010 UTC (9 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Better fix for eweasel test#list010 by querying the `area_v2' capacity directly when we manipulate `area_v2' instead of going through `capacity' that might be redefined differently in descendants.


Revision 91895 - Directory Listing
Modified Fri Jul 2 19:57:49 2010 UTC (9 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed issue with twinning and deep_twinning a FIXED_LIST that would reset `capacity' to `count' (see eweasel test#list010).


Revision 91892 - Directory Listing
Modified Mon Jun 28 17:04:38 2010 UTC (9 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Simplified postcondition of `safe_less_than' to better reflect the contract of `<' as specified in COMPARABLE. It also let you redefine `safe_less_than' to mean something else than `<' in a descendant.


Revision 91891 - Directory Listing
Modified Mon Jun 28 17:03:46 2010 UTC (9 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Simplified postcondition of `safe_less_than' to better reflect the contract of `<' as specified in COMPARABLE. It also let you redefine `safe_less_than' to mean something else than `<' in a descendant.


Revision 91890 - Directory Listing
Modified Mon Jun 28 16:10:49 2010 UTC (9 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed wrong comments about the boolean status of some queries.


Revision 91889 - Directory Listing
Modified Mon Jun 21 21:21:10 2010 UTC (9 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#lib036 where `pad_fraction' did not process properly when one decided to not show
 the trailing zeros and there were only zeros after the decimal point.
Fixed the post-condition of `pad_fraction' to reflect that the count is set to `decimals' but only w
hen one shows the trailing zeros.


Revision 91888 - Directory Listing
Modified Mon Jun 21 21:20:30 2010 UTC (9 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#lib036 where `pad_fraction' did not process properly when one decided to not show the trailing zeros and there were only zeros after the decimal point.
Fixed the post-condition of `pad_fraction' to reflect that the count is set to `decimals' but only when one shows the trailing zeros.


Revision 91887 - Directory Listing
Modified Fri Jun 18 23:50:12 2010 UTC (9 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#exec329 where `abs_ref' was incorrectly defined when `item' was negative 0.


Revision 91886 - Directory Listing
Modified Wed Jun 9 21:47:09 2010 UTC (9 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `min_value' and `max_value' to REAL_32 and REAL_64.


Revision 91885 - Directory Listing
Modified Wed Jun 9 16:10:39 2010 UTC (9 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed export of `sequential_occurrences' as the other `sequential_xxx' features since they do not save the cursor which can be problematic, final users should use `occurrences' instead (Ideally we should be using `Precursor' but that's a whole different story).


Revision 91884 - Directory Listing
Modified Thu Jun 3 16:59:30 2010 UTC (9 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed comments from `finish' that were added in the first revision of ARRAYED_LIST in 1993 and this does not seem to apply anymore.


Revision 91883 - Directory Listing
Modified Wed May 26 18:50:45 2010 UTC (9 years, 6 months ago) by jfiat
Original Path: FreeELKS/trunk
better code, and also fully void-safe

Revision 91882 - Directory Listing
Modified Wed May 26 17:25:02 2010 UTC (9 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Integrated patch from Guus Leeuw to fix the wrong class name used in comments (NUMBER_INFORMATION instead of NUMERIC_INFORMATION).


Revision 91881 - Directory Listing
Modified Wed May 26 16:31:52 2010 UTC (9 years, 6 months ago) by jfiat
Original Path: FreeELKS/trunk
Fixed a void-safety issue with current_keys
(note that it is better to iterate and use key_for_iteration instead of using the current_keys .. but it is up to the user)

Revision 91878 - Directory Listing
Modified Wed May 19 18:18:44 2010 UTC (9 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Cosmetics.


Revision 91877 - Directory Listing
Modified Tue May 18 22:25:29 2010 UTC (9 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added contribution from ITPassion for converting hexastring into an actual number.


Revision 91876 - Directory Listing
Modified Thu Apr 22 22:50:37 2010 UTC (9 years, 7 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
No need for a local variable, we can use the argument directly in `valid_iteration_index'.


Revision 91875 - Directory Listing
Modified Tue Apr 20 19:32:13 2010 UTC (9 years, 7 months ago) by arnofiva
Original Path: FreeELKS/trunk
Fixed bug #16695 by replacing off with after, otherwise it is not possible to move forward if `before' was true.


Revision 91874 - Directory Listing
Modified Tue Apr 20 18:11:04 2010 UTC (9 years, 7 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed `off' and used `after' as per indicated in proposal for the new loop construct.


Revision 91873 - Directory Listing
Modified Tue Apr 13 11:07:03 2010 UTC (9 years, 7 months ago) by kwaxer
Original Path: FreeELKS/trunk
Exported `new_cursor' so that ARRAYED_SET can be iterated over using the across form of a loop.

Revision 91872 - Directory Listing
Modified Fri Mar 26 18:21:20 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
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 91871 - Directory Listing
Modified Fri Mar 26 17:48:52 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed useless comments.


Revision 91870 - Directory Listing
Modified Tue Mar 23 10:11:37 2010 UTC (9 years, 8 months ago) by kwaxer
Original Path: FreeELKS/trunk
Added feature {RESIZABLE}.trim that allows to minimize allocated storage.

Revision 91869 - Directory Listing
Modified Tue Mar 23 10:09:44 2010 UTC (9 years, 8 months ago) by kwaxer
Original Path: FreeELKS/trunk
Avoided using an extra slot that does not keep any value.

Revision 91868 - Directory Listing
Modified Mon Mar 22 18:42:14 2010 UTC (9 years, 8 months ago) by kwaxer
Original Path: FreeELKS/trunk
Ensured `in_index' returns some meaningful result when there is no allocated storage.

Revision 91867 - Directory Listing
Modified Mon Mar 22 15:26:52 2010 UTC (9 years, 8 months ago) by kwaxer
Original Path: FreeELKS/trunk
Minor optimization in `linear_representation'.

Revision 91866 - Directory Listing
Modified Mon Mar 22 12:36:04 2010 UTC (9 years, 8 months ago) by kwaxer
Original Path: FreeELKS/trunk
Added feature {RESIZABLE}.trim that allows to minimize allocated storage.

Revision 91865 - Directory Listing
Modified Mon Mar 22 12:07:52 2010 UTC (9 years, 8 months ago) by kwaxer
Original Path: FreeELKS/trunk
Avoided using an extra slot that does not keep any value.

Revision 91864 - Directory Listing
Modified Fri Mar 19 12:50:10 2010 UTC (9 years, 8 months ago) by kwaxer
Original Path: FreeELKS/trunk
Corrected comment of feature `prunable' to match the real behaviour.

Revision 91863 - Directory Listing
Modified Fri Mar 19 12:35:54 2010 UTC (9 years, 8 months ago) by kwaxer
Original Path: FreeELKS/trunk
Cosmetics.

Revision 91862 - Directory Listing
Modified Fri Mar 19 11:44:37 2010 UTC (9 years, 8 months ago) by kwaxer
Original Path: FreeELKS/trunk
Corrected comments of features keep/remove_head/tail to mention items rather than characters.

Revision 91861 - Directory Listing
Modified Tue Mar 16 20:06:56 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed improper `svn:keywords' setting.
-This line, and those below, will be ignored--

_M   kernel/exceptions/routine_failure.e
_M   kernel/exceptions/sys_exception.e
_M   kernel/exceptions/exception.e
_M   kernel/exceptions/operating_system_signal_failure.e
_M   kernel/exceptions/language_exception.e
_M   kernel/exceptions/check_violation.e
_M   kernel/exceptions/old_violation.e
_M   kernel/exceptions/developer_exception.e
_M   kernel/exceptions/operating_system_failure.e
_M   kernel/exceptions/bad_inspect_value.e
_M   kernel/exceptions/void_target.e
_M   kernel/exceptions/loop_invariant_violation.e
_M   kernel/exceptions/operating_system_exception.e
_M   kernel/exceptions/hardware_exception.e
_M   kernel/exceptions/eiffel_runtime_exception.e
_M   kernel/exceptions/invariant_violation.e
_M   kernel/exceptions/exception_manager_factory.e
_M   kernel/exceptions/postcondition_violation.e
_M   kernel/exceptions/eif_exception.e
_M   kernel/exceptions/precondition_violation.e
_M   kernel/exceptions/machine_exception.e
_M   kernel/exceptions/floating_point_failure.e
_M   kernel/exceptions/com_failure.e
_M   kernel/exceptions/exception_manager.e
_M   kernel/exceptions/variant_violation.e
_M   kernel/exceptions/void_assigned_to_expanded.e
_M   kernel/exceptions/obsolete_exception.e
_M   kernel/exceptions/assertion_violation.e
_M   structures/access/readable_indexable.e


Revision 91860 - Directory Listing
Modified Tue Mar 16 20:04:38 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed improper `svn:keywords' setting.
-This line, and those below, will be ignored--

_M   cursors/two_way_list_iteration_cursor.e
_M   cursors/hash_table_iteration_cursor.e
_M   cursors/indexable_iteration_cursor.e
_M   cursors/linked_list_iteration_cursor.e


Revision 91859 - Directory Listing
Modified Tue Mar 16 20:03:40 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed improper `svn:keywords' setting or even missing in some cases.


Revision 91858 - Directory Listing
Modified Tue Mar 16 20:00:12 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed improper `svn:keywords' setting or even missing in some cases.


Revision 91857 - Directory Listing
Modified Fri Mar 12 22:42:03 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `make_filled_area' as a creation procedure by consistency with the experimental mode.


Revision 91856 - Directory Listing
Modified Thu Mar 11 23:13:52 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Allow export of `make' to everyone since now MISMATCH_INFORMATION is not a singleton anymore.


Revision 91855 - Directory Listing
Modified Wed Mar 10 23:49:20 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Changed the return type of `storable_version_of_type' to be a C string pointer, that way the Eiffel code is free to chose the type of string it will create. Currently, INTERNAL will now choose to create an IMMUTABLE_STRING_8.


Revision 91854 - Directory Listing
Modified Wed Mar 10 23:47:50 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Now version data is stored as an IMMUTABLE_STRING_8.
Adapted to runtime change which calls back using C strings for setting version information.


Revision 91853 - Directory Listing
Modified Wed Mar 10 23:47:22 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Now version data is stored as an IMMUTABLE_STRING_8.
Adapted to runtime change which calls back using C strings for setting version information.


Revision 91852 - Directory Listing
Modified Wed Mar 10 23:44:15 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `storable_version_of_type' return an IMMUTABLE_STRING_8, and to avoid useless object creation added a caching mechanism.


Revision 91851 - Directory Listing
Modified Wed Mar 10 17:28:27 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo, added missing comment to `type_name_key'.


Revision 91850 - Directory Listing
Modified Wed Mar 10 17:27:15 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `attached_type' and `detachable_type' which let you get the attached or the detachable version of a type.


Revision 91849 - Directory Listing
Modified Wed Mar 10 00:24:35 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Renamed `class_key' into `type_name_key' and gave it a value that cannot conflict with an attribute name.
Exported `set_versions' needed by SED.
Removed invariant since it is not a singleton anymore and exported creation to SED.
Made `detachable ANY' the type of the items since we do manipulate `Void' attributes during a mismatch.


Revision 91848 - Directory Listing
Modified Wed Mar 10 00:23:24 2010 UTC (9 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Renamed `class_key' into `type_name_key' and gave it a value that cannot conflict with an attribute name.
Exported `set_versions' needed by SED.
Removed invariant since it is not a singleton anymore and exported creation to SED.
Made `detachable ANY' the type of the items since we do manipulate `Void' attributes during a mismatch.


Revision 91847 - Directory Listing
Modified Thu Feb 25 06:51:28 2010 UTC (9 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Updated to match the new runtime signature for `set_mismatch_information_access' and synchronized interface with void-safe branch.
Made some C externals obsolete as they were added a while ago but now everyone is using the new format.


Revision 91846 - Directory Listing
Modified Wed Feb 24 21:55:36 2010 UTC (9 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made obsolete some of the STORABLE routines enabling users to configure the format of storable for independent store.
Added `storable_Version' support in MISMATCH_INFORMATION so that one can find out a reason for the mismatch.

Revision 91845 - Directory Listing
Modified Wed Feb 24 20:06:58 2010 UTC (9 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
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 91844 - Directory Listing
Modified Tue Feb 16 16:38:14 2010 UTC (9 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Cosmetics on ISE_RUNTIME for argument names.
Added `storable_version_of_type' in ISE_RUNTIME and used it in INTERNAL.
Moved C external `persistent_field_count_of_type' from INTERNAL to ISE_RUNTIME.


Revision 91843 - Directory Listing
Modified Tue Feb 16 04:39:41 2010 UTC (9 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed a bug in `make_from_cil' that was actually not setting the count properly thus yielding an empty string even if source was not empty.


Revision 91842 - Directory Listing
Modified Sat Feb 13 06:16:50 2010 UTC (9 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added support in INTERNAL for finding out if a field of an object was marked `transient' or not.
Added the ability in OBJECT_GRAPH_TRAVERSAL to skip transient object when finding out all the objects of a graph.


Revision 91841 - Directory Listing
Modified Tue Jan 26 00:08:53 2010 UTC (9 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added true support for ITERATION_CURSOR, ITERABLE in most EiffelBase containers.
Added READABLE_INDEXABLE abstraction which is a readonly version of INDEXABLE.
Added VERSIONABLE which is not yet used by our containers, but will shortly. This adds a `version' attribute which is incremented at each modification of a structure.
Only the TREE classes although inheriting from ITERABLE do not provide a proper way of iterating of their items.

Revision 91840 - Directory Listing
Modified Wed Jan 20 19:22:59 2010 UTC (9 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `fill_with' in ARRAY to balance with `filled_with' query.


Revision 91839 - Directory Listing
Modified Wed Jan 20 19:17:38 2010 UTC (9 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `fill_with' in ARRAY to balance with `filled_with' query.
Redesigned ARRAY2 so that it works in void-safe mode by adding appropriate precondition `({G}).has_default' where it was needed, i.e. `make' and `resize'.
Improved ARRAY2 resizing by doing in place resizing rather than creating a new ARRAY2 structure and moving items afterwards.


Revision 91838 - Directory Listing
Modified Tue Jan 19 17:45:23 2010 UTC (9 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed `{ARRAY}.all_default' so that it returns True when the ARRAY is empty in void-safe mode.
Fixed `{ARRAY}.force' so that eweasel test#array007 passes. It failed because even if we extended the ARRAY by one to `lower - 1' or `upper + 1' we could have resized the SPECIAL by more than one and there ({G}).default would violate its precondition because a reference attached type has no default value. Now we resize the SPECIAL with a new capacity but we change the count to what's required, not `capacity'.


Revision 91837 - Directory Listing
Modified Mon Jan 18 01:43:31 2010 UTC (9 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `nan', `negative_infinity' and `positive_infinity' to have code that code compiles in both normal and experimental mode.


Revision 91836 - Directory Listing
Modified Thu Jan 14 00:13:38 2010 UTC (9 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made DOUBLE_MATH and SINGLE_MATH consistent.
Use REAL_64 and REAL_32 instead of DOUBLE and REAL.
Removed unnecessary preconditions in SINGLE_MATH since it is valid to call them with negative values, it just means that the result will most likely be NaN.


Revision 91835 - Directory Listing
Modified Thu Jan 14 00:09:24 2010 UTC (9 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added Pi_2 and Pi_4 that can be quite useful for numerical computation.


Revision 91834 - Directory Listing
Modified Mon Jan 11 21:59:58 2010 UTC (9 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
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 91833 - Directory Listing
Modified Mon Jan 11 21:56:08 2010 UTC (9 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Relaxed precondition of `ARRAY.force' so that one can extend by one at `lower - 1' or `upper - 1' even if the actual generic parameter of the array is attached and you cannot provide a default value. This makes it possible to extend an ARRAY progressively starting from an empty ARRAY.


Revision 91832 - Directory Listing
Modified Mon Dec 28 21:47:26 2009 UTC (9 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Exported `internal_hash_code' to READABLE_STRING_GENERAL so that it can be use to speed up string comparison for large strings with same count but different content.


Revision 91831 - Directory Listing
Modified Mon Dec 28 21:13:36 2009 UTC (9 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use `same_string' to compare directory path as this is what we care about, not about the type.


Revision 91830 - Directory Listing
Modified Fri Dec 25 01:15:45 2009 UTC (9 years, 11 months ago) by ikingifl
Original Path: FreeELKS/trunk
Fixed call to memory_calloc in make where the arguments were back to front

Revision 91828 - Directory Listing
Modified Tue Dec 1 21:45:32 2009 UTC (10 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Merge rev#404 from trunk:
Fixed typo in `is_immutable' description.
Fixed bug in `remove_substring' which was not changing the `hash_code'.


Revision 91826 - Directory Listing
Modified Tue Dec 1 21:38:18 2009 UTC (10 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typo in `is_immutable' description.
Fixed bug in `remove_substring' which was not changing the `hash_code'.


Revision 91823 - Directory Listing
Modified Tue Nov 24 18:58:42 2009 UTC (10 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
The class expects that the sign string is divisible by 3. But its internal implementation breaks this assumption. The fix makes this documented and executable in the form of a class invariant. It also fixes the implementation. After the fix the letters CR and DR are printed as expected.


Revision 91822 - Directory Listing
Modified Tue Nov 24 17:08:39 2009 UTC (10 years ago) by kwaxer
Original Path: FreeELKS/trunk
The class expects that the sign string is divisible by 3. But its internal implementation breaks this assumption. The fix makes this documented and executable in the form of a class invariant. It also fixes the implementation. After the fix the letters CR and DR are printed as expected.

Revision 91818 - Directory Listing
Modified Tue Nov 24 00:42:12 2009 UTC (10 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#table006 where if a table has all its slots used once but not full, a call to `has' coul
d cause an infinite loop. The solution is to limit the number of iteration in `internal_search' to the number of available slots. Not the bug only occurs if `soon_full' is True for a percentage greater than 90%.


Revision 91817 - Directory Listing
Modified Tue Nov 24 00:40:03 2009 UTC (10 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#table006 where if a table has all its slots used once but not full, a call to `has' could cause an infinite loop. The solution is to limit the number of iteration in `internal_search' to the number of available slots.


Revision 91816 - Directory Listing
Modified Mon Nov 16 18:07:51 2009 UTC (10 years ago) by pryomoax
Original Path: FreeELKS/trunk
Removed support classes for NLC, to allow for a full post-release experimental patch.


Revision 91815 - Directory Listing
Modified Mon Nov 9 18:49:04 2009 UTC (10 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#table007 where removal of the default key did not properly update the deleted_marks and indexes_map content which would cause a crash when iterating over the table.


Revision 91814 - Directory Listing
Modified Wed Nov 4 20:04:22 2009 UTC (10 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `to_array' which can be used to create in void-safe mode manifest array with an attached actual generic parameter.


Revision 91813 - Directory Listing
Modified Wed Nov 4 20:02:33 2009 UTC (10 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `to_array' which can be used to create in void-safe mode manifest array with an attached actual generic parameter.


Revision 91812 - Directory Listing
Modified Wed Nov 4 00:10:58 2009 UTC (10 years, 1 month ago) by pryomoax
Original Path: FreeELKS/trunk
Abstracted array iteration cursor to INDEXABLE, to support more structures.


Revision 91811 - Directory Listing
Modified Tue Nov 3 22:59:46 2009 UTC (10 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Ensured that code inheriting from the TREE class compiles in full class checking (mostly done by replacing static typing with a more dynamic one using `like Current').


Revision 91810 - Directory Listing
Modified Tue Nov 3 19:51:46 2009 UTC (10 years, 1 month ago) by pryomoax
Original Path: FreeELKS/trunk
Switched to using INTEGER instead of NATURAL.


Revision 91809 - Directory Listing
Modified Tue Nov 3 17:55:12 2009 UTC (10 years, 1 month ago) by pryomoax
Original Path: FreeELKS/trunk
Added ECMA specified ITERABLE and ITERATION_CURSOR for data structure external cursors.
Added support for external cursors in ARRAY.


Revision 91808 - Directory Listing
Modified Mon Nov 2 21:41:34 2009 UTC (10 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#queue003 where `linear_representation' would return an invalid content after removing a few elements and adding some more to the queue.


Revision 91807 - Directory Listing
Modified Mon Nov 2 21:38:32 2009 UTC (10 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#queue003 where `linear_representation' would return an invalid content after removing a few elements and adding some more to the queue.


Revision 91806 - Directory Listing
Modified Fri Oct 23 22:42:08 2009 UTC (10 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
To avoid syntax warnings when using `some' a possibly new keyword in a next revision of Eiffel the language, we are removing it now.


Revision 91805 - Directory Listing
Modified Fri Oct 23 22:41:52 2009 UTC (10 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
To avoid syntax warnings when using `some' a possibly new keyword in a next revision of Eiffel the language, we are removing it now.


Revision 91804 - Directory Listing
Modified Tue Oct 6 19:13:09 2009 UTC (10 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Follow the new conversion rules that requires to only have attached type in a conversion clause,
  and made sure that a type is not repeated in the list of types.


Revision 91803 - Directory Listing
Modified Tue Oct 6 19:12:33 2009 UTC (10 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Follow the new conversion rules that requires to only have attached type in a conversion clause,
  and made sure that a type is not repeated in the list of types. 


Revision 91802 - Directory Listing
Modified Tue Oct 6 03:20:26 2009 UTC (10 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#catcall008 where the `a_open_map' argument of `set_rout_disp' can actually be Void.


Revision 91801 - Directory Listing
Modified Tue Sep 29 00:15:54 2009 UTC (10 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Merged from rev#378 void-safe:
* Added "+" operator in READABLE_STRING_GENERAL to satisfy customer requests. 


Revision 91800 - Directory Listing
Modified Tue Sep 29 00:04:09 2009 UTC (10 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added "+" operator in READABLE_STRING_GENERAL to satisfy customer requests.


Revision 91799 - Directory Listing
Modified Mon Sep 21 16:32:16 2009 UTC (10 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
To reduce breaking changes with existing code, I've made `generating_type' return a detachable
  version. That way we do have {INTERNAL}.dynamic_type (obj) = obj.generating_type.type_id.


Revision 91798 - Directory Listing
Modified Mon Sep 21 16:30:42 2009 UTC (10 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed non-meaningful precondition to `new_special_any_instance' as it can create
  a SPECIAL whose actual generic parameter is attached since we use `make_empty'. The
  precondition was violated in eweasel test#store019 causing the test to fail.


Revision 91797 - Directory Listing
Modified Wed Sep 2 23:16:47 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added features from void-safe version so that code using the TYPE class can be written
  using either version. Note that none of the compatibility code is present since in
  the non-void-safe version, ANY.generating_type still returns a STRING instance.


Revision 91796 - Directory Listing
Modified Wed Sep 2 05:49:01 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Merged from rev#363 and rev#364:
Fixed `test_put' from eweasel test#set006 where one could not extend an element that would be before
  another element in the set. The bug was introduced with the void-safe conversion of EiffelBase.
Fixed an infinite loop in `subtract', `intersect' and `symdiff' because `remove' was not moving the 
  cursor to the next element in the tree.
Fixed a bug in `prune' which was not setting back `tree' and thus when removing the last element of
  the tree it would have no effect.
Those fixes also fix eweasel test#set006.


Revision 91795 - Directory Listing
Modified Thu Aug 27 21:03:55 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `recursive_create_dir' that will work on Unix and Windows only. 


Revision 91794 - Directory Listing
Modified Thu Aug 27 20:56:54 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `recursive_create_dir' that will work on Unix and Windows only.


Revision 91793 - Directory Listing
Modified Wed Aug 26 20:32:30 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed an issue when resizing a descendant of HASH_TABLE which might redefine `same_keys'. Because the 
  resizing was done using a HASH_TABLE and not the descendant of HASH_TABLE so if two items were equal
  using ~ but not using `same_keys', only one out of two will appear in the resized table.


Revision 91792 - Directory Listing
Modified Wed Aug 26 20:32:21 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed an issue when resizing a descendant of HASH_TABLE which might redefine `same_keys'. Because the 
  resizing was done using a HASH_TABLE and not the descendant of HASH_TABLE so if two items were equal
  using ~ but not using `same_keys', only one out of two will appear in the resized table.


Revision 91791 - Directory Listing
Modified Fri Aug 21 21:43:29 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed conversion from REAL_64 to REAL_32 to fix bug#16163 where `r64 := r32 + or64' would truncate the value of `or64' to a REAL_32 for the + operation before assigning the result to a REAL_64.


Revision 91790 - Directory Listing
Modified Thu Aug 20 17:42:45 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `copy' work regardless of new or old copy semantics. 


Revision 91789 - Directory Listing
Modified Thu Aug 20 17:38:08 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `copy' work regardless of new or old copy semantics.


Revision 91788 - Directory Listing
Modified Thu Aug 20 17:34:00 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#reflection003 where `type_of_type' had not been updated to the new runtime behavior
  of the RTLNTY macro which takes as argument not the type id of the TYPE instance, but the one of the
  object we want the TYPE instance from.


Revision 91787 - Directory Listing
Modified Wed Aug 19 22:44:24 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added some comment in `pruned' and removed a useless void check.


Revision 91786 - Directory Listing
Modified Wed Aug 19 22:42:48 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed an infinite loop in `subtract', `intersect' and `symdiff' because `remove' was not moving the 
  cursor to the next element in the tree.
Fixed a bug in `prune' which was not setting back `tree' and thus when removing the last element of
  the tree it would have no effect.
Those fixes fix eweasel test#set006.


Revision 91785 - Directory Listing
Modified Wed Aug 19 21:50:59 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed `test_put' from eweasel test#set006 where one could not extend an element that would be before
  another element in the set. The bug was introduced with the void-safe conversion of EiffelBase.


Revision 91784 - Directory Listing
Modified Tue Aug 18 21:53:29 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `clear_all' obsolete in HASH_TABLE and updated code to use `wipe_out' instead.
Implemented `prune' in HASH_TABLE as now HASH_TABLE is `prunable'.
Do not do anything in `copy' if other is Current.


Revision 91783 - Directory Listing
Modified Tue Aug 18 21:51:27 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `clear_all' in STRING_8 and STRING_32 obsolete and updated code to use `wipe_out' instead.
Removed `like Current' argument in `set' and `subcopy' of STRING_8/STRING_32 routines to avoid catcalls.
Added precondition to `resize' in STRING so that callers should verify they request a larger size, if they
  do not want the check they should use `grow' instead.
Added `keep_head/tail' and `remove_head/tail' in ARRAY.
Updated postconditions of resized_area routines in SPECIAL which were incorrect in case new count was smaller
  than the previous one. Allowed shrinking SPECIAL in the `aliased_resized_area' routine and updated 
  postcondition accordingly.


Revision 91782 - Directory Listing
Modified Mon Aug 17 21:13:15 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed incorrect export clause for `copy' as it should only be available for the Current class.


Revision 91781 - Directory Listing
Modified Mon Aug 17 21:12:10 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed incorrect export clause for `copy' as it should only be available for the Current class.


Revision 91780 - Directory Listing
Modified Fri Aug 14 20:32:32 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Merged from rev#357:
  Fixed bug introduced at rev#219 when migrating to void-safe which resulted in a precondition violation in
  `put_i_th' in `memory_map'. This fixes bug#15374.


Revision 91779 - Directory Listing
Modified Fri Aug 14 20:30:42 2009 UTC (10 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed bug introduced at rev#219 when migrating to void-safe which resulted in a precondition violation in
  `put_i_th' in `memory_map'. This fixes bug#15374.


Revision 91776 - Directory Listing
Modified Mon Aug 3 18:31:27 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed post-conditions of `show_trailing_zeros' and `hide_trailing_zeros' which were swapped.


Revision 91775 - Directory Listing
Modified Mon Aug 3 18:30:58 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed post-conditions of `show_trailing_zeros' and `hide_trailing_zeros' which were swapped.


Revision 91774 - Directory Listing
Modified Fri Jul 31 23:44:52 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed bug#14729 by ensuring the types in the class invariant clause involutive_negation are the same regardless of the type of Current (see test#lib032).


Revision 91773 - Directory Listing
Modified Fri Jul 31 18:13:24 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Forgot redefinition of `out' which prevents code compatibility for code using assuming 
  `generating_type: STRING' but compiled with `generating_type: TYPE [like Current]'.


Revision 91770 - Directory Listing
Modified Tue Jul 28 23:02:55 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed bug#16027 where in 6.4 we changed the default to no show trailing zeros compared to previous versions
  which is a breaking change.


Revision 91769 - Directory Listing
Modified Tue Jul 28 23:01:36 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed bug#16027 where in 6.4 we changed the default to no show trailing zeros compared to previous versions
  which is a breaking change.


Revision 91766 - Directory Listing
Modified Fri Jul 17 22:44:33 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed postcondition of `to_string_8' which was violated if Current was a descendant of STRING_8 (e.g. IMMUTABLE_STRING_8).


Revision 91765 - Directory Listing
Modified Fri Jul 17 22:43:49 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed postcondition of `to_string_8' which was violated if Current was a descendant of STRING_8 (e.g. IMMUTABLE_STRING_8).


Revision 91764 - Directory Listing
Modified Fri Jul 17 16:36:52 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed improper implementation of `type_of_type' which was never creating a unique instance of
  TYPE [X], but just of X.


Revision 91763 - Directory Listing
Modified Wed Jul 15 19:33:37 2009 UTC (10 years, 4 months ago) by pryomoax
Original Path: FreeELKS/trunk
Fixed bug in remove causing removal of the last item causes an access of an invalid index in the underlying SPECIAL.


Revision 91762 - Directory Listing
Modified Wed Jul 15 19:28:22 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Reverted previous commit which was only intended for INTEGER_INTERVAL.


Revision 91761 - Directory Listing
Modified Wed Jul 15 19:02:00 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Simply use `standard_copy' for `copy' and prevent useless copy if `other = Current'.


Revision 91760 - Directory Listing
Modified Wed Jul 15 18:22:36 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Simplified copy and fixed it as well since `operands' if set by the user on `other' but not on Current
  would simply violate the postcondition of `copy'.
Prevented useless copy if `other = Current'.


Revision 91759 - Directory Listing
Modified Wed Jul 15 18:14:43 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed non-needed saving of object_comparison from other in `copy'.


Revision 91758 - Directory Listing
Modified Wed Jul 15 18:12:06 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added missing precondition to state that `action' and `test' cannot be void in `do_all_with_index'
  and `do_if_with_index'.


Revision 91757 - Directory Listing
Modified Wed Jul 15 18:05:46 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Prevented useless copy if `copy == Current'.
Removed useless storing and restoring of object_comparison since it is done in `standard_copy'.


Revision 91756 - Directory Listing
Modified Wed Jul 15 17:58:13 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed a bug in `copy' where we would basically not copy `other' but Current instead.


Revision 91755 - Directory Listing
Modified Wed Jul 15 17:57:08 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed typos in assertion tags.


Revision 91754 - Directory Listing
Modified Wed Jul 15 17:55:09 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Guaranteed uniqueness of TYPE instances created by INTERNAL via `type_of_type'.


Revision 91753 - Directory Listing
Modified Wed Jul 15 17:53:17 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Provided more digits to the math constants even if for the time being only 16 digits can actually
  be represented in a REAL_64.


Revision 91752 - Directory Listing
Modified Wed Jul 15 17:51:27 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Prevented useless copy if `other = Current'.


Revision 91751 - Directory Listing
Modified Wed Jul 15 17:50:44 2009 UTC (10 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Prevented useless copy of `other = Current'.


Revision 91750 - Directory Listing
Modified Fri Jul 10 04:58:26 2009 UTC (10 years, 4 months ago) by ikingifl
Original Path: FreeELKS/trunk
Removed use of INTERNAL in favor of {ANY}.generating_type

Revision 91749 - Directory Listing
Modified Fri Jul 10 04:56:38 2009 UTC (10 years, 4 months ago) by ikingifl
Original Path: FreeELKS/trunk
Updated type_of to use generating_type so that the same type object is returned.

Revision 91748 - Directory Listing
Modified Thu Jul 9 22:44:00 2009 UTC (10 years, 4 months ago) by ikingifl
Original Path: FreeELKS/trunk
Removed unused local

Revision 91747 - Directory Listing
Modified Thu Jul 9 05:34:37 2009 UTC (10 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `own_from_pointer' as we have it also in MANAGED_POINTER.


Revision 91746 - Directory Listing
Modified Fri Jul 3 08:55:43 2009 UTC (10 years, 5 months ago) by kwaxer
Original Path: FreeELKS/trunk
Fixed bug#14729 by ensuring the types in the class invariant clause involutive_negation are the same regardless of the type of Current (see test#lib032).

Revision 91745 - Directory Listing
Modified Fri Jun 26 20:54:24 2009 UTC (10 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Changed `generating_type' to return `TYPE [like Current]' instead of STRING. To ensure that existing
  code still compiles, we have added conversion routines from TYPE to the various kinds of STRING.


Revision 91744 - Directory Listing
Modified Thu Jun 25 18:16:36 2009 UTC (10 years, 5 months ago) by ikingifl
Original Path: FreeELKS/trunk
Made type_of and type_of_type attached to support the post-condition

Revision 91743 - Directory Listing
Modified Thu Jun 25 18:14:06 2009 UTC (10 years, 5 months ago) by ikingifl
Original Path: FreeELKS/trunk
Added type keyword for use in type_of

Revision 91742 - Directory Listing
Modified Tue Jun 23 23:58:07 2009 UTC (10 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed non-needed local `n' in `make'.


Revision 91741 - Directory Listing
Modified Tue Jun 23 23:56:56 2009 UTC (10 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Relaxed precondition otherwise creation of empty manifest arrays << >> would violate the precondition and
  updated implementation accordingly.


Revision 91740 - Directory Listing
Modified Tue Jun 23 18:41:56 2009 UTC (10 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed duplicated `-- Iteration' feature clause.


Revision 91739 - Directory Listing
Modified Tue Jun 23 18:10:13 2009 UTC (10 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Relaxed the precondition of `subcopy' so that you can copy an empty array into an empty array.


Revision 91737 - Directory Listing
Modified Fri Jun 19 18:51:46 2009 UTC (10 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Ensured that position 128 to 255 are filled for `internal_character_types'.


Revision 91735 - Directory Listing
Modified Wed Jun 10 23:25:01 2009 UTC (10 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed obsolete features that were actually giving you the impression of void-safety but you could
  use them and get call on void-safe.


Revision 91734 - Directory Listing
Modified Sat Jun 6 21:22:57 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added compatibility routines so that you can have code that compiles equally well with the old or new
  SPECIAL/ARRAY classes.


Revision 91733 - Directory Listing
Modified Fri Jun 5 18:12:07 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed postcondition which was violated if Current was a descendant of STRING_8.


Revision 91732 - Directory Listing
Modified Fri Jun 5 18:11:48 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed postcondition which was violated if Current was a descendant of STRING_8.


Revision 91731 - Directory Listing
Modified Thu Jun 4 17:32:49 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
New version of EiffelBase in which SPECIAL is void-safe. To do that we split the notion of count and
  capacity so that initially a SPECIAL object has always a count of 0 unless initialized with `make_filled'.
  This required updating some assertions to use `count' rather than `capacity' and changing some postcondition
  of commands to show they are modifying `count'.
This SPECIAL change implied direct changes to STRING related classes, TO_SPECIAL and all its descendants.
  The major changes are in HASH_TABLE and former direct descendants of ARRAY (now they do not inherit from
  ARRAY).
While testing we found some missing contracts to some routines. For example, we added `replaceable' to
  `replace' from ACTIVE and `put' from CHAIN. Or we added a missing `resizable' precondition to `grow'
   and `automatic_grow' in RESIZABLE. We also made `extendible' a query in DYNAMIC_CHAIN, that way we
   can simply change the implementation of FIXED_LIST to just inherit from ARRAYED_LIST and when `count'
   reaches `capacity' it won't be extendible anymore.
We added a correct_mismatch to ARRAYED_LIST and HASH_TABLE to retrieve old version of those classes.


Revision 91730 - Directory Listing
Modified Thu Jun 4 16:54:58 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `eif_current_object_id' obsolete and `eif_is_object_id_of_current' since they would foul you in believing
  that the code is actually void safe.


Revision 91729 - Directory Listing
Modified Thu Jun 4 16:51:55 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed creation of TUPLE object and instead use a manifest TUPLE for the agent call. This is needed
  as soon there is the possibility that no creation procedure will be offered for TUPLE because of the
  void-safety mechanism.


Revision 91728 - Directory Listing
Modified Thu Jun 4 16:50:56 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use `put' instead of `put_default' which will be removed. This is fine since the class is not void-safe
  anyway.


Revision 91727 - Directory Listing
Modified Thu Jun 4 16:48:39 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed creation of TUPLE object and instead use a manifest TUPLE for the agent call. This is needed
  as soon there is the possibility that no creation procedure will be offered for TUPLE because of the
  void-safety mechanism.


Revision 91726 - Directory Listing
Modified Thu Jun 4 16:47:27 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed creation of TUPLE object and instead use a manifest TUPLE for the agent call. This is needed
  as soon there is the possibility that no creation procedure will be offered for TUPLE because of the
  void-safety mechanism.


Revision 91725 - Directory Listing
Modified Thu Jun 4 16:46:03 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Changed signature of `put_reference' to take a detachable ANY, this is necessary as otherwise we cannot
  put Void in a TUPLE.


Revision 91724 - Directory Listing
Modified Thu Jun 4 16:45:16 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Uncommented precondition of `set_target' since it is quite important the new target have the same type
  as the old one (if it was not the case, then some agent optimizations could not be done).
Use `put' instead of `force' since now resizing will occur.


Revision 91723 - Directory Listing
Modified Wed Jun 3 23:59:39 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added a void_safe version of FreeELKS where SPECIAL is trully void-safe. The remaining issues are with
  copy semantics and TUPLE creation that could result in a call on void target at runtime without
  the compiler detecting it at compiler time.


Revision 91722 - Directory Listing
Modified Tue Jun 2 21:03:28 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `own_from_pointer' which is similar to `share_from_pointer' except that the allocated
  memory will be freed when the object is disposed by the GC.


Revision 91721 - Directory Listing
Modified Tue Jun 2 19:31:15 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added support for `attached' and `detachable' keyword when analyzing types.


Revision 91720 - Directory Listing
Modified Sun May 31 00:06:50 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `exists' as a query to know if underlying allocated memory is still allocated.


Revision 91719 - Directory Listing
Modified Fri May 29 05:26:22 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `has_default' and `default' (renamed `default' from ANY into `any_default') which is useful
  in void-safe mode in generic classes such as ARRAY for backward compatibility.


Revision 91718 - Directory Listing
Modified Thu May 21 05:28:28 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `make_filled' a new creation procedure for SPECIAL.


Revision 91717 - Directory Listing
Modified Mon May 18 22:56:11 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Cosmetic.


Revision 91716 - Directory Listing
Modified Wed May 13 17:12:41 2009 UTC (10 years, 6 months ago) by jfiat
Original Path: FreeELKS/trunk
Added DEBUG_OUTPUT facility to (ABSTRACT_)SPECIAL classes.

Revision 91715 - Directory Listing
Modified Tue May 12 18:23:45 2009 UTC (10 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Now that the compiler allows assigner to be more strict that then return type of getter we use this to
  simplify the code of HASH_TABLE.


Revision 91714 - Directory Listing
Modified Mon May 4 22:46:43 2009 UTC (10 years, 7 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `last_string' attached since for the underlying implementation it is already attached.


Revision 91713 - Directory Listing
Modified Fri Apr 17 05:20:59 2009 UTC (10 years, 7 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed incorrect signature of `laststring' which should have been the same   as `last_string'.


Revision 91712 - Directory Listing
Modified Mon Apr 13 05:50:17 2009 UTC (10 years, 7 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed signature bug that prevented in void-safe mode to set an attribute to Void via INTERNAL.set_reference_field.


Revision 91711 - Directory Listing
Modified Mon Apr 6 21:30:47 2009 UTC (10 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added ability to hide trailing zeros of the fraction part when displayed, that is to say the value
  0.5000 can be shown as either 0.5000 or 0.5.


Revision 91710 - Directory Listing
Modified Sat Mar 28 07:38:17 2009 UTC (10 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added VxWorks platform detection.


Revision 91709 - Directory Listing
Modified Thu Mar 26 19:48:09 2009 UTC (10 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use `detachable' isntead of `?'.


Revision 91708 - Directory Listing
Modified Thu Mar 26 05:09:58 2009 UTC (10 years, 8 months ago) by kkkkg999
Original Path: FreeELKS/trunk
* Added `{EXCEPTION}.cause' to query the exception object that caused current exception raised in a rescue execution.
Info: The `cause' of an exception is only interesting in the case of an exception triggered in a rescue clause. In that case the exception is the result of incomplete handling of another exception (which might be a ROUTINE_FAILURE or any other kind). Then the `cause' is that other exception. If an exception was not triggered in a rescue clause, its `cause' is the exception itself. 
* Changed `original*' features in {EXCEPTIONS} to use `cause' so that they behave the same as they were before EAO integration.
* Reimplemented `{EXCEPTION}.original' to fit:
"The origin of an exception is, among all exceptions that have so far been triggered but not handled, the most recent one that is not a ROUTINE_FAILURE. Because a ROUTINE_FAILURE is always the result of an exception of another kind, the `origin' is always defined."
* Exported `throwing_exception' to {EXCEPTION}, as it actually is part of the implementation.

Revision 91707 - Directory Listing
Modified Mon Mar 23 20:08:52 2009 UTC (10 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
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 91706 - Directory Listing
Modified Sun Mar 22 20:59:24 2009 UTC (10 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
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.


Revision 91705 - Directory Listing
Modified Sun Mar 22 20:49:43 2009 UTC (10 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `last_string' attached to avoid people having to rewrite their FILE usage pattern:
  f.read_line
  do_something_with (f.last_string)


Revision 91704 - Directory Listing
Modified Thu Mar 19 18:29:09 2009 UTC (10 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use new C syntax external.


Revision 91703 - Directory Listing
Modified Sun Mar 15 16:53:42 2009 UTC (10 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use syntax_updater tool to update  to the new syntax of object test, and attached/detachable types.


Revision 91702 - Directory Listing
Modified Sat Mar 7 04:38:03 2009 UTC (10 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#list014 where calling `merge_left' and `merge_right' on a TWO_WAY_LIST would violate
  its invariant.


Revision 91701 - Directory Listing
Modified Fri Mar 6 22:57:51 2009 UTC (10 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed invariant violation when calling `wipe_out' (fixes eweasel test#array005 and bug#15476) by making sure
  that `lower' and `upper' are properly reset.


Revision 91700 - Directory Listing
Modified Fri Mar 6 21:59:52 2009 UTC (10 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed bug#15479 where copying a list onto itself would wipe out all the elements of the list. Now
  we only copy if source is different from Current.


Revision 91698 - Directory Listing
Modified Wed Feb 25 18:48:22 2009 UTC (10 years, 9 months ago) by kwaxer
Original Path: FreeELKS/trunk
Put a detachable mark in front of constraints to allow detachable actual parameters.

Revision 91697 - Directory Listing
Modified Mon Feb 23 22:31:25 2009 UTC (10 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `physical_size_64' and `deep_physical_size_64' to get the size of very large objects.


Revision 91694 - Directory Listing
Modified Wed Feb 11 05:06:19 2009 UTC (10 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
The same way we had to add ?SYSTEM_STRING, we had to add conversion to and from ?NATIVE_ARRAY for
  compatibility since conversion is not done right with attachment marks.


Revision 91693 - Directory Listing
Modified Tue Feb 10 23:47:03 2009 UTC (10 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Because we have an issue with conversion not ignoring attachment marks we specify them so that we can
  perform conversion from and to ?SYSTEM_STRING. Adapted code accordingly to the change. This is temporary
  until the EiffelStudio compiler is fixed (prior to 6.4 release).


Revision 91692 - Directory Listing
Modified Tue Feb 10 23:45:08 2009 UTC (10 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Allowed actual generic parameter type of `type_of', `type_of_type' and `new_special_any_instance' to
  be detachable as otherwise you cannot create those types.


Revision 91691 - Directory Listing
Modified Tue Feb 10 23:38:46 2009 UTC (10 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed non-used local.


Revision 91690 - Directory Listing
Modified Fri Feb 6 23:00:32 2009 UTC (10 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
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', now obsolete.
For the time being added conversion to detachable version of READABLE_STRING_xx in STRING_xx. It is
  necessary because to preserve backward compatibility in EiffelBase, append_string and prepend_string
  allow a detachable argument and there was quite a lot of code that did not compile once the detachable
  mark was added.
In C_STRING, split `share_with_pointer' into `make_shared_from_pointer' and `set_shared_from_pointer'
  and obsoleted `share_from_pointer'; same with `share_with_pointer_and_count'. This is required for
  performance reason since originally `share_from_pointer' could do both efficiently but this is not
  possible in Void safe mode.
Removed `default_create' as a creation procedure of CELL since it makes impossible to have an attached
  version of `item' in CELL otherwise.


Revision 91689 - Directory Listing
Modified Thu Feb 5 10:30:41 2009 UTC (10 years, 10 months ago) by kkkkg999
Original Path: FreeELKS/trunk
Made void acceptable arguments detachable.

Revision 91688 - Directory Listing
Modified Fri Jan 23 19:58:03 2009 UTC (10 years, 10 months ago) by pryomoax
Original Path: FreeELKS/trunk
Made FIXED_TREE usable (with hack) for void-safe code, using only expanded types.
This is a known temporary fix until a better interface can be realized.


Revision 91687 - Directory Listing
Modified Fri Jan 16 20:07:26 2009 UTC (10 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Properly implemented `do_all', `for_all', `there_exists', `do_if', `do_all_with_index' and 
  `do_if_with_index' to use `count' rather than `capacity' so that those routines can be used
  as is in descendants.
Do not use the former optimization to create the TUPLE before iterating, since now the compiler
  can optimize those calls by not creating the TUPLE object.
In ARRAYED_LIST, we are now using the routines from ARRAY, this will cause potential compilation
  error in descendants that are inheriting from both ARRAYED_LIST and one of the EiffelBase container
  (this should be quite rare). The benefit for doing that is better speed at iterating.


Revision 91686 - Directory Listing
Modified Fri Jan 16 06:50:11 2009 UTC (10 years, 10 months ago) by kkkkg999
Original Path: FreeELKS/trunk
Fixed a bug on classic side, that an exception thrown through more than two levels of rescues caused infinite loop. (bug#15273 and eweasel test#except033)

Revision 91685 - Directory Listing
Modified Fri Jan 16 05:57:26 2009 UTC (10 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed infinite recursion when calling `item' which called `i_th' which called again `item'. In version 6.2
  and older it worked just fine because we were processing inheritance in a slightly different order 
  internally and it caused this bug to not show up. The root reason is that you cannot split routines
  once they are merged, but the compiler does not check for that yet.


Revision 91684 - Directory Listing
Modified Fri Jan 16 00:41:32 2009 UTC (10 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added missing implementation of `extend' (fixes part of eweasel test#queue001).


Revision 91683 - Directory Listing
Modified Thu Jan 15 18:13:19 2009 UTC (10 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed useless assignment to `count' since it is done at the end in `make_from_string_32'.


Revision 91682 - Directory Listing
Modified Thu Jan 15 17:38:06 2009 UTC (10 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
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 91681 - Directory Listing
Modified Wed Jan 14 22:41:14 2009 UTC (10 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#attach044 where we allowed passing Void as argument to {INTERNAL}.set_reference_field
  when attribute's type is attached.
Remove direct usage of ISE_RUNTIME and replace it by features of INTERNAL: is_attached_type and
  field_conforms_to.


Revision 91680 - Directory Listing
Modified Wed Jan 14 20:21:04 2009 UTC (10 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed incorrect export status of `area_lower' which prevented the compilation of EiffelBase in full 
  class checking mode.


Revision 91679 - Directory Listing
Modified Tue Jan 13 17:25:34 2009 UTC (10 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Efficient memory implementation of IMMUTABLE_STRINGs by sharing the internal area
  when calling `shared_substring'. It required the addition of `area_lower' to 
  READABLE_STRINGs to ensure that all string processing access the right location
  of an immutable string.
Changed postcondition of `substring_index_in_bounds' to use `same_string' in place
  of ~ as you may have as input a STRING_8, but actually substring returns an
  IMMUTABLE_STRING_8.
Changed implementation and postcondition of `is_string_8' and `is_string_32' in 
  READABLE_STRING_GENERAL to work properly with  IMMUTABLE_STRINGx.
Added some conversions from and to IMMUTABLE_STRINGx.
No loss of performance was noticed.

Revision 91678 - Directory Listing
Modified Sat Jan 10 00:36:37 2009 UTC (10 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed a bug in `read_substring_into_character_32_area' where we were reading NATURAL_32 but the input
  being still a C string, we actually mean reading a NATURAL_8. This fixes eweasel test#string001 which
  has recently been updated to also test STRING_32.


Revision 91677 - Directory Listing
Modified Fri Jan 9 19:03:04 2009 UTC (10 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use `unapplicable_opposite' instead of `opposite' since it clearly doesn't do anything on NATURALs.
  It also keep the name that what originally present in the NATURAL classes when we were using `prefix "-"'
  instead of alias.


Revision 91676 - Directory Listing
Modified Mon Dec 29 19:36:38 2008 UTC (10 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removal of `is' keyword.
Replacement of `is' by `=' for constant definitions.
Replaced `indexing' by `note'.


Revision 91675 - Directory Listing
Modified Sat Dec 20 01:08:36 2008 UTC (10 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `is_equal' built_in. The benefit is that is avoids the argument copy when calling `standard_is_equal'.


Revision 91674 - Directory Listing
Modified Thu Dec 18 01:09:43 2008 UTC (10 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
To avoid a postcondition violation in `put' when passing a descendants of STRING, we use `string' on
  the value to check the postcondition.


Revision 91673 - Directory Listing
Modified Wed Dec 17 22:47:45 2008 UTC (10 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed `valid_key' debug clause which was not working anymore.
Added `same_keys' which is the routine used to compare keys. This routine can be redefined
  in HASH_TABLE descendants to change the comparison criterion.


Revision 91672 - Directory Listing
Modified Wed Dec 17 22:06:25 2008 UTC (10 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed a bug in `is_valid_identifier' which would return False when the second letter of the identifier
  was a digit or _ (i.e. E_PROCEDURE).


Revision 91671 - Directory Listing
Modified Wed Dec 17 07:26:23 2008 UTC (10 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use ~ instead of is_equal and equal to avoid catcalls at runtime.
Enforced postcondition of `is_equal' to hold `other ~ Current' when result is true, that is to say
  that `is_equal' can only return True if both objects have the exact same type. This could be a breaking
  change.


Revision 91670 - Directory Listing
Modified Tue Dec 16 05:33:22 2008 UTC (10 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made HASH_TABLE to use G and K whenever possible. Currently the only gotcha is that
  one could insert a default item to the HASH_TABLE through the inheritance to TABLE [?G, K] but
  that's no worse than before.


Revision 91669 - Directory Listing
Modified Mon Dec 15 05:10:14 2008 UTC (10 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use the alias name rather than infix/prefix to match the ECMA implementation.
In the process added [] operator to STRING.


Revision 91665 - Directory Listing
Modified Mon Dec 1 18:57:18 2008 UTC (11 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added missing `?' qualifier to all routines expecting OPEN_ARGS.


Revision 91664 - Directory Listing
Modified Fri Nov 28 13:28:01 2008 UTC (11 years ago) by kwaxer
Original Path: FreeELKS/trunk
Made `put_default' a built-in feature follow recent changes in the rules that check attachment marks of formal generics.

Revision 91663 - Directory Listing
Modified Tue Nov 25 01:33:18 2008 UTC (11 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use built_ins for `free' and `find_referers'.


Revision 91662 - Directory Listing
Modified Tue Nov 25 01:31:13 2008 UTC (11 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Replaced all externals by built_ins. As a consequence there is no need to use the $ operator
  when passing an Eiffel object to those externals.


Revision 91661 - Directory Listing
Modified Tue Nov 25 01:30:06 2008 UTC (11 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed non-needed external routines since they are now hidden via the built_in externals.
Changed signature of `dynamic_type' to take ANY instead of POINTER since now it is builtin,
  it might cause some code using it to be broken, but very unlikely since everyone should
  be using INTERNAL instead.


Revision 91660 - Directory Listing
Modified Tue Nov 25 01:25:56 2008 UTC (11 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use a "built_in" to get the size of the TUPLE.


Revision 91659 - Directory Listing
Modified Mon Nov 24 22:22:16 2008 UTC (11 years ago) by kwaxer
Original Path: FreeELKS/trunk
Used different order of arguments when calling equal and used void-safe construct when required by the conformance rules.

Revision 91658 - Directory Listing
Modified Mon Nov 24 22:15:46 2008 UTC (11 years ago) by kwaxer
Original Path: FreeELKS/trunk
Specified detachable mark when required by the conformance rules.

Revision 91657 - Directory Listing
Modified Mon Nov 24 13:38:06 2008 UTC (11 years ago) by kwaxer
Original Path: FreeELKS/trunk
Removed `c_standard_clone' as it is no longer used.

Revision 91656 - Directory Listing
Modified Thu Nov 20 00:33:42 2008 UTC (11 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed the VJRV warning by using an object test.


Revision 91655 - Directory Listing
Modified Wed Nov 19 16:41:39 2008 UTC (11 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed a bug in `valid_type_for_index' which did not take into account the attachment mark
  of the actual generic parameter since if it is attached, we need to make sure that the argument
  is also not Void.


Revision 91654 - Directory Listing
Modified Wed Nov 19 16:40:40 2008 UTC (11 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Allowed attachment marks in types manipulated by INTERNAL.


Revision 91653 - Directory Listing
Modified Mon Nov 17 01:44:21 2008 UTC (11 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed eweasel test#agent009 where we forgot to take into account the attachment mark of the open operands
  and verify that indeed the argument is attached (before if it was Void, we would not perform the 
  conformance check).


Revision 91652 - Directory Listing
Modified Fri Nov 14 21:13:36 2008 UTC (11 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added export of `as_attached' required for smooth transition to void-safe code.


Revision 91651 - Directory Listing
Modified Tue Nov 11 19:14:12 2008 UTC (11 years ago) by kwaxer
Original Path: FreeELKS/trunk
Changed `make_from_string' so that it is void-safe and can be used as a creation procedure in a void-safe mode.

Revision 91650 - Directory Listing
Modified Tue Nov 11 19:03:59 2008 UTC (11 years ago) by kwaxer
Original Path: FreeELKS/trunk
Used `l_default_key' instead of Void to fill an unused cell, as the actual generic type might be expanded.

Revision 91649 - Directory Listing
Modified Thu Nov 6 14:46:06 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Replaced conditional instructions with check instructions when possible.

Revision 91648 - Directory Listing
Modified Thu Nov 6 14:41:05 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Removed helper creation procedures and added the new features to allow compilation in void-safe mode: the conforming inheritance seems to be incorrect and should be replaced with the non-conforming one.

Revision 91647 - Directory Listing
Modified Thu Nov 6 14:37:58 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Added conversion to a detachable type to overcome the current limitation of conversion mechanism that does not take attachment status into account.

Revision 91646 - Directory Listing
Modified Thu Nov 6 14:36:15 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Marked class as deferred as it has no creation procedures that initialize attributes as required.

Revision 91645 - Directory Listing
Modified Thu Nov 6 14:34:28 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Used detachable mark for HASH_TABLE key and item types as this is what is expected in void-safe mode.

Revision 91644 - Directory Listing
Modified Thu Nov 6 14:26:56 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Used new features of SPECIAL to set default values for unused items.

Revision 91643 - Directory Listing
Modified Thu Nov 6 14:22:46 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Added new features to deal with default values that might be tricky for attached types.

Revision 91642 - Directory Listing
Modified Thu Nov 6 14:20:21 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Made `put' a creation procedure in (BI_)LINKABLE because `default_create' does not initialize `item' which is required in void-safe mode.

Revision 91641 - Directory Listing
Modified Thu Nov 6 14:09:22 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Used detachable types and void-safe patterns to make the code void-safe.

Revision 91640 - Directory Listing
Modified Thu Nov 6 13:31:11 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Used new creation procedures for string objects.

Revision 91639 - Directory Listing
Modified Thu Nov 6 13:22:41 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Added new features to separate creation of an object and its modification that allows to avoid errors related to initialization of attributes in void-safe mode.

Revision 91638 - Directory Listing
Modified Wed Oct 29 23:44:18 2008 UTC (11 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed an error in previous version of `make_from_cil' which forgot to set the `count' when creating
  an Eiffel string from a .NET one.


Revision 91637 - Directory Listing
Modified Wed Oct 29 21:07:12 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Provided implementation for `linear_representation' to ensure its result is attached.

Revision 91636 - Directory Listing
Modified Wed Oct 29 21:05:09 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Marked attributes as detachable as they are never initialized.

Revision 91635 - Directory Listing
Modified Wed Oct 29 21:03:39 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Removed duplicated parentheses.

Revision 91634 - Directory Listing
Modified Sun Oct 26 16:12:39 2008 UTC (11 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Changed H into K so that it is clearer which formal generic parameter represents the type of keys.


Revision 91633 - Directory Listing
Modified Thu Oct 23 20:16:05 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Made NATIVE_ARRAY creatable to provide void-safe implementation of the feature that is expected to return object of this type.

Revision 91632 - Directory Listing
Modified Thu Oct 23 20:14:42 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Made SYSTEM_STRING non-deferred to provide void-safe implementation of the feature that is expected to return object of this type.

Revision 91631 - Directory Listing
Modified Thu Oct 23 20:12:25 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Corrected signatures of `attempt' and `default_value' as they may return void when actual generic is attached.

Revision 91630 - Directory Listing
Modified Thu Oct 23 20:02:28 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Added a feature `as_attached' to facilitate transition to void-safe code.

Revision 91629 - Directory Listing
Modified Thu Oct 23 10:27:23 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Changed implementation of `make_from_cil' to call feature `make' on the top level of compound so that the compiler can figure out the required attributes are properly initialized.

Revision 91628 - Directory Listing
Modified Thu Oct 23 10:22:22 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Changed implementation of `make_from_cil' to call feature `make' on the top level of compound so that the compiler can figure out the required attributes are properly initialized.

Revision 91627 - Directory Listing
Modified Thu Oct 23 09:42:45 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Changed signatures of features that expected an argument of a `child' type but were erroneously anchored to `new_cell' when adapting the code to be void-safe.

Revision 91626 - Directory Listing
Modified Tue Oct 21 13:06:39 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Changed `file_name' to be detachable as it is not set by the creation procedure and added preconditions to the features where it is used.

Revision 91625 - Directory Listing
Modified Fri Oct 17 22:14:04 2008 UTC (11 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Updated to new signature of eif_gen_param_id in the Eiffel Software runtime.


Revision 91624 - Directory Listing
Modified Fri Oct 17 18:02:10 2008 UTC (11 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed incorrect description for the new `same_items' signature and chose better names for the argument.


Revision 91623 - Directory Listing
Modified Thu Oct 16 11:56:44 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Ensured the compiler can detect that the attribute `area' is initialized without the need to examine different execution paths.

Revision 91622 - Directory Listing
Modified Thu Oct 16 11:47:36 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Changed order of initialization so that the attributes are set before Current is passed elsewhere.

Revision 91621 - Directory Listing
Modified Thu Oct 16 00:06:12 2008 UTC (11 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Ensured that `argument_array' is using object_comparison and added an invariant showing that at all
  time `argument_array' should be equal to the `internal_argument_array' one. This can highlight bugs
  in code of people who would be tempted to modify `argument_array' and thus breaking the ARGUMENTS class.


Revision 91620 - Directory Listing
Modified Wed Oct 15 23:43:23 2008 UTC (11 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Ensured that SORTED_TWO_WAY_LIST and descendants are using `copy' from LIST so that we do not
  violate some invariants after twining a list and adding/removing elements. See eweasel test#list012.


Revision 91619 - Directory Listing
Modified Mon Oct 13 06:45:13 2008 UTC (11 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Changed the signature of {SPECIAL}.same_items so that we can use it on random positions of
  two SPECIAL objects. Added missing post-conditions in SPECIAL that can now use the new signature.
  Updated STRING and ARRAY to use the new signature.


Revision 91618 - Directory Listing
Modified Thu Oct 9 15:04:17 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Changed type of {IO_MEDIUM}.name to be detachable as not all the descendants have a meaningful notion of it (e.g., STREAM).

Revision 91617 - Directory Listing
Modified Thu Oct 9 15:01:07 2008 UTC (11 years, 1 month ago) by kwaxer
Original Path: FreeELKS/trunk
Ensured the implementations of `message' and `out' do not compromise void-safety.

Revision 91616 - Directory Listing
Modified Fri Oct 3 05:26:59 2008 UTC (11 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made C_STRING accepts READABLE_STRING_GENERAL in place of STRING_GENERAL as inputs.


Revision 91615 - Directory Listing
Modified Sat Sep 27 03:59:33 2008 UTC (11 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added IMMUTABLE_STRING_8 and IMMUTABLE_STRING_32 to ELKS which caused some features of STRING_X to
  be moved to READABLE_STRING_X. 
Added `same_string' to READABLE_STRING_GENERAL.
Made clear that `is_real' is using the real variation even if currently this variation is the same as
  for a double.
Added and fixes some postconditions.


Revision 91614 - Directory Listing
Modified Sat Sep 27 03:54:23 2008 UTC (11 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made base_address built_in.
Optimized `same_items' by checking first if Current is the same as other and simplifying the
  exit condition in the loop.


Revision 91613 - Directory Listing
Modified Sat Sep 27 03:51:12 2008 UTC (11 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Ensure that `force' new introduced in TABLE is called for the assigner command of `item' and bracket.
  This ensures that on an HASH_TABLE, h [i] := j is indeed going to insert `j' (previously it was
  not doing anything if `i' was already present). For ARRAY we still use `put' as force as a side
  effect of resizing.


Revision 91612 - Directory Listing
Modified Sat Sep 27 03:43:07 2008 UTC (11 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed a catcall in invariant checking when verifying invariants on BOOLEAN_REF. The solution is
  to simply reverse the target and arguments so that the results of operations are always of type
  BOOLEAN.


Revision 91611 - Directory Listing
Modified Fri Sep 26 18:36:10 2008 UTC (11 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Updated to new syntax order for `variant' clause in a loop as per the ECMA specification.


Revision 91610 - Directory Listing
Modified Thu Aug 21 22:21:40 2008 UTC (11 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added obvious missing postconditions to `eif_object_id' and `eif_object_id_free'.


Revision 91609 - Directory Listing
Modified Thu Aug 14 04:04:30 2008 UTC (11 years, 3 months ago) by kkkkg999
Original Path: FreeELKS/trunk
Added `once_objects' to expose the new ISE runtime function.

Revision 91608 - Directory Listing
Modified Tue Aug 12 20:46:45 2008 UTC (11 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Redesgined the STRING_XX classes so that we introduce the notion of strings that can only
  be read (READABLE_XTRING_XX) and the notion of immutable strings (not yet present).
  The only known issue is that because most of the type of arguments taking a STRING_XX have
  been changed to accept a READABLE_STRING_XX, some code might not compile out of the box
  (usually code using agents, as otherwise we have added some conversion routines to help).


Revision 91607 - Directory Listing
Modified Mon Aug 11 14:56:31 2008 UTC (11 years, 3 months ago) by kkkkg999
Original Path: FreeELKS/trunk
Removed `frozen' of `code' since ECOM_EXCEPTION redefines it.

Revision 91606 - Directory Listing
Modified Thu Aug 7 21:00:50 2008 UTC (11 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `objects_instance_of_type' which only search objects of a certain dynamic types and
  now `objects_instance_of' is implemented in term of the new routine.


Revision 91605 - Directory Listing
Modified Thu Jul 24 08:33:22 2008 UTC (11 years, 4 months ago) by kkkkg999
Original Path: FreeELKS/trunk
Fixed the bug that `forth' never reach `end_of_file', this also caused `search' ran into infinite loop. (bug#13293 and test#lib026)
Performance of the fix is not so good, but no better solution is found.



Revision 91604 - Directory Listing
Modified Wed Jul 23 21:36:22 2008 UTC (11 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Reverted back to former revision because most of the API does not work for symbolic links.


Revision 91603 - Directory Listing
Modified Wed Jul 23 21:16:16 2008 UTC (11 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed an issue reported in bug#14468 where we would fail to delete a directory if one of its file
  is a symbolic link to a file/location that does not exist anymore. In such a case, we can still
  delete the file.


Revision 91602 - Directory Listing
Modified Wed Jul 16 23:33:19 2008 UTC (11 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added missing postcondition to `set_area'.


Revision 91601 - Directory Listing
Modified Tue Jul 1 05:49:10 2008 UTC (11 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed issue mentioned in bug#14515 where passing the address of an object is not thread
  safe when the external is marked blocking. To solve that problem, we are actually implementing
  `read_line', `read_word' and `read_stream' using `read_line_thread_aware', `read_word_thread_aware'
  and `read_stream_thread_aware' which have been properly implemented for CONSOLE.


Revision 91600 - Directory Listing
Modified Tue Jul 1 05:45:58 2008 UTC (11 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed issue mentioned in bug#14515 where passing the address of an object is not thread
  safe when the external is marked blocking.


Revision 91599 - Directory Listing
Modified Mon Jun 16 17:03:22 2008 UTC (11 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `sleep' routine (formerly in the ISE EiffelThread library only) and corresponding `eif_sleep' C
  external for platform specific support.


Revision 91598 - Directory Listing
Modified Thu Jun 12 04:15:14 2008 UTC (11 years, 5 months ago) by kkkkg999
Original Path: FreeELKS/trunk
- Merged the changes under exceptions from EiffelSoftware branch to trunk. (Minor changes of `code' from onces to normal functions)



Revision 91596 - Directory Listing
Modified Wed Jun 11 00:30:34 2008 UTC (11 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `file_gc' blocking by default since it is safe to do so.


Revision 91595 - Directory Listing
Modified Tue Jun 10 23:29:46 2008 UTC (11 years, 5 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added thread aware functionality for FILE.read_line, FILE.read_word and FILE.read_stream. The new feature
  are respectively called `read_line_thread_aware', `read_word_thread_aware' and `read_stream_thread_aware'.
  As it might also be needed for EiffelNet the `read_line_thread_aware' and `read_stream_thread_aware' are
  also in IO_MEDIUM with a default implementation which simply calls the non-thread aware version (for not
  breaking possible descendants for IO_MEDIUM).
Added `copy_to_string' in C_STRING which helps copy a part of a C_STRING into a part of a STRING.


Revision 91592 - Directory Listing
Modified Sat May 24 00:24:07 2008 UTC (11 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Merged the changes made to the EiffelSoftware branch to trunk.


Revision 91542 - Directory Listing
Modified Tue Dec 18 01:39:36 2007 UTC (11 years, 11 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added new code for exceptions: old evaluation and serialization.


Revision 91539 - Directory Listing
Modified Fri Nov 30 05:33:56 2007 UTC (12 years ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added missing svn:eol-style native property.


Revision 91538 - Directory Listing
Modified Wed Oct 31 05:38:13 2007 UTC (12 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed insufficiently export status of features inherited from ANY.


Revision 91537 - Directory Listing
Modified Fri Oct 26 23:10:11 2007 UTC (12 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed postcondition to avoid error when compiling inheriting features in descendants of STRING_XX.


Revision 91536 - Directory Listing
Modified Thu Oct 25 16:25:10 2007 UTC (12 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added missing postcondition about the semantics of `eif_object_id' which should always be positive.


Revision 91535 - Directory Listing
Modified Thu Oct 25 00:27:55 2007 UTC (12 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `starts_with' and `ends_with' per Peter Gummer suggestion.


Revision 91534 - Directory Listing
Modified Thu Oct 25 00:02:18 2007 UTC (12 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added missing assertions for `eif_id_object' and `eif_object_id_free' so that the ID is always non-negative.
Fixed postcondition violation in `object_id' after a call to `free_id', assuming that `object_id' was
  already called before. The solution is to assign `internal_id' with a negative value when freeing
  the `object_id' and to update `object_id' postcondition.
Minor optimization for `id_object' to do something only when the ID is strictly positive.


Revision 91533 - Directory Listing
Modified Fri Oct 19 23:49:41 2007 UTC (12 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Relaxed the type on the arguments on `valid_operands' since it can check against
  any kind of TUPLEs.


Revision 91532 - Directory Listing
Modified Tue Oct 16 20:19:50 2007 UTC (12 years, 1 month ago) by ericb
Original Path: FreeELKS/trunk
object_id/id_object functionality

Revision 91531 - Directory Listing
Modified Fri Oct 12 23:20:35 2007 UTC (12 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Optimized `to_xxx' routines by not doing the overflow checking since the precondition guarantees it.
Minor other optimizations. Overall we go from about 16s down to 9s on my machine doing 20M call to
`to_integer' on the same strings. Other optimizations are possible, but they would required some
code duplication. For information, the simple implementation of 5.6 was only taking 2s for the same test.


Revision 91530 - Directory Listing
Modified Sat Sep 29 04:32:24 2007 UTC (12 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `tree_item' which returns the item we are looking for.
Removed precondition to `has' since the inherited one is True and thus it was useless. Now the code of `has'
  is protected against searching a void item.


Revision 91529 - Directory Listing
Modified Tue Sep 18 23:20:51 2007 UTC (12 years, 2 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added 2 new queries: cpu_total_time and sys_total_time which corresponds to `cpu_time' and `sys_time'
  but instead of being just the time spent in GC it also the time not spent in GC since the start
  of the application.


Revision 91528 - Directory Listing
Modified Fri Sep 7 15:10:11 2007 UTC (12 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `item_for_iteration' which is the same as `item'. It will help when switching
  container classes (i.e. HASH_TABLE to ARRAYED_LIST and vice versa).


Revision 91524 - Directory Listing
Modified Thu Aug 16 21:08:29 2007 UTC (12 years, 3 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `execute_without_collection' which is a safer alternative to manually calling
  `collection_on' and `collection_off' as we might forget to restore the `collecting'
  status to its previous state.


Revision 91523 - Directory Listing
Modified Fri Aug 3 16:02:00 2007 UTC (12 years, 4 months ago) by kwaxer
Original Path: FreeELKS/trunk
Removed unused #undef from inline C code.

Revision 91522 - Directory Listing
Modified Fri Aug 3 09:21:56 2007 UTC (12 years, 4 months ago) by kwaxer
Original Path: FreeELKS/trunk
Unified run-time data structures. Now EIF_TYPED_VALUE is used by the
interpreter, tuples/agents and in workbench C code to pass arguments and
result. The new structure EIF_TYPED_ADDRESS is used to register C variables
for the debugger. The new structure EIF_DEBUG_VALUE is used to access and
modify a value either on interpreted stack or on C stack.


Revision 91521 - Directory Listing
Modified Tue Jul 24 05:21:59 2007 UTC (12 years, 4 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Remove usage of `Current.item' when `item' is just enough.


Revision 91520 - Directory Listing
Modified Sat Jun 2 22:07:13 2007 UTC (12 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed syntax error.


Revision 91519 - Directory Listing
Modified Sat Jun 2 21:16:41 2007 UTC (12 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Addressed concern from bug#12716 due to the addition of the `static_type_of_keys' attribute.


Revision 91518 - Directory Listing
Modified Thu May 24 22:40:57 2007 UTC (12 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Changed `minimum_capacity' to be 2 so that the real capacity of an emty table is just 5 (11 before the change).
Updated `make' to use local for `capacity' computation and removed repeated postcondition.


Revision 91517 - Directory Listing
Modified Wed May 23 23:20:50 2007 UTC (12 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed additional postcondition on `substring' from STRING_8 and STRING_32 since they duplicate
  the one inherted from STRING_GENERAL.


Revision 91516 - Directory Listing
Modified Wed May 23 18:24:32 2007 UTC (12 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed `do_all_with_index' and `do_if_with_index' so that it uses the true index (i.e. lower-based index)
  and not the 1-based index.


Revision 91515 - Directory Listing
Modified Mon May 21 09:46:28 2007 UTC (12 years, 6 months ago) by jfiat
Original Path: FreeELKS/trunk
Updated fast_item inline external to work with Eiffel 6.0.6.8510 (and later, due to change in runtime)

Revision 91514 - Directory Listing
Modified Thu May 17 23:51:39 2007 UTC (12 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed an overflow in `additional_space' and postcondition of `automatic_grow' when
  capacity was above ~40M which resulted in an additional_space value of `minimal_increase' which
  causes a major slow during insertion in certain containers.
  Now the overflow can still occur, but at a capcity of ~1.33G which is more acceptable.


Revision 91513 - Directory Listing
Modified Wed May 16 18:55:39 2007 UTC (12 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added missing modified implementation of `valid_index' from the 5.7 release of EiffelStudio to detect
  a potential catcall at runtime with mixed type keys.


Revision 91512 - Directory Listing
Modified Tue May 15 22:39:07 2007 UTC (12 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `do_all_with_index' and `do_if_with_index' per Colin's suggestion.


Revision 91511 - Directory Listing
Modified Mon May 14 21:24:44 2007 UTC (12 years, 6 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed some insufficiently exported routine.


Revision 91510 - Directory Listing
Modified Tue May 8 16:17:43 2007 UTC (12 years, 7 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed a bug in `is_equal' where if you only have element in the tuple, the comparison will always
  yield True when comparing objects. Fixes bug#12379.


Revision 91509 - Directory Listing
Modified Fri Apr 20 15:06:20 2007 UTC (12 years, 7 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
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 91508 - Directory Listing
Modified Fri Mar 23 06:19:34 2007 UTC (12 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added postcondition stating that `generator' and `generating_type' cannot be empty.


Revision 91507 - Directory Listing
Modified Fri Mar 23 05:31:39 2007 UTC (12 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Restricted creation routine to MISMATCH_CORRECTOR since the invariant implies it.


Revision 91506 - Directory Listing
Modified Tue Mar 20 23:43:12 2007 UTC (12 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Replaced "static built_in" by "built_in static".


Revision 91505 - Directory Listing
Modified Mon Mar 19 19:36:18 2007 UTC (12 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed incorrect comments.


Revision 91504 - Directory Listing
Modified Tue Mar 13 19:47:39 2007 UTC (12 years, 8 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Relaxed assertion of `copy_data' to allow copying of SPECIAL [STRING] instances into instances
  of SPECIAL [ANY].


Revision 91503 - Directory Listing
Modified Fri Mar 9 01:35:06 2007 UTC (12 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use `like item' to prevent flat degree 3 errors in descendant classes where `item' is being
  redefined.


Revision 91502 - Directory Listing
Modified Thu Mar 8 07:08:49 2007 UTC (12 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed flat degree 3 errors due to insufficiently exported routines.


Revision 91501 - Directory Listing
Modified Wed Feb 28 21:44:04 2007 UTC (12 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added case to EIF_INTEGER since otherwise you get a warning if the C structure is
  not exactly defined as an Eiffel INTEGER_32 type.


Revision 91500 - Directory Listing
Modified Wed Feb 28 20:03:28 2007 UTC (12 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed issue with `twin' that would not properly create a copy (invariant was violated after).
Fixed invariant violation when calling `duplicate'


Revision 91499 - Directory Listing
Modified Wed Feb 28 19:57:31 2007 UTC (12 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added missing precondition and fixed invariant to not violate a precondition.


Revision 91498 - Directory Listing
Modified Fri Feb 23 02:11:27 2007 UTC (12 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
No need for the configuration file, it is now part of EiffelBase on the Eiffel Software repository.


Revision 91497 - Directory Listing
Modified Thu Feb 22 00:23:10 2007 UTC (12 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Initial version to support .NET by copying the dotnet subfolders of EiffelBase. Some cleanups
  are necessary though.


Revision 91496 - Directory Listing
Modified Wed Feb 21 19:29:20 2007 UTC (12 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Made `copy' built_in since there is an implementation issue when you `twin' an expanded object,
  you would end up in an infinite recursion if the implementation of `twin' performs a normal
  call to `copy'.


Revision 91495 - Directory Listing
Modified Tue Feb 20 16:54:38 2007 UTC (12 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed obsolete warnings for using `to_character' instead of `to_character_8'.


Revision 91494 - Directory Listing
Modified Tue Feb 20 14:28:16 2007 UTC (12 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Avoid name clashes in descendant classes.

Revision 91493 - Directory Listing
Modified Thu Feb 15 02:46:30 2007 UTC (12 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Synchronized with ISE 5.7 release.


Revision 91492 - Directory Listing
Modified Wed Feb 14 23:06:22 2007 UTC (12 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Changed signatures of `c_tagged_out' since the Eiffel Software runtime changed
  its signature to take an EIF_REFERENCE instead of an EIF_OBJECT.


Revision 91491 - Directory Listing
Modified Wed Feb 14 22:52:25 2007 UTC (12 years, 9 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Cosmetics: removed useless spaces.


Revision 91490 - Directory Listing
Modified Sat Feb 3 19:34:33 2007 UTC (12 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Updated to use `static built_in' to show that most features can be called statically,
  since `built_in' cannot.


Revision 91489 - Directory Listing
Modified Sat Jan 27 17:28:57 2007 UTC (12 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed bug in `read_real_XX_le/be' because we store reading of natural into 
  Result rather than in the natural local variable.


Revision 91488 - Directory Listing
Modified Thu Jan 25 20:12:17 2007 UTC (12 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed incorrect type for reading/writing REAL_32 in big/little endian format.


Revision 91487 - Directory Listing
Modified Thu Jan 25 20:01:40 2007 UTC (12 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added `read_real_XX_le', `read_real_XX_be', `put_real_XX_le' and `put_real_XX_be'.
Fixed typos.


Revision 91486 - Directory Listing
Modified Thu Jan 25 01:23:21 2007 UTC (12 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Use `item' inherited from POINTER_REF to perfom conversion between TYPED_POINTER and POINTER
  instead of adding yet another routine for that purpose.


Revision 91485 - Directory Listing
Modified Thu Jan 25 01:22:36 2007 UTC (12 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Cosmetics.


Revision 91484 - Directory Listing
Modified Thu Jan 25 00:11:12 2007 UTC (12 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added required class TYPE for the EiffelStudio compiler.
Added INTERNAL which is needed for the implementation of TYPE and ROUTINE in EiffelStudio.


Revision 91483 - Directory Listing
Modified Thu Jan 25 00:10:21 2007 UTC (12 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Configuration file for EiffelStudio 6.0.


Revision 91482 - Directory Listing
Modified Tue Jan 23 20:18:55 2007 UTC (12 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed incorrect obsolete message on `enable/disable_pre_ecma_mapping'.


Revision 91481 - Directory Listing
Modified Tue Jan 23 20:14:51 2007 UTC (12 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed issue regarding the addition of the `is_pre_ecma_mapping_disabled' attribute
  in INTERNAL which caused some troubles with store/retrieve from previous version.
Added ECMA_INTERNAL for those who where setting `is_pre_ecma_mapping_disabled'
  to True.


Revision 91480 - Directory Listing
Modified Mon Jan 22 22:11:27 2007 UTC (12 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Cosmetics.


Revision 91479 - Directory Listing
Modified Mon Jan 22 21:59:59 2007 UTC (12 years, 10 months ago) by manus_eiffel
Original Path: FreeELKS/trunk
Cosmetics.


Revision 91478 - Directory Listing
Modified Thu Jan 18 17:03:08 2007 UTC (12 years, 10 months ago) by ericb
Original Path: FreeELKS/trunk
Synchronized with ISE 6.0.65740

Revision 91477 - Directory Listing
Modified Sun Jan 14 09:47:13 2007 UTC (12 years, 10 months ago) by ericb
Original Path: FreeELKS/trunk
Synchronized with ISE 6.0.65740

Revision 91476 - Directory Listing
Modified Sun Jan 7 09:31:22 2007 UTC (12 years, 11 months ago) by ericb
Original Path: FreeELKS/trunk
Synchronized with ISE 6.0.65740

Revision 91475 - Directory Listing
Modified Fri Mar 3 10:19:32 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Synchronized with ISE 5.7.0726


Revision 91474 - Directory Listing
Modified Sun Feb 26 21:58:36 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Use syntax for external as specified by ECMA Eiffel 367


Revision 91473 - Directory Listing
Modified Sun Feb 26 10:41:00 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Removed unique features


Revision 91472 - Directory Listing
Modified Sun Feb 26 10:40:37 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Removed unique features.
`directory_pointer' is freed in the C code of `file_close'. Reset it to null.


Revision 91471 - Directory Listing
Modified Sun Feb 26 10:39:32 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Fixed bug in `resize'


Revision 91470 - Directory Listing
Modified Tue Feb 21 21:47:09 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Removed possible CAT-calls


Revision 91469 - Directory Listing
Modified Tue Feb 21 14:54:50 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Synchronized with ISE 5.7.0414.
Implemented BOOL_STRING in pure Eiffel.


Revision 91468 - Directory Listing
Modified Tue Feb 21 14:54:05 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Fixed bug


Revision 91467 - Directory Listing
Modified Mon Feb 20 16:12:09 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Synchronized with ISE 5.7.0414.


Revision 91466 - Directory Listing
Modified Mon Feb 20 16:11:44 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Synchronized with ISE 5.7.0414.
Use ECMA syntax for external "C" features.


Revision 91465 - Directory Listing
Modified Sat Feb 18 15:29:36 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Avoid recursive call to `is_little_endian'.


Revision 91464 - Directory Listing
Modified Sat Feb 18 15:02:35 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Synchronized with ISE 5.7.0414.
Made built-in features explicit.
Implemented `is_little_endian' in pure Eiffel.


Revision 91463 - Directory Listing
Modified Fri Feb 17 22:36:59 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Made built-in features explicit


Revision 91462 - Directory Listing
Modified Fri Feb 17 17:01:19 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Use new ECMA external signature


Revision 91461 - Directory Listing
Modified Fri Feb 17 17:00:36 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Synchronized with ISE 5.7.0414


Revision 91460 - Directory Listing
Modified Fri Feb 17 16:59:19 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Use eif_memory.h instead of eif_eiffel.h


Revision 91459 - Directory Listing
Modified Fri Feb 17 16:56:15 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Added missing class


Revision 91458 - Directory Listing
Modified Thu Feb 9 11:23:11 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Replaced external "C" features by built-in features.


Revision 91457 - Directory Listing
Modified Thu Feb 9 11:21:18 2006 UTC (13 years, 9 months ago) by ericb
Original Path: FreeELKS/trunk
Fixed flat Degree 3 error.


Revision 91456 - Directory Listing
Modified Sat Feb 4 16:58:20 2006 UTC (13 years, 10 months ago) by ericb
Original Path: FreeELKS/trunk
Added missing class.


Revision 91455 - Directory Listing
Modified Sat Feb 4 16:57:59 2006 UTC (13 years, 10 months ago) by ericb
Original Path: FreeELKS/trunk
Replaced built-in feature `to_pointer' by pure Eiffel implementation.


Revision 91454 - Directory Listing
Modified Sat Feb 4 16:56:42 2006 UTC (13 years, 10 months ago) by ericb
Original Path: FreeELKS/trunk
Synchronized with ISE 5.7.0414.


Revision 91453 - Directory Listing
Modified Sat Feb 4 16:55:16 2006 UTC (13 years, 10 months ago) by ericb
Original Path: FreeELKS/trunk
Implemented `has_entry' in pure Eiffel.


Revision 91452 - Directory Listing
Modified Sat Feb 4 16:54:39 2006 UTC (13 years, 10 months ago) by ericb
Original Path: FreeELKS/trunk
Replaced external "C" features by built-in features.


Revision 91451 - Directory Listing
Modified Sat Feb 4 16:53:58 2006 UTC (13 years, 10 months ago) by ericb
Original Path: FreeELKS/trunk
Provide a pure Eiffel implementation.


Revision 91450 - Directory Listing
Modified Sat Feb 4 16:53:26 2006 UTC (13 years, 10 months ago) by ericb
Original Path: FreeELKS/trunk
Synchronized with ISE 5.7.0414.
Remove the use of SPECIAL.aliased_resized_area_and_keep.


Revision 91449 - Directory Listing
Modified Thu Jan 12 11:00:29 2006 UTC (13 years, 10 months ago) by ericb
Original Path: FreeELKS/trunk
Updated POINTER classes to be in sync with ISE Eiffel
and to use "built_in" external features.


Revision 91448 - Directory Listing
Modified Tue Jan 10 13:22:50 2006 UTC (13 years, 10 months ago) by ericb
Original Path: FreeELKS/trunk
Updated INTEGER classes to be in sync with ISE Eiffel
and to use "built_in" external features.


Revision 91447 - Directory Listing
Modified Tue Jan 10 13:22:04 2006 UTC (13 years, 10 months ago) by ericb
Original Path: FreeELKS/trunk
Added NATURAL classes


Revision 91446 - Directory Listing
Modified Mon Nov 14 10:53:30 2005 UTC (14 years ago) by ericb
Original Path: FreeELKS/trunk
Made it follow the current implementation in ISE.
Added built-in features.


Revision 91445 - Directory Listing
Modified Sun Nov 6 14:25:25 2005 UTC (14 years, 1 month ago) by ericb
Original Path: FreeELKS/trunk
Added built-in features.
Made class BOOLEAN frozen to follow the current implementation in ISE.


Revision 91444 - Directory Listing
Modified Thu Nov 3 23:50:46 2005 UTC (14 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Fixed syntax warning for using `note' new Eiffel keyword per ECMA.


Revision 91443 - Directory Listing
Modified Thu Nov 3 23:44:55 2005 UTC (14 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Initial version for style guidelines when writing code for FreeELKS.


Revision 91442 - Directory Listing
Modified Tue Nov 1 19:01:22 2005 UTC (14 years, 1 month ago) by ericb
Original Path: FreeELKS/trunk
Added missing classes.


Revision 91441 - Directory Listing
Modified Tue Nov 1 12:09:29 2005 UTC (14 years, 1 month ago) by ericb
Original Path: FreeELKS/trunk
Make it look like the implementation in ISE.


Revision 91440 - Directory Listing
Modified Tue Nov 1 12:07:48 2005 UTC (14 years, 1 month ago) by ericb
Original Path: FreeELKS/trunk
Needed to compile SPECIAL


Revision 91439 - Directory Listing
Modified Sun Oct 31 13:00:48 2004 UTC (15 years, 1 month ago) by ericb
Original Path: FreeELKS/trunk
`twin' needs to be built-in in order to call `copy' internally (and not
`standard_copy' as it would have been the case  with the previous
implementation).


Revision 91438 - Directory Listing
Modified Thu Oct 28 22:23:37 2004 UTC (15 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed comments after `end' keyword.


Revision 91437 - Directory Listing
Modified Thu Oct 28 21:47:27 2004 UTC (15 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
First ideas for the ELKS library.


Revision 91436 - Directory Listing
Modified Thu Oct 28 21:42:33 2004 UTC (15 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Not necessary now that we have changed the library structure to our wish.


Revision 91435 - Directory Listing
Modified Thu Oct 28 14:42:19 2004 UTC (15 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Added Eiffel Forum License text.


Revision 91434 - Directory Listing
Modified Wed Oct 27 19:58:22 2004 UTC (15 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Updated indexing clause to match Eiffel Forum license and the copyright.


Revision 91433 - Directory Listing
Modified Wed Oct 27 19:52:40 2004 UTC (15 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Removed non-needed file for ELKS (since it is ISE specific).


Revision 91432 - Directory Listing
Modified Wed Oct 27 19:26:15 2004 UTC (15 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
More email testing


Revision 91431 - Directory Listing
Modified Wed Oct 27 19:23:11 2004 UTC (15 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Test email


Revision 91430 - Directory Listing
Modified Wed Oct 27 19:15:04 2004 UTC (15 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Test email


Revision 91429 - Directory Listing
Modified Wed Oct 27 19:11:58 2004 UTC (15 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Test email.


Revision 91428 - Directory Listing
Modified Wed Oct 27 18:45:06 2004 UTC (15 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
File used to force rebuild of CVS repository.


Revision 91424 - Directory Listing
Modified Tue Oct 26 18:39:32 2004 UTC (15 years, 1 month ago) by manus_eiffel
Original Path: FreeELKS/trunk
Initial revision


Revision 91423 - Directory Listing
Added Tue Oct 26 18:39:32 2004 UTC (15 years, 1 month ago) by (unknown author)
Original Path: FreeELKS/trunk
New repository initialized by cvs2svn.

  ViewVC Help
Powered by ViewVC 1.1.23