From 1fd7b55ecf29aa89090019d813893953d24d8733 Mon Sep 17 00:00:00 2001 From: manus Date: Fri, 2 Aug 2013 09:25:39 +0000 Subject: [PATCH] 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 --- .../command-line-interactive-mode/index.wiki | 3 +-- .../testing-menu.wiki | 21 +++++++++++++++++++ .../void-safe-programming-eiffel/index.wiki | 2 +- 3 files changed, 23 insertions(+), 3 deletions(-) create mode 100644 documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/command-line-interactive-mode/testing-menu.wiki diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/command-line-interactive-mode/index.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/command-line-interactive-mode/index.wiki index b0e95088..a0192afb 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/command-line-interactive-mode/index.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/command-line-interactive-mode/index.wiki @@ -3,7 +3,7 @@ [[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 launch '''ec''' with this option, you will get the interactive version's Main Menu: - + ==== ISE EiffelStudio - Interactive Batch Version (v5.5.0926 Enterprise Edition) === (C) Class : class formats and information. (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. 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. - diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/command-line-interactive-mode/testing-menu.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/command-line-interactive-mode/testing-menu.wiki new file mode 100644 index 00000000..6a27a1a4 --- /dev/null +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/command-line-interactive-mode/testing-menu.wiki @@ -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: + + + (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. + + +The L and T displays the test cases in list or tree. + +The E execute the existing test cases. + diff --git a/documentation/current/method/void-safe-programming-eiffel/index.wiki b/documentation/current/method/void-safe-programming-eiffel/index.wiki index 38a782d9..6f295651 100644 --- a/documentation/current/method/void-safe-programming-eiffel/index.wiki +++ b/documentation/current/method/void-safe-programming-eiffel/index.wiki @@ -15,7 +15,7 @@ The result is that we must consider certain questions: # How is void-safety defined? # 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 convert my existing systems to be standard?