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

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>

<!--
-->

<plugin>

    <extension
         point="org.eclipse.capra.configuration.TraceLinkAdapter">
      <TraceLinkAdapter
            class="org.eclipse.opencert.aida.tracemodel.ContractClaimLinkAdapter">
      </TraceLinkAdapter>
   </extension>
   
   <extension
         point="org.eclipse.capra.configuration.TraceLinkAdapter">
      <TraceLinkAdapter
            class="org.eclipse.opencert.aida.tracemodel.ContractArtefactLinkAdapter">
      </TraceLinkAdapter>
   </extension>
   
   <extension
         point="org.eclipse.capra.configuration.TraceLinkAdapter">
      <TraceLinkAdapter
            class="org.eclipse.opencert.aida.tracemodel.ContractAgreementLinkAdapter">
      </TraceLinkAdapter>
   </extension>
   <extension
         point="org.eclipse.capra.configuration.TraceLinkAdapter">
      <TraceLinkAdapter
            class="org.eclipse.opencert.aida.tracemodel.FormalPropertyClaimLinkAdapter">
      </TraceLinkAdapter>
   </extension>

	<extension
         point="org.eclipse.capra.configuration.TraceLinkAdapter">
      <TraceLinkAdapter
            class="org.eclipse.opencert.aida.tracemodel.AnalysisContextArtefactLinkAdapter">
      </TraceLinkAdapter>
   </extension>
   
   <extension
         point="org.eclipse.capra.configuration.TraceLinkAdapter">
      <TraceLinkAdapter
            class="org.eclipse.opencert.aida.tracemodel.ComponentArgumentationElementLinkAdapter">
      </TraceLinkAdapter>
   </extension>

   <extension point="org.eclipse.emf.ecore.generated_package">
      <!-- @generated OpenCertTraceLinkMetaModel -->
      <package
            uri="org.eclipse.opencert.aida.tracemodel.OpenCertTraceLinkMetaModel"
            class="org.eclipse.opencert.chess.tracemodel.OpenCertTraceLinkMetaModel.OpenCertTraceLinkMetaModelPackage"
            genModel="model/OpenCertTraceLinkMetaModel.genmodel"/>
   </extension>

</plugin>