From 28795ca28f78328f10e4b24d42520c12d94a5125 Mon Sep 17 00:00:00 2001 From: halw Date: Tue, 13 Jan 2009 21:45:23 +0000 Subject: [PATCH] Author:halw Date:2009-01-13T21:45:23.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@160 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../compiling/generating-executables.wiki | 2 +- .../compiling/generating-libraries.wiki | 2 +- .../retrieving-project-configuration-file.wiki | 2 +- .../eiffelstudio-using-command-line-options.wiki | 8 +++++--- .../compiler/command-line/index.wiki | 2 ++ .../eiffelstudio-editor/edit-menu-commands.wiki | 4 ++-- .../comment-and-uncomment-lines.wiki | 7 +++---- .../indent-and-unindent-selection.wiki | 13 +++++-------- .../operations-text-blocks/index.wiki | 9 +-------- .../advanced-options/externals-options.wiki | 6 +++--- .../advanced-options/index.wiki | 4 +++- 11 files changed, 27 insertions(+), 32 deletions(-) diff --git a/documentation/current/eiffelstudio/eiffelstudio-how-tos/compiling/generating-executables.wiki b/documentation/current/eiffelstudio/eiffelstudio-how-tos/compiling/generating-executables.wiki index 19143715..cd2f9dd3 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-how-tos/compiling/generating-executables.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-how-tos/compiling/generating-executables.wiki @@ -12,7 +12,7 @@ These commands are also available in the '''Project''' toolbar [[Image:project- To solve the errors that occur during the Eiffel compilation, use the [[Error wizard|compilation error wizard]] . For errors occurring during the C compilation, check that the installation is not corrupted and refer to your C compiler documentation for more information. {{seealso|
-[[Command line: Introduction|Command line options]]
+[[Command line|Command line options]]
[[Compiler|Compiler]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-how-tos/compiling/generating-libraries.wiki b/documentation/current/eiffelstudio/eiffelstudio-how-tos/compiling/generating-libraries.wiki index 6a155a71..74bdd16a 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-how-tos/compiling/generating-libraries.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-how-tos/compiling/generating-libraries.wiki @@ -26,7 +26,7 @@ To generate a C library from a C compiler, please refer to the documentation of {{seealso|
[[Using libraries|Using libraries]]
[[CECIL|CECIL library: calling Eiffel routines from C programs]]
-[[Command line: Introduction|Command line options]] }} +[[Command line|Command line options]] }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-how-tos/eiffelstudio-starting-project/retrieving-project-configuration-file.wiki b/documentation/current/eiffelstudio/eiffelstudio-how-tos/eiffelstudio-starting-project/retrieving-project-configuration-file.wiki index 5d4a9377..81211b48 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-how-tos/eiffelstudio-starting-project/retrieving-project-configuration-file.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-how-tos/eiffelstudio-starting-project/retrieving-project-configuration-file.wiki @@ -3,7 +3,7 @@ [[Property:uuid|eef8cf02-0ed0-3e3e-3204-56541df18d37]] If you have already designed a project and want to retrieve it, or if you want to open a project created by someone else (such as the examples of the libraries which are shipped with EiffelStudio), you can either directly select it from the list of last opened projects or use the '''Add Project''' button to open the configuration file. -This dialog also allows you to select which target to compile and you can also specify your own location where the project will be compiled. The '''action''' describes what should be done and the optional '''clean''' removes the compiled files of a previous compilation before doing the action. +This dialog also allows you to select which target to compile. A target may be selected from the drop down list by clicking the black triangle. You can also specify your own location where the project will be compiled. The '''action''' describes what should be done and the optional '''clean''' removes the compiled files of a previous compilation before doing the action. '''Reset user settings''' removes all stored custom information about the project (but not the configuration of the project itself). For example last used target, locations where this project has been compiled, arguments and working directory. diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/eiffelstudio-using-command-line-options.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/eiffelstudio-using-command-line-options.wiki index c896f140..5b1247e6 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/eiffelstudio-using-command-line-options.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/eiffelstudio-using-command-line-options.wiki @@ -3,13 +3,15 @@ [[Property:weight|1]] [[Property:uuid|a6b6a676-8660-ce2d-6f37-03de7f23a78e]] You may start ec through a command of the following form: -'''ec''' ''option'' ... [''class_name''][''feature_name''] - +:'''ec''' ''option'' ... [''class_name''][''feature_name''] ''class_name'', if present, must be the name of a class of the system to which '''ec''' is applied. This system is identified by its configuration file; by default this is the file called Ace.ecf in the working directory, but you can select any other one through the -config ''file_name'' option. Similarly, the default project directory is the working directory, but you can select another through the -project_path ''directory_name'' option. ''feature_name'', if present, must be the final name of a feature of the class called ''class_name''.
-The table below lists the available options, the arguments they require, and their effect: + +The table below lists the available ''options'', the arguments they require, and their effect: + + {| |- | '''OPTION''' diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/index.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/index.wiki index 6def53b7..303ba2e3 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/index.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/index.wiki @@ -3,6 +3,8 @@ [[Property:uuid|e1a93995-38bf-14fa-421e-e6fe1f07b9f6]] ==Using the command line compiler== +It is possible to compile from outside of the graphical environment, by using the command '''ec'''. The form of compilation's results are the same in both cases. You may therefore alternate between the two techniques. '''ec''' will enable you to [[EiffelStudio: Command line options|melt or freeze]] a project and therefore to use [[Batch compilation|batch compilation]] . It will also enable you to produce [[EiffelStudio: Command line options|information about a class]] such as its Flat and Flat Contract views.
+The [[Interactive command line: Introduction|-loop option]] makes it possible to start '''ec''' just once and then repeatedly request any of the available operations. diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/edit-menu-commands.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/edit-menu-commands.wiki index 317dea53..010de56c 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/edit-menu-commands.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/edit-menu-commands.wiki @@ -17,8 +17,8 @@ In the '''Edit''' menu, the following commands are available: ** [[Search functionality|Find selection]] : Find the next occurrence of the selected text. * Advanced -** [[Indent and un indent selection|Indent selection]] -** [[Indent and un indent selection|Unindent selection]] +** [[Indent and unindent selection|Indent selection]] +** [[Indent and unindent selection|Unindent selection]] ** [[Comment and uncomment lines|Comment]] ** [[Comment and uncomment lines|Uncomment]] ** [[Embed lines in 'if then...end' or in 'debug...end'|Embed in if...]] diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/operations-text-blocks/comment-and-uncomment-lines.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/operations-text-blocks/comment-and-uncomment-lines.wiki index e1843c83..f975cfd5 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/operations-text-blocks/comment-and-uncomment-lines.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/operations-text-blocks/comment-and-uncomment-lines.wiki @@ -2,11 +2,10 @@ [[Property:weight|1]] [[Property:uuid|34aba497-1b5b-4dcc-f227-81dd9dbbc923]] EiffelStudio editor offers the possibility to comment or uncomment several lines at a time. -* -The "Comment" command corresponds to the '''Comment''' entry in the '''Advanced''' sub-menu of the [[Edit menu commands| '''Edit''' Menu ]] . It may be called by using the keyboard shortcut "Ctrl+K". Its action is to insert two dashes in front of each [[Selection|selected]] line. -* -The "Uncomment" command corresponds to the '''Uncomment''' entry in the '''Advanced''' submenu of the [[Edit menu commands| '''Edit''' Menu ]] . It may be called by using the keyboard shortcut "Ctrl+Shift+K". Its action is to remove the two dashes in front of each [[Selection|selected]] line if there are such characters.
+* The "Comment" command corresponds to the '''Comment''' entry in the '''Advanced''' sub-menu of the [[Edit menu commands| '''Edit''' Menu ]]. It may be called by using the keyboard shortcut "Ctrl+K". Its action is to insert two dashes in front of each [[Selection|selected]] line. + +* The "Uncomment" command corresponds to the '''Uncomment''' entry in the '''Advanced''' submenu of the [[Edit menu commands| '''Edit''' Menu ]]. It may be called by using the keyboard shortcut "Ctrl+Shift+K". Its action is to remove the two dashes in front of each [[Selection|selected]] line if there are such characters.
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/operations-text-blocks/indent-and-unindent-selection.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/operations-text-blocks/indent-and-unindent-selection.wiki index 933f1b9f..1348a856 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/operations-text-blocks/indent-and-unindent-selection.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/operations-text-blocks/indent-and-unindent-selection.wiki @@ -1,18 +1,15 @@ -[[Property:title|Indent and un indent selection]] -[[Property:link_title|Indent and unindent selection]] +[[Property:title|Indent and unindent selection]] [[Property:weight|2]] [[Property:uuid|e0c1014b-1564-8225-9371-556e714848b0]] EiffelStudio editor offers the possibility to indent or unindent selected lines. -* -The "Indent" command corresponds to the '''Indent selection''' entry in the '''Advanced''' sub menu of the [[Edit menu commands| '''Edit''' Menu ]] . It may be called by using the keyboard shortcut "Tab". Its action is to insert a tabulation in front of each [[Selection|selected]] line. -* -The "Unindent" command corresponds to the '''Unindent selection''' entry in the '''Advanced''' sub menu of the [[Edit menu commands| '''Edit''' Menu ]] . It may be called by using the keyboard shortcut "Shift+Tab". Its action is to remove the tabulation in front of each [[Selection|selected]] line if there is such a character.
+* The "Indent" command corresponds to the '''Indent selection''' entry in the '''Advanced''' sub menu of the [[Edit menu commands| '''Edit''' Menu ]]. It may be called by using the keyboard shortcut "Tab". Its action is to insert a tabulation in front of each [[Selection|selected]] line. + +* The "Unindent" command corresponds to the '''Unindent selection''' entry in the '''Advanced''' sub menu of the [[Edit menu commands| '''Edit''' Menu ]]. It may be called by using the keyboard shortcut "Shift+Tab". Its action is to remove the tabulation in front of each [[Selection|selected]] line if there is such a character.
-{{note|If there is no selection, you may still use the unindent shortcut "Shift+Tab". The command will be applied to the current line.
-}} +{{note|If there is no selection, you may still use the unindent shortcut "Shift+Tab". The command will be applied to the current line. }} diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/operations-text-blocks/index.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/operations-text-blocks/index.wiki index 53edf05d..b97f3f79 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/operations-text-blocks/index.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/operations-text-blocks/index.wiki @@ -3,14 +3,7 @@ [[Property:uuid|b8fccb5b-a3b4-ba11-0781-aa63cef5028e]] Editing the text of classes sometimes implies highly repetitive tasks, such as commenting or indenting several lines at the same time. -The commands of the editor of EiffelStudio should allow the user to perform these tasks faster and more easily. In addition to text block [[Comment and uncomment lines|commenting]] and [[Indent and un indent selection|indenting]] , EiffelStudio editor makes it possible with one click to [[Embed lines in 'if then...end' or in 'debug...end'|embed]] several lines of code in "if ... then ... end" or "debug ... end" structures. - - -* [[Editing text block: Introduction|Introduction]] -* [[Comment and uncomment lines|Comment and uncomment lines]] -* [[Indent and un indent selection|Indent and unindent selection]] -* [[Embed lines in 'if then...end' or in 'debug...end'|Embed lines in "if then...end" or in "debug...end"]] - +The commands of the editor of EiffelStudio should allow the user to perform these tasks faster and more easily. In addition to text block [[Comment and uncomment lines|commenting]] and [[Indent and unindent selection|indenting]], EiffelStudio editor makes it possible with one click to [[Embed lines in 'if then...end' or in 'debug...end'|embed]] several lines of code in "if ... then ... end" or "debug ... end" structures. diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-project-settings-window/general-target-options/advanced-options/externals-options.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-project-settings-window/general-target-options/advanced-options/externals-options.wiki index a7057ebb..9124689e 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-project-settings-window/general-target-options/advanced-options/externals-options.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-project-settings-window/general-target-options/advanced-options/externals-options.wiki @@ -10,10 +10,10 @@ If you use a library, externals of this library are automatically included. E.g. * Object: additional C/C++ object files * Library: like object files, but will be added last, needed for some very strict C compilers * Makefile: additional makefiles, if possible use tasks instead -* + Resource: .NET resources -** The .resx resource file format is a XML based format to include objects (such as images and other binary formats) and strings. -** The .txt resource file format can only contains strings. +* The .resx resource file format is a XML based format to include objects (such as images and other binary formats) and strings. +* The .txt resource file format can only contains strings. Externals have three properties: * Location: location of the external, will be copied verbatim into the makefile diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-project-settings-window/general-target-options/advanced-options/index.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-project-settings-window/general-target-options/advanced-options/index.wiki index c3890370..21f1c16d 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-project-settings-window/general-target-options/advanced-options/index.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-project-settings-window/general-target-options/advanced-options/index.wiki @@ -2,7 +2,8 @@ [[Property:weight|4]] [[Property:uuid|be1dc034-2bca-3d3a-5dfc-8597b2cc7051]] [[Image:advanced-options|Advanced dialog]] -* Address Expression: lets you pass ` '''$(s.to_c)'''' to a feature instead of declaring `a' of type '''ANY''', and then assigning ` '''s.to_c'''' to `a' and passing ` '''$a''''. Turn this option on only if you have advanced knowledge of the garbage collector insides, since using this syntax illegally can lead to bugs very hard to trace. +* Address Expression: lets you pass `$(s.to_c)' to a feature instead of declaring `a' of type ANY, and then assigning `s.to_c' to `a' and passing `$a'. +{{Caution|Turn this option on only if you have advanced knowledge of the garbage collector internals, because using this syntax in some situations could lead to bugs that are very hard to trace. }} * Automatic Backup: generate a backup of the class and configuration files during recompilation? * Check VAPE: Enforce VAPE validity constraint: lets you disable type checking for VAPE errors in preconditions, which correspond to insufficiently exported features used in preconditions (ETL 2nd edition page 122). * Console Application: has no effect on Unix systems. It lets Windows users choose between creating a console application or a GUI application (in which case a console will be created if needed, instead of using the console the program was launched from). @@ -154,6 +155,7 @@ This table shows how the class name generation is affected by the naming options |- | yes | yes + | no | MyNameSpace | MyNameSpace.Cursor