RE: Suggestion for Ada 200x - Interface inheritance

[Lionel.DRAGHI@fr.thalesgroup.com]

| -----Message d'origine-----
| De: Steve [mailto:nospam_steved94@attbi.com]
...
| What do you think of the idea of also optionally giving the 
| mode of the
| parameter, which if present must match the function or procedure
| declaration.  That is, extending the above example:
| 
|   result := Add( in left => 2, in right => 3 );
| 
| Why?  Readability.  When reading code it is sometimes unclear from the
| caller whether or not a procedure modifies its parameters. 
 
Yes, and i often need to "navigate" up to the operation declaration to see
parameter's mode.

My idea was to introduce "<=" for out parameters and "<=>" for in out.

Example:
Create (File   <=> My_File,
        Mode    => In_File,
        Name    => "My_File",
        Status <=  Status);
Pretty clear, isn't it? :-) And could also apply to declaration!

Anyway, some ada-mode colouring parameters according to their mode would do
the job just fine for me.

-- 
Lionel Draghi