org.eclipse.opencert.chess.contracts.validation/plugin.xml

<?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>