org.eclipse.opencert.sam.arg.edit/plugin.xml

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

<!--
-->

<plugin>

   <extension point="org.eclipse.emf.edit.itemProviderAdapterFactories">
      <!-- @generated arg -->
      <factory
            uri="arg"
            class="org.eclipse.opencert.sam.arg.arg.provider.ArgItemProviderAdapterFactory"
            supportedTypes=
              "org.eclipse.emf.edit.provider.IEditingDomainItemProvider
               org.eclipse.emf.edit.provider.IStructuredItemContentProvider
               org.eclipse.emf.edit.provider.ITreeItemContentProvider
               org.eclipse.emf.edit.provider.IItemLabelProvider
               org.eclipse.emf.edit.provider.IItemPropertySource"/>
   </extension>
   

  <!-- EEF extensions -->
   <extension point="org.eclipse.emf.edit.itemProviderAdapterFactories">
      <factory
            uri="arg"
            class="org.eclipse.opencert.sam.arg.arg.providers.ArgEEFAdapterFactory"
            supportedTypes="org.eclipse.emf.eef.runtime.providers.PropertiesEditingProvider"/>
   </extension>
   <extension
         point="org.eclipse.emf.eef.runtime.PropertiesEditionPartProvider">
      <PropertiesEditionPartProvider
            providerClass="org.eclipse.opencert.sam.arg.arg.providers.ArgPropertiesEditionPartProvider">
      </PropertiesEditionPartProvider>
   </extension>

  <!-- Tabbed properties views extension -->
   <extension
         point="org.eclipse.ui.views.properties.tabbed.propertyContributor">
      <propertyContributor
            contributorId="org.eclipse.opencert.sam.arg.arg.properties"
            labelProvider="org.eclipse.emf.eef.runtime.ui.utils.EEFLabelProvider">
         <propertyCategory
               category="default">
         </propertyCategory>
         <propertyCategory
               category="extended">
         </propertyCategory>
         <propertyCategory
               category="advanced">
         </propertyCategory>
      </propertyContributor>
   </extension>
   <extension
         point="org.eclipse.ui.views.properties.tabbed.propertyTabs">
      <propertyTabs
            contributorId="org.eclipse.opencert.sam.arg.arg.properties">
         <propertyTab
               id="Base"
               label="Base"
               category="default">
         </propertyTab>

      </propertyTabs>
   </extension>
   <extension
         point="org.eclipse.ui.views.properties.tabbed.propertySections">
      <propertySections
            contributorId="org.eclipse.opencert.sam.arg.arg.properties">
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.Case_PropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.Case_PropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.Case"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.AssuranceCasePropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.AssuranceCasePropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.AssuranceCase"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.ArgumentationPropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.ArgumentationPropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.Argumentation"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.InformationElementCitationPropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.InformationElementCitationPropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.InformationElementCitation"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.ArgumentElementCitationPropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.ArgumentElementCitationPropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.ArgumentElementCitation"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.ArgumentReasoningPropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.ArgumentReasoningPropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.ArgumentReasoning"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.ClaimPropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.ClaimPropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.Claim"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.ChoicePropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.ChoicePropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.Choice"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.AssertedInferencePropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.AssertedInferencePropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.AssertedInference"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.AssertedEvidencePropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.AssertedEvidencePropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.AssertedEvidence"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.AssertedContextPropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.AssertedContextPropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.AssertedContext"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.AssertedChallengePropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.AssertedChallengePropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.AssertedChallenge"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.AssertedCounterEvidencePropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.AssertedCounterEvidencePropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.AssertedCounterEvidence"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.AgreementPropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.AgreementPropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.Agreement"
               tab="Base">
         </propertySection>
      </propertySections>
   </extension>
   

   <extension
         point="org.eclipse.ui.views.properties.tabbed.propertyTabs">
      <propertyTabs
            contributorId="org.eclipse.opencert.sam.arg.diagram">
         <propertyTab
               id="Base"
               label="Base"
               category="domain">
         </propertyTab>

      </propertyTabs>
   </extension>
   <extension
         point="org.eclipse.ui.views.properties.tabbed.propertySections">
      <propertySections
            contributorId="org.eclipse.opencert.sam.arg.diagram">
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.Case_PropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.Case_PropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.Case"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.AssuranceCasePropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.AssuranceCasePropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.AssuranceCase"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.ArgumentationPropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.ArgumentationPropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.Argumentation"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.InformationElementCitationPropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.InformationElementCitationPropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.InformationElementCitation"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.ArgumentElementCitationPropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.ArgumentElementCitationPropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.ArgumentElementCitation"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.ArgumentReasoningPropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.ArgumentReasoningPropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.ArgumentReasoning"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.ClaimPropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.ClaimPropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.Claim"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.ChoicePropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.ChoicePropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.Choice"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.AssertedInferencePropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.AssertedInferencePropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.AssertedInference"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.AssertedEvidencePropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.AssertedEvidencePropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.AssertedEvidence"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.AssertedContextPropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.AssertedContextPropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.AssertedContext"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.AssertedChallengePropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.AssertedChallengePropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.AssertedChallenge"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.AssertedCounterEvidencePropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.AssertedCounterEvidencePropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.AssertedCounterEvidence"
               tab="Base">
         </propertySection>
         <propertySection
               class="org.eclipse.opencert.sam.arg.arg.parts.forms.AgreementPropertiesEditionPartForm"
               filter="org.eclipse.opencert.sam.arg.arg.providers.AgreementPropertiesEditionProvider$EditionFilter"
               id="org.eclipse.opencert.sam.arg.arg.section.Agreement"
               tab="Base">
         </propertySection>
      </propertySections>
   </extension>

</plugin>