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