Author:jfiat

Date:2013-06-19T10:39:16.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1228 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
manus
2013-08-02 09:25:39 +00:00
parent b08f50ed69
commit 1fd7b55ecf
3 changed files with 23 additions and 3 deletions

View File

@@ -3,7 +3,7 @@
[[Property:uuid|3a0acea6-c6d1-c7b9-c2f9-88021cad26b6]] [[Property:uuid|3a0acea6-c6d1-c7b9-c2f9-88021cad26b6]]
If you need to use '''ec''' to execute a number of successive operations on a system, you do not need to restart the command each time; instead you may use the '''-loop''' option, which will interactively prompt you for successive operations. If you need to use '''ec''' to execute a number of successive operations on a system, you do not need to restart the command each time; instead you may use the '''-loop''' option, which will interactively prompt you for successive operations.
If you launch '''ec''' with this option, you will get the interactive version's Main Menu: If you launch '''ec''' with this option, you will get the interactive version's Main Menu:
<code> <code lang=text>
==== ISE EiffelStudio - Interactive Batch Version (v5.5.0926 Enterprise Edition) === ==== ISE EiffelStudio - Interactive Batch Version (v5.5.0926 Enterprise Edition) ===
(C) Class : class formats and information. (C) Class : class formats and information.
(I) Compile : compile or run the system. (I) Compile : compile or run the system.
@@ -23,4 +23,3 @@ The revision number in the first line may be different in your case to indicate
* commands in the second group H (Help) to repeat the list of choices, Y (Yank) to save the output of the last command to a file that you will be prompted to name, and Q (Quit) to quit appear in all menus, and will be complemented in the Item Menus below by the M (Main) command which returns to the main menu. * commands in the second group H (Help) to repeat the list of choices, Y (Yank) to save the output of the last command to a file that you will be prompted to name, and Q (Quit) to quit appear in all menus, and will be complemented in the Item Menus below by the M (Main) command which returns to the main menu.
By typing one of the letters shown in the Main Menu's first group, you can go to one of the Item Menus: [[Class menu|Class]], [[Compile (and run) menu|Compile]], [[Feature menu|Feature]], [[System menu|System]], [[Profile menu|Profile]], and [[Documentation menu|Documentation]]. [[Compile (and run) menu|Compile]] enables you to compile a system and execute the result; the next three enable you to obtain information about your project. [[Profile menu|Profile]] will enable you to exploit profiling information. Finally, [[Documentation menu|Documentation]] will enable you to generate HTML documentation about your project. By typing one of the letters shown in the Main Menu's first group, you can go to one of the Item Menus: [[Class menu|Class]], [[Compile (and run) menu|Compile]], [[Feature menu|Feature]], [[System menu|System]], [[Profile menu|Profile]], and [[Documentation menu|Documentation]]. [[Compile (and run) menu|Compile]] enables you to compile a system and execute the result; the next three enable you to obtain information about your project. [[Profile menu|Profile]] will enable you to exploit profiling information. Finally, [[Documentation menu|Documentation]] will enable you to generate HTML documentation about your project.

View File

@@ -0,0 +1,21 @@
[[Property:title|Testing menu]]
[[Property:weight|5]]
[[Property:uuid|a6a0cf9d-ac10-4473-80e1-470acd461610]]
The AutoTest Menu gives information about the autotest entries:
<code lang=text>
(L) List view : Display tests in a list.
(T) Tree view : Display tests in a tree structure.
(E) Execute : run tests.
(A) AutoTest : AutoTest.
(H) Help : show list of commands.
(M) Main : go back to main menu.
(Q) Quit : terminate session.
(Y) Yank : yank (save) output of last command to a file.
</code>
The L and T displays the test cases in list or tree.
The E execute the existing test cases.

View File

@@ -15,7 +15,7 @@ The result is that we must consider certain questions:
# How is void-safety defined? # How is void-safety defined?
# What are the specific elements of the mechanism for void-safety? # What are the specific elements of the mechanism for void-safety?
## How do these relate to Eiffel before void-safety? # How do these relate to Eiffel before void-safety?
# What do I need to know to produce standard Eiffel software? # What do I need to know to produce standard Eiffel software?
# What do I need to know to convert my existing systems to be standard? # What do I need to know to convert my existing systems to be standard?