/[eiffelstudio]/FreeELKS/branches
ViewVC logotype

Log of /FreeELKS/branches

View Directory Listing Directory Listing


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

Revision 91880 - Directory Listing
Modified Mon May 24 22:24:19 2010 UTC (9 years, 8 months ago) by manus_eiffel
Moved to the right location for the 6.6 release.

Revision 91879 - Directory Listing
Modified Mon May 24 22:23:10 2010 UTC (9 years, 8 months ago) by manus_eiffel
Created FreeELKS version for EiffelStudio 6.6 release.

Revision 91699 - Directory Listing
Modified Mon Mar 2 10:13:33 2009 UTC (10 years, 11 months ago) by nadyakenga
More classes contracted

Revision 91696 - Directory Listing
Modified Wed Feb 18 19:44:53 2009 UTC (11 years ago) by nadyakenga
Some more classes contracted, LINKED_LIST tested

Revision 91695 - Directory Listing
Modified Mon Feb 16 17:50:43 2009 UTC (11 years ago) by nadyakenga
Some classes contracted

Revision 91668 - Directory Listing
Modified Fri Dec 5 08:54:31 2008 UTC (11 years, 2 months ago) by nadyakenga
Creating a branch for EiffelBase with model-based contracts.

Revision 91597 - Directory Listing
Modified Wed Jun 11 07:46:24 2008 UTC (11 years, 8 months ago) by kkkkg999
- Changed `code' from onces into normal functions. Since there is not much need to use once to query another once (which could be even slower considering inlines). And the debugger can always get `code' though non onces.
- Added missing frozen keyword for {COM_FAILURE}.code.

Revision 91591 - Directory Listing
Modified Fri May 23 07:20:50 2008 UTC (11 years, 9 months ago) by kkkkg999
Redefined `out' to print the trace to keep the same behavior as for .NET.

Revision 91590 - Directory Listing
Modified Wed May 21 18:31:58 2008 UTC (11 years, 9 months ago) by manus_eiffel
Added NATURAL_64 queries so that a relevant number of bytes is being shown when total memory is
  greater than 2GB.


Revision 91589 - Directory Listing
Modified Wed May 14 16:21:56 2008 UTC (11 years, 9 months ago) by kkkkg999
Stores message in a C_STRING object, so that static address could be passed into the runtime and later used to print the trace. This fixed the problem that tag of exception trace was corrupted in deep calls, which was because the C pointer passed into the runtime from normal Eiffel string was moved when by GC. Fixed test except020.

Revision 91588 - Directory Listing
Modified Tue May 6 18:06:30 2008 UTC (11 years, 9 months ago) by manus_eiffel
Cosmetics: fixed wrong indentation on `finish'.


Revision 91587 - Directory Listing
Modified Tue May 6 17:50:28 2008 UTC (11 years, 9 months ago) by manus_eiffel
Removed non-used local.


Revision 91586 - Directory Listing
Modified Mon May 5 12:23:01 2008 UTC (11 years, 9 months ago) by kwaxer
Replaced object tests with comparison to Void when possible.
Made more changes towards void-safe code.
Reverted some code to the original state that is possible now due to the
new CAP rules.


Revision 91585 - Directory Listing
Modified Tue Apr 29 20:53:58 2008 UTC (11 years, 9 months ago) by manus_eiffel
Cosmetics: removed empty lines.


Revision 91584 - Directory Listing
Modified Fri Apr 25 22:10:38 2008 UTC (11 years, 9 months ago) by manus_eiffel
Added `set_target' which lets you change the closed target of an agent but only if it is
  exactly the same type as the one originally provided.
Exported `is_target_closed' which is used as a precondition to `set_target'.


Revision 91583 - Directory Listing
Modified Fri Apr 25 21:21:15 2008 UTC (11 years, 9 months ago) by manus_eiffel
Fixed typo in comment.


Revision 91582 - Directory Listing
Modified Fri Apr 25 05:06:28 2008 UTC (11 years, 9 months ago) by kkkkg999
Added `make_with_tag_and_trace', `tag' and `trace_as_string' to make it compatible with the version before EAO.

Revision 91581 - Directory Listing
Modified Fri Apr 25 00:34:30 2008 UTC (11 years, 9 months ago) by manus_eiffel
Added assigner to ARRAY2.


Revision 91580 - Directory Listing
Modified Thu Apr 24 12:58:59 2008 UTC (11 years, 9 months ago) by kkkkg999
Fixed test#except017 and partially fixed test#except016 of the issue how routines in EXCEPTIONS behave.

Revision 91579 - Directory Listing
Modified Sun Apr 20 21:00:43 2008 UTC (11 years, 10 months ago) by manus_eiffel
Now that the EiffelStudio compiler is fixed we can use `REAL_XX' in place of `like Current' for
  the prefix routines.


