mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-08 15:52:26 +01:00
ee2831d52f
git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2364 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
12 lines
624 B
Plaintext
12 lines
624 B
Plaintext
[[Property:title|Adding a function]]
|
|
[[Property:weight|3]]
|
|
[[Property:uuid|1175bdb8-b8a0-e4c4-c083-3d624ae1e501]]
|
|
Once [[Opening the new feature dialog|the new feature dialog]] is displayed and '''function''' selected in '''feature type''', follow the following steps:
|
|
# [[Feature clauses|Choose a feature clause]]
|
|
# [[Name field|Type a name]]
|
|
# [[Argument list|Select formal parameters]]
|
|
# [[Type selection|Select the type]]
|
|
# [[Header comment|Type a header comment]]
|
|
# Enter [[Precondition|precondition]] , [[Local variable|local variable]] , [[Feature body|body]] and [[Postcondition|postcondition]]
|
|
|