<?xml version="1.0" encoding="UTF-8"?> | |
<?eclipse version="3.4"?> | |
<!-- | |
Copyright (c) 2013, 2015 Intecs SpA | |
All rights reserved. This program and the accompanying materials | |
are made available under the terms of the Eclipse Public License v1.0 | |
which accompanies this distribution, and is available at | |
http://www.eclipse.org/legal/epl-v10.html | |
Contributors: | |
Stefano Puri stefano.puri@intecs.it | |
Initial API and implementation and/or initial documentation | |
--> | |
<plugin> | |
<extension | |
point="org.eclipse.ui.menus"> | |
<menuContribution | |
allPopups="false" | |
locationURI="popup:org.eclipse.papyrus.views.modelexplorer.popup.validation"> | |
<menu | |
icon="icons/CHESSval.gif" | |
id="org.polarsys.chess.validator.mainmenuId" | |
label="CHESS"> | |
<command | |
commandId="org.eclipse.opencert.chess.contracts.validation.commandID" | |
id="org.eclipse.opencert.chess.contracts.validation.ID" | |
label="Validate Contracts for Assurance" | |
style="push"> | |
</command> | |
</menu> | |
</menuContribution> | |
</extension> | |
<extension | |
point="org.eclipse.ui.commands"> | |
<command | |
defaultHandler="org.eclipse.opencert.chess.contracts.validation.CHESSContractValidationHandler" | |
id="org.eclipse.opencert.chess.contracts.validation.commandID" | |
name="Check contracts for assurance"> | |
</command> | |
</extension> | |
<extension | |
point="org.eclipse.emf.validation.constraintProviders"> | |
<category | |
id="org.eclipse.opencert.chess.contracts.validation" | |
name="Constract for assurance"> | |
</category> | |
<constraintProvider | |
cache="true" | |
mode="Batch"> | |
<package | |
namespaceUri="http://www.eclipse.org/uml2/5.0.0/UML"> | |
</package> | |
<constraints | |
categories="org.eclipse.opencert.chess.contracts.validation"> | |
<constraint | |
class="org.eclipse.opencert.chess.contracts.validation.constraints.OpenCertConstraints" | |
id="org.eclipse.opencert.chess.contracts.validation.constraints.AssuranceConstraints.ID" | |
isEnabledByDefault="true" | |
lang="Java" | |
mode="Batch" | |
name="Assurance01" | |
severity="ERROR" | |
statusCode="1"> | |
<message> | |
SystemView not Found | |
</message> | |
<target | |
class="Model"> | |
</target> | |
</constraint> | |
</constraints> | |
</constraintProvider> | |
</extension> | |
<extension | |
point="org.eclipse.emf.validation.constraintBindings"> | |
<clientContext | |
default="false" | |
id="org.polarsys.chess.contracts.validation.clientContext"> | |
<selector | |
class="org.eclipse.opencert.chess.contracts.validation.ValidationDelegateClientSelector"> | |
</selector> | |
</clientContext> | |
<binding | |
category="org.polarsys.chess.contracts.validation" | |
context="org.polarsys.chess.contracts.validation.clientContext"> | |
</binding> | |
</extension> | |
</plugin> |