View source for Eiffel Coding Standard

You do not have permission to edit this page, for the following reasons:

The action you have requested is limited to users in one of the groups: Autoconfirmed users, emailconfirmed, editors.
You must confirm your email address before editing pages. Please set and validate your email address through your user preferences.

You can view and copy the source of this page:

[[Category:Coding Standards]]
==Language consideration==
*  Do not put a blank line between
:* '''create''' and creation instructions
:* '''inherit''' and parent clauses
* Do not use assertion clauses without tag names.

A sample of proper formatting of code:
<e>note
    description: "Descr...."
    date: "$date: $"

class A

inherit
    B
       rename
           f as g
       end

create
    make

feature {NONE} -- Initialization

    make (a: INTEGER)
            -- Initialize Current with `a'.
        do
        end

invariant
    a_positive: a > 0

end</e>

==Style==
*  If instructions:
<e>if expr1 then
    ...
elseif expr2 then
    ...
else
    ...
end</e>

If expressions are very long:
<e>if
    expr1
then
    ...
end</e>

* Loop instructions:
<e>from
    ...
until
    ...
loop
    ...
end</e>

* Inspect instructions:
<e>inspect expr
when val1 then ....
else
    ...
end</e>

or

<e>inspect
    expr
when val1 then
    ...
else
    ...
end</e>

* For ponctuations, we always have a space before '''(''' and a space after ''')''', ''',''', ''':''', or ''';''':
<e>require
   a_tag: query (a, b, c) or other_query (c, d)
local
   i: INTEGER; j: INTEGER</e>

Return to Eiffel Coding Standard.

Retrieved from "https://dev.eiffel.com/Eiffel_Coding_Standard"

View source for Eiffel Coding Standard

Navigation

Development

Wiki

Search

Tools