| <?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.ocl.examples.xtext.tests/src" | |
| modelPluginID="org.eclipse.ocl.examples.xtext.tests" forceOverwrite="true" modelName="Company" | |
| nonNLSMarkers="true" importerID="org.eclipse.emf.importer.ecore" complianceLevel="5.0" | |
| copyrightFields="false" operationReflection="true"> | |
| <genAnnotations source="http://www.eclipse.org/OCL/GenModel"> | |
| <details key="Use Delegates" value="false"/> | |
| </genAnnotations> | |
| <foreignModel>Company.ecore</foreignModel> | |
| <genPackages prefix="Codegencompany" basePackage="codegen" disposableProviderFactory="true" | |
| ecorePackage="Company.ecore#/"> | |
| <genEnums typeSafeEnumCompatible="false" ecoreEnum="Company.ecore#//CompanySizeKind"> | |
| <genEnumLiterals ecoreEnumLiteral="Company.ecore#//CompanySizeKind/small"/> | |
| <genEnumLiterals ecoreEnumLiteral="Company.ecore#//CompanySizeKind/medium"/> | |
| <genEnumLiterals ecoreEnumLiteral="Company.ecore#//CompanySizeKind/large"/> | |
| </genEnums> | |
| <genClasses ecoreClass="Company.ecore#//Company"> | |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Company.ecore#//Company/name"/> | |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference Company.ecore#//Company/employees"/> | |
| <genFeatures property="Readonly" createChild="false" ecoreFeature="ecore:EAttribute Company.ecore#//Company/size"/> | |
| <genOperations ecoreOperation="Company.ecore#//Company/dummyInvariant"> | |
| <genParameters ecoreParameter="Company.ecore#//Company/dummyInvariant/diagnostics"/> | |
| <genParameters ecoreParameter="Company.ecore#//Company/dummyInvariant/context"/> | |
| </genOperations> | |
| </genClasses> | |
| <genClasses ecoreClass="Company.ecore#//Employee"> | |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute Company.ecore#//Employee/name"/> | |
| <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference Company.ecore#//Employee/manager"/> | |
| <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference Company.ecore#//Employee/company"/> | |
| <genFeatures property="Readonly" notify="false" createChild="false" ecoreFeature="ecore:EReference Company.ecore#//Employee/directReports"/> | |
| <genFeatures property="Readonly" notify="false" createChild="false" ecoreFeature="ecore:EReference Company.ecore#//Employee/allReports"/> | |
| <genFeatures property="Readonly" notify="false" createChild="false" ecoreFeature="ecore:EReference Company.ecore#//Employee/reportingChain"/> | |
| <genFeatures property="Readonly" createChild="false" ecoreFeature="ecore:EAttribute Company.ecore#//Employee/hasNameAsAttribute"/> | |
| <genOperations ecoreOperation="Company.ecore#//Employee/reportsTo"> | |
| <genParameters ecoreParameter="Company.ecore#//Employee/reportsTo/manager"/> | |
| </genOperations> | |
| <genOperations ecoreOperation="Company.ecore#//Employee/noManagerImpliesDirectReports"> | |
| <genParameters ecoreParameter="Company.ecore#//Employee/noManagerImpliesDirectReports/diagnostics"/> | |
| <genParameters ecoreParameter="Company.ecore#//Employee/noManagerImpliesDirectReports/context"/> | |
| </genOperations> | |
| <genOperations ecoreOperation="Company.ecore#//Employee/hasNameAsOperation"/> | |
| <genOperations ecoreOperation="Company.ecore#//Employee/invariant_mustHaveName"> | |
| <genParameters ecoreParameter="Company.ecore#//Employee/invariant_mustHaveName/diagnostics"/> | |
| <genParameters ecoreParameter="Company.ecore#//Employee/invariant_mustHaveName/context"/> | |
| </genOperations> | |
| <genOperations ecoreOperation="Company.ecore#//Employee/invariant_mustHaveNonEmptyName"> | |
| <genParameters ecoreParameter="Company.ecore#//Employee/invariant_mustHaveNonEmptyName/diagnostics"/> | |
| <genParameters ecoreParameter="Company.ecore#//Employee/invariant_mustHaveNonEmptyName/context"/> | |
| </genOperations> | |
| </genClasses> | |
| </genPackages> | |
| </genmodel:GenModel> |