| --- Q7 testcase --- |
| Format-Version: 1.0 |
| Q7-vendor: www.xored.com/q7 |
| Contexts: _mY5uUKEgEeKX8e34E6tWIg,_rr2EEFpSEeKcnaHGSt8OwA,_f3qEUVpSEeKcnaHGSt8OwA,_YQj0cT-VEeK-yuKsz0Lang |
| Element-Name: EnablementOnClose |
| Element-Type: testcase |
| Element-Version: 3.0 |
| External-Reference: |
| Id: __Kh34EQ5EeKQgL6LoFFWrA |
| Save-Time: 1/29/13 11:53 AM |
| Testcase-Type: ecl |
| |
| ------=_.content-0a7243a0-75d3-3d5f-9791-539de0e5b7ac |
| Content-Type: text/ecl |
| Entry-Name: .content |
| |
| |
| |
| with [get-view "Model Explorer" | get-tree] { |
| select TestProject | get-menu Close | click |
| select TestProject | get-menu "New Model Element" | get-property enablement | equals false | verify-true |
| select TestProject | get-menu "Filter Model Elements" | get-property enablement | equals false | verify-true |
| select TestProject | get-menu "Revert All Operations" | get-property enablement | equals false | verify-true |
| select TestProject | get-menu "Undo Last Operation" | get-property enablement | equals false | verify-true |
| select TestProject | get-menu "Update" | get-property enablement | equals false | verify-true |
| select TestProject | get-menu "Commit" | get-property enablement | equals false | verify-true |
| select TestProject | get-menu "Share" | get-property enablement | equals false | verify-true |
| select TestProject | get-menu "Show Historyview" | get-property enablement | equals false | verify-true |
| } |
| get-view "Model Explorer" | get-tree | select TestProject | get-menu Delete | click |
| |
| ------=_.content-0a7243a0-75d3-3d5f-9791-539de0e5b7ac-- |