mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-06 14:52:03 +01:00
Code Issues Packages Projects Releases Wiki Activity

Author:halw

Browse Source 
Date:2009-01-13T21:45:23.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@160 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2009-01-13 21:45:23 +00:00
parent e496e909db
commit 28795ca28f
11 changed files with 27 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
documentation/current/eiffelstudio/eiffelstudio-how-tos/compiling/generating-executables.wiki
View File

@@ -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|<br/>
[[Command line: Introduction|Command line options]] <br/>
[[Command line|Command line options]] <br/>
[[Compiler|Compiler]] }}

2
documentation/current/eiffelstudio/eiffelstudio-how-tos/compiling/generating-libraries.wiki
View File

@@ -26,7 +26,7 @@ To generate a C library from a C compiler, please refer to the documentation of
{{seealso|<br/>
[[Using libraries|Using libraries]] <br/>
[[CECIL|CECIL library: calling Eiffel routines from C programs]] <br/>
[[Command line: Introduction|Command line options]] }}
[[Command line|Command line options]] }}

2
documentation/current/eiffelstudio/eiffelstudio-how-tos/eiffelstudio-starting-project/retrieving-project-configuration-file.wiki
View File

@@ -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.

8
documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/eiffelstudio-using-command-line-options.wiki
View File

@@ -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:
<code>'''ec''' ''option'' ... [''class_name''][''feature_name'']</code>
:'''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''. <br/>
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'''

2
documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/index.wiki
View File

@@ -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. <br/>
The [[Interactive command line: Introduction|-loop option]] makes it possible to start '''ec''' just once and then repeatedly request any of the available operations.

4
documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/edit-menu-commands.wiki
View File

@@ -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...]]

7
documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/operations-text-blocks/comment-and-uncomment-lines.wiki
View File

@@ -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. <br/>
* 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. <br/>

13
documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/operations-text-blocks/indent-and-unindent-selection.wiki
View File

@@ -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. <br/>
* 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. <br/>
{{note|If there is no selection, you may still use the unindent shortcut "Shift+Tab". The command will be applied to the current line. <br/>
}}
{{note|If there is no selection, you may still use the unindent shortcut "Shift+Tab". The command will be applied to the current line. }}

9
documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/operations-text-blocks/index.wiki
View File

@@ -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.

6
documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-project-settings-window/general-target-options/advanced-options/externals-options.wiki
View File

@@ -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

4
documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-project-settings-window/general-target-options/advanced-options/index.wiki
View File

@@ -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 `<code>$(s.to_c)</code>' to a feature instead of declaring `<code>a</code>' of type <code>ANY</code>, and then assigning `<code>s.to_c</code>' to `<code>a</code>' and passing `<code>$a</code>'.
{{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 <code> VAPE </code> validity constraint: lets you disable type checking for <code> VAPE </code> 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