Revision 91578 - Directory Listing
Modified Thu Apr 17 18:46:00 2008 UTC (11 years, 10 months ago) by manus_eiffel
Relaxed precondition of `is_valid_type_string' to accept Void and empty strings, for which False
  is returned.


Revision 91577 - Directory Listing
Modified Tue Apr 15 12:39:00 2008 UTC (11 years, 10 months ago) by kwaxer
Removed non-anchored types of local variables in `valid_cursor' and
`last_element' as it breaks the code of descendants by using slightly
modified version of the original non-void-safe code that is now valid due
to the new CAP rules allowing locals in addition to read-only entities.


Revision 91576 - Directory Listing
Modified Thu Apr 3 23:09:11 2008 UTC (11 years, 10 months ago) by manus_eiffel
Use INTEGER_32 (instead of just INTEGER) when it can only mean INTEGER_32.


Revision 91575 - Directory Listing
Modified Wed Apr 2 04:10:53 2008 UTC (11 years, 10 months ago) by manus_eiffel
While waiting for the EiffelStudio compiler to be fixed, we are using `like Current' as return
  type of the prefix routines to avoid a C compilation problem when finalizing.


Revision 91574 - Directory Listing
Modified Wed Apr 2 04:09:02 2008 UTC (11 years, 10 months ago) by manus_eiffel
Forgot to changed the return type of `as_integer_32' to be INTEGER_32.


Revision 91573 - Directory Listing
Modified Tue Apr 1 17:56:49 2008 UTC (11 years, 10 months ago) by manus_eiffel
Use CHARACTER_8 instead of CHARACTER, since it is clear that STRING_8 will never contain CHARACTER_32
  (in other words, changing the meaning of CHARACTER should not change the meaning of what STRING_8 is).


Revision 91572 - Directory Listing
Modified Tue Apr 1 17:54:49 2008 UTC (11 years, 10 months ago) by manus_eiffel
Updated built_in of basic types to not use `like Current' but the basic type itself. This will make
  it easier to implement the built_in if one day we support inheriting from basic types.
Used the new names of basic types (e.g. REAL_32 instead of REAL, INTEGER_32 instead of INTEGER, ...).
  However we are still keeping INTEGER when it is clearly not meant to be INTEGER_32, in other words
  we could potentially decide in the future that INTEGER means INTEGER_64 and the code should naturally
  follow.


Revision 91571 - Directory Listing
Modified Wed Mar 26 11:17:27 2008 UTC (11 years, 10 months ago) by kwaxer
Marked types of entities that may be Void as detachable. Replaced non-void-safe constructs with void-safe ones (there are still some places that need modifications to become void-safe).

Revision 91570 - Directory Listing
Modified Sat Mar 15 00:29:02 2008 UTC (11 years, 11 months ago) by manus_eiffel
Avoid catcall at runtime by reversing the order for `is_equal' since `read_array' is guaranteed
  to return an instance of ARRAY, whereas the argument `data' may not be an ARRAY but a descendant of ARRAY.


Revision 91569 - Directory Listing
Modified Thu Mar 13 17:22:28 2008 UTC (11 years, 11 months ago) by manus_eiffel
Realized that `put_reference_item' did not check the proper type of the argument to ensure
  what is expected by the tuple.


Revision 91568 - Directory Listing
Modified Sun Mar 9 23:44:31 2008 UTC (11 years, 11 months ago) by manus_eiffel
Prevented catcall at runtime by changing the order of arguments (note it is relying on the ANY.equal
  implementation so it might reappear in the future).


Revision 91567 - Directory Listing
Modified Wed Mar 5 17:31:49 2008 UTC (11 years, 11 months ago) by manus_eiffel
Moved the object graph traversable classes from the Eiffel Software repository to ELKS so that
  it can be used in INTERNAL for `deep_physical_size'. The previous version of INTERNAL would not
  compile without it.


Revision 91566 - Directory Listing
Modified Tue Mar 4 17:42:59 2008 UTC (11 years, 11 months ago) by manus_eiffel
Implemented `deep_physical_size' which unlike `physical_size' also computes the size
  of its children.


Revision 91565 - Directory Listing
Modified Wed Feb 27 16:17:02 2008 UTC (11 years, 11 months ago) by manus_eiffel
Use INTEGER instead of INTEGER_32 for consistency.


Revision 91564 - Directory Listing
Modified Wed Feb 20 21:59:31 2008 UTC (12 years ago) by manus_eiffel
Forget some more obsolete calls to features of PLATFORM.


Revision 91563 - Directory Listing
Modified Wed Feb 20 21:57:51 2008 UTC (12 years ago) by manus_eiffel
Removed obsolete calls to features of PLATFORM.


Revision 91562 - Directory Listing
Modified Wed Feb 20 17:42:27 2008 UTC (12 years ago) by manus_eiffel
Clean up naming so that we always refer to the sized version of a type such as CHARACTER or INTEGER.
Created a lot of new obosoletes and moved them to the end of the class.
Cosmetics.


Revision 91561 - Directory Listing
Modified Thu Feb 14 19:14:17 2008 UTC (12 years ago) by kwaxer
Removed unnecessary indirection in feature call.

Revision 91560 - Directory Listing
Modified Thu Feb 14 09:35:14 2008 UTC (12 years ago) by kkkkg999
- Peeled ISE implementation for exception as object.
- Made all features in EXCEPTION_MANAGER built-ins.
- Added EXCEPTION_MANAGER_FACTORY as a solution to instantiate exception manager for local implementations.

