diff --git a/documentation/current/eiffelstudio/eiffelstudio-guided-tour/producing-and-exporting-documentation.wiki b/documentation/current/eiffelstudio/eiffelstudio-guided-tour/producing-and-exporting-documentation.wiki index 7eff5982..e8c594af 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-guided-tour/producing-and-exporting-documentation.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-guided-tour/producing-and-exporting-documentation.wiki @@ -58,17 +58,17 @@ To move a cluster from the right column to the left one, click it to select it, You can play with moving a couple of clusters back and forth, but for this Tour we'll want to generate everything, including EiffelBase, so make sure that in the end all clusters appear in the right column, as on the last figure. Then click Next. -==Generating Metatags from Indexing entries== +==Generating Metatags from Note entries== -The next step of the documentation wizard asks you to select indexing entries: +The next step of the documentation wizard asks you to select Note entries: [[Image:index-39]] -Eiffel classes, as you know, may start with an Indexing entry that enables class authors to include documentary information in any category they like. It is standard (and part of the official style guidelines) to include at the very least an entry of the form description: Descriptive text in every class. The earlier displays of class LIST showed that entry, which read " Sequential lists, without commitment to a particular representation". +Eiffel classes, as you know, may start with an note entry that enables class authors to include documentary information in any category they like. It is standard (and part of the official style guidelines) to include at the very least an entry of the form description: Descriptive text in every class. The earlier displays of class LIST showed that entry, which read " Sequential lists, without commitment to a particular representation". -You may have noted that the purpose of Eiffel's Indexing clauses is, conceptually, similar to that of '''metatags''' in HTML. Metatags carry information which Web page visitors do not normally see in the browser; this information is available, however, to search engines and other tools that explore and classify Web pages. So it seems quite appropriate to generate metatags from Indexing entries. +You may have noted that the purpose of Eiffel's note clauses is, conceptually, similar to that of '''metatags''' in HTML. Metatags carry information which Web page visitors do not normally see in the browser; this information is available, however, to search engines and other tools that explore and classify Web pages. So it seems quite appropriate to generate metatags from note entries. -The dialog illustrated in the last figure lets you select the entries you wish to transform into metatags. It appears only if you have selected an HTML filter. It lists all the Indexing tags found anywhere in the system; those on the right will be retained for metatags. Initially the Exclude list on the left contains three tags conventionally used -- at Eiffel Software and other Eiffel sites -- for interfacing with configuration management tools, and hence of internal interest only. +The dialog illustrated in the last figure lets you select the entries you wish to transform into metatags. It appears only if you have selected an HTML filter. It lists all the note tags found anywhere in the system; those on the right will be retained for metatags. Initially the Exclude list on the left contains three tags conventionally used -- at Eiffel Software and other Eiffel sites -- for interfacing with configuration management tools, and hence of internal interest only. There is no need to change the default selection, so just click Next. diff --git a/documentation/current/eiffelstudio/eiffelstudio-how-tos/customizing-eiffelstudio/customizing-class-text-views.wiki b/documentation/current/eiffelstudio/eiffelstudio-how-tos/customizing-eiffelstudio/customizing-class-text-views.wiki index d03b8f25..8a772639 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-how-tos/customizing-eiffelstudio/customizing-class-text-views.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-how-tos/customizing-eiffelstudio/customizing-class-text-views.wiki @@ -2,10 +2,10 @@ [[Property:weight|6]] [[Property:uuid|386c40f1-3427-cf1c-1043-46aeac1bc3c5]] It is possible in EiffelStudio to customize some properties of [[Formatted information about compiled classes and features|class text views]] (other than basic texts) displayed in the editor or class and feature tabs of the context tool. Besides [[Changing texts display|graphical appearance]], you may modify: -* the order of feature clauses. +* the order of feature clauses. * the type of callers and suppliers displayed in the corresponding views. * the views that are selected by default. -* the indexing clauses that should not be displayed. +* the note clauses that should not be displayed. These properties are set in the [[EiffelStudio preferences]]. You can modify them in the [[Preference window overview|preferences window]]. To open this window, select '''Preferences...''' in the '''Tool''' menu. Then select the "Context tool" sub-category of the "Tools" category in the preferences tree. Click then on a preference on the right to modify its value. Click on '''save and exit''' to complete the changes. diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-information-system/eis-outgoing/index.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-information-system/eis-outgoing/index.wiki index e1679e36..b42f1603 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-information-system/eis-outgoing/index.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-information-system/eis-outgoing/index.wiki @@ -4,7 +4,7 @@ ==Annotations== Annotations may be applicable to: -* An individual class or feature. In this case the annotation figures in the class text, as part of an Eiffel "note" clause ("indexing" is still supported, it depends on which syntax level users choose). +* An individual class or feature. In this case the annotation figures in the class text, as part of an Eiffel note clause (indexing is still supported, it depends on which syntax level users choose). * A target, library or cluster. In this case the annotation figures in the associated ECF file; EiffelStudio provides support for entering it through a Information (EIS) Tool. {{seealso|
[[Information Tool|Information Tool]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/index.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/index.wiki index 9a109d2a..7791988f 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/index.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/index.wiki @@ -2,5 +2,5 @@ [[Property:weight|1]] [[Property:uuid|780757a6-f04a-97d4-5069-d22328e6492f]] Many of EiffelStudio's properties may be customized. A tool has been designed to help you set your preferences.
-In this section, you will find a [[Preference window overview|description of this tool]] . You will also find [[Preferences Reference|an explanation of the different properties]] that may be modified by using it. +In this section, you will find a [[Preference window overview|description of this tool]]. You will also find [[Preferences Reference|an explanation of the different properties]] that may be modified by using it. diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preference-window-overview.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preference-window-overview.wiki index 8ee1a48c..081a92bb 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preference-window-overview.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preference-window-overview.wiki @@ -2,8 +2,11 @@ [[Property:weight|1]] [[Property:uuid|52878474-02fd-c68f-0953-a785cac469c8]] The preferences dialog provide the main table, a filter bar, a the bottom tool bar. + + [[Image:dialogs-and-wizards--preferences-dialog]] + The table is used to display a grid with the preferences displayed in a tree or flat view. There are several kinds of preferences: @@ -13,6 +16,8 @@ There are several kinds of preferences: * Shortcut preferences : edit the value cell, and press the wanted shortcuts.. * Other preferences : They will be modified by typing their value directly into an editable text field. If there is no message stating you need to restart EiffelStudio, changes will be taken into account immediately. + + {{tip|below the table, you will find a text field with the internal name of the preference (for instance: ''editor.eiffel.auto-complete_...''). }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/eiffel-editor-preferences/syntax-automatic-completion-preferences/index.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/eiffel-editor-preferences/syntax-automatic-completion-preferences/index.wiki index 517419d2..748a949a 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/eiffel-editor-preferences/syntax-automatic-completion-preferences/index.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/eiffel-editor-preferences/syntax-automatic-completion-preferences/index.wiki @@ -2,5 +2,5 @@ [[Property:weight|-1]] [[Property:uuid|9899c28c-c7c9-8d0d-1e83-e0d1741c7f3c]] EiffelStudio editor can detect many keywords and trigger an automatic syntax completion.
-This section of the documentation contains a description of [[Keywords automatic completion preferences|what can be customized]] . You will also find an [[Keyword completion customization|explanation of the syntax]] to be used in completion preferences, [[Default values for keyword completion preferences|and their default values]] . +This section of the documentation contains a description of [[Keywords automatic completion preferences|what can be customized]]. You will also find an [[Keyword completion customization|explanation of the syntax]] to be used in completion preferences, [[Default values for keyword completion preferences|and their default values]]. diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/eiffel-editor-preferences/syntax-automatic-completion-preferences/keyword-completion-customization.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/eiffel-editor-preferences/syntax-automatic-completion-preferences/keyword-completion-customization.wiki index 08c34829..5ab2b379 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/eiffel-editor-preferences/syntax-automatic-completion-preferences/keyword-completion-customization.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/eiffel-editor-preferences/syntax-automatic-completion-preferences/keyword-completion-customization.wiki @@ -4,7 +4,7 @@ This document describes the syntax used to customize keyword automatic completion.
[[Keywords automatic completion preferences|Four strings]] are used to define the completion of a keyword. The rules are the same for all of them: -* These strings will be inserted right after the keyword. The key that triggers the automatic completion will not be taken into account, i.e. no space or "new line" character will be inserted even though you press Return or Space. The strings should therefore begin with a space or a "new line" character (see below for "newline"). +* These strings will be inserted right after the keyword. The key that triggers the automatic completion will not be taken into account, i.e. no space or "new line" character will be inserted even though you press Space or Return. The strings should therefore begin with a space or a "new line" character (see below for "newline"). * Two reserved words will allow you to position the cursor and to indent the text properly. Insert the word ''$cursor$'' in the string where you want the cursor to be moved once the completion is finished. Insert the word ''$indent$'' where you want to copy as many blank spaces as there were on the line where the keyword was typed. diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/eiffel-editor-preferences/syntax-automatic-completion-preferences/keywords-automatic-completion-preferences.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/eiffel-editor-preferences/syntax-automatic-completion-preferences/keywords-automatic-completion-preferences.wiki index 42aa4f81..3bea70d2 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/eiffel-editor-preferences/syntax-automatic-completion-preferences/keywords-automatic-completion-preferences.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/eiffel-editor-preferences/syntax-automatic-completion-preferences/keywords-automatic-completion-preferences.wiki @@ -60,15 +60,15 @@ A directory is associated with each keyword. These directories contains six item * Use default autocomplete: If this is set to True, the next preferences will be ignored and the default completion scheme will be used. Otherwise, the automatic completion will use the user-defined strings described below. -* Customized autocomplete (Return after keyword was typed): This [[Keyword completion customization|string]] defines what will be inserted as you press Return just after typing the keyword if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above). +* Customized autocomplete (Return after keyword was typed): This [[Keyword completion customization|string]] defines what will be inserted as you press Return just after typing the keyword if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above). -* Customized autocomplete (Space after keyword was typed): This [[Keyword completion customization|string]] defines what will be inserted as you press Space just after typing the keyword if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above). +* Customized autocomplete (Space after keyword was typed): This [[Keyword completion customization|string]] defines what will be inserted as you press Space just after typing the keyword if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above). -* Customized autocomplete (Return, other cases): This [[Keyword completion customization|string]] defines what will be inserted as you press Return after a keyword which had been previously typed. It is effective only if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above). +* Customized autocomplete (Return, other cases): This [[Keyword completion customization|string]] defines what will be inserted as you press Return after a keyword which had been previously typed. It is effective only if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above). -* Customized autocomplete (Space, other cases): This [[Keyword completion customization|string]] defines what will be inserted as you press Space after a keyword which had been previously typed. It is effective only if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above). +* Customized autocomplete (Space, other cases): This [[Keyword completion customization|string]] defines what will be inserted as you press Space after a keyword which had been previously typed. It is effective only if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above). -The syntax used in the four last item is described in [[Keyword completion customization|Keyword completion customization]] . [[Default values for keyword completion preferences|Default values]] are accessible in Keyword completion default values. +The syntax used in the four last item is described in [[Keyword completion customization|Keyword completion customization]]. [[Default values for keyword completion preferences|Default values]] are accessible in Keyword completion default values. diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/keyboard-shortcuts-preferences.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/keyboard-shortcuts-preferences.wiki index c7155e5e..fba3a897 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/keyboard-shortcuts-preferences.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/editor-preferences/keyboard-shortcuts-preferences.wiki @@ -1,16 +1,18 @@ [[Property:title|Keyboard shortcuts preferences]] [[Property:weight|2]] [[Property:uuid|1fbfc5fe-cbaf-9a55-cd5c-672f9b7a3e24]] -Some of the keyboard shortcuts used in the editor can be customized. A subfolder of the"Keyboard Shortcuts" folder in the editor preferences corresponds to each of these customizable shortcuts. There are four values to set to define a shortcut: which key must be pressed and whether Ctrl, Alt or Shift have to be pressed at the same time. You will find a combination of all in each shortcut subfolder. The customizable shortcuts are: -* Autocomplete: Shortcut to trigger the feature call automatic completion. The default key combination is "Ctrl+Space". -* Class name autocomplete: Shortcut to trigger the class name automatic completion. The default key combination is "Ctrl+Shift+Space". -* Search selection: Shortcut to launch a search of the currently selected item. If there is no selected item, the editor will look for the next occurrence of the last searched pattern. The default key combination for this command is "F3". -* Search again: Shortcut to move to the next occurrence of the searched pattern. If the shortcut is the same as for Search Selection, the effect of the command will be to search for the next occurrence of the currently searched pattern unless something else is selected in the editor. In that case, the editor will look for the next occurrence of the selected text. The default key combination for this command is"F3". -* Search backwards: Shortcut to move to the previous occurrence of the searched pattern. The default key combination for this command is "Shift+F3". -* Show search panel: Shortcut to make the search panel appear if it is not displayed and to give the focus to the "Search for" field. The default key combination for this command is "Ctrl+F". -* Show search and replace panel: Shortcut to make the search panel with the"Replace with" field appear if it is not displayed. The focus will be given to the "Search for" field. The default key combination for this command is"Ctrl+H". +Some of the keyboard shortcuts used in the editor can be customized. A subfolder of the "Keyboard Shortcuts" folder in the editor preferences corresponds to each of these customizable shortcuts. There are four values to set to define a shortcut: which key must be pressed and whether CTRL, ALT or SHIFT have to be pressed at the same time. You will find a combination of all in each shortcut subfolder. The customizable shortcuts are: +* Autocomplete: Shortcut to trigger the feature call automatic completion. The default key combination is CTRL+SPACE. +* Class name autocomplete: Shortcut to trigger the class name automatic completion. The default key combination is CTRL+SHIFT+SPACE. +* Search selection: Shortcut to launch a search of the currently selected item. If there is no selected item, the editor will look for the next occurrence of the last searched pattern. The default key combination for this command is F3. +* Search again: Shortcut to move to the next occurrence of the searched pattern. If the shortcut is the same as for Search Selection, the effect of the command will be to search for the next occurrence of the currently searched pattern unless something else is selected in the editor. In that case, the editor will look for the next occurrence of the selected text. The default key combination for this command is F3. +* Search backwards: Shortcut to move to the previous occurrence of the searched pattern. The default key combination for this command is SHIFT+F3. +* Show search panel: Shortcut to make the search panel appear if it is not displayed and to give the focus to the "Search for" field. The default key combination for this command is CTRL+F. +* Show search and replace panel: Shortcut to make the search panel with the "Replace with" field appear if it is not displayed. The focus will be given to the "Search for" field. The default key combination for this command is CTRL+H. + + +{{note|You should avoid using key combinations made of only ALT and another key as they are reserved for menu shortcuts. }} -{{note|You should avoid using key combinations made of only "Alt" and another key as they are reserved for menu shortcuts. }} {{Tip|You may use combinations made of only one key to create very fast shortcuts, for example with the function keys. To know what string corresponds to a given key, you can look up in the EV_KEY_CONSTANTS of EiffelVision2.The `key_strings' table links keys with a string representation. }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/general-preferences.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/general-preferences.wiki index 12393972..20b2930e 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/general-preferences.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/general-preferences.wiki @@ -1,7 +1,9 @@ [[Property:title|General Preferences]] [[Property:weight|0]] [[Property:uuid|cc42c410-bec5-4a4e-c45f-e005213cb260]] -This category gathers non graphical and general preferences that are not related to a tool in particular. These preferences are:
+General preferences are non-graphical preferences and preferences that are not related to a particular tool. These preferences are: + + {| border="1" |- | '''Label in the preferences window''' diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/interface/index.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/interface/index.wiki index beef8f36..a08e5c14 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/interface/index.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-preferences/preferences-reference/interface/index.wiki @@ -1,5 +1,5 @@ [[Property:title|Interface]] [[Property:weight|1]] [[Property:uuid|e0fe1870-cf02-4ca9-e46a-e69c8db1ed48]] -This section of the documentation describes preferences that belong to the "Interface" category. This group contains two kinds of properties, some related to the preferences for the EiffelStudio [[Development Window Preferences|development window]] , others that define which [[Discardable dialogs|dialog windows]] should or should not be displayed. You can also decide to use animated icons in the status bars whenever possible (that is, during compilations and executions). +This section of the documentation describes preferences that belong to the "Interface" category. This group contains two kinds of properties, some related to the preferences for the EiffelStudio [[Development Window Preferences|development window]], others that define which [[Discardable dialogs|dialog windows]] should or should not be displayed. You can also decide to use animated icons in the status bars whenever possible (that is, during compilations and executions). diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/ancestors.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/ancestors.wiki index 95c2e36b..d0b18131 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/ancestors.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/ancestors.wiki @@ -2,7 +2,8 @@ [[Property:weight|-9]] [[Property:uuid|b30f3c56-dbeb-06ac-4775-30a5f1d56966]] The ancestors view [[Image:class-ancestors-icon]] displays all the classes from which the current class inherits, directly or not, using a tree-like indented layout.
-It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]] . +It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]]. + {{seealso|
[[Descendants|Descendants]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/attributes.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/attributes.wiki index fc98630e..ca581155 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/attributes.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/attributes.wiki @@ -2,7 +2,8 @@ [[Property:weight|-5]] [[Property:uuid|cbe3647a-ef50-3596-ccee-89d7c16c5d82]] The attributes view [[Image:class-features-attribute-icon]] displays all the attributes of the current class, including inherited attributes.
-It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]] . +It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]]. + {{seealso|
[[Routines|Routines]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/class-formatters-basic-text-view.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/class-formatters-basic-text-view.wiki index 8cf94f0d..8cfa450e 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/class-formatters-basic-text-view.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/class-formatters-basic-text-view.wiki @@ -1,13 +1,16 @@ [[Property:title|Class formatters: Basic text view]] [[Property:weight|-14]] [[Property:uuid|057df030-7dad-d0f6-7d13-c18021afa78b]] -Basic text view [[Image:view-editor-icon]] is the only editable view; this is why it is only available through the [[EiffelStudio Editor|editor]] . +Basic text view [[Image:view-editor-icon]] is the only editable view; this is why it is only available through the [[EiffelStudio Editor|editor]]. + [[Image:class-mini-format-bar]] -This is also the view selected by default when the editor is opened for the first time. -In this view, most of the development objects are [[Pick-and-drop mechanism|clickable]] , except for special cases like assertions, anchored types, identifiers within a comment line... for which the [[Clickable view|clickable view]] might be needed. -{{note|The generated text is not editable, but it is compilable. This view is not available to .NET classes which are imported through by means of an assembly. This is because the assembly .exe or .dll exposes only the interface methods and therefore is no implementation to display. Such classes may be viewed, in a clickable format using the Contract View or Interface View. }} + +This is also the view selected by default when the editor is opened for the first time. +In this view, most of the development objects are [[Pick-and-drop mechanism|clickable]], except for special cases like assertions, anchored types, identifiers within a comment line... for which the [[Clickable view|clickable view]] might be needed. + +{{note|The generated text is not editable, but it is compilable. This view is not available to .NET classes which are imported through by means of an assembly. This is because the assembly '''.exe''' or '''.dll''' exposes only the interface methods and therefore is no implementation to display. Such classes may be viewed, in a clickable format using the Contract View or Interface View. }} {{seealso|
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/class-formatters-external-features.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/class-formatters-external-features.wiki index 786b5105..a31d6ac7 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/class-formatters-external-features.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/class-formatters-external-features.wiki @@ -2,7 +2,7 @@ [[Property:weight|1]] [[Property:uuid|a9f7327c-42dd-43fc-ea30-11c9482386e9]] The external view [[Image:class-features-external-icon]] displays all the external features of the current class.
-It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]] . +It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]]. diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/class-formatters-flat-view.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/class-formatters-flat-view.wiki index d84de6e8..0ed562d5 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/class-formatters-flat-view.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/class-formatters-flat-view.wiki @@ -1,11 +1,14 @@ [[Property:title|Class formatters: Flat view]] [[Property:weight|-12]] [[Property:uuid|14ad347a-db72-1194-346b-752e1cd0dc7d]] -The flat view [[Image:view-flat-icon]] displays all the features for the current class, i.e. including both written-in and inherited features; it is available either through the [[EiffelStudio Editor|editor]] or through the '''Class''' tab of the [[EiffelStudio window overview|context tool]] . This is also the only view where [[Breakpoints|breakpoints]] are displayed. +The flat view [[Image:view-flat-icon]] displays all the features for the current class, i.e. including both written-in and inherited features; it is available either through the [[EiffelStudio Editor|editor]] or through the '''Class''' tab of the [[EiffelStudio window overview|context tool]]. This is also the only view where [[Breakpoints|breakpoints]] are displayed. -{{warning|For classes with many [[Ancestors|ancestors]] , computation of the flat view may require a few seconds. }} -{{note|This view is not available to .NET classes which are imported through by means of an assembly. This is because the assembly .exe or .dll exposes only the interface methods and therefore is no implementation to display. Such classes may be viewed, in a clickable format using the Contract View or Interface View. }} +{{warning|For classes with many [[Ancestors|ancestors]], computation of the flat view may require a few seconds. }} + + +{{note|This view is not available to .NET classes which are imported through by means of an assembly. This is because the assembly '''.exe''' or '''.dll''' exposes only the interface methods and therefore is no implementation to display. Such classes may be viewed, in a clickable format using the Contract View or Interface View. }} + {{seealso|
[[Flat Contract view|Flat Contract view]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/clickable-view.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/clickable-view.wiki index d39c04c3..37e4d658 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/clickable-view.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/clickable-view.wiki @@ -1,9 +1,9 @@ [[Property:title|Clickable view]] [[Property:weight|-13]] [[Property:uuid|8ddd0d2a-d4db-b0b6-8ee1-63e205a53dcc]] -The clickable view [[Image:view-clickable-icon]] allows to [[Pick-and-drop mechanism|pick]] every class or feature name in the class text and is available either through the [[EiffelStudio Editor|editor]] or through the '''Class''' tab of the [[EiffelStudio window overview|context tool]] . +The clickable view [[Image:view-clickable-icon]] allows you to [[Pick-and-drop mechanism|pick]] every class or feature name in the class text and is available either through the [[EiffelStudio Editor|editor]] or through the '''Class''' tab of the [[EiffelStudio window overview|context tool]]. -{{note|This view is not available to .NET classes which are imported through by means of an assembly. This is because the assembly .exe or .dll exposes only the interface methods and therefore is no implementation to display. Such classes may be viewed, in a clickable format using the Contract View or Interface View. }} +{{note|This view is not available to .NET classes which are imported through by means of an assembly. This is because the assembly '''.exe''' or '''.dll''' exposes only the interface methods and therefore is no implementation to display. Such classes may be viewed, in a clickable format using the Contract View or Interface View. }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/clients.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/clients.wiki index c3f7fbe8..3c2a302f 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/clients.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/clients.wiki @@ -1,8 +1,9 @@ [[Property:title|Clients]] [[Property:weight|-7]] [[Property:uuid|d5d21d9f-c88b-c1b3-d6fe-89de6487f29d]] -The clients view [[Image:class-clients-icon]] displays all the classes which are using features of the current class, and thus rely on its [[Flat Contract view|interface]] .
-It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]] . +The clients view [[Image:class-clients-icon]] displays all the classes which are using features of the current class, and thus rely on its [[Flat Contract view|interface]].
+It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]]. + {{seealso|
[[Suppliers|Suppliers]]
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/contract-view.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/contract-view.wiki index a768bd1a..de8da5be 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/contract-view.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/contract-view.wiki @@ -1,7 +1,7 @@ [[Property:title|Contract view]] [[Property:weight|-11]] [[Property:uuid|e8bbc475-d7f8-baa6-aba8-021c0e05c4b6]] -The contract view [[Image:view-contracts-icon]] displays the contracts of all written-in features of the current class. It is available either through the [[EiffelStudio Editor|editor]] or through the '''Class''' tab of the [[EiffelStudio window overview|context tool]] . +The contract view [[Image:view-contracts-icon]] displays the contracts of all written-in features of the current class. It is available either through the [[EiffelStudio Editor|editor]] or through the '''Class''' tab of the [[EiffelStudio window overview|context tool]]. {{seealso|
[[Flat Contract view|Flat contract view]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/creators.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/creators.wiki index 1bafee1d..6e6feec9 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/creators.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/creators.wiki @@ -2,7 +2,7 @@ [[Property:weight|-2]] [[Property:uuid|eb428ddf-d2dd-de8f-abc8-fb95970d92bd]] The creators view [[Image:class-features-creator-icon]] displays all the creation procedure signatures of the current class.
-It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]] . +It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]]. diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/deferred-features.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/deferred-features.wiki index 161e90b2..b48aeec9 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/deferred-features.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/deferred-features.wiki @@ -2,7 +2,7 @@ [[Property:weight|-1]] [[Property:uuid|fd1bcb31-75a3-1bcb-9d4d-e9d006c5d851]] The deferred view [[Image:class-features-deferred-icon]] displays all the deferred features of the current class.
-It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]] . +It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]]. diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/descendants.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/descendants.wiki index 4276be78..7bdff883 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/descendants.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/descendants.wiki @@ -2,7 +2,8 @@ [[Property:weight|-8]] [[Property:uuid|c3f44d3d-a3ea-9776-9626-1ecc090fd513]] The descendants view [[Image:class-descendents-icon]] displays all the classes which inherit from the current class,directly or not, using a tree-like indented layout.
-It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]] . +It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]]. + {{seealso|
[[Ancestors|Ancestors]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/exported-features.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/exported-features.wiki index 392f17b8..e93052b9 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/exported-features.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/exported-features.wiki @@ -2,7 +2,7 @@ [[Property:weight|2]] [[Property:uuid|af99ce57-a44d-6cfa-a933-89993e5d845c]] The exported view [[Image:class-features-exported-icon]] displays all the features of the current class that all other classes may call.
-It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]] . +It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]]. diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/flat-contract-view.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/flat-contract-view.wiki index 87dcf168..b759e2ed 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/flat-contract-view.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/flat-contract-view.wiki @@ -1,10 +1,12 @@ [[Property:title|Flat Contract view]] [[Property:weight|-10]] [[Property:uuid|dbbbb655-aa38-849f-62c5-e1bda6f83285]] -The Flat Contract view [[Image:view-flat-contracts-icon]] displays the contracts of all written-in and inherited features of the current class. It is available either through the [[EiffelStudio Editor|editor]] or through the '''Class''' tab of the [[EiffelStudio window overview|context tool]] . +The Flat Contract view [[Image:view-flat-contracts-icon]] displays the contracts of all written-in and inherited features of the current class. It is available either through the [[EiffelStudio Editor|editor]] or through the '''Class''' tab of the [[EiffelStudio window overview|context tool]]. + {{warning|For classes with many [[Ancestors|ancestors]], computation of the Flat Contract view may require a few seconds. }} + {{seealso|
[[Class formatters: Flat view|Flat view]]
[[Contract view|Contract view]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/invariants.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/invariants.wiki index 16631c3e..01f80b7d 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/invariants.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/invariants.wiki @@ -2,7 +2,7 @@ [[Property:weight|-3]] [[Property:uuid|74a4cf46-cc07-d7b8-bce4-b8bf78b72b99]] The invariants view [[Image:class-features-invariant-icon]] displays all the invariants of the current class.
-It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]] . +It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]]. diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/routines.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/routines.wiki index 547651cd..9dbfc552 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/routines.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/routines.wiki @@ -2,7 +2,8 @@ [[Property:weight|-4]] [[Property:uuid|3b0f4d50-3a62-37ca-fa36-20c606abb9e3]] The routines view [[Image:class-features-routine-icon]] displays all the routine signatures of the current class, including inherited routines.
-It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]] . +It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]]. + {{seealso|
[[Attributes|Attributes]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/suppliers.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/suppliers.wiki index 782999d1..5993527e 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/suppliers.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/class-views/suppliers.wiki @@ -2,7 +2,8 @@ [[Property:weight|-6]] [[Property:uuid|deb168d4-1855-45d7-85c8-48f43ce5ce5e]] The suppliers view [[Image:class-supliers-icon]] displays all the classes from which the current class is calling features.
-It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]] . +It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]]. + {{seealso|
[[Clients|Clients]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-ancestor-versions.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-ancestor-versions.wiki index cb08a7c6..f35335f4 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-ancestor-versions.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-ancestor-versions.wiki @@ -4,6 +4,7 @@ [[Property:uuid|ca7f840d-30fb-c1cb-8f2f-6b45aa244f95]] The ancestor view [[Image:feature-ancestors-icon]] displays all the features which the current feature is redefining. + {{seealso|
[[Descendant versions|Descendant versions]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-basic-text-view.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-basic-text-view.wiki index 6a56a0a6..e18efb8b 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-basic-text-view.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-basic-text-view.wiki @@ -2,9 +2,10 @@ [[Property:weight|1]] [[Property:uuid|ad171d9e-9d67-7fb9-10e5-db237b04e40e]] Basic text view [[Image:view-editor-feature-icon]] displays the text of the current feature as it is written in the enclosing class.
-It does not work with [[Breakpoints|breakpoints]] ; in order to do this the [[Feature formatters: Flat view|flat view]] has to be used. +It does not work with [[Breakpoints|breakpoints]]; in order to do this the [[Feature formatters: Flat view|flat view]] has to be used. -{{note|This view is not available to .NET features which are imported through by means of an assembly. This is because the assembly .exe or .dll exposes only the interface methods and therefore is no feature implementation to display. The feature interface may be viewed, in a clickable format using the Flat View. }} + +{{note|This view is not available to .NET features which are imported through by means of an assembly. This is because the assembly '''.exe''' or '''.dll''' exposes only the interface methods and therefore is no feature implementation to display. The feature interface may be viewed, in a clickable format using the Flat View. }} {{seealso|
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-callers.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-callers.wiki index 141ea675..2916cb3a 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-callers.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-callers.wiki @@ -4,6 +4,7 @@ [[Property:uuid|63b7a88c-86ff-7aef-bf31-05d0ed850e4e]] The callers view [[Image:feature-callers-icon]] display all the features which are calling the current feature. It is possible to choose in the preferences if callers of the descendants should be displayed too (they are by default). + {{seealso|
[[Clients|Class clients view]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-descendant-versions.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-descendant-versions.wiki index bd67965c..316ecbba 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-descendant-versions.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-descendant-versions.wiki @@ -4,6 +4,7 @@ [[Property:uuid|c232a74a-7264-c8e1-4613-a65d75302602]] The descendant view [[Image:feature-descendents-icon]] displays all the features that redefine the current feature. + {{seealso|
[[Ancestor versions|Ancestor versions]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-flat-view.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-flat-view.wiki index 8693e4ca..9fb0d323 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-flat-view.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-flat-view.wiki @@ -1,7 +1,8 @@ [[Property:title|Feature formatters: Flat view]] [[Property:weight|2]] [[Property:uuid|b325d97c-772d-8207-a901-a401c6a61376]] -The clickable view [[Image:view-clickable-feature-icon]] displays the feature body as it is seen at run-time (according to ancestor versions, if any). This is why it is possible to add or remove [[Breakpoints|breakpoints]] in this view. +The clickable view [[Image:view-clickable-feature-icon]] displays the feature body as it is seen at run-time (according to ancestor versions, if any). This is why it is possible to add or remove [[Breakpoints|breakpoints]] in this view. + {{seealso|
[[Class formatters: Flat view|Class flat view]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-homonyms.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-homonyms.wiki index 9423dab8..a8923d06 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-homonyms.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-homonyms.wiki @@ -4,8 +4,10 @@ [[Property:uuid|933b22f0-c181-fd65-9b52-be20270b00af]] The homonyms view [[Image:feature-homonyms-icon]] displays all the features in the system which have the same name as the current feature. + {{warning|: This operation may take a long time if the system has a lot of classes. }} + {{seealso|
[[Implementers|Implementers]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-implementers.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-implementers.wiki index 3ccd5bfd..4d40e397 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-implementers.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/feature-formatters-implementers.wiki @@ -2,7 +2,8 @@ [[Property:link_title|Feature formatters: Implementers]] [[Property:weight|9]] [[Property:uuid|4032bef0-39e5-5fa6-0ffe-156392c0234e]] -The implementers view [[Image:feature-implementers-icon]] displays all the different versions of the current feature by exploring the [[Ancestor versions|ancestor versions]] and the [[Descendant versions|descendant versions]] , and selecting among those the ones which are not inherited. +The implementers view [[Image:feature-implementers-icon]] displays all the different versions of the current feature by exploring the [[Ancestor versions|ancestor versions]] and the [[Descendant versions|descendant versions]], and selecting among those the ones which are not inherited. + {{seealso|
[[Ancestor versions|Ancestor versions]]
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/index.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/index.wiki index 33db0322..c551a4a4 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/index.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/formatted-information-about-compiled-classes-and-features/feature-views/index.wiki @@ -3,7 +3,7 @@ [[Property:uuid|81c09c3a-0c0e-ecab-b708-0f5cd8860031]] [[Image:feature-format-bar]] -Feature views are all available through the '''Feature''' tab of the [[EiffelStudio window overview|context tool]] .
+Feature views are all available through the '''Feature''' tab of the [[EiffelStudio window overview|context tool]].
These views (and their associated icon) are: * [[Image:view-editor-feature-icon]] [[Feature formatters: Basic text view|Basic text view]] * [[Image:view-clickable-feature-icon]] [[Feature formatters: Flat view|Clickable view]] diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/metrics-tool/definitions/under-hood-how-metrics-work.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/metrics-tool/definitions/under-hood-how-metrics-work.wiki index c36c6b5a..013586ef 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/metrics-tool/definitions/under-hood-how-metrics-work.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/metrics-tool/definitions/under-hood-how-metrics-work.wiki @@ -39,7 +39,7 @@ We call a transformation from an element to another element a route, consecutive Some remarks on the transformation paths: * If you go through the path from the end of an arrow to its head, you'll possibly find results, but if the transformation is done in the reversed direction, nothing will be found. For example, in any cases, the destination domain will be empty (indicating nothing is found) if you do a transformation from a line element to a class element. -* Code element line appears in the path: Target -> Group -> Class -> Line because typically in an Eiffel class, there are some lines that do not belong to any features, such as class indexing lines or inherit clauses. +* Code element line appears in the path: Target -> Group -> Class -> Line because typically in an Eiffel class, there are some lines that do not belong to any features, such as class note lines or inherit clauses. * The shortest path will always be used. So if you transform a target element to a line element, the path: Target -> Group -> Class -> Line will be used instead of Target -> Group -> Class -> Feature -> Line * Paths from element to the element of the same unit are omitted. i.e., there are paths such as Target -> Target, Group -> Group, Class -> Class diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/error-wizard.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/error-wizard.wiki index 3be6a036..6a5ac030 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/error-wizard.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/error-wizard.wiki @@ -5,8 +5,10 @@ More often than wanted, Eiffel compilations are not successful. The good point i When an error occurs during an Eiffel compilation in EiffelStudio, the '''Output''' tab of the context tool displays a description of the error and its location, which looks more or less like this: + [[Image:error-message]] + In this case, the compiler tries to explain that the identifier "sessionid" is not a known identifier in the context where it was typed. This is a common error that mainly occurs when making typos in the code. Assuming the message does not make sense to you (which may happen in more complex cases), you can query more information about the encountered error. To do this: @@ -14,6 +16,7 @@ To do this: * [[Pick-and-drop mechanism|Drop]] it either in the editor or on the error help button [[Image:command-error-info-icon]] . * A dialog is then popped up that describes extended information concerning this error type: + [[Image:error-description-dialog]] diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/external-commands-editor-dialog.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/external-commands-editor-dialog.wiki index 6c0f4a79..89279ab0 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/external-commands-editor-dialog.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/external-commands-editor-dialog.wiki @@ -5,8 +5,10 @@ From EiffelStudio, you can define up to 10 external commands. Those commands wil To define your own command, select "External commands..." in the Tools menu. Then the following dialog will appear: + [[Image:external-commands-dialog]] + With this dialog you can: * add new commands * edit existing commands @@ -14,9 +16,11 @@ With this dialog you can: To add your first command, simply click on the "Add..." button and the following command editor will appear: + [[Image:external-commands-dialog-editor]] -In this dialog you can give a name to the command, this name will be displayed in the Tools menu. The index is the position among the external commands of the command in the Tools menu. The command line is the command you want to execute. In order to execute correctly, the application you will execute needs to be in your PATH environment variable or if it is not you must provide an absolute path to the external command. And you can specify the workding directory for that command. + +In this dialog you can give a name to the command, this name will be displayed in the Tools menu. The index is the position among the external commands of the command in the Tools menu. The command line is the command you want to execute. In order to execute correctly, the application you will execute needs to be in your PATH environment variable or if it is not you must provide an absolute path to the external command. And you can specify the working directory for that command. In addition to the external command name, you can pass as many options as you want plus the following placeholders that will be translated before calling the external command: * $class_name: this will be replaced by the name in lower case of the targeted class in editor diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-attribute-layout.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-attribute-layout.wiki index b80a94b9..075af333 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-attribute-layout.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-attribute-layout.wiki @@ -14,28 +14,29 @@ When clicking '''Attribute''', the window changes to the attribute layout. It ha This dialog box:
[[Image:feature-wizard-attribute-example]]

Produces this feature:
-class - PRODUCT + +class + PRODUCT feature {NONE} -- Access - price: DOUBLE - -- Cost in dollars. + price: DOUBLE + -- Cost in dollars. feature -- Element change - set_price (a_price: DOUBLE) is - -- Assign `a_price' to `price'. - require - a_price_non_negative: a_price >= 0.0 - do - price := a_price - ensure - price_assigned: price = a_price - end + set_price (a_price: DOUBLE) + -- Assign `a_price' to `price'. + require + a_price_non_negative: a_price >= 0.0 + do + price := a_price + ensure + price_assigned: price = a_price + end invariant - price_non_negative: price >= 0.0 + price_non_negative: price >= 0.0 end -- class PRODUCT diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/argument-list.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/argument-list.wiki index 90d25a06..56c378e8 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/argument-list.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/argument-list.wiki @@ -13,9 +13,10 @@ For functions and procedures, you can build a formal argument list. You can do t For every attribute you selected, enter a name in the text box and a type using the [[Type selection|type selection]] .
[[Image:feature-wizard-1-argument]]

The code that is generated: -set_name (s: STRING) is - do - end + + set_name (s: STRING) + do + end diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/feature-body.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/feature-body.wiki index 7a966343..b87ed57c 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/feature-body.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/feature-body.wiki @@ -4,30 +4,30 @@ What goes into the feature body field is dependent on what kind of feature you wish to generate. * '''do''': this is the normal procedure type. Enter in the field below '''do''' a body for your feature. -do_something is - do - a := b - end + do_something + do + a := b + end * '''once''': this is the type for a routine that is executed once per execution. As a once routine cannot have arguments, it is disabled when you added one or more arguments. -init is - once - load - end + init + once + load + end * '''deferred''': this creates a routine of deferred type. The local and body fields gray out as they serve no use anymore. -do_something is - deferred - end + do_something + deferred + end * '''external''': this creates an Eiffel wrap routine around a routine written in another language. Use the body field to enter a string containing the necessary information about the routine using the external syntax. -do_something is - external - "C | %"location.h%"" - end + do_something + external + "C | %"location.h%"" + end diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/feature-clauses.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/feature-clauses.wiki index 1f936bab..5aabca52 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/feature-clauses.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/feature-clauses.wiki @@ -3,27 +3,36 @@ [[Property:uuid|019ea318-e0e0-dae9-a818-e12232aa8431]] The feature you create will be inserted in the feature clause you specified. If the feature clause was not already in your class, or not in the right place, EiffelStudio adds the feature clause to the class text based on the feature clause order specified in the [[Preferences Reference|preferences]] . By default, this is the order used by the Eiffel Software libraries, such as EiffelBase. ==Export status== -The export status is the class the feature is accessible for. Usually, this is ANY for public features, or NONE for implementation features, but you can specify any class here.
+The export status is the class the feature is accessible for. Usually, this is ANY for public features, or NONE for implementation features, but you can specify any class here. + + [[Image:feature-wizard-export]] + + {{note|In the class text, you can export a feature to more than one class but (for simplicity) not with this dialog. }} + + ==Feature clause names== -For feature clause names it is recommended that you pick one from the standard ones, but it is also possible to create a new one. If you have introduced a special feature clause name in your project, add it to the feature clause order list in the [[Preferences Reference|preferences]] and it will also appear in this dialog.
+For feature clause names it is recommended that you pick one from the standard ones, but it is also possible to create a new one. If you have introduced a special feature clause name in your project, add it to the feature clause order list in the [[Preferences Reference|preferences]] and it will also appear in this dialog. + + [[Image:feature-wizard-clausenames]] + ==Generated code== The code that is inserted in your class as a result of the selections made for the feature clause, is of the form:
- feature {EXPORT} -- Clause name
+feature {EXPORT} -- Clause name
except if you specified ANY as export status, which has the same meaning as not specifying class names in the export status:
- feature --Clause name +feature --Clause name
For example, if you specified a the "Initialization" feature clause name, and specified NONE as export status, you get:
- feature {NONE} -- Initialization +feature {NONE} -- Initialization diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/header-comment.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/header-comment.wiki index bc4c5c0b..709dc3a9 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/header-comment.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/header-comment.wiki @@ -6,8 +6,9 @@ In the header comment field you can type a description of the feature. For style For example, suppose you have an attribute count. You can enter the following header comment:
[[Image:feature-wizard-comment]]

When clicking '''OK''' this code is generated:
-count: INTEGER - -- Number of students in course + + count: INTEGER + -- Number of students in course diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/invariant-field.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/invariant-field.wiki index 35f2300f..5c9ed3a4 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/invariant-field.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/invariant-field.wiki @@ -2,13 +2,21 @@ [[Property:weight|9]] [[Property:uuid|9f7ec967-0a45-4ad6-4393-521097467192]] When creating an attribute, you can optionally enter or select an invariant for that feature. That invariant will be added to the end of the existing invariant clause. If the invariant clause did not exist before, it is now created. -
[[Image:feature-wizard-invariant]]
+ + +[[Image:feature-wizard-invariant]] + + If the attribute is of a reference type, you may select the invariant that the attribute may never be void. If it is of a basic expanded type, some other standard options may be chosen. For example, for INTEGER you may select that it should always be positive. -
[[Image:feature-wizard-invariant-selected]]
+ + +[[Image:feature-wizard-invariant-selected]] + + The example above will generate the code: - invariant - count_positive: count > 0 +invariant + count_positive: count > 0 diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/local-variable.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/local-variable.wiki index c2e4f755..4217d693 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/local-variable.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/local-variable.wiki @@ -1,12 +1,12 @@ [[Property:title|Local variable]] [[Property:weight|5]] [[Property:uuid|423aa67d-99f4-0f81-3709-161a6be43af9]] -Enter a local variable in the local field. A local variable clause will be added to the feature: +Enter a local variable in the local field. A local variable clause will be added to the feature: -... -local - n: INTEGER -... + ... + local + n: INTEGER + ... diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/name-field.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/name-field.wiki index 4919f5f6..55be357f 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/name-field.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/name-field.wiki @@ -3,6 +3,7 @@ [[Property:uuid|850bd867-5cbf-34d0-f94c-97a75bfa244b]] The feature name field is a text box that lets you enter a name for the feature. For help on how to choose the right name for a feature, see: [http://www.eiffel.com/doc/oosc/ Object-Oriented Software Construction, Second Edition] , paragraph 26.2. + {{warning|EiffelStudio performs no validation on the name you choose. For example if you type a space in it, it will generate the code, and detect a syntax error only when compiling. }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/postcondition.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/postcondition.wiki index 80b7f01a..6b595a30 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/postcondition.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/postcondition.wiki @@ -1,10 +1,11 @@ [[Property:title|Postcondition]] [[Property:weight|7]] [[Property:uuid|b8196d6c-2a0f-c06e-855f-d9fe23cbe950]] -Enter a postcondition in the ensure field. A postcondition clause will be added to the feature: -... -ensure - n = count +Enter a postcondition in the ensure field. A postcondition clause will be added to the feature: + + ... + ensure + n = count diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/precondition.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/precondition.wiki index d2bd2c3f..022b6b91 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/precondition.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/precondition.wiki @@ -1,12 +1,12 @@ [[Property:title|Precondition]] [[Property:weight|4]] [[Property:uuid|29b32f9e-799d-de91-d62d-79bdb509144b]] -Enter a precondition in the require field. A precondition clause will be added to the feature: +Enter a precondition in the require field. A precondition clause will be added to the feature: -... -require - n >= 0 -... + ... + require + n >= 0 + ... diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/set-procedure.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/set-procedure.wiki index cba2b126..ba0e068c 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/set-procedure.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/set-procedure.wiki @@ -2,21 +2,29 @@ [[Property:weight|10]] [[Property:uuid|46b84038-099b-070c-15d7-2b7884a50e01]] When creating an attribute, it is common that you will also need a set-procedure for it. For example, for attribute property you need a procedure set_property to set it. This feature takes one argument of the same type as property or is anchored to it. The only thing you have to do with the feature wizard is check the button '''Generate set procedure'''. -
[[Image:feature-wizard-setprocedure]]
-The feature that is generated in addition to the attribute itself is placed in feature clause Element change and is exported to all classes. If you have selected or entered an invariant, the precondition will protect this invariant. Example of a generated set-procedure: -
[[Image:feature-wizard-setprocedure-example]]
- - feature -- Element change - set_button (a_button: EV_BUTTON) is - -- Assign `a_button' to `button' - require - a_button_not_void: a_button /= Void - do - button := a_button - ensure - button_assigned: button = a_button - end + +[[Image:feature-wizard-setprocedure]] + + +The feature that is generated in addition to the attribute itself is placed in feature clause Element change and is exported to all classes. If you have selected or entered an invariant, the precondition will protect this invariant. Example of a generated set-procedure: + + +[[Image:feature-wizard-setprocedure-example]] + + + +feature -- Element change + + set_button (a_button: EV_BUTTON) + -- Assign `a_button' to `button' + require + a_button_not_void: a_button /= Void + do + button := a_button + ensure + button_assigned: button = a_button + end diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/type-selection.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/type-selection.wiki index 0456418d..584f8a33 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/type-selection.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-feature-dialog-feature-properties-modification/type-selection.wiki @@ -2,23 +2,42 @@ [[Property:weight|8]] [[Property:uuid|b2bd8280-a738-dae4-73aa-c1e232245022]] Whenever you need to give a type of something in the dialog, the type selection component is used. The type selection lets you type any class name or you can pick one from the list. -
[[Image:feature-wizard-typeselection]]
+ + +[[Image:feature-wizard-typeselection]] + + When you select a class that is in the system and has formal generic parameters, the type selection component lets you specify an actual generic parameter in another type selection. -
[[Image:feature-wizard-generictype]]
-{{note|the window might grow in size because of the added component. }} + + +[[Image:feature-wizard-generictype]] + + +{{note|The window might grow in size because of the added component. }} + Since the actual generic type selection is also a type selection, you can select another class with generic parameters and nest them as deep as you need. -
[[Image:feature-wizard-generictyperec]]
+ + +[[Image:feature-wizard-generictyperec]] + + You can also select the type TUPLE, which is a special class that can have zero or more generic parameters. When you select it, it has no parameters, but you can add one by clicking on the '''Add parameter''' button. Click it as often as the number of generic parameters that you need. -
[[Image:feature-wizard-tupletype2]]
-
-{{warning|if you need a very complex type, it is better not to use the dialog, as the window might grow bigger than your screen. After you completed the feature, edit it manually in the class text. }} + + +[[Image:feature-wizard-tupletype2]] + + +{{warning|If you need a very complex type, it is better not to use the dialog, as the window might grow bigger than your screen. After you completed the feature, edit it manually in the class text. }} + The code generated for the selected type is quite straightforward, an example: -
[[Image:feature-wizard-complextype]]
-
+ + +[[Image:feature-wizard-complextype]] + - new_feature: FUNCTION [ANY, TUPLE [INTEGER], BOOLEAN] + new_feature: FUNCTION [ANY, TUPLE [INTEGER], BOOLEAN] diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-function-layout.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-function-layout.wiki index 38d0436b..d5b2e73f 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-function-layout.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-function-layout.wiki @@ -17,20 +17,21 @@ When clicking '''Function''', the dialog changes to the function layout. It has This dialog box:
[[Image:feature-wizard-function-example]]

Produces this feature:
-class - PRODUCT + +class + PRODUCT feature -- Status report - order_price (quantity: INTEGER): DOUBLE is - -- Total price when ordering `quantity'. - require - quantity_non_negative: quantity >= 0 - do - Result := quantity * price - ensure - correct: Result = quantity * price - end + order_price (quantity: INTEGER): DOUBLE + -- Total price when ordering `quantity'. + require + quantity_non_negative: quantity >= 0 + do + Result := quantity * price + ensure + correct: Result = quantity * price + end end -- class PRODUCT diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-procedure-layout.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-procedure-layout.wiki index 1335451a..4e7deaeb 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-procedure-layout.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/dialogs/new-feature-dialog/new-procedure-layout.wiki @@ -20,19 +20,19 @@ This dialog box:
Produces this feature:
class - PRODUCT + PRODUCT feature {PERSON} -- Element change - place_order (person: PERSON; quantity: INTEGER) is - -- Mail `quantity' to `person'. - require - person /= Void and quantity > 0 - do - person.mail_order (Current, quantity) - ensure - person.has_ordered (Current) - end + place_order (person: PERSON; quantity: INTEGER) + -- Mail `quantity' to `person'. + require + person /= Void and quantity > 0 + do + person.mail_order (Current, quantity) + ensure + person.has_ordered (Current) + end end -- class PRODUCT diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/profiler-wizard/profiler-wizard-guided-tour/reuse-or-generate-execution-profile.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/profiler-wizard/profiler-wizard-guided-tour/reuse-or-generate-execution-profile.wiki index 2a3b658a..84ca4344 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/profiler-wizard/profiler-wizard-guided-tour/reuse-or-generate-execution-profile.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/profiler-wizard/profiler-wizard-guided-tour/reuse-or-generate-execution-profile.wiki @@ -5,7 +5,7 @@ The second screen of the wizard lets you reuse a previously generated ''Executio The profiler wizard has detected that one or more ''Execution Profiles'' have already been generated for this system in this compilation mode. If you have executed your system after the generation of the existing profile, select '''Generate a profile from Run-time information record''' to create a new ''Execution Profile'' for the newly produced ''Run-time information record''. -{{note|If you choose '''Generate a profile from Run-time information record''' the generated ''Execution Profile'' will be written into ''/EIFGENa/target_name/W_CODE/profinfo.pfi'' if you have selected '''Workbench mode''' in the first step, or ''/EIFGENs/target_name/F_CODE/profinfo.pfi'' if you have selected '''Finalized mode'''. If a file with the same name already exists its content will be destroyed and replaced. }} +{{note|If you choose '''Generate a profile from Run-time information record''' the generated ''Execution Profile'' will be written into:

''/EIFGENa/target_name/W_CODE/profinfo.pfi''

if you have selected '''Workbench mode''' in the first step, or into:

''/EIFGENs/target_name/F_CODE/profinfo.pfi''

if you have selected '''Finalized mode'''. If a file with the same name already exists its content will be destroyed and replaced. }}
However, if you have not executed your system since the generation of the last ''Execution Profile'', there is no need to generate a new ''Execution Profile''. If you are in the latter case, select '''Use existing profile''' and choose the last ''Execution Profile'' you have generated. diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/profiler-wizard/profiler-wizard-guided-tour/select-run-time-information-record-generate-execution-profile.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/profiler-wizard/profiler-wizard-guided-tour/select-run-time-information-record-generate-execution-profile.wiki index 82a393fa..54cc3a37 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/profiler-wizard/profiler-wizard-guided-tour/select-run-time-information-record-generate-execution-profile.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/wizards-and-dialogs/profiler-wizard/profiler-wizard-guided-tour/select-run-time-information-record-generate-execution-profile.wiki @@ -5,6 +5,7 @@ The third screen of the wizard lets you generate an ''Execution Profile'' from a Then, in the combo box labeled '''Profiler used to produce the above record''', select the profiler that has been used to produce the ''Run-time information record'' you have entered. If the profiler used to execute the system does not appear in the combo box, you have to add it. See [[How to set up a Profiler Configuration File|How to set up a Profiler Configuration File]] for more details on how to do so. + {{note|The Run-time information record must be located in the ''EIFGENs/target_name/W_code'' directory of your project. }}
@@ -13,7 +14,8 @@ Then, in the combo box labeled '''Profiler used to produce the above record''', Clicking '''Next''' will lead you to the [[Select the information you need and formulate your query|Final state]] if the provided ''Run-time information record'' is valid. If the ''Run-time information record'' is not valid or is not located in the ''EIFGENs/target_name/W_code'' directory of the project, you will go to the '''Run-time Information Record Error state''' as shown below. -
+ + [[Image:profiler-wizard-rtir-error-state]]

diff --git a/documentation/current/method/eiffel-tutorial-et/et-design-contract-tm-assertions-and-exceptions.wiki b/documentation/current/method/eiffel-tutorial-et/et-design-contract-tm-assertions-and-exceptions.wiki index cd697d21..f2e52b81 100644 --- a/documentation/current/method/eiffel-tutorial-et/et-design-contract-tm-assertions-and-exceptions.wiki +++ b/documentation/current/method/eiffel-tutorial-et/et-design-contract-tm-assertions-and-exceptions.wiki @@ -43,7 +43,7 @@ Eiffel provides syntax for expressing preconditions (require), post Here is a partial update of class ACCOUNT with more assertions: -indexing +note description: "Simple bank accounts" class @@ -175,7 +175,7 @@ When releasing the final version of a system, it is usually appropriate to turn Another application of assertions governs documentation. Environment mechanisms, such as clicking the Form Contract icon in Eiffelstudio, will produce, from a class text, an abstracted version which only includes the information relevant for client authors. Here is the contract form of class ACCOUNT in the latest version given: -indexing +note description: "Simple bank accounts" class interface diff --git a/documentation/current/method/eiffel-tutorial-et/et-dynamic-structure-execution-model.wiki b/documentation/current/method/eiffel-tutorial-et/et-dynamic-structure-execution-model.wiki index e7293af6..fd314480 100644 --- a/documentation/current/method/eiffel-tutorial-et/et-dynamic-structure-execution-model.wiki +++ b/documentation/current/method/eiffel-tutorial-et/et-dynamic-structure-execution-model.wiki @@ -48,7 +48,7 @@ This principle of '''Uniform Access''' is central to Eiffel's goals of extendibi The following simple class text illustrates the preceding concepts -indexing +note description: "Simple bank accounts" class @@ -169,7 +169,7 @@ Same rules, applied recursively to all fields It is possible to override the initialization values by providing -- as in the earlier example of class HELLO -- one or more creation procedures. For example we might change ACCOUNT to make sure that every account is created with an initial deposit: -indexing +note description : "Simple bank accounts, initialized with a first deposit" class @@ -289,6 +289,7 @@ instead of the usual i + j + This would be awkward. Infix and prefix features solve the problem, reconciling the object-oriented view of computation with common notational practices of mathematics. The addition function is declared in class INTEGER as @@ -345,7 +346,7 @@ the possible run-time values for x are references, which will be Instead of class, however, you may use the double keyword expanded class , as in the EiffelBase class definition -indexing +note description : "Integer values" expanded class @@ -374,7 +375,7 @@ so that the values for x will be objects of type C, ra Note that the value of an entity of an expanded type can never be void; only a reference can. Extending the earlier terminology, an expanded entity is always '''attached to''' an object, atomic (as in the case of n: INTEGER ) or composite (as in x: expanded ACCOUNT). -Expanded declarations make it possible to construct composite objects with subobjects, as in the following abbreviated class declaration (indexing clause and routines omitted): +Expanded declarations make it possible to construct composite objects with subobjects, as in the following abbreviated class declaration (note clause and routines omitted): class CAR diff --git a/documentation/current/method/eiffel-tutorial-et/et-inheritance.wiki b/documentation/current/method/eiffel-tutorial-et/et-inheritance.wiki index 851a1ea3..b3ce90b5 100644 --- a/documentation/current/method/eiffel-tutorial-et/et-inheritance.wiki +++ b/documentation/current/method/eiffel-tutorial-et/et-inheritance.wiki @@ -8,7 +8,7 @@ Inheritance is a powerful and attractive technique. A look at either the practic To make a class inherit from another, simply use an inherit clause: -indexing ... +note ... class D @@ -36,7 +36,7 @@ Assume a class SAVINGS_ACCOUNT that specializes the notion of accou This example is typical of the form of reuse promoted by inheritance and crucial to effective reusability in software: the case of reuse with adaptation. Traditional forms of reuse are all-or-nothing: either you take a component exactly as it is, or you build your own. Inheritance will get us out of this "reuse or redo" dilemma by allowing us to reuse and redo. The mechanism is feature redefinition: -indexing +note description: "Savings accounts" class @@ -179,7 +179,7 @@ It is also useful to define classes that leave the implementation of some of the At the level of the deferred class LIST, some features such as extend (add an item at the end of the list) will have no implementation and hence will be declared as deferred. Here is the corresponding form, illustrating the syntax for both deferred classes and their deferred features: -indexing +note description: "[ Sequential finite lists, without a commitment to a representation." @@ -278,7 +278,7 @@ The following sketch (from the book [http://eiffel.com/doc/oosc/ Object-Oriented Note the use of assertions to define semantic properties of the class, its instances and its features. Although often presented as high-level, most object-oriented analysis methods (with the exception of Walden's and Nerson's Business Object Notation) have no support for the expression of such properties, limiting themselves instead to the description of broad structural relationships. -indexing +note description: "Individual fragments of a broadcasting schedule" deferred class @@ -347,7 +347,7 @@ For such classes it is again essential to permit effective features in a deferre {{note|The type like Current will be explained in [[9 Inheritance#Covariance_and_anchored_declarations|"Covariance and anchored declarations"]] ; you may understand it, in the following class, as equivalent to COMPARABLE. }} -indexing +note description: "Objects that can be compared according to a total preorder relation" deferred class @@ -398,7 +398,7 @@ In all such cases multiple inheritance provides the answer. Multiple inheritance can cause '''name clashes''' : two parents may include a feature with the same name. This would conflict with the ban on name overloading within a class -- the rule that no two features of a class may have the same name. Eiffel provides a simple way to remove the name clash at the point of inheritance through the rename subclause, as in -indexing +note description: "Sequential finite lists implemented as arrays" class diff --git a/documentation/current/platform-specifics/microsoft-windows/net/building-net-application.wiki b/documentation/current/platform-specifics/microsoft-windows/net/building-net-application.wiki index 49e19f5e..88a90a65 100644 --- a/documentation/current/platform-specifics/microsoft-windows/net/building-net-application.wiki +++ b/documentation/current/platform-specifics/microsoft-windows/net/building-net-application.wiki @@ -7,7 +7,7 @@ For that reason, the [[EiffelStudio: Project settings window|project settings]] * Specifying whether the generated assembly should be an EXE or a DLL. * Choosing between generating verifiable or non verifiable IL code. Non verifiable IL code executes faster but requires high trust settings. -The Eiffel for .NET compiler generates a single assembly whose name is the name of the system as given in the [[System Options|project settings]] . +The Eiffel for .NET compiler generates a single assembly whose name is the name of the system as given in the [[System Options|system options of the project settings]] . diff --git a/documentation/current/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net-integration.wiki b/documentation/current/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net-integration.wiki index cb95a42d..8411ea55 100644 --- a/documentation/current/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net-integration.wiki +++ b/documentation/current/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net-integration.wiki @@ -23,7 +23,7 @@ Eiffel for .NET supports: The following syntax can be used to declare .NET custom attributes on Eiffel entities (features and classes): empty: BOOLEAN - indexing + note description: "Is Current empty?" attribute: create {OBSOLETE_ATTRIBUTE}.make_obsoleteattribute_1 ("Use `is_empty' instead") end obsolete @@ -33,7 +33,7 @@ The following syntax can be used to declare .NET custom attributes on Eiffel ent end -The previous example shows the declaration of the obsolete feature empty . The custom attribute defined by OBSOLETE_ATTRIBUTE is used to ensure that any consumer of the resulting assembly will see the feature as being obsolete. The custom attribute is defined in the indexing clause attribute . The definition consists of a creation expression that creates the custom attribute with the right parameters. +The previous example shows the declaration of the obsolete feature empty . The custom attribute defined by OBSOLETE_ATTRIBUTE is used to ensure that any consumer of the resulting assembly will see the feature as being obsolete. The custom attribute is defined in the note clause attribute. The definition consists of a creation expression that creates the custom attribute with the right parameters. ==Differences between Eiffel for .NET and .NET== diff --git a/documentation/current/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net/eiffel-classes.wiki b/documentation/current/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net/eiffel-classes.wiki index a19b4b8e..a8d9cb1a 100644 --- a/documentation/current/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net/eiffel-classes.wiki +++ b/documentation/current/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net/eiffel-classes.wiki @@ -28,7 +28,7 @@ end Okay, so class SIMPLE is only interesting in its simplicity. Let's look at an example that is more illustrative: -indexing +note description: Objects that model lists revision: $Revision: 1.4 $ @@ -74,18 +74,18 @@ invariant after_constraint: after implies (active = last_element) Here is a class that, although completely contrived, utilizes all of the required and optional parts of the class. Let's look at each part individually. -===Indexing=== +===Note=== -indexing +note description: Objects that model lists revision: $Revision: 1.4 $ -The indexing part of a class is there to allow you as a producer to record information of your choice which will help you or other reuse consumers at some later time to locate understand the class. This important in Eiffel because we try to treat every class as if someday it will become reusable. +The note part of a class is there to allow you as a producer to record information of your choice which will help you or other reuse consumers at some later time to locate understand the class. This important in Eiffel because we try to treat every class as if someday it will become reusable. -Information in indexing does not change the semantics of the class. +Information in note does not change the semantics of the class. -The indexing in the class above is typical. It is introduced with the language keyword indexing, and contains two index clauses, each of which is comprised of an index and a single index value. You can code index clauses with indexes that you devise yourself, so there is nothing inherently special about "description" and "revision" as used above. But, these indexes could be special to tools which analyze libraries of classes use them. Although these clauses have only one index value each, it is permissible to put more, separated by commas. +The note part in the class above is typical. It is introduced with the language keyword note, and contains two note clauses, each of which is comprised of an index and a single index value. You can code note clauses with indexes that you devise yourself, so there is nothing inherently special about "description" and "revision" as used above. But, these indexes could be special to tools which analyze libraries of classes use them. Although these clauses have only one index value each, it is permissible to put more, separated by commas. ===Class Header=== @@ -121,7 +121,7 @@ You will learn more about generic classes in the section titled [[Genericity|Gen obsolete "This class is obsolete, use LINKED_LIST [G] instead" -OLD_FASHION_LISTs are obsolete ... and the class is marked as such by include the line above. The manifest string contains an explanation, instructions, and/or recommended alternatives. Compilers and other language tools can deliver this message to potential reuse consumers. As with indexing, obsolete has no effect on the semantics of the class. +OLD_FASHION_LISTs are obsolete ... and the class is marked as such by include the line above. The manifest string contains an explanation, instructions, and/or recommended alternatives. Compilers and other language tools can deliver this message to potential reuse consumers. As with note, obsolete has no effect on the semantics of the class. Obsolete is rarely used because of the nature of certain elements of the Eiffel methodology. For example, if implementations are well-hidden behind implementation-independent specifications, then those implementations may be changed to adapt the class to changing execution environments in such a way that clients are unaffected. diff --git a/documentation/current/solutions/concurrent-computing/eiffelthread/eiffelthread-tutorial/once-features-multithreaded-mode.wiki b/documentation/current/solutions/concurrent-computing/eiffelthread/eiffelthread-tutorial/once-features-multithreaded-mode.wiki index 60b2eea4..1dfaee1e 100644 --- a/documentation/current/solutions/concurrent-computing/eiffelthread/eiffelthread-tutorial/once-features-multithreaded-mode.wiki +++ b/documentation/current/solutions/concurrent-computing/eiffelthread/eiffelthread-tutorial/once-features-multithreaded-mode.wiki @@ -36,7 +36,7 @@ feature -- Access -- New 'object' (once per process) -- that could be shared between threads -- without reinitializing it. - indexing + note once_status: global once create Result.make diff --git a/documentation/current/solutions/other-languages/eiffel-external-mechanism/obsolete-external-interfaces/c-externals-0.wiki b/documentation/current/solutions/other-languages/eiffel-external-mechanism/obsolete-external-interfaces/c-externals-0.wiki index e59644ed..87f8ccb3 100644 --- a/documentation/current/solutions/other-languages/eiffel-external-mechanism/obsolete-external-interfaces/c-externals-0.wiki +++ b/documentation/current/solutions/other-languages/eiffel-external-mechanism/obsolete-external-interfaces/c-externals-0.wiki @@ -197,7 +197,7 @@ class IntArray { Here is the result of applying Legacy++ to that class, which will serve as an illustration of both the C++ interface mechanisms and Legacy++: -indexing +note description: "Eiffel encapsulation of C++ class IntArray"; date: "$Date: 2006-10-12 03:18:50 +0200 (Thu, 12 Oct 2006) $"; revision: "$Revision: 64319 $"