mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2026-02-28 11:50:57 +01:00
Code Issues Packages Projects Releases Wiki Activity

Eiffel_25.12 release

Browse Source 
git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2496 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eifops
2026-01-20 10:36:19 +00:00
parent 675d073abf
commit 8a86d5fa0b
2965 changed files with 63848 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
documentation/25.12/eiffelstudio/eiffelstudio-how-tos/editing-project/adding-feature/adding-attribute.wiki Normal file
View File

@@ -0,0 +1,11 @@
[[Property:title|Adding an attribute]]
[[Property:weight|4]]
[[Property:uuid|091387a6-2dda-aff4-7741-b44ade4857cb]]
Once [[Opening the new feature dialog|the new feature dialog]] is displayed and '''attribute''' selected in '''feature type''', follow the following steps:
# [[Feature clauses|Choose a feature clause]]
# [[Name field|Type a name]]
# [[Type selection|Select the type]]
# [[Header comment|Type a header comment]]
# [[Invariant field|Select a class invariant]]
# [[Set-procedure|Select to create a set-procedure]]

11
documentation/25.12/eiffelstudio/eiffelstudio-how-tos/editing-project/adding-feature/adding-function.wiki Normal file
View File

@@ -0,0 +1,11 @@
[[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]]

10
documentation/25.12/eiffelstudio/eiffelstudio-how-tos/editing-project/adding-feature/adding-procedure.wiki Normal file
View File

@@ -0,0 +1,10 @@
[[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]]

5
documentation/25.12/eiffelstudio/eiffelstudio-how-tos/editing-project/adding-feature/index.wiki Normal file
View File

@@ -0,0 +1,5 @@
[[Property:title|Adding a feature]]
[[Property:weight|3]]
[[Property:uuid|c65b3fd0-05fb-9b16-79b9-d4207bf42769]]
To add a feature to a class, you can directly edit its text of course. EiffelStudio offers you other ways to do so. A dialog window has been designed to help you to add features. Once you make it appear, the [[Opening the new feature dialog|new feature dialog]] allows you to choose what kind of feature you want to create and to set most of its characteristics. The process of creating the new feature is different if it is a [[Adding a procedure|procedure]] , a [[Adding a function|function]] or an [[Adding an attribute|attribute]] .

10
documentation/25.12/eiffelstudio/eiffelstudio-how-tos/editing-project/adding-feature/opening-new-feature-dialog.wiki Normal file
View File

@@ -0,0 +1,10 @@
[[Property:title|Opening the new feature dialog]]
[[Property:weight|1]]
[[Property:uuid|98d1f7e1-3fca-5884-83fc-f44475a3f364]]
To make the [[New feature dialog overview|new feature window]] appear, you can:
* Click [[Image:16x16--new-feature-icon]] in the [[Main toolbars|standard toolbar]] .
* Select '''New feature''' in the '''Tools''' menu.
* Use the [[Diagram tool]]: First, select '''create new client-supplier links''' by clicking on [[Image:new-supplier-link-icon]] .Then, pick the class to which you want to add the new feature. Lastly, drop the pebble on the class that corresponds to the type returned by the new feature.<br/>
This last method does not allow you to create procedures.
The first thing to do when the dialog is displayed is to choose the kind of feature you want to create. The rest of the process depends on what you selected : [[Adding a procedure|procedure]] , [[Adding a function|function]] or [[Adding an attribute|attribute]] .