mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-08 15:52:26 +01:00
cb0518b8e1
git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1789 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
11 lines
586 B
Plaintext
11 lines
586 B
Plaintext
[[Property:title|Adding a procedure]]
|
|
[[Property:weight|2]]
|
|
[[Property:uuid|220515f7-5c16-2648-fcad-74d3fb1583da]]
|
|
Once [[Opening the new feature dialog|the new feature dialog]] is displayed and '''procedure''' selected in '''feature type''', follow the following steps:
|
|
# [[Feature clauses|Choose a feature clause]]
|
|
# [[Name field|Type a name]]
|
|
# [[Argument list|Select formal parameters]]
|
|
# [[Header comment|Type a header comment]]
|
|
# Enter [[Precondition|precondition]] , [[Local variable|local variable]] , [[Feature body|body]] and [[Postcondition|postcondition]]
|
|
|