Revision 91559 - Directory Listing
Modified Wed Feb 13 22:43:19 2008 UTC (12 years ago) by manus_eiffel
Added missing postconditions, at the moment, they are mostly comments.
Changed `all_default' and `same_items' to take a lower and upper index, to make them
  more consistent with the rest. Updated ARRAY accordingly.
Allowed `fill_with' to work on empty areas.
Allowed `resized_area' to shrink an `area', we could do the same for `aliased_resized_area'
  but the change is waiting for some verification from Eiffel Software.
Removed `frozen' keyword from all routines since SPECIAL is frozen anyway.


Revision 91558 - Directory Listing
Modified Wed Feb 6 17:06:54 2008 UTC (12 years ago) by manus_eiffel
Cosmetics: removal of `is'.
Changed implementation of `item_address' to use `base_address'.
Improved comments.


Revision 91557 - Directory Listing
Modified Fri Feb 1 16:42:59 2008 UTC (12 years ago) by pryomoax
Reverted back to is_mac

Revision 91556 - Directory Listing
Modified Fri Feb 1 16:37:31 2008 UTC (12 years ago) by pryomoax
Changed platform query `is_mac' to `is_mac_os'

Revision 91555 - Directory Listing
Modified Thu Jan 31 21:03:19 2008 UTC (12 years ago) by pryomoax
Added query for Mac OS as a platform in PLATFORM.


Revision 91554 - Directory Listing
Modified Sat Jan 26 01:57:35 2008 UTC (12 years ago) by manus_eiffel
Changed HASHABLE behavior by making `is_hashable' a True value because it has been a while since HASH_TABLE
  accepts default value. Updated BOOLEAN and CHARACTER_XX descendants to inherit the definition of HASHABLE
  since they are always hashable.
Reviewed the CHARACTER_XX classes:
 - removed useless inheritance to REFACTORING_HELPER.
 - prevented negative hash_code in CHARACTER_32_REF.
 - added postcondition to `code' in CHARACTER_8_REF and `natural_32_code' in CHARACTER_32_REF.
 - fixed typos and punctuation in comments.
 - used new constant syntax in CHARACTER_8_REF.
Cosmetics.


Revision 91553 - Directory Listing
Modified Tue Jan 15 17:33:51 2008 UTC (12 years, 1 month ago) by manus_eiffel
Fixed incorrect declaration of `open_map' which is actually an ARRAY at runtime.


Revision 91552 - Directory Listing
Modified Tue Jan 15 14:46:21 2008 UTC (12 years, 1 month ago) by kkkkg999
- Improved comments.
- Explicitly convert STRING_32 to STRING in COM_FAILURE.

Revision 91551 - Directory Listing
Modified Mon Jan 14 18:13:44 2008 UTC (12 years, 1 month ago) by manus_eiffel
Fixed inconsistencies in `prefix "not"' to now return a BOOLEAN like the other queries.
Improved `hash_code' to have different values depending on `item' and made `is_hashable' a True constant.
Improved postcondition of `to_reference' and `to_integer'.
Use `or' instead of `or else' in invariant.
Cosmetics.


Revision 91550 - Directory Listing
Modified Mon Jan 14 05:27:54 2008 UTC (12 years, 1 month ago) by kkkkg999
Added EXCEPTIONS inheritance back for backward-compatibility.

Revision 91549 - Directory Listing
Modified Fri Jan 11 12:39:57 2008 UTC (12 years, 1 month ago) by kkkkg999
Implemented COM_FAILURE so that it can be used in EiffelCom library.

Revision 91548 - Directory Listing
Modified Wed Jan 9 23:49:43 2008 UTC (12 years, 1 month ago) by manus_eiffel
Added exception classes formerly in Eiffel Software's repository.


Revision 91547 - Directory Listing
Modified Wed Jan 9 23:43:12 2008 UTC (12 years, 1 month ago) by manus_eiffel
Cosmetics.


Revision 91546 - Directory Listing
Modified Sat Jan 5 00:16:40 2008 UTC (12 years, 1 month ago) by ikingifl
Optimized 'index' to use locals and count the number of iterations from first_element to active.  This avoids the need to create a cursor object and removes a few function calls per loop iteration.

Revision 91545 - Directory Listing
Modified Mon Dec 24 21:25:38 2007 UTC (12 years, 1 month ago) by manus_eiffel
Version for Exception as Objects in Eiffel Software implementation.


Revision 91544 - Directory Listing
Modified Mon Dec 24 21:20:58 2007 UTC (12 years, 1 month ago) by manus_eiffel
Merged head to Eiffel Software specific branch.


Revision 91425 - Directory Listing
Modified Tue Oct 26 18:39:32 2004 UTC (15 years, 3 months ago) by (unknown author)
This commit was manufactured by cvs2svn to create branch
'EiffelSoftware'.

Revision 91423 - Directory Listing
Added Tue Oct 26 18:39:32 2004 UTC (15 years, 3 months ago) by (unknown author)
New repository initialized by cvs2svn.

  ViewVC Help
Powered by ViewVC 1.1.23