Author:halw

Date:2010-06-29T14:55:38.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@635 abb3cda0-5349-4a8f-a601-0c33ac3a8c38

documentation/current/eiffelstudio/_images/es_ref_contract_editor_03.png.data

@@ -0,0 +1,3 @@
+title=es ref contract editor 03
+author=halw
+path=content/es-ref-contract-editor-03

documentation/current/eiffelstudio/_images/es_ref_contract_editor_add_01.png.data

@@ -0,0 +1,3 @@
+title=es ref contract editor add 01
+author=halw
+path=content/es-ref-contract-editor-add-01

documentation/current/eiffelstudio/_images/es_ref_edit_contract_dialog_01.png.data

@@ -0,0 +1,3 @@
+title=es ref edit contract dialog 01
+author=halw
+path=content/es-ref-edit-contract-dialog-01

documentation/current/eiffelstudio/eiffelstudio-reference/contract-editor-tool.wiki

@@ -5,7 +5,7 @@
 
 
 
-[[Image:es ref contract editor 01]]
+[[Image:es ref contract editor 01|center]]
 
 
 =Overview=
@@ -57,5 +57,35 @@ The Contract Editor toolbar contains the following items:
 
 =Editing contracts=
 
-You edit contracts one assertion clause at a time. 
+You edit contracts one assertion clause at a time. When you make a selection in the Contracts column of the Contract Editor tool, an entire assertion clause will be selected. In the depiction below, the clause <code>minute_valid</code> is selected from the class invariant of class <code>TIME_OF_DAY</code>.
+
+
+[[Image:es ref contract editor 02]]
+
+
+This applies to multi-line assertion clauses, too, as shown below.
+
+
+[[Image:es ref contract editor 03]]
+
+
+The selected clause can be moved up or down relative to the other clauses by using the up and down arrows in the toolbar. 
+
+To make changes to the text of the currently selected assertion clause, click the Edit button ([[Image:contract-editor-edit-icon]]) on the toolbar, or just double-click the selected clause. The clause appears in the Edit Contract dialog box. 
+
+
+[[Image:es ref edit contract dialog 01]]
+
+
+You can edit the tag for your assertion clause and the assertion itself. 
+
+Assertion clause tags must be valid identifiers. The Contract Editor tool will check your input as you type and alert you if entered a character string that would not be a valid identifier. The tag is optional, so you can leave it empty if you wish.
+
+After editing the assertion clause itself, you can click OK. At this point the Contract Editor tool will perform a syntactical analysis on your assertion clause in order to help you avoid some types of errors. If your assertion clause appears syntactically sound, the Edit Contract dialog box will be dismissed and your changes will be visible in the Contract Editor tool display. 
+
+At this point, the changes have not been saved to the class text. To save the changes click the Save icon ([[Image:16x16--general-save-icon]]) in the toolbar.
+
+
+
+