| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.0"?> |
| |
| <plugin> |
| |
| <!-- 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> |
| </plugin> |