EiffelStudio Wish List - Revision history

Manus: Protected "EiffelStudio Wish List": We are moving the Wish list to a new site. ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite))

2015-08-05T16:22:39Z

Protected "EiffelStudio Wish List": We are moving the Wish list to a new site. ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite))

Conaclos: Remove unecessary precisions

2014-08-03T12:55:15Z

Remove unecessary precisions

Conaclos: Removing personal proposal

2014-08-03T12:51:58Z

Removing personal proposal

Conaclos: readability improvement

2014-05-16T21:56:53Z

readability improvement

Conaclos: Fix terminolgy

2014-05-16T21:48:35Z

Fix terminolgy

Conaclos: Adding cons for Empty braces exportation notation

2014-05-16T21:43:38Z

Adding cons for Empty braces exportation notation

Conaclos: Replace obsolete keyword with a simple note clause

2014-05-05T21:25:25Z

Replace obsolete keyword with a simple note clause

Conaclos: Adding a consequence of customized creation procedure for expanded type

2014-05-03T22:31:04Z

Adding a consequence of customized creation procedure for expanded type

Conaclos: Adding precision for note inheritance

2014-05-03T22:25:50Z

Adding precision for note inheritance

Conaclos: Put redefine correction proposal in the correct category

2014-05-03T22:19:43Z

Put redefine correction proposal in the correct category

@@ Line 473: / Line 473: @@
 ! Customized creation procedure for expanded type
 | Allow to use another creation procedure. `default_create' is not longer required.
+|
+|
@@ Line 593: / Line 590: @@
 ! `note' clause and inheritance
 | `note' clauses are inherited if they are not redefined.
 e.g.

← Older revision		Revision as of 12:51, 3 August 2014
Line 480:		Line 480:
	\|		\|

−	\|-
−	~~! Empty braces for unexported features~~
−	\|
−	~~<e>~~
−	~~class PROPOSITION feature {}~~
−	~~internal_something: A_TYPE~~
−	~~do end~~
−
−	~~end~~
−	~~</e>~~
−	~~equivalent to:~~
−	~~<e>~~
−	~~class CURRENT_STANDARD feature {NONE}~~
−	~~internal_something: A_TYPE~~
−	~~do end~~
−	~~end~~
−	~~</e>~~
−	\|
−	* Liberty Eiffel uses this syntax.
−	* NONE keyword could be deprecated in the future (save a keyword and remove the concept of a class NONE inheriting of all classes)
−	\|
−	* The proposal <code>{}</code> is less explicit, so it is arguably harder to read than the current standard <code>{NONE}</code>.
−	* The proposal <code>{}</code> is likely to cause confusion between unexported features and features exported to <code>{ANY}</code>. Empty braces look very similar to braces omitted entirely.
−	* The proposal would force upgrading of existing code, which would be disruptive to existing users (although probably easily automated).
−	* What about <code>inherit {NONE}</code>?
−	* What would the type of <code>Void</code> be?
−	* How express type interval?
−	\|

	\|-		\|-

@@ Line 690: / Line 690: @@
 ! SQL like where
 | simmala to do_if, but a function:
-  where (test: FUNCTION [ANY, TUPLE [G], BOOLEAN]): like Current
+<e>
-  		--returns container like current, for items satisfying test
+where (test: PREDICATE [ANY, TUPLE [G]]): like Current
-  	deferred
+        -- Items satisfying `test'
-  	end
+    ...
+|
+|
@@ Line 701: / Line 702: @@
 ! slice functions
+|
-  slice_until, slice_after, slice_after_and_including, etc (test: FUNCTION [ANY, TUPLE [G], BOOLEAN]): like Current
+<e>
-  	deferred
+slice_until, slice_after, ... (test: PREDICATE [ANY, TUPLE [G]]): like Current
-  	end
+    ...
+|
+|
@@ Line 709: / Line 711: @@
 |-
-! Absolute request result as NATURAL
+! Absolute query result as NATURAL
 | Change the 'abs' request type.
-  <e>
+<e>
-  	abs: NATURAL_32
+abs: NATURAL_32
-  			-- (from INTEGER_32_REF)
+        -- (from INTEGER_32_REF)
-  		...
+    ...
-  </e>
+</e>
+|
+|
@@ Line 721: / Line 723: @@
 |-
-! 'factorial', 'even', and 'odd' queries
+! `factorial', `even', and `odd' queries
 | Add features to NATURAL types.
 <e>

@@ Line 721: / Line 721: @@
 |-
-! 'factorial', 'even' and 'odd' request
+! 'factorial', 'even', and 'odd' queries
 | Add features to NATURAL types.
-  <e>
+<e>
-  	factorial: like Current
+factorial: like Current ...
-  		...
 even: BOOLEAN ...
-  	even: BOOLEAN
-  		...
+odd: BOOLEAN ...
 </e>
-  	odd: BOOLEAN
-  		...
-  </e>
+|
+|

@@ Line 506: / Line 506: @@
 * What about <code>inherit {NONE}</code>?
 * What would the type of <code>Void</code> be?
+|

← Older revision	Revision as of 16:22, 5 August 2015
(No difference)

@@ Line 413: / Line 413: @@
   a_routine
       do
-          across 1 |..| 10
+          across 1 |..| 10 loop
-         loop
                -- do something
           end
@@ Line 443: / Line 442: @@
      something: ANOTHER_TYPE
          do end
 end
 </e>
@@ Line 464: / Line 462: @@
      something: ANOTHER_TYPE
          do end
 end
 </e>
@@ Line 487: / Line 484: @@
+|
 <e>
-class
+class PROPOSITION feature {}
-    PROPOSITION
-−
 feature {}
      internal_something: A_TYPE
          do end
@@ Line 498: / Line 492: @@
 equivalent to:
 <e>
-class
+class CURRENT_STANDARD feature {NONE}
-    CURRENT_STANDARD
-−
 feature {NONE}
      internal_something: A_TYPE
          do end
 end
 </e>
@@ Line 539: / Line 529: @@
 example:
 <e>
-class
+class  A feature {B, C} -- Access
-−
-−
 feature {B, C} -- Access
 	q: A assign c
@@ Line 550: / Line 537: @@
 			q := v
 		end
 end
 </e>
@@ Line 582: / Line 568: @@
 Therefore the postcondition of assigner commands should verify it.
 <e>
-class interface
+class interface A feature
-−
-−
 feature
 	q (...): T assign c
@@ Line 605: / Line 588: @@
 <e>
 class A feature
      do_something
          require else
@@ Line 613: / Line 595: @@
              True
          end
 end
 </e>
@@ Line 661: / Line 642: @@
 The `what' clause is not inheried since it is redefined. However the `option' clause is inherited.
+|
+|
+|

@@ Line 635: / Line 635: @@
 |-
 ! `note' clause and inheritance
-| `note' clause is inherited if it is not redefined.
+| `note' clauses are inherited if they are not redefined.
 Since a feature documentation is a part of the note clause (`what' tag),
 it is also inherited (simple <e>-- <Precursor></e> is not longer required).
+|
+|

@@ Line 100: / Line 100: @@
 ! XXX
 | Ability to get a list of file dependencies in the form of a file listing to stdout. This list would contain a) all .e files used in the system, b) all .lib/.so files explicitly listed in the ECF/Ace file and c) all .h files referenced in external features (ideally that have not been subjected to dead code removal). Preferably, this feature should be able to be used without performing a full compilation (level 4?). || || ||
 |}
@@ Line 135: / Line 166: @@
 | An ability to call a parent .NET constructor from an Eiffel creation routine. || || ||
 |}