org.eclipse.opencert.chess.traceability/plugin.xml

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<?eclipse version="3.4"?>
<!--
   
    Copyright (c) 2017 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.views.properties.tabbed.propertyContributor">
      <propertyContributor contributorId="TreeOutlinePage">
         <propertyCategory category="OpenCertProperty"/>
      </propertyContributor>
   </extension>
   
   <extension point="org.eclipse.ui.views.properties.tabbed.propertyTabs">
      <propertyTabs contributorId="TreeOutlinePage">
         	<propertyTab afterTab="advanced" category="OpenCertProperty" id="OpenCert" label="OpenCert"/>
      </propertyTabs>
   </extension>
   
   <extension point="org.eclipse.ui.views.properties.tabbed.propertySections">
	<propertySections contributorId="TreeOutlinePage">
		
		<propertySection class="org.eclipse.opencert.chess.traceability.propertytab.ContractEditPartOpenCertSection" id="ContractPropertyBlock" tab="OpenCert">
	   		<input type="org.eclipse.papyrus.sysml.diagram.common.edit.part.ConstraintBlockEditPart"/> 
		</propertySection>
		
		<propertySection class="org.eclipse.opencert.chess.traceability.propertytab.FormalPropertyEditPartSection" id="FormalPropertyClass" tab="OpenCert">
	   		<input type="org.eclipse.papyrus.uml.diagram.clazz.edit.parts.ConstraintEditPart"/> 
		</propertySection>
		
		<propertySection class="org.eclipse.opencert.chess.traceability.propertytab.AnalysisContextOpenCertSection" 
		id="AnalysisContextClass" tab="OpenCert" filter="org.eclipse.opencert.chess.traceability.propertytab.AnalysisContextFilter">
	   		<input type="org.eclipse.papyrus.uml.diagram.clazz.edit.parts.ComponentEditPart"/>
	   	
		</propertySection>
		
		<propertySection class="org.eclipse.opencert.chess.traceability.propertytab.ComponentOpenCertSection" 
		id="ComponentClass" tab="OpenCert" filter="org.eclipse.opencert.chess.traceability.propertytab.ComponentFilter">
	   		
		</propertySection>
		
	</propertySections>
   </extension>
   
   <extension
         point="org.eclipse.capra.configuration.persistenceHandler">
      <persistenceHandler
            class="org.eclipse.opencert.chess.traceability.persistence.OpenCertTracePersistenceAdapter">
      </persistenceHandler>
   </extension>
   
   <extension
         point="org.eclipse.ui.popupMenus">
      <objectContribution
            id="org.eclipse.opencerts.chess.traceability.cdosynchronizing.contribution"
            objectClass="org.eclipse.core.resources.IFile">
         <menu
               icon="icons/CHESSicon.gif"
               id="org.polarsys.chess.cdosynchronizing.menu"
               label="CHESS"
               path="additions">
            <separator
                  name="group1">
            </separator>
         </menu>
         <action
               class="org.eclipse.opencert.chess.traceability.actions.SynchronizeWithCDOCheckout"
               enablesFor="1"
               id="org.opencert.chess.traceability.synchCDOCheckout.action01"
               label="Synchronize with CDO Checkout"
               menubarPath="org.polarsys.chess.cdosynchronizing.menu/group1">
         </action>
        
      </objectContribution>
   </extension>
   
</plugin>