class ANY (and GENERAL)
ELKS 2003 standard (under discussion)
ELKS 1995 standard (adopted)
Implementations
Future discussions
A possible sequence for discussion of ANY is:
-
generator, generating_type
-
same_type, conforms_to
-
equal, standard_equal, deep_equal
-
is_equal, is_deep_equal
-
copy, standard_copy
-
clone, standard_clone, deep_clone
-
default, default_pointer, void
-
do_nothing
-
default_rescue
-
out, tagged_out
-
print
-
io
-
object_id, id_object
-
stripped
-
class invariant
-
comments and cosmetics
Principles
-
Generally accepted:
-
The specification will use the current version of Eiffel.
-
The specification will support the concept of "basic specifiers".
-
No query is permitted to cause a visible side-effect.
-
Unresolved:
Vendor issues
This is a place to record vendor positions on the Vintage 2003 proposals,
and also any vendor-specific technical issues that we have become aware
of.
Discussion
Discussion of these proposals takes place at YahooGroups. Follow the discussions
at
http://groups.yahoo.com/group/eiffel-nice-library/.