| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.4"?> |
| <plugin> |
| <extension |
| point="org.eclipse.ui.commands"> |
| <command |
| defaultHandler="org.eclipse.papyrus.robotics.assertions.ui.actions.ValidateContractHandler" |
| id="org.eclipse.papyrus.robotics.assertions.ui.validateContract" |
| name="Validate Contract"> |
| </command> |
| </extension> |
| <extension |
| point="org.eclipse.ui.menus"> |
| <menuContribution |
| allPopups="false" |
| locationURI="popup:org.eclipse.papyrus.views.modelexplorer.popup.validation"> |
| <command |
| commandId="org.eclipse.papyrus.robotics.assertions.ui.validateContract" |
| icon="icons/validateContract.png" |
| label="Validate Contract" |
| style="push"> |
| <visibleWhen |
| checkEnabled="true"> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| </extension> |
| |
| </plugin> |
