| import qvtocs : 'QVTOperationalCS.ecore#/' |
| import basecs : '/resource/org.eclipse.ocl.xtext.base/model/BaseCS.ecore#/' |
| import qvto : '/resource/org.eclipse.qvto.examples.pivot.qvtoperational/model/QVTOperational.ecore#/' |
| import ocl : '/resource/org.eclipse.ocl.pivot/model/Pivot.ecore#/' |
| --import '/resource/org.eclipse.ocl.xtext.base/model/BaseCS2AS.ocl' |
| import '/resource/org.eclipse.qvto.examples.pivot.qvtoperational/model/QVTOperationalCS2ASHelpers.ocl' -- Moved to the AS project |
| import '/resource/org.eclipse.qvto.examples.pivot.qvtoperational/model/QVTOperationalCS2ASLookup.ocl' -- Moved to the AS project |
| import 'QVTOperationalCS2ASDisambiguation.ocl' |
| package qvtocs |
| |
| /*context TopLevelCS |
| def : ast() : ocl::Model = |
| ocl::Model { |
| ownedPackages = let dummyPackage = ocl::Package{ |
| -- Part temporarily addded by hand |
| name = '', |
| ownedClasses = ownedTypes.ast().oclAsType(ocl::Class) -- FIXME |
| } |
| in dummyPackage->includingAll(ownedPackages.ast()) |
| } |
| context QVToClassCS |
| def : ast() : ocl::Class = |
| ocl::Class { |
| name = name, |
| ownedProperties = ownedProperties.ast().oclAsType(ocl::Property), |
| ownedOperations = ownedOperations.ast() |
| } |
| context MetamodelCS |
| def : ast() : ocl::Package = |
| ocl::Package { |
| name = name, |
| nsPrefix = name, |
| URI = name, |
| ownedClasses = ownedClasses.ast() |
| } |
| context ModelTypeCS |
| def : ast() : qvto::ModelType = |
| qvto::ModelType { |
| name = name |
| } |
| context ClassifierPropertyCS |
| def : ast() : ocl::Property = |
| ocl::Property { |
| name = name, |
| isComposite = qualifiers->exists(x | x = 'composite') |
| } |
| context MappingOperationCS |
| def : ast() : qvto::MappingOperation = |
| qvto::MappingOperation { |
| name = name, |
| ownedParameters = ownedParameters.ast() |
| } |
| context TransformationCS |
| def : ast() : qvto::OperationalTransformation = |
| qvto::OperationalTransformation { |
| name = name, |
| modelParameter = ownedParameters.ast().oclAsType(qvto::ModelParameter), |
| ownedOperations = ownedOperations.ast(), |
| isBlackbox = ownedQualifiers->exists(x | x = QualifierKindCS::blackbox), |
| isAbstract = ownedQualifiers->exists(x | x = QualifierKindCS::abstract) |
| } |
| context ParameterDeclarationCS |
| def : ast() : qvto::VarParameter = |
| if containedInModule() |
| then qvto::ModelParameter { |
| name = name, |
| type = ast().lookupModelType(self.ownedType.oclAsType(TypedTypeRef2CS).ownedPathName) |
| } |
| else |
| if notContainedInModule() |
| then qvto::VarParameter { |
| name = name |
| } |
| else |
| invalid |
| endif |
| endif |
| context QVToLibraryCS |
| def : ast() : qvto::Library = |
| qvto::Library { |
| name = name, |
| ownedOperations = ownedOperations.ast(), |
| usedModelType = ownedParameters->collect(x | ast().lookupModelType(x.ownedType.oclAsType(TypedTypeRef2CS).ownedPathName)), |
| isBlackbox = ownedQualifiers->exists(x | x = QualifierKindCS::blackbox) |
| } */ |
| endpackage |
