org.eclipse.opencert.sam.arg/model/arg.genmodel

<?xml version="1.0" encoding="UTF-8"?>
<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
    xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/org.eclipse.opencert.sam.arg/src" modelPluginID="org.eclipse.opencert.sam.arg"
    modelName="Arg" rootExtendsInterface="org.eclipse.emf.cdo.CDOObject" rootExtendsClass="org.eclipse.emf.internal.cdo.CDOObjectImpl"
    importerID="org.eclipse.emf.importer.cdo" featureDelegation="Dynamic" complianceLevel="6.0"
    copyrightFields="false" usedGenPackages="../../org.eclipse.opencert.apm.assuranceassets/model/assuranceasset.genmodel#//assuranceasset ../../org.eclipse.opencert.evm.evidspec/model/evidence.genmodel#//evidence ../../org.eclipse.opencert.infra.general/model/general.genmodel#//general ../../org.eclipse.opencert.infra.properties/model/property.genmodel#//property"
    operationReflection="true" importOrganizing="true">
  <foreignModel>arg.ecore</foreignModel>
  <modelPluginVariables>CDO=org.eclipse.emf.cdo</modelPluginVariables>
  <genPackages prefix="Arg" basePackage="org.eclipse.opencert.sam.arg" disposableProviderFactory="true"
      ecorePackage="arg.ecore#/">
    <genEnums typeSafeEnumCompatible="false" ecoreEnum="arg.ecore#//AssertedByMultiplicityExtension">
      <genEnumLiterals ecoreEnumLiteral="arg.ecore#//AssertedByMultiplicityExtension/Normal"/>
      <genEnumLiterals ecoreEnumLiteral="arg.ecore#//AssertedByMultiplicityExtension/Optional"/>
      <genEnumLiterals ecoreEnumLiteral="arg.ecore#//AssertedByMultiplicityExtension/Multi"/>
    </genEnums>
    <genEnums typeSafeEnumCompatible="false" ecoreEnum="arg.ecore#//InformationElementType">
      <genEnumLiterals ecoreEnumLiteral="arg.ecore#//InformationElementType/Justification"/>
      <genEnumLiterals ecoreEnumLiteral="arg.ecore#//InformationElementType/Context"/>
      <genEnumLiterals ecoreEnumLiteral="arg.ecore#//InformationElementType/Solution"/>
    </genEnums>
    <genEnums typeSafeEnumCompatible="false" ecoreEnum="arg.ecore#//CitationElementType">
      <genEnumLiterals ecoreEnumLiteral="arg.ecore#//CitationElementType/Claim"/>
      <genEnumLiterals ecoreEnumLiteral="arg.ecore#//CitationElementType/Context"/>
      <genEnumLiterals ecoreEnumLiteral="arg.ecore#//CitationElementType/Solution"/>
    </genEnums>
    <genClasses ecoreClass="arg.ecore#//Case">
      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference arg.ecore#//Case/argument"/>
      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference arg.ecore#//Case/argumentation"/>
      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference arg.ecore#//Case/agreement"/>
      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference arg.ecore#//Case/cited"/>
      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference arg.ecore#//Case/information"/>
    </genClasses>
    <genClasses image="false" ecoreClass="arg.ecore#//ModelElement">
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//ModelElement/id"/>
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//ModelElement/name"/>
    </genClasses>
    <genClasses ecoreClass="arg.ecore#//AssuranceCase">
      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference arg.ecore#//AssuranceCase/hasArgument"/>
      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference arg.ecore#//AssuranceCase/hasEvidence"/>
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//AssuranceCase/composedOf"/>
    </genClasses>
    <genClasses image="false" ecoreClass="arg.ecore#//ArgumentationElement">
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//ArgumentationElement/description"/>
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//ArgumentationElement/content"/>
    </genClasses>
    <genClasses ecoreClass="arg.ecore#//Argumentation">
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//Argumentation/location"/>
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//Argumentation/argumentation"/>
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//Argumentation/consistOf"/>
    </genClasses>
    <genClasses image="false" ecoreClass="arg.ecore#//ArgumentElement"/>
    <genClasses ecoreClass="arg.ecore#//InformationElementCitation">
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//InformationElementCitation/type"/>
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//InformationElementCitation/toBeInstantiated"/>
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//InformationElementCitation/url"/>
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//InformationElementCitation/artefact"/>
    </genClasses>
    <genClasses image="false" ecoreClass="arg.ecore#//ReasoningElement"/>
    <genClasses ecoreClass="arg.ecore#//ArgumentElementCitation">
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//ArgumentElementCitation/citedType"/>
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//ArgumentElementCitation/argumentationReference"/>
    </genClasses>
    <genClasses image="false" ecoreClass="arg.ecore#//Assertion"/>
    <genClasses ecoreClass="arg.ecore#//ArgumentReasoning">
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//ArgumentReasoning/toBeSupported"/>
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//ArgumentReasoning/toBeInstantiated"/>
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//ArgumentReasoning/hasStructure"/>
    </genClasses>
    <genClasses ecoreClass="arg.ecore#//Claim">
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//Claim/public"/>
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//Claim/assumed"/>
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//Claim/toBeSupported"/>
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//Claim/toBeInstantiated"/>
      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference arg.ecore#//Claim/choice"/>
    </genClasses>
    <genClasses image="false" ecoreClass="arg.ecore#//AssertedRelationship"/>
    <genClasses ecoreClass="arg.ecore#//Choice">
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//Choice/sourceMultiextension"/>
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//Choice/sourceCardinality"/>
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//Choice/optionality"/>
    </genClasses>
    <genClasses ecoreClass="arg.ecore#//AssertedInference">
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//AssertedInference/multiextension"/>
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//AssertedInference/cardinality"/>
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//AssertedInference/source"/>
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//AssertedInference/target"/>
    </genClasses>
    <genClasses ecoreClass="arg.ecore#//AssertedEvidence">
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//AssertedEvidence/multiextension"/>
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//AssertedEvidence/cardinality"/>
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//AssertedEvidence/source"/>
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//AssertedEvidence/target"/>
    </genClasses>
    <genClasses ecoreClass="arg.ecore#//AssertedContext">
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//AssertedContext/multiextension"/>
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute arg.ecore#//AssertedContext/cardinality"/>
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//AssertedContext/source"/>
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//AssertedContext/target"/>
    </genClasses>
    <genClasses ecoreClass="arg.ecore#//AssertedChallenge">
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//AssertedChallenge/source"/>
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//AssertedChallenge/target"/>
    </genClasses>
    <genClasses ecoreClass="arg.ecore#//AssertedCounterEvidence">
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//AssertedCounterEvidence/source"/>
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//AssertedCounterEvidence/target"/>
    </genClasses>
    <genClasses ecoreClass="arg.ecore#//Agreement">
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference arg.ecore#//Agreement/between"/>
    </genClasses>
  </genPackages>
</genmodel:GenModel>