| import cs : '../SimpleClasses/ClassesCS.ecore#/' |
| import as : '../SimpleClasses/Classes.ecore#/' |
| import 'classescs2asV2Helpers.ocl' |
| import 'classescs2asV2Lookup.ocl' |
| import 'classescs2asV2Disambiguation.ocl' |
| package cs |
| |
| context RootCS |
| def : ast() : as::Root = |
| as::Root { |
| ownedPackages = ownedPackages.ast()->asOrderedSet() |
| } |
| context PackageCS |
| def : ast() : as::Package = |
| as::Package { |
| name = name, |
| ownedClasses = ownedClasses.ast()->asOrderedSet(), |
| ownedPackages = ownedPackages.ast()->asOrderedSet() |
| } |
| context ClassCS |
| def : ast() : as::Class = |
| as::Class { |
| name = name, |
| ownedOperations = operations.ast()->asOrderedSet(), |
| ownedProperties = properties.ast()->asOrderedSet(), |
| superClass = if _extends = null then null else ast().lookupClass(_extends) endif |
| } |
| context PropertyCS |
| def : ast() : as::Property = |
| as::Property { |
| name = name, |
| type = ast().lookupClass(typeRef) |
| } |
| context OperationCS |
| def : ast() : as::Operation = |
| as::Operation { |
| name = name, |
| type = ast().lookupClass(resultRef), |
| ownedParameters = params->collect(x | classes::Parameter{ |
| name = x |
| })->asOrderedSet(), |
| ownedExpressions = bodyExps.ast()->asOrderedSet() |
| } |
| context NameExpCS |
| def : ast() : as::CallExp = |
| if isOpCallExp() |
| then as::OperationCallExp { |
| ownedCallExp = ownedNameExp?.ast(), |
| ownedArguments = roundedBrackets.args.ast()->asOrderedSet(), |
| referredOperation = if oclContainer().oclIsKindOf(NameExpCS) then ast().lookupOperationFrom(ast().owningSource.type, name, ast().oclAsType(as::OperationCallExp).ownedArguments) else ast().lookupOperation(name, ast().oclAsType(as::OperationCallExp).ownedArguments) endif, |
| type = ast().oclAsType(as::OperationCallExp).referredOperation?.type |
| } |
| else |
| if isPropCallExp() |
| then as::PropertyCallExp { |
| ownedCallExp = ownedNameExp?.ast(), |
| referredProperty = if oclContainer().oclIsKindOf(NameExpCS) then ast().lookupPropertyFrom(ast().owningSource.type, name) else ast().lookupProperty(name) endif, |
| type = ast().oclAsType(as::PropertyCallExp).referredProperty?.type |
| } |
| else |
| invalid |
| endif |
| endif |
| context ArgumentCS |
| def : ast() : as::Argument = |
| as::Argument { |
| name = name |
| } |
| endpackage |
