Log of /FreeELKS/model_based_contracts
Directory Listing
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
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
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
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, 2 months 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, 2 months 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, 6 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, 6 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
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
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
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
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
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
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
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
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
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
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
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
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
91458 -
Directory Listing
Modified
Thu Feb 9 11:23:11 2006 UTC
(13 years, 10 months ago)
by
ericb
Original Path:
FreeELKS/trunk
Replaced external "C" features by built-in features.
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
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
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, 11 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
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
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
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
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
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
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.
