| <?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" copyrightText="<copyright>

Copyright (c) 2013, 2018 Willink Transformations and others.
All rights reserved. This program and the accompanying materials
are made available under the terms of the Eclipse Public License v2.0
which accompanies this distribution, and is available at
http://www.eclipse.org/legal/epl-v20.html

Contributors:
 E.D.Willink - Initial API and implementation

</copyright>" |
| modelDirectory="/org.eclipse.qvtd.pivot.qvtcore/emf-gen" modelPluginID="org.eclipse.qvtd.pivot.qvtcore" |
| templateDirectory="/org.eclipse.ocl.examples.codegen/templates" modelName="QVTcore" |
| importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false" |
| runtimeVersion="2.7" usedGenPackages="../../org.eclipse.ocl.pivot/model/Pivot.genmodel#//pivot ../../org.eclipse.qvtd.pivot.qvtbase/model/QVTbase.genmodel#//qvtbase" |
| operationReflection="true"> |
| <genAnnotations source="http://www.eclipse.org/OCL/GenModel"> |
| <details key="Use Delegates" value="false"/> |
| <details key="Use Null Annotations" value="true"/> |
| </genAnnotations> |
| <genAnnotations source="http://www.eclipse.org/OCL/GenModel/Visitor"> |
| <details key="Root Visitor Class" value="org.eclipse.ocl.pivot.util.Visitor"/> |
| <details key="Derived Visitor Class" value="org.eclipse.qvtd.pivot.qvtcore.util.QVTcoreVisitor"/> |
| </genAnnotations> |
| <foreignModel>QVTcore.ecore</foreignModel> |
| <genPackages prefix="QVTcore" basePackage="org.eclipse.qvtd.pivot" disposableProviderFactory="true" |
| contentTypeIdentifier="org.eclipse.qvtd.qvtcore" fileExtensions="qvtcas" ecorePackage="QVTcore.ecore#P-qvtcore"> |
| <genEnums typeSafeEnumCompatible="false" ecoreEnum="QVTcore.ecore#T-qvtcore-EnforcementMode"> |
| <genEnumLiterals ecoreEnumLiteral="QVTcore.ecore#L-qvtcore-EnforcementMode-Creation"/> |
| <genEnumLiterals ecoreEnumLiteral="QVTcore.ecore#L-qvtcore-EnforcementMode-Deletion"/> |
| </genEnums> |
| <genClasses image="false" ecoreClass="QVTcore.ecore#T-qvtcore-Area"> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-Area-guardPattern"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-Area-bottomPattern"/> |
| </genClasses> |
| <genClasses image="false" ecoreClass="QVTcore.ecore#T-qvtcore-Assignment"> |
| <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-Assignment-bottomPattern"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-Assignment-value"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute QVTcore.ecore#F-qvtcore-Assignment-isDefault"/> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute QVTcore.ecore#F-qvtcore-Assignment-isPartial"/> |
| </genClasses> |
| <genClasses ecoreClass="QVTcore.ecore#T-qvtcore-BottomPattern"> |
| <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-BottomPattern-area"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-BottomPattern-assignment"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-BottomPattern-enforcementOperation"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-BottomPattern-realizedVariable"/> |
| <genOperations ecoreOperation="QVTcore.ecore#//BottomPattern/validateVariablesAreBottomVariables"> |
| <genParameters ecoreParameter="QVTcore.ecore#//BottomPattern/validateVariablesAreBottomVariables/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//BottomPattern/validateVariablesAreBottomVariables/context"/> |
| </genOperations> |
| </genClasses> |
| <genClasses ecoreClass="QVTcore.ecore#T-qvtcore-BottomVariable"> |
| <genOperations ecoreOperation="QVTcore.ecore#//BottomVariable/validateCompatibleTypeForInitializer"> |
| <genParameters ecoreParameter="QVTcore.ecore#//BottomVariable/validateCompatibleTypeForInitializer/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//BottomVariable/validateCompatibleTypeForInitializer/context"/> |
| </genOperations> |
| </genClasses> |
| <genClasses ecoreClass="QVTcore.ecore#T-qvtcore-CoreDomain"/> |
| <genClasses ecoreClass="QVTcore.ecore#T-qvtcore-CoreModel"/> |
| <genClasses ecoreClass="QVTcore.ecore#T-qvtcore-CorePattern"> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-CorePattern-variable"/> |
| <genOperations ecoreOperation="QVTcore.ecore#//CorePattern/getArea"/> |
| </genClasses> |
| <genClasses ecoreClass="QVTcore.ecore#T-qvtcore-EnforcementOperation"> |
| <genFeatures createChild="false" ecoreFeature="ecore:EAttribute QVTcore.ecore#F-qvtcore-EnforcementOperation-enforcementMode"/> |
| <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-EnforcementOperation-bottomPattern"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-EnforcementOperation-operationCallExp"/> |
| </genClasses> |
| <genClasses ecoreClass="QVTcore.ecore#T-qvtcore-GuardPattern"> |
| <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-GuardPattern-area"/> |
| <genOperations ecoreOperation="QVTcore.ecore#//GuardPattern/validateVariablesAreGuardVariables"> |
| <genParameters ecoreParameter="QVTcore.ecore#//GuardPattern/validateVariablesAreGuardVariables/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//GuardPattern/validateVariablesAreGuardVariables/context"/> |
| </genOperations> |
| </genClasses> |
| <genClasses ecoreClass="QVTcore.ecore#T-qvtcore-GuardVariable"> |
| <genOperations ecoreOperation="QVTcore.ecore#//GuardVariable/validateNoInitializer"> |
| <genParameters ecoreParameter="QVTcore.ecore#//GuardVariable/validateNoInitializer/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//GuardVariable/validateNoInitializer/context"/> |
| </genOperations> |
| </genClasses> |
| <genClasses ecoreClass="QVTcore.ecore#T-qvtcore-Mapping"> |
| <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-Mapping-context"/> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-Mapping-local"/> |
| <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-Mapping-refinement"/> |
| <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-Mapping-specification"/> |
| <genOperations ecoreOperation="QVTcore.ecore#//Mapping/validateDomainsAreCoreDomains"> |
| <genParameters ecoreParameter="QVTcore.ecore#//Mapping/validateDomainsAreCoreDomains/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//Mapping/validateDomainsAreCoreDomains/context"/> |
| </genOperations> |
| <genOperations ecoreOperation="QVTcore.ecore#//Mapping/validateNestedNameIsNull"> |
| <genParameters ecoreParameter="QVTcore.ecore#//Mapping/validateNestedNameIsNull/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//Mapping/validateNestedNameIsNull/context"/> |
| </genOperations> |
| <genOperations ecoreOperation="QVTcore.ecore#//Mapping/validateRootNameIsNotNull"> |
| <genParameters ecoreParameter="QVTcore.ecore#//Mapping/validateRootNameIsNotNull/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//Mapping/validateRootNameIsNotNull/context"/> |
| </genOperations> |
| </genClasses> |
| <genClasses image="false" ecoreClass="QVTcore.ecore#T-qvtcore-NavigationAssignment"> |
| <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-NavigationAssignment-slotExpression"/> |
| </genClasses> |
| <genClasses ecoreClass="QVTcore.ecore#T-qvtcore-OppositePropertyAssignment"> |
| <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-OppositePropertyAssignment-targetProperty"/> |
| <genOperations ecoreOperation="QVTcore.ecore#//OppositePropertyAssignment/getReferredTargetProperty"/> |
| <genOperations ecoreOperation="QVTcore.ecore#//OppositePropertyAssignment/validateCompatibleTypeForPartialValue"> |
| <genParameters ecoreParameter="QVTcore.ecore#//OppositePropertyAssignment/validateCompatibleTypeForPartialValue/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//OppositePropertyAssignment/validateCompatibleTypeForPartialValue/context"/> |
| </genOperations> |
| <genOperations ecoreOperation="QVTcore.ecore#//OppositePropertyAssignment/validateCompatibleTypeForTotalValue"> |
| <genParameters ecoreParameter="QVTcore.ecore#//OppositePropertyAssignment/validateCompatibleTypeForTotalValue/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//OppositePropertyAssignment/validateCompatibleTypeForTotalValue/context"/> |
| </genOperations> |
| <genOperations ecoreOperation="QVTcore.ecore#//OppositePropertyAssignment/validateOppositePropertyIsImplicit"> |
| <genParameters ecoreParameter="QVTcore.ecore#//OppositePropertyAssignment/validateOppositePropertyIsImplicit/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//OppositePropertyAssignment/validateOppositePropertyIsImplicit/context"/> |
| </genOperations> |
| <genOperations ecoreOperation="QVTcore.ecore#//OppositePropertyAssignment/validateTargetPropetyIsSlotProperty"> |
| <genParameters ecoreParameter="QVTcore.ecore#//OppositePropertyAssignment/validateTargetPropetyIsSlotProperty/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//OppositePropertyAssignment/validateTargetPropetyIsSlotProperty/context"/> |
| </genOperations> |
| </genClasses> |
| <genClasses ecoreClass="QVTcore.ecore#T-qvtcore-PropertyAssignment"> |
| <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-PropertyAssignment-targetProperty"/> |
| <genOperations ecoreOperation="QVTcore.ecore#//PropertyAssignment/getReferredTargetProperty"/> |
| <genOperations ecoreOperation="QVTcore.ecore#//PropertyAssignment/validateCompatibleTypeForPartialValue"> |
| <genParameters ecoreParameter="QVTcore.ecore#//PropertyAssignment/validateCompatibleTypeForPartialValue/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//PropertyAssignment/validateCompatibleTypeForPartialValue/context"/> |
| </genOperations> |
| <genOperations ecoreOperation="QVTcore.ecore#//PropertyAssignment/validateCompatibleTypeForTotalValue"> |
| <genParameters ecoreParameter="QVTcore.ecore#//PropertyAssignment/validateCompatibleTypeForTotalValue/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//PropertyAssignment/validateCompatibleTypeForTotalValue/context"/> |
| </genOperations> |
| <genOperations ecoreOperation="QVTcore.ecore#//PropertyAssignment/validatePropertyIsNotImplicit"> |
| <genParameters ecoreParameter="QVTcore.ecore#//PropertyAssignment/validatePropertyIsNotImplicit/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//PropertyAssignment/validatePropertyIsNotImplicit/context"/> |
| </genOperations> |
| <genOperations ecoreOperation="QVTcore.ecore#//PropertyAssignment/validateTargetPropertyIsSlotProperty"> |
| <genParameters ecoreParameter="QVTcore.ecore#//PropertyAssignment/validateTargetPropertyIsSlotProperty/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//PropertyAssignment/validateTargetPropertyIsSlotProperty/context"/> |
| </genOperations> |
| </genClasses> |
| <genClasses ecoreClass="QVTcore.ecore#T-qvtcore-RealizedVariable"> |
| <genOperations ecoreOperation="QVTcore.ecore#//RealizedVariable/validateNonDataTypeForType"> |
| <genParameters ecoreParameter="QVTcore.ecore#//RealizedVariable/validateNonDataTypeForType/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//RealizedVariable/validateNonDataTypeForType/context"/> |
| </genOperations> |
| </genClasses> |
| <genClasses ecoreClass="QVTcore.ecore#T-qvtcore-VariableAssignment"> |
| <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference QVTcore.ecore#F-qvtcore-VariableAssignment-targetVariable"/> |
| <genOperations ecoreOperation="QVTcore.ecore#//VariableAssignment/validateCompatibleTypeForValue"> |
| <genParameters ecoreParameter="QVTcore.ecore#//VariableAssignment/validateCompatibleTypeForValue/diagnostics"/> |
| <genParameters ecoreParameter="QVTcore.ecore#//VariableAssignment/validateCompatibleTypeForValue/context"/> |
| </genOperations> |
| </genClasses> |
| </genPackages> |
| </genmodel:GenModel> |
