| <?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.agree/src-gen" editDirectory="/org.eclipse.opencert.sam.agree.edit/src" |
| editorDirectory="/org.eclipse.opencert.sam.agree.editor/src" modelPluginID="org.eclipse.opencert.sam.agree" |
| forceOverwrite="true" modelName="Agreement" updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" |
| complianceLevel="5.0" copyrightFields="false" editPluginID="org.eclipse.opencert.sam.agree.edit" |
| editorPluginID="org.eclipse.opencert.sam.agree.editor" runtimeVersion="2.9"> |
| <genPackages prefix="Agreement" basePackage="org.eclipse.opencert.sam.agree" disposableProviderFactory="true" |
| fileExtensions="agree" ecorePackage="Agreement.ecore#/"> |
| <genEnums typeSafeEnumCompatible="false" ecoreEnum="Agreement.ecore#//viewId"> |
| <genEnumLiterals ecoreEnumLiteral="Agreement.ecore#//viewId/inst"/> |
| <genEnumLiterals ecoreEnumLiteral="Agreement.ecore#//viewId/saf"/> |
| <genEnumLiterals ecoreEnumLiteral="Agreement.ecore#//viewId/func"/> |
| <genEnumLiterals ecoreEnumLiteral="Agreement.ecore#//viewId/per"/> |
| <genEnumLiterals ecoreEnumLiteral="Agreement.ecore#//viewId/tim"/> |
| </genEnums> |
| <genClasses ecoreClass="Agreement.ecore#//Model"> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Agreement.ecore#//Model/contracts"/> |
| </genClasses> |
| <genClasses ecoreClass="Agreement.ecore#//Contract"> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//Contract/name"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//Contract/mod"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//Contract/code"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Agreement.ecore#//Contract/assertion"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Agreement.ecore#//Contract/guarantee"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Agreement.ecore#//Contract/strategy"/> |
| </genClasses> |
| <genClasses ecoreClass="Agreement.ecore#//assertionDefinition"> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Agreement.ecore#//assertionDefinition/assertion"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Agreement.ecore#//assertionDefinition/p"/> |
| </genClasses> |
| <genClasses ecoreClass="Agreement.ecore#//strategyDefinition"> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//strategyDefinition/strategy"/> |
| </genClasses> |
| <genClasses ecoreClass="Agreement.ecore#//viewpointId"> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//viewpointId/view"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//viewpointId/view1"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//viewpointId/view3"/> |
| </genClasses> |
| <genClasses ecoreClass="Agreement.ecore#//assertionpattern"> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Agreement.ecore#//assertionpattern/assertionpattern"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Agreement.ecore#//assertionpattern/v"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Agreement.ecore#//assertionpattern/f"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Agreement.ecore#//assertionpattern/view"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Agreement.ecore#//assertionpattern/pattern"/> |
| </genClasses> |
| <genClasses ecoreClass="Agreement.ecore#//Noun"> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//Noun/noun"/> |
| </genClasses> |
| <genClasses ecoreClass="Agreement.ecore#//Verb"> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//Verb/verb"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Agreement.ecore#//Verb/v"/> |
| </genClasses> |
| <genClasses ecoreClass="Agreement.ecore#//simple"> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//simple/verb"/> |
| </genClasses> |
| <genClasses ecoreClass="Agreement.ecore#//Fact"> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//Fact/fact"/> |
| </genClasses> |
| <genClasses ecoreClass="Agreement.ecore#//Pattern"> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Agreement.ecore#//Pattern/premise"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//Pattern/Event"/> |
| </genClasses> |
| <genClasses ecoreClass="Agreement.ecore#//nonfunctional"> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Agreement.ecore#//nonfunctional/nonfunctional"/> |
| </genClasses> |
| <genClasses ecoreClass="Agreement.ecore#//memory"> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//memory/memory"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//memory/par"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//memory/def"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//memory/range"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//memory/type"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//memory/part"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//memory/constrain"/> |
| </genClasses> |
| <genClasses ecoreClass="Agreement.ecore#//timming"> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//timming/time"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//timming/value"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//timming/unit"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//timming/method"/> |
| </genClasses> |
| <genClasses ecoreClass="Agreement.ecore#//behave"> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Agreement.ecore#//behave/behave"/> |
| </genClasses> |
| </genPackages> |
| </genmodel:GenModel> |