sccd_metamodel.py 167 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896
  1. # -*- coding: utf-8 -*-
  2. from mvk.impl.python.constants import CreateConstants, UpdateConstants
  3. from mvk.impl.python.datatype import TypeFactory, Type, IntegerType, StringType, \
  4. BooleanType, FloatType
  5. from mvk.impl.python.datavalue import MappingValue, \
  6. LocationValue, StringValue, FloatValue, \
  7. IntegerValue, BooleanValue, InfiniteValue, Iterator
  8. from mvk.impl.python.object import ClabjectReference, Clabject
  9. from mvk.mvk import MvK
  10. class Gen():
  11. def __init__(self):
  12. self.mvk = MvK()
  13. def instance(self):
  14. cl = self.mvk.create(MappingValue({
  15. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams'),
  16. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms'),
  17. CreateConstants.ATTRS_KEY: MappingValue({
  18. StringValue('SimpleClassDiagrams.name'): StringValue('SCCD')})
  19. }))
  20. cl = self.mvk.create(MappingValue({
  21. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  22. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  23. CreateConstants.ATTRS_KEY: MappingValue({
  24. StringValue('Attribute.name'): StringValue('author'),
  25. StringValue('Attribute.type'): StringType()})
  26. }))
  27. cl = self.mvk.create(MappingValue({
  28. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  29. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  30. CreateConstants.ATTRS_KEY: MappingValue({
  31. StringValue('Attribute.name'): StringValue('description'),
  32. StringValue('Attribute.type'): StringType()})
  33. }))
  34. cl = self.mvk.create(MappingValue({
  35. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  36. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  37. CreateConstants.ATTRS_KEY: MappingValue({
  38. StringValue('Attribute.name'): StringValue('name'),
  39. StringValue('Attribute.type'): StringType(),
  40. StringValue('Attribute.default'): StringValue('')})
  41. }))
  42. cl = self.mvk.create(MappingValue({
  43. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  44. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  45. CreateConstants.ATTRS_KEY: MappingValue({
  46. StringValue('Class.is_abstract'): BooleanValue(False),
  47. StringValue('Class.name'): StringValue('MethodCallStm')})
  48. }))
  49. cl = self.mvk.create(MappingValue({
  50. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  51. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  52. CreateConstants.ATTRS_KEY: MappingValue({
  53. StringValue('Class.is_abstract'): BooleanValue(False),
  54. StringValue('Class.name'): StringValue('Not')})
  55. }))
  56. cl = self.mvk.create(MappingValue({
  57. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  58. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  59. CreateConstants.ATTRS_KEY: MappingValue({
  60. StringValue('Class.is_abstract'): BooleanValue(False),
  61. StringValue('Class.name'): StringValue('Mod')})
  62. }))
  63. cl = self.mvk.create(MappingValue({
  64. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  65. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  66. CreateConstants.ATTRS_KEY: MappingValue({
  67. StringValue('Class.is_abstract'): BooleanValue(False),
  68. StringValue('Class.name'): StringValue('While')})
  69. }))
  70. cl = self.mvk.create(MappingValue({
  71. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  72. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  73. CreateConstants.ATTRS_KEY: MappingValue({
  74. StringValue('Class.is_abstract'): BooleanValue(False),
  75. StringValue('Class.name'): StringValue('GEThan')})
  76. }))
  77. cl = self.mvk.create(MappingValue({
  78. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  79. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  80. CreateConstants.ATTRS_KEY: MappingValue({
  81. StringValue('Class.is_abstract'): BooleanValue(False),
  82. StringValue('Class.name'): StringValue('Inheritance')})
  83. }))
  84. cl = self.mvk.create(MappingValue({
  85. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  86. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Inheritance'),
  87. CreateConstants.ATTRS_KEY: MappingValue({
  88. StringValue('Attribute.name'): StringValue('priority'),
  89. StringValue('Attribute.type'): IntegerType()})
  90. }))
  91. cl = self.mvk.create(MappingValue({
  92. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  93. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  94. CreateConstants.ATTRS_KEY: MappingValue({
  95. StringValue('Class.is_abstract'): BooleanValue(False),
  96. StringValue('Class.name'): StringValue('State')})
  97. }))
  98. cl = self.mvk.create(MappingValue({
  99. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  100. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  101. CreateConstants.ATTRS_KEY: MappingValue({
  102. StringValue('Class.is_abstract'): BooleanValue(False),
  103. StringValue('Class.name'): StringValue('DictArgument')})
  104. }))
  105. cl = self.mvk.create(MappingValue({
  106. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  107. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  108. CreateConstants.ATTRS_KEY: MappingValue({
  109. StringValue('Class.is_abstract'): BooleanValue(True),
  110. StringValue('Class.name'): StringValue('AbsMethod')})
  111. }))
  112. cl = self.mvk.create(MappingValue({
  113. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  114. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  115. CreateConstants.ATTRS_KEY: MappingValue({
  116. StringValue('Class.is_abstract'): BooleanValue(False),
  117. StringValue('Class.name'): StringValue('Target')})
  118. }))
  119. cl = self.mvk.create(MappingValue({
  120. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  121. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  122. CreateConstants.ATTRS_KEY: MappingValue({
  123. StringValue('Class.is_abstract'): BooleanValue(False),
  124. StringValue('Class.name'): StringValue('ActionBlock')})
  125. }))
  126. cl = self.mvk.create(MappingValue({
  127. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  128. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  129. CreateConstants.ATTRS_KEY: MappingValue({
  130. StringValue('Class.is_abstract'): BooleanValue(False),
  131. StringValue('Class.name'): StringValue('Selection')})
  132. }))
  133. cl = self.mvk.create(MappingValue({
  134. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  135. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  136. CreateConstants.ATTRS_KEY: MappingValue({
  137. StringValue('Class.is_abstract'): BooleanValue(True),
  138. StringValue('Class.name'): StringValue('AtomValue')})
  139. }))
  140. cl = self.mvk.create(MappingValue({
  141. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  142. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  143. CreateConstants.ATTRS_KEY: MappingValue({
  144. StringValue('Class.is_abstract'): BooleanValue(False),
  145. StringValue('Class.name'): StringValue('Top')})
  146. }))
  147. cl = self.mvk.create(MappingValue({
  148. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  149. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  150. CreateConstants.ATTRS_KEY: MappingValue({
  151. StringValue('Class.is_abstract'): BooleanValue(False),
  152. StringValue('Class.name'): StringValue('Parenthesis')})
  153. }))
  154. cl = self.mvk.create(MappingValue({
  155. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  156. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  157. CreateConstants.ATTRS_KEY: MappingValue({
  158. StringValue('Class.is_abstract'): BooleanValue(False),
  159. StringValue('Class.name'): StringValue('Import')})
  160. }))
  161. cl = self.mvk.create(MappingValue({
  162. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  163. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Import'),
  164. CreateConstants.ATTRS_KEY: MappingValue({
  165. StringValue('Attribute.name'): StringValue('as'),
  166. StringValue('Attribute.type'): StringType()})
  167. }))
  168. cl = self.mvk.create(MappingValue({
  169. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  170. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Import'),
  171. CreateConstants.ATTRS_KEY: MappingValue({
  172. StringValue('Attribute.name'): StringValue('from'),
  173. StringValue('Attribute.type'): StringType()})
  174. }))
  175. cl = self.mvk.create(MappingValue({
  176. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  177. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Import'),
  178. CreateConstants.ATTRS_KEY: MappingValue({
  179. StringValue('Attribute.name'): StringValue('location'),
  180. StringValue('Attribute.type'): StringType()})
  181. }))
  182. cl = self.mvk.create(MappingValue({
  183. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  184. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  185. CreateConstants.ATTRS_KEY: MappingValue({
  186. StringValue('Class.is_abstract'): BooleanValue(False),
  187. StringValue('Class.name'): StringValue('Method')})
  188. }))
  189. cl = self.mvk.create(MappingValue({
  190. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  191. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Method'),
  192. CreateConstants.ATTRS_KEY: MappingValue({
  193. StringValue('Attribute.name'): StringValue('returnType'),
  194. StringValue('Attribute.type'): StringType()})
  195. }))
  196. cl = self.mvk.create(MappingValue({
  197. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  198. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Method'),
  199. CreateConstants.ATTRS_KEY: MappingValue({
  200. StringValue('Attribute.name'): StringValue('name'),
  201. StringValue('Attribute.type'): StringType()})
  202. }))
  203. cl = self.mvk.create(MappingValue({
  204. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  205. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  206. CreateConstants.ATTRS_KEY: MappingValue({
  207. StringValue('Class.is_abstract'): BooleanValue(False),
  208. StringValue('Class.name'): StringValue('StateMachine')})
  209. }))
  210. cl = self.mvk.create(MappingValue({
  211. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  212. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  213. CreateConstants.ATTRS_KEY: MappingValue({
  214. StringValue('Class.is_abstract'): BooleanValue(False),
  215. StringValue('Class.name'): StringValue('Declaration')})
  216. }))
  217. cl = self.mvk.create(MappingValue({
  218. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  219. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Declaration'),
  220. CreateConstants.ATTRS_KEY: MappingValue({
  221. StringValue('Attribute.name'): StringValue('name'),
  222. StringValue('Attribute.type'): StringType()})
  223. }))
  224. cl = self.mvk.create(MappingValue({
  225. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  226. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  227. CreateConstants.ATTRS_KEY: MappingValue({
  228. StringValue('Class.is_abstract'): BooleanValue(False),
  229. StringValue('Class.name'): StringValue('Composition')})
  230. }))
  231. cl = self.mvk.create(MappingValue({
  232. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  233. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  234. CreateConstants.ATTRS_KEY: MappingValue({
  235. StringValue('Class.is_abstract'): BooleanValue(False),
  236. StringValue('Class.name'): StringValue('OrthogonalComponent')})
  237. }))
  238. cl = self.mvk.create(MappingValue({
  239. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  240. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  241. CreateConstants.ATTRS_KEY: MappingValue({
  242. StringValue('Class.is_abstract'): BooleanValue(True),
  243. StringValue('Class.name'): StringValue('Expression')})
  244. }))
  245. cl = self.mvk.create(MappingValue({
  246. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  247. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  248. CreateConstants.ATTRS_KEY: MappingValue({
  249. StringValue('Class.is_abstract'): BooleanValue(False),
  250. StringValue('Class.name'): StringValue('DotExpression')})
  251. }))
  252. cl = self.mvk.create(MappingValue({
  253. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  254. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.DotExpression'),
  255. CreateConstants.ATTRS_KEY: MappingValue({
  256. StringValue('Attribute.name'): StringValue('path'),
  257. StringValue('Attribute.type'): StringType()})
  258. }))
  259. cl = self.mvk.create(MappingValue({
  260. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  261. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  262. CreateConstants.ATTRS_KEY: MappingValue({
  263. StringValue('Class.is_abstract'): BooleanValue(False),
  264. StringValue('Class.name'): StringValue('And')})
  265. }))
  266. cl = self.mvk.create(MappingValue({
  267. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  268. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  269. CreateConstants.ATTRS_KEY: MappingValue({
  270. StringValue('Class.is_abstract'): BooleanValue(False),
  271. StringValue('Class.name'): StringValue('Dict')})
  272. }))
  273. cl = self.mvk.create(MappingValue({
  274. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  275. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  276. CreateConstants.ATTRS_KEY: MappingValue({
  277. StringValue('Class.is_abstract'): BooleanValue(True),
  278. StringValue('Class.name'): StringValue('AbsState')})
  279. }))
  280. cl = self.mvk.create(MappingValue({
  281. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  282. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.AbsState'),
  283. CreateConstants.ATTRS_KEY: MappingValue({
  284. StringValue('Attribute.name'): StringValue('name'),
  285. StringValue('Attribute.type'): StringType()})
  286. }))
  287. cl = self.mvk.create(MappingValue({
  288. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  289. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  290. CreateConstants.ATTRS_KEY: MappingValue({
  291. StringValue('Class.is_abstract'): BooleanValue(False),
  292. StringValue('Class.name'): StringValue('IfElse')})
  293. }))
  294. cl = self.mvk.create(MappingValue({
  295. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  296. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  297. CreateConstants.ATTRS_KEY: MappingValue({
  298. StringValue('Class.is_abstract'): BooleanValue(True),
  299. StringValue('Class.name'): StringValue('AbsNavigationExpression')})
  300. }))
  301. cl = self.mvk.create(MappingValue({
  302. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  303. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  304. CreateConstants.ATTRS_KEY: MappingValue({
  305. StringValue('Class.is_abstract'): BooleanValue(True),
  306. StringValue('Class.name'): StringValue('AbsMethodCall')})
  307. }))
  308. cl = self.mvk.create(MappingValue({
  309. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  310. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.AbsMethodCall'),
  311. CreateConstants.ATTRS_KEY: MappingValue({
  312. StringValue('Attribute.name'): StringValue('name'),
  313. StringValue('Attribute.type'): StringType()})
  314. }))
  315. cl = self.mvk.create(MappingValue({
  316. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  317. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  318. CreateConstants.ATTRS_KEY: MappingValue({
  319. StringValue('Class.is_abstract'): BooleanValue(False),
  320. StringValue('Class.name'): StringValue('Continue')})
  321. }))
  322. cl = self.mvk.create(MappingValue({
  323. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  324. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  325. CreateConstants.ATTRS_KEY: MappingValue({
  326. StringValue('Class.is_abstract'): BooleanValue(False),
  327. StringValue('Class.name'): StringValue('Return')})
  328. }))
  329. cl = self.mvk.create(MappingValue({
  330. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  331. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  332. CreateConstants.ATTRS_KEY: MappingValue({
  333. StringValue('Class.is_abstract'): BooleanValue(True),
  334. StringValue('Class.name'): StringValue('ID'),
  335. StringValue('Class.id_field'): StringValue('ID.id')})
  336. }))
  337. cl = self.mvk.create(MappingValue({
  338. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  339. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.ID'),
  340. CreateConstants.ATTRS_KEY: MappingValue({
  341. StringValue('Attribute.name'): StringValue('id'),
  342. StringValue('Attribute.type'): StringType()})
  343. }))
  344. cl = self.mvk.create(MappingValue({
  345. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  346. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  347. CreateConstants.ATTRS_KEY: MappingValue({
  348. StringValue('Class.is_abstract'): BooleanValue(True),
  349. StringValue('Class.name'): StringValue('Named'),
  350. StringValue('Class.id_field'): StringValue('Named.name')})
  351. }))
  352. cl = self.mvk.create(MappingValue({
  353. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  354. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Named'),
  355. CreateConstants.ATTRS_KEY: MappingValue({
  356. StringValue('Attribute.name'): StringValue('name'),
  357. StringValue('Attribute.type'): StringType()})
  358. }))
  359. cl = self.mvk.create(MappingValue({
  360. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  361. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  362. CreateConstants.ATTRS_KEY: MappingValue({
  363. StringValue('Class.is_abstract'): BooleanValue(False),
  364. StringValue('Class.name'): StringValue('Guard')})
  365. }))
  366. cl = self.mvk.create(MappingValue({
  367. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  368. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  369. CreateConstants.ATTRS_KEY: MappingValue({
  370. StringValue('Class.is_abstract'): BooleanValue(False),
  371. StringValue('Class.name'): StringValue('Raise')})
  372. }))
  373. cl = self.mvk.create(MappingValue({
  374. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  375. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  376. CreateConstants.ATTRS_KEY: MappingValue({
  377. StringValue('Class.is_abstract'): BooleanValue(False),
  378. StringValue('Class.name'): StringValue('Bottom')})
  379. }))
  380. cl = self.mvk.create(MappingValue({
  381. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  382. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  383. CreateConstants.ATTRS_KEY: MappingValue({
  384. StringValue('Class.is_abstract'): BooleanValue(True),
  385. StringValue('Class.name'): StringValue('Statement')})
  386. }))
  387. cl = self.mvk.create(MappingValue({
  388. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  389. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  390. CreateConstants.ATTRS_KEY: MappingValue({
  391. StringValue('Class.is_abstract'): BooleanValue(False),
  392. StringValue('Class.name'): StringValue('Scope')})
  393. }))
  394. cl = self.mvk.create(MappingValue({
  395. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  396. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  397. CreateConstants.ATTRS_KEY: MappingValue({
  398. StringValue('Class.is_abstract'): BooleanValue(False),
  399. StringValue('Class.name'): StringValue('MethodCall')})
  400. }))
  401. cl = self.mvk.create(MappingValue({
  402. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  403. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  404. CreateConstants.ATTRS_KEY: MappingValue({
  405. StringValue('Class.is_abstract'): BooleanValue(True),
  406. StringValue('Class.name'): StringValue('Assignment')})
  407. }))
  408. cl = self.mvk.create(MappingValue({
  409. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  410. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  411. CreateConstants.ATTRS_KEY: MappingValue({
  412. StringValue('Class.is_abstract'): BooleanValue(False),
  413. StringValue('Class.name'): StringValue('Or')})
  414. }))
  415. cl = self.mvk.create(MappingValue({
  416. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  417. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  418. CreateConstants.ATTRS_KEY: MappingValue({
  419. StringValue('Class.is_abstract'): BooleanValue(False),
  420. StringValue('Class.name'): StringValue('LThan')})
  421. }))
  422. cl = self.mvk.create(MappingValue({
  423. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  424. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  425. CreateConstants.ATTRS_KEY: MappingValue({
  426. StringValue('Class.is_abstract'): BooleanValue(False),
  427. StringValue('Class.name'): StringValue('LEThan')})
  428. }))
  429. cl = self.mvk.create(MappingValue({
  430. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  431. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  432. CreateConstants.ATTRS_KEY: MappingValue({
  433. StringValue('Class.is_abstract'): BooleanValue(False),
  434. StringValue('Class.name'): StringValue('BooleanValue')})
  435. }))
  436. cl = self.mvk.create(MappingValue({
  437. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  438. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.BooleanValue'),
  439. CreateConstants.ATTRS_KEY: MappingValue({
  440. StringValue('Attribute.name'): StringValue('value'),
  441. StringValue('Attribute.type'): BooleanType()})
  442. }))
  443. cl = self.mvk.create(MappingValue({
  444. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  445. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  446. CreateConstants.ATTRS_KEY: MappingValue({
  447. StringValue('Class.is_abstract'): BooleanValue(False),
  448. StringValue('Class.name'): StringValue('Mult')})
  449. }))
  450. cl = self.mvk.create(MappingValue({
  451. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  452. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  453. CreateConstants.ATTRS_KEY: MappingValue({
  454. StringValue('Class.is_abstract'): BooleanValue(False),
  455. StringValue('Class.name'): StringValue('RegularArgument')})
  456. }))
  457. cl = self.mvk.create(MappingValue({
  458. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  459. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  460. CreateConstants.ATTRS_KEY: MappingValue({
  461. StringValue('Class.is_abstract'): BooleanValue(False),
  462. StringValue('Class.name'): StringValue('GThan')})
  463. }))
  464. cl = self.mvk.create(MappingValue({
  465. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  466. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  467. CreateConstants.ATTRS_KEY: MappingValue({
  468. StringValue('Class.is_abstract'): BooleanValue(False),
  469. StringValue('Class.name'): StringValue('Div')})
  470. }))
  471. cl = self.mvk.create(MappingValue({
  472. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  473. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  474. CreateConstants.ATTRS_KEY: MappingValue({
  475. StringValue('Class.is_abstract'): BooleanValue(False),
  476. StringValue('Class.name'): StringValue('Minus')})
  477. }))
  478. cl = self.mvk.create(MappingValue({
  479. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  480. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  481. CreateConstants.ATTRS_KEY: MappingValue({
  482. StringValue('Class.is_abstract'): BooleanValue(False),
  483. StringValue('Class.name'): StringValue('InPort')})
  484. }))
  485. cl = self.mvk.create(MappingValue({
  486. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  487. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  488. CreateConstants.ATTRS_KEY: MappingValue({
  489. StringValue('Class.is_abstract'): BooleanValue(False),
  490. StringValue('Class.name'): StringValue('OutPort')})
  491. }))
  492. cl = self.mvk.create(MappingValue({
  493. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  494. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  495. CreateConstants.ATTRS_KEY: MappingValue({
  496. StringValue('Class.is_abstract'): BooleanValue(True),
  497. StringValue('Class.name'): StringValue('CompositeArgument')})
  498. }))
  499. cl = self.mvk.create(MappingValue({
  500. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  501. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  502. CreateConstants.ATTRS_KEY: MappingValue({
  503. StringValue('Class.is_abstract'): BooleanValue(False),
  504. StringValue('Class.name'): StringValue('FinalState')})
  505. }))
  506. cl = self.mvk.create(MappingValue({
  507. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  508. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  509. CreateConstants.ATTRS_KEY: MappingValue({
  510. StringValue('Class.is_abstract'): BooleanValue(False),
  511. StringValue('Class.name'): StringValue('PlainAssignment')})
  512. }))
  513. cl = self.mvk.create(MappingValue({
  514. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  515. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  516. CreateConstants.ATTRS_KEY: MappingValue({
  517. StringValue('Class.is_abstract'): BooleanValue(False),
  518. StringValue('Class.name'): StringValue('StringValue')})
  519. }))
  520. cl = self.mvk.create(MappingValue({
  521. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  522. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.StringValue'),
  523. CreateConstants.ATTRS_KEY: MappingValue({
  524. StringValue('Attribute.name'): StringValue('value'),
  525. StringValue('Attribute.type'): StringType()})
  526. }))
  527. cl = self.mvk.create(MappingValue({
  528. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  529. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  530. CreateConstants.ATTRS_KEY: MappingValue({
  531. StringValue('Class.is_abstract'): BooleanValue(False),
  532. StringValue('Class.name'): StringValue('Event')})
  533. }))
  534. cl = self.mvk.create(MappingValue({
  535. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  536. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Event'),
  537. CreateConstants.ATTRS_KEY: MappingValue({
  538. StringValue('Attribute.name'): StringValue('name'),
  539. StringValue('Attribute.type'): StringType()})
  540. }))
  541. cl = self.mvk.create(MappingValue({
  542. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  543. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  544. CreateConstants.ATTRS_KEY: MappingValue({
  545. StringValue('Class.is_abstract'): BooleanValue(False),
  546. StringValue('Class.name'): StringValue('FloatValue')})
  547. }))
  548. cl = self.mvk.create(MappingValue({
  549. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  550. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.FloatValue'),
  551. CreateConstants.ATTRS_KEY: MappingValue({
  552. StringValue('Attribute.name'): StringValue('value'),
  553. StringValue('Attribute.type'): FloatType()})
  554. }))
  555. cl = self.mvk.create(MappingValue({
  556. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  557. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  558. CreateConstants.ATTRS_KEY: MappingValue({
  559. StringValue('Class.is_abstract'): BooleanValue(False),
  560. StringValue('Class.name'): StringValue('OnExit')})
  561. }))
  562. cl = self.mvk.create(MappingValue({
  563. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  564. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  565. CreateConstants.ATTRS_KEY: MappingValue({
  566. StringValue('Class.is_abstract'): BooleanValue(False),
  567. StringValue('Class.name'): StringValue('Destructor')})
  568. }))
  569. cl = self.mvk.create(MappingValue({
  570. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  571. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  572. CreateConstants.ATTRS_KEY: MappingValue({
  573. StringValue('Class.is_abstract'): BooleanValue(False),
  574. StringValue('Class.name'): StringValue('Parameter')})
  575. }))
  576. cl = self.mvk.create(MappingValue({
  577. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  578. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Parameter'),
  579. CreateConstants.ATTRS_KEY: MappingValue({
  580. StringValue('Attribute.name'): StringValue('default'),
  581. StringValue('Attribute.type'): StringType()})
  582. }))
  583. cl = self.mvk.create(MappingValue({
  584. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  585. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Parameter'),
  586. CreateConstants.ATTRS_KEY: MappingValue({
  587. StringValue('Attribute.name'): StringValue('name'),
  588. StringValue('Attribute.type'): StringType()})
  589. }))
  590. cl = self.mvk.create(MappingValue({
  591. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  592. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  593. CreateConstants.ATTRS_KEY: MappingValue({
  594. StringValue('Class.is_abstract'): BooleanValue(False),
  595. StringValue('Class.name'): StringValue('OnEnter')})
  596. }))
  597. cl = self.mvk.create(MappingValue({
  598. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  599. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  600. CreateConstants.ATTRS_KEY: MappingValue({
  601. StringValue('Class.is_abstract'): BooleanValue(True),
  602. StringValue('Class.name'): StringValue('Relationship')})
  603. }))
  604. cl = self.mvk.create(MappingValue({
  605. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  606. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Relationship'),
  607. CreateConstants.ATTRS_KEY: MappingValue({
  608. StringValue('Attribute.name'): StringValue('max'),
  609. StringValue('Attribute.type'): IntegerType()})
  610. }))
  611. cl = self.mvk.create(MappingValue({
  612. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  613. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Relationship'),
  614. CreateConstants.ATTRS_KEY: MappingValue({
  615. StringValue('Attribute.name'): StringValue('class'),
  616. StringValue('Attribute.type'): StringType()})
  617. }))
  618. cl = self.mvk.create(MappingValue({
  619. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  620. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Relationship'),
  621. CreateConstants.ATTRS_KEY: MappingValue({
  622. StringValue('Attribute.name'): StringValue('min'),
  623. StringValue('Attribute.type'): IntegerType()})
  624. }))
  625. cl = self.mvk.create(MappingValue({
  626. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  627. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  628. CreateConstants.ATTRS_KEY: MappingValue({
  629. StringValue('Class.is_abstract'): BooleanValue(False),
  630. StringValue('Class.name'): StringValue('Class')})
  631. }))
  632. cl = self.mvk.create(MappingValue({
  633. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  634. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Class'),
  635. CreateConstants.ATTRS_KEY: MappingValue({
  636. StringValue('Attribute.name'): StringValue('default'),
  637. StringValue('Attribute.type'): BooleanType()})
  638. }))
  639. cl = self.mvk.create(MappingValue({
  640. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  641. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  642. CreateConstants.ATTRS_KEY: MappingValue({
  643. StringValue('Class.is_abstract'): BooleanValue(False),
  644. StringValue('Class.name'): StringValue('Tuple')})
  645. }))
  646. cl = self.mvk.create(MappingValue({
  647. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  648. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  649. CreateConstants.ATTRS_KEY: MappingValue({
  650. StringValue('Class.is_abstract'): BooleanValue(False),
  651. StringValue('Class.name'): StringValue('Argument')})
  652. }))
  653. cl = self.mvk.create(MappingValue({
  654. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  655. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Argument'),
  656. CreateConstants.ATTRS_KEY: MappingValue({
  657. StringValue('Attribute.name'): StringValue('name'),
  658. StringValue('Attribute.type'): StringType()})
  659. }))
  660. cl = self.mvk.create(MappingValue({
  661. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  662. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  663. CreateConstants.ATTRS_KEY: MappingValue({
  664. StringValue('Class.is_abstract'): BooleanValue(True),
  665. StringValue('Class.name'): StringValue('Composite')})
  666. }))
  667. cl = self.mvk.create(MappingValue({
  668. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  669. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  670. CreateConstants.ATTRS_KEY: MappingValue({
  671. StringValue('Class.is_abstract'): BooleanValue(False),
  672. StringValue('Class.name'): StringValue('Add')})
  673. }))
  674. cl = self.mvk.create(MappingValue({
  675. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  676. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  677. CreateConstants.ATTRS_KEY: MappingValue({
  678. StringValue('Class.is_abstract'): BooleanValue(False),
  679. StringValue('Class.name'): StringValue('IntegerValue')})
  680. }))
  681. cl = self.mvk.create(MappingValue({
  682. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  683. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.IntegerValue'),
  684. CreateConstants.ATTRS_KEY: MappingValue({
  685. StringValue('Attribute.name'): StringValue('value'),
  686. StringValue('Attribute.type'): IntegerType()})
  687. }))
  688. cl = self.mvk.create(MappingValue({
  689. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  690. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  691. CreateConstants.ATTRS_KEY: MappingValue({
  692. StringValue('Class.is_abstract'): BooleanValue(False),
  693. StringValue('Class.name'): StringValue('NavigationExpression')})
  694. }))
  695. cl = self.mvk.create(MappingValue({
  696. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  697. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  698. CreateConstants.ATTRS_KEY: MappingValue({
  699. StringValue('Class.is_abstract'): BooleanValue(True),
  700. StringValue('Class.name'): StringValue('Binop')})
  701. }))
  702. cl = self.mvk.create(MappingValue({
  703. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  704. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  705. CreateConstants.ATTRS_KEY: MappingValue({
  706. StringValue('Class.is_abstract'): BooleanValue(False),
  707. StringValue('Class.name'): StringValue('Aggregation')})
  708. }))
  709. cl = self.mvk.create(MappingValue({
  710. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  711. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  712. CreateConstants.ATTRS_KEY: MappingValue({
  713. StringValue('Class.is_abstract'): BooleanValue(False),
  714. StringValue('Class.name'): StringValue('Break')})
  715. }))
  716. cl = self.mvk.create(MappingValue({
  717. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  718. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  719. CreateConstants.ATTRS_KEY: MappingValue({
  720. StringValue('Class.is_abstract'): BooleanValue(False),
  721. StringValue('Class.name'): StringValue('Association')})
  722. }))
  723. cl = self.mvk.create(MappingValue({
  724. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  725. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Association'),
  726. CreateConstants.ATTRS_KEY: MappingValue({
  727. StringValue('Attribute.name'): StringValue('name'),
  728. StringValue('Attribute.type'): StringType()})
  729. }))
  730. cl = self.mvk.create(MappingValue({
  731. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  732. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  733. CreateConstants.ATTRS_KEY: MappingValue({
  734. StringValue('Class.is_abstract'): BooleanValue(False),
  735. StringValue('Class.name'): StringValue('Transition')})
  736. }))
  737. cl = self.mvk.create(MappingValue({
  738. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  739. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Transition'),
  740. CreateConstants.ATTRS_KEY: MappingValue({
  741. StringValue('Attribute.name'): StringValue('default'),
  742. StringValue('Attribute.type'): BooleanType()})
  743. }))
  744. cl = self.mvk.create(MappingValue({
  745. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  746. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Transition'),
  747. CreateConstants.ATTRS_KEY: MappingValue({
  748. StringValue('Attribute.name'): StringValue('target'),
  749. StringValue('Attribute.type'): StringType()})
  750. }))
  751. cl = self.mvk.create(MappingValue({
  752. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  753. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  754. CreateConstants.ATTRS_KEY: MappingValue({
  755. StringValue('Class.is_abstract'): BooleanValue(False),
  756. StringValue('Class.name'): StringValue('NEqual')})
  757. }))
  758. cl = self.mvk.create(MappingValue({
  759. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  760. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  761. CreateConstants.ATTRS_KEY: MappingValue({
  762. StringValue('Class.is_abstract'): BooleanValue(False),
  763. StringValue('Class.name'): StringValue('MinusAssignment')})
  764. }))
  765. cl = self.mvk.create(MappingValue({
  766. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  767. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  768. CreateConstants.ATTRS_KEY: MappingValue({
  769. StringValue('Class.is_abstract'): BooleanValue(True),
  770. StringValue('Class.name'): StringValue('PseudoState')})
  771. }))
  772. cl = self.mvk.create(MappingValue({
  773. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  774. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.PseudoState'),
  775. CreateConstants.ATTRS_KEY: MappingValue({
  776. StringValue('Attribute.name'): StringValue('name'),
  777. StringValue('Attribute.type'): StringType()})
  778. }))
  779. cl = self.mvk.create(MappingValue({
  780. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  781. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  782. CreateConstants.ATTRS_KEY: MappingValue({
  783. StringValue('Class.is_abstract'): BooleanValue(False),
  784. StringValue('Class.name'): StringValue('Attribute')})
  785. }))
  786. cl = self.mvk.create(MappingValue({
  787. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  788. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Attribute'),
  789. CreateConstants.ATTRS_KEY: MappingValue({
  790. StringValue('Attribute.name'): StringValue('default'),
  791. StringValue('Attribute.type'): StringType()})
  792. }))
  793. cl = self.mvk.create(MappingValue({
  794. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  795. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Attribute'),
  796. CreateConstants.ATTRS_KEY: MappingValue({
  797. StringValue('Attribute.name'): StringValue('type'),
  798. StringValue('Attribute.type'): StringType()})
  799. }))
  800. cl = self.mvk.create(MappingValue({
  801. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  802. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  803. CreateConstants.ATTRS_KEY: MappingValue({
  804. StringValue('Class.is_abstract'): BooleanValue(False),
  805. StringValue('Class.name'): StringValue('Subtract')})
  806. }))
  807. cl = self.mvk.create(MappingValue({
  808. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  809. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  810. CreateConstants.ATTRS_KEY: MappingValue({
  811. StringValue('Class.is_abstract'): BooleanValue(False),
  812. StringValue('Class.name'): StringValue('SelfExpression')})
  813. }))
  814. cl = self.mvk.create(MappingValue({
  815. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  816. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  817. CreateConstants.ATTRS_KEY: MappingValue({
  818. StringValue('Class.is_abstract'): BooleanValue(False),
  819. StringValue('Class.name'): StringValue('PlusAssignment')})
  820. }))
  821. cl = self.mvk.create(MappingValue({
  822. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  823. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  824. CreateConstants.ATTRS_KEY: MappingValue({
  825. StringValue('Class.is_abstract'): BooleanValue(False),
  826. StringValue('Class.name'): StringValue('HistoryState')})
  827. }))
  828. cl = self.mvk.create(MappingValue({
  829. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  830. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.HistoryState'),
  831. CreateConstants.ATTRS_KEY: MappingValue({
  832. StringValue('Attribute.name'): StringValue('isDeepHistory'),
  833. StringValue('Attribute.type'): BooleanType()})
  834. }))
  835. cl = self.mvk.create(MappingValue({
  836. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  837. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  838. CreateConstants.ATTRS_KEY: MappingValue({
  839. StringValue('Class.is_abstract'): BooleanValue(False),
  840. StringValue('Class.name'): StringValue('Equal')})
  841. }))
  842. cl = self.mvk.create(MappingValue({
  843. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  844. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  845. CreateConstants.ATTRS_KEY: MappingValue({
  846. StringValue('Class.is_abstract'): BooleanValue(False),
  847. StringValue('Class.name'): StringValue('Constructor')})
  848. }))
  849. cl = self.mvk.create(MappingValue({
  850. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  851. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  852. CreateConstants.ATTRS_KEY: MappingValue({
  853. StringValue('Class.is_abstract'): BooleanValue(True),
  854. StringValue('Class.name'): StringValue('Unop')})
  855. }))
  856. cl = self.mvk.create(MappingValue({
  857. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  858. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  859. CreateConstants.ATTRS_KEY: MappingValue({
  860. StringValue('Class.is_abstract'): BooleanValue(False),
  861. StringValue('Class.name'): StringValue('InitialState')})
  862. }))
  863. cl = self.mvk.create(MappingValue({
  864. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  865. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  866. CreateConstants.ATTRS_KEY: MappingValue({
  867. StringValue('Class.is_abstract'): BooleanValue(False),
  868. StringValue('Class.name'): StringValue('Array')})
  869. }))
  870. cl = self.mvk.create(MappingValue({
  871. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  872. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  873. CreateConstants.ATTRS_KEY: MappingValue({
  874. StringValue('Inheritance.name'): StringValue('MethodCall_i_AbsMethodCall'),
  875. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.MethodCall'),
  876. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsMethodCall')})
  877. }))
  878. cl = self.mvk.create(MappingValue({
  879. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  880. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  881. CreateConstants.ATTRS_KEY: MappingValue({
  882. StringValue('Inheritance.name'): StringValue('Not_i_Unop'),
  883. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Not'),
  884. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Unop')})
  885. }))
  886. cl = self.mvk.create(MappingValue({
  887. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  888. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  889. CreateConstants.ATTRS_KEY: MappingValue({
  890. StringValue('Association.to_max'): IntegerValue(1),
  891. StringValue('Association.from_max'): InfiniteValue('inf'),
  892. StringValue('Association.from_port'): StringValue('from_statement'),
  893. StringValue('Association.to_min'): IntegerValue(0),
  894. StringValue('Class.name'): StringValue('statement_statement_next'),
  895. StringValue('Association.to_port'): StringValue('to_statement'),
  896. StringValue('Class.is_abstract'): BooleanValue(False),
  897. StringValue('Association.from_min'): IntegerValue(0),
  898. StringValue('Class.id_field'): StringValue('statement_statement_next.name'),
  899. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Statement'),
  900. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  901. }))
  902. cl = self.mvk.create(MappingValue({
  903. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  904. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.statement_statement_next'),
  905. CreateConstants.ATTRS_KEY: MappingValue({
  906. StringValue('Attribute.name'): StringValue('name'),
  907. StringValue('Attribute.type'): StringType()})
  908. }))
  909. cl = self.mvk.create(MappingValue({
  910. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  911. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  912. CreateConstants.ATTRS_KEY: MappingValue({
  913. StringValue('Inheritance.name'): StringValue('While_i_Statement'),
  914. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.While'),
  915. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  916. }))
  917. cl = self.mvk.create(MappingValue({
  918. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  919. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  920. CreateConstants.ATTRS_KEY: MappingValue({
  921. StringValue('Association.to_max'): InfiniteValue('inf'),
  922. StringValue('Association.from_max'): InfiniteValue('inf'),
  923. StringValue('Association.from_port'): StringValue('from_absstate'),
  924. StringValue('Association.to_min'): IntegerValue(0),
  925. StringValue('Class.name'): StringValue('absstate_pseudostate'),
  926. StringValue('Association.to_port'): StringValue('to_pseudostate'),
  927. StringValue('Class.is_abstract'): BooleanValue(False),
  928. StringValue('Association.from_min'): IntegerValue(0),
  929. StringValue('Class.id_field'): StringValue('absstate_pseudostate.name'),
  930. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsState'),
  931. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.PseudoState')})
  932. }))
  933. cl = self.mvk.create(MappingValue({
  934. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  935. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.absstate_pseudostate'),
  936. CreateConstants.ATTRS_KEY: MappingValue({
  937. StringValue('Attribute.name'): StringValue('name'),
  938. StringValue('Attribute.type'): StringType()})
  939. }))
  940. cl = self.mvk.create(MappingValue({
  941. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  942. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  943. CreateConstants.ATTRS_KEY: MappingValue({
  944. StringValue('Inheritance.name'): StringValue('MethodCall_i_Expression'),
  945. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.MethodCall'),
  946. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  947. }))
  948. cl = self.mvk.create(MappingValue({
  949. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  950. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  951. CreateConstants.ATTRS_KEY: MappingValue({
  952. StringValue('Inheritance.name'): StringValue('Subtract_i_Binop'),
  953. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Subtract'),
  954. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  955. }))
  956. cl = self.mvk.create(MappingValue({
  957. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  958. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  959. CreateConstants.ATTRS_KEY: MappingValue({
  960. StringValue('Inheritance.name'): StringValue('Dict_i_Composite'),
  961. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Dict'),
  962. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Composite')})
  963. }))
  964. cl = self.mvk.create(MappingValue({
  965. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  966. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  967. CreateConstants.ATTRS_KEY: MappingValue({
  968. StringValue('Inheritance.name'): StringValue('Unop_i_Expression'),
  969. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Unop'),
  970. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  971. }))
  972. cl = self.mvk.create(MappingValue({
  973. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  974. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  975. CreateConstants.ATTRS_KEY: MappingValue({
  976. StringValue('Inheritance.name'): StringValue('BooleanValue_i_AtomValue'),
  977. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.BooleanValue'),
  978. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AtomValue')})
  979. }))
  980. cl = self.mvk.create(MappingValue({
  981. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  982. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  983. CreateConstants.ATTRS_KEY: MappingValue({
  984. StringValue('Inheritance.name'): StringValue('Parenthesis_i_Unop'),
  985. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Parenthesis'),
  986. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Unop')})
  987. }))
  988. cl = self.mvk.create(MappingValue({
  989. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  990. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  991. CreateConstants.ATTRS_KEY: MappingValue({
  992. StringValue('Inheritance.name'): StringValue('Raise_i_ID'),
  993. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Raise'),
  994. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  995. }))
  996. cl = self.mvk.create(MappingValue({
  997. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  998. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  999. CreateConstants.ATTRS_KEY: MappingValue({
  1000. StringValue('Association.to_max'): IntegerValue(1),
  1001. StringValue('Association.from_max'): InfiniteValue('inf'),
  1002. StringValue('Association.from_port'): StringValue('from_raise'),
  1003. StringValue('Association.to_min'): IntegerValue(0),
  1004. StringValue('Class.name'): StringValue('raise_scope'),
  1005. StringValue('Association.to_port'): StringValue('to_scope'),
  1006. StringValue('Class.is_abstract'): BooleanValue(False),
  1007. StringValue('Association.from_min'): IntegerValue(0),
  1008. StringValue('Class.id_field'): StringValue('raise_scope.name'),
  1009. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Raise'),
  1010. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Scope')})
  1011. }))
  1012. cl = self.mvk.create(MappingValue({
  1013. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1014. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.raise_scope'),
  1015. CreateConstants.ATTRS_KEY: MappingValue({
  1016. StringValue('Attribute.name'): StringValue('name'),
  1017. StringValue('Attribute.type'): StringType()})
  1018. }))
  1019. cl = self.mvk.create(MappingValue({
  1020. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1021. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1022. CreateConstants.ATTRS_KEY: MappingValue({
  1023. StringValue('Inheritance.name'): StringValue('FinalState_i_PseudoState'),
  1024. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.FinalState'),
  1025. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.PseudoState')})
  1026. }))
  1027. cl = self.mvk.create(MappingValue({
  1028. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1029. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1030. CreateConstants.ATTRS_KEY: MappingValue({
  1031. StringValue('Inheritance.name'): StringValue('NEqual_i_Binop'),
  1032. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.NEqual'),
  1033. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  1034. }))
  1035. cl = self.mvk.create(MappingValue({
  1036. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1037. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1038. CreateConstants.ATTRS_KEY: MappingValue({
  1039. StringValue('Inheritance.name'): StringValue('AbsNavigationExpression_i_ID'),
  1040. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsNavigationExpression'),
  1041. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1042. }))
  1043. cl = self.mvk.create(MappingValue({
  1044. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1045. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1046. CreateConstants.ATTRS_KEY: MappingValue({
  1047. StringValue('Association.to_max'): IntegerValue(1),
  1048. StringValue('Association.from_max'): InfiniteValue('inf'),
  1049. StringValue('Association.from_port'): StringValue('from_ifelse'),
  1050. StringValue('Association.to_min'): IntegerValue(1),
  1051. StringValue('Class.name'): StringValue('ifelse_expression_condition'),
  1052. StringValue('Association.to_port'): StringValue('to_expression'),
  1053. StringValue('Class.is_abstract'): BooleanValue(False),
  1054. StringValue('Association.from_min'): IntegerValue(0),
  1055. StringValue('Class.id_field'): StringValue('ifelse_expression_condition.name'),
  1056. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.IfElse'),
  1057. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1058. }))
  1059. cl = self.mvk.create(MappingValue({
  1060. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1061. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.ifelse_expression_condition'),
  1062. CreateConstants.ATTRS_KEY: MappingValue({
  1063. StringValue('Attribute.name'): StringValue('name'),
  1064. StringValue('Attribute.type'): StringType()})
  1065. }))
  1066. cl = self.mvk.create(MappingValue({
  1067. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1068. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1069. CreateConstants.ATTRS_KEY: MappingValue({
  1070. StringValue('Inheritance.name'): StringValue('AbsMethod_i_ID'),
  1071. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsMethod'),
  1072. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1073. }))
  1074. cl = self.mvk.create(MappingValue({
  1075. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1076. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1077. CreateConstants.ATTRS_KEY: MappingValue({
  1078. StringValue('Inheritance.name'): StringValue('GEThan_i_Binop'),
  1079. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.GEThan'),
  1080. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  1081. }))
  1082. cl = self.mvk.create(MappingValue({
  1083. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1084. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1085. CreateConstants.ATTRS_KEY: MappingValue({
  1086. StringValue('Inheritance.name'): StringValue('Class_i_Named'),
  1087. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Class'),
  1088. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Named')})
  1089. }))
  1090. cl = self.mvk.create(MappingValue({
  1091. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1092. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1093. CreateConstants.ATTRS_KEY: MappingValue({
  1094. StringValue('Association.to_max'): IntegerValue(1),
  1095. StringValue('Association.from_max'): InfiniteValue('inf'),
  1096. StringValue('Association.from_port'): StringValue('from_while'),
  1097. StringValue('Association.to_min'): IntegerValue(1),
  1098. StringValue('Class.name'): StringValue('while_actionblock_body'),
  1099. StringValue('Association.to_port'): StringValue('to_actionblock'),
  1100. StringValue('Class.is_abstract'): BooleanValue(False),
  1101. StringValue('Association.from_min'): IntegerValue(0),
  1102. StringValue('Class.id_field'): StringValue('while_actionblock_body.name'),
  1103. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.While'),
  1104. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  1105. }))
  1106. cl = self.mvk.create(MappingValue({
  1107. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1108. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.while_actionblock_body'),
  1109. CreateConstants.ATTRS_KEY: MappingValue({
  1110. StringValue('Attribute.name'): StringValue('name'),
  1111. StringValue('Attribute.type'): StringType()})
  1112. }))
  1113. cl = self.mvk.create(MappingValue({
  1114. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1115. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1116. CreateConstants.ATTRS_KEY: MappingValue({
  1117. StringValue('Inheritance.name'): StringValue('StateMachine_i_ID'),
  1118. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.StateMachine'),
  1119. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1120. }))
  1121. cl = self.mvk.create(MappingValue({
  1122. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1123. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1124. CreateConstants.ATTRS_KEY: MappingValue({
  1125. StringValue('Inheritance.name'): StringValue('OnEnter_i_ActionBlock'),
  1126. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.OnEnter'),
  1127. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  1128. }))
  1129. cl = self.mvk.create(MappingValue({
  1130. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1131. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1132. CreateConstants.ATTRS_KEY: MappingValue({
  1133. StringValue('Association.to_max'): InfiniteValue('inf'),
  1134. StringValue('Association.from_max'): InfiniteValue('inf'),
  1135. StringValue('Association.from_port'): StringValue('from_absstate'),
  1136. StringValue('Association.to_min'): IntegerValue(0),
  1137. StringValue('Class.name'): StringValue('absstate_absstate_inner'),
  1138. StringValue('Association.to_port'): StringValue('to_absstate'),
  1139. StringValue('Class.is_abstract'): BooleanValue(False),
  1140. StringValue('Association.from_min'): IntegerValue(0),
  1141. StringValue('Class.id_field'): StringValue('absstate_absstate_inner.name'),
  1142. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsState'),
  1143. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsState')})
  1144. }))
  1145. cl = self.mvk.create(MappingValue({
  1146. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1147. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.absstate_absstate_inner'),
  1148. CreateConstants.ATTRS_KEY: MappingValue({
  1149. StringValue('Attribute.name'): StringValue('name'),
  1150. StringValue('Attribute.type'): StringType()})
  1151. }))
  1152. cl = self.mvk.create(MappingValue({
  1153. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1154. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1155. CreateConstants.ATTRS_KEY: MappingValue({
  1156. StringValue('Inheritance.name'): StringValue('GThan_i_Binop'),
  1157. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.GThan'),
  1158. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  1159. }))
  1160. cl = self.mvk.create(MappingValue({
  1161. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1162. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1163. CreateConstants.ATTRS_KEY: MappingValue({
  1164. StringValue('Association.to_max'): IntegerValue(1),
  1165. StringValue('Association.from_max'): InfiniteValue('inf'),
  1166. StringValue('Association.from_port'): StringValue('from_scope'),
  1167. StringValue('Association.to_min'): IntegerValue(1),
  1168. StringValue('Class.name'): StringValue('scope_expression'),
  1169. StringValue('Association.to_port'): StringValue('to_expression'),
  1170. StringValue('Class.is_abstract'): BooleanValue(False),
  1171. StringValue('Association.from_min'): IntegerValue(0),
  1172. StringValue('Class.id_field'): StringValue('scope_expression.name'),
  1173. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Scope'),
  1174. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1175. }))
  1176. cl = self.mvk.create(MappingValue({
  1177. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1178. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.scope_expression'),
  1179. CreateConstants.ATTRS_KEY: MappingValue({
  1180. StringValue('Attribute.name'): StringValue('name'),
  1181. StringValue('Attribute.type'): StringType()})
  1182. }))
  1183. cl = self.mvk.create(MappingValue({
  1184. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1185. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1186. CreateConstants.ATTRS_KEY: MappingValue({
  1187. StringValue('Association.to_max'): IntegerValue(1),
  1188. StringValue('Association.from_max'): InfiniteValue('inf'),
  1189. StringValue('Association.from_port'): StringValue('from_ifelse'),
  1190. StringValue('Association.to_min'): IntegerValue(0),
  1191. StringValue('Class.name'): StringValue('ifelse_actionblock_elsebody'),
  1192. StringValue('Association.to_port'): StringValue('to_actionblock'),
  1193. StringValue('Class.is_abstract'): BooleanValue(False),
  1194. StringValue('Association.from_min'): IntegerValue(0),
  1195. StringValue('Class.id_field'): StringValue('ifelse_actionblock_elsebody.name'),
  1196. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.IfElse'),
  1197. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  1198. }))
  1199. cl = self.mvk.create(MappingValue({
  1200. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1201. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.ifelse_actionblock_elsebody'),
  1202. CreateConstants.ATTRS_KEY: MappingValue({
  1203. StringValue('Attribute.name'): StringValue('name'),
  1204. StringValue('Attribute.type'): StringType()})
  1205. }))
  1206. cl = self.mvk.create(MappingValue({
  1207. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1208. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1209. CreateConstants.ATTRS_KEY: MappingValue({
  1210. StringValue('Inheritance.name'): StringValue('PlusAssignment_i_Assignment'),
  1211. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.PlusAssignment'),
  1212. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Assignment')})
  1213. }))
  1214. cl = self.mvk.create(MappingValue({
  1215. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1216. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1217. CreateConstants.ATTRS_KEY: MappingValue({
  1218. StringValue('Inheritance.name'): StringValue('AtomValue_i_Expression'),
  1219. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AtomValue'),
  1220. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1221. }))
  1222. cl = self.mvk.create(MappingValue({
  1223. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1224. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1225. CreateConstants.ATTRS_KEY: MappingValue({
  1226. StringValue('Inheritance.name'): StringValue('Selection_i_Binop'),
  1227. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Selection'),
  1228. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  1229. }))
  1230. cl = self.mvk.create(MappingValue({
  1231. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1232. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1233. CreateConstants.ATTRS_KEY: MappingValue({
  1234. StringValue('Association.to_max'): IntegerValue(1),
  1235. StringValue('Association.from_max'): InfiniteValue('inf'),
  1236. StringValue('Association.from_port'): StringValue('from_assignment'),
  1237. StringValue('Association.to_min'): IntegerValue(1),
  1238. StringValue('Class.name'): StringValue('assignment_expression_right'),
  1239. StringValue('Association.to_port'): StringValue('to_expression'),
  1240. StringValue('Class.is_abstract'): BooleanValue(False),
  1241. StringValue('Association.from_min'): IntegerValue(0),
  1242. StringValue('Class.id_field'): StringValue('assignment_expression_right.name'),
  1243. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Assignment'),
  1244. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1245. }))
  1246. cl = self.mvk.create(MappingValue({
  1247. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1248. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.assignment_expression_right'),
  1249. CreateConstants.ATTRS_KEY: MappingValue({
  1250. StringValue('Attribute.name'): StringValue('name'),
  1251. StringValue('Attribute.type'): StringType()})
  1252. }))
  1253. cl = self.mvk.create(MappingValue({
  1254. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1255. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1256. CreateConstants.ATTRS_KEY: MappingValue({
  1257. StringValue('Association.to_max'): InfiniteValue('inf'),
  1258. StringValue('Association.from_max'): InfiniteValue('inf'),
  1259. StringValue('Association.from_port'): StringValue('from_absmethod'),
  1260. StringValue('Association.to_min'): IntegerValue(0),
  1261. StringValue('Class.name'): StringValue('absmethod_parameter'),
  1262. StringValue('Association.to_port'): StringValue('to_parameter'),
  1263. StringValue('Class.is_abstract'): BooleanValue(False),
  1264. StringValue('Association.from_min'): IntegerValue(0),
  1265. StringValue('Class.id_field'): StringValue('absmethod_parameter.name'),
  1266. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsMethod'),
  1267. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Parameter')})
  1268. }))
  1269. cl = self.mvk.create(MappingValue({
  1270. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1271. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.absmethod_parameter'),
  1272. CreateConstants.ATTRS_KEY: MappingValue({
  1273. StringValue('Attribute.name'): StringValue('name'),
  1274. StringValue('Attribute.type'): StringType()})
  1275. }))
  1276. cl = self.mvk.create(MappingValue({
  1277. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1278. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1279. CreateConstants.ATTRS_KEY: MappingValue({
  1280. StringValue('Association.to_max'): InfiniteValue('inf'),
  1281. StringValue('Association.from_max'): InfiniteValue('inf'),
  1282. StringValue('Association.from_port'): StringValue('from_statemachine'),
  1283. StringValue('Association.to_min'): IntegerValue(0),
  1284. StringValue('Class.name'): StringValue('statemachine_transition'),
  1285. StringValue('Association.to_port'): StringValue('to_transition'),
  1286. StringValue('Class.is_abstract'): BooleanValue(False),
  1287. StringValue('Association.from_min'): IntegerValue(0),
  1288. StringValue('Class.id_field'): StringValue('statemachine_transition.name'),
  1289. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.StateMachine'),
  1290. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Transition')})
  1291. }))
  1292. cl = self.mvk.create(MappingValue({
  1293. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1294. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.statemachine_transition'),
  1295. CreateConstants.ATTRS_KEY: MappingValue({
  1296. StringValue('Attribute.name'): StringValue('name'),
  1297. StringValue('Attribute.type'): StringType()})
  1298. }))
  1299. cl = self.mvk.create(MappingValue({
  1300. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1301. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1302. CreateConstants.ATTRS_KEY: MappingValue({
  1303. StringValue('Inheritance.name'): StringValue('ActionBlock_i_ID'),
  1304. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.ActionBlock'),
  1305. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1306. }))
  1307. cl = self.mvk.create(MappingValue({
  1308. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1309. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1310. CreateConstants.ATTRS_KEY: MappingValue({
  1311. StringValue('Association.to_max'): InfiniteValue('inf'),
  1312. StringValue('Association.from_max'): InfiniteValue('inf'),
  1313. StringValue('Association.from_port'): StringValue('from_transition'),
  1314. StringValue('Association.to_min'): IntegerValue(0),
  1315. StringValue('Class.name'): StringValue('transition_raise'),
  1316. StringValue('Association.to_port'): StringValue('to_raise'),
  1317. StringValue('Class.is_abstract'): BooleanValue(False),
  1318. StringValue('Association.from_min'): IntegerValue(0),
  1319. StringValue('Class.id_field'): StringValue('transition_raise.name'),
  1320. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Transition'),
  1321. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Raise')})
  1322. }))
  1323. cl = self.mvk.create(MappingValue({
  1324. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1325. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.transition_raise'),
  1326. CreateConstants.ATTRS_KEY: MappingValue({
  1327. StringValue('Attribute.name'): StringValue('name'),
  1328. StringValue('Attribute.type'): StringType()})
  1329. }))
  1330. cl = self.mvk.create(MappingValue({
  1331. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1332. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1333. CreateConstants.ATTRS_KEY: MappingValue({
  1334. StringValue('Association.to_max'): IntegerValue(1),
  1335. StringValue('Association.from_max'): InfiniteValue('inf'),
  1336. StringValue('Association.from_port'): StringValue('from_target'),
  1337. StringValue('Association.to_min'): IntegerValue(1),
  1338. StringValue('Class.name'): StringValue('target_expression'),
  1339. StringValue('Association.to_port'): StringValue('to_expression'),
  1340. StringValue('Class.is_abstract'): BooleanValue(False),
  1341. StringValue('Association.from_min'): IntegerValue(0),
  1342. StringValue('Class.id_field'): StringValue('target_expression.name'),
  1343. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Target'),
  1344. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1345. }))
  1346. cl = self.mvk.create(MappingValue({
  1347. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1348. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.target_expression'),
  1349. CreateConstants.ATTRS_KEY: MappingValue({
  1350. StringValue('Attribute.name'): StringValue('name'),
  1351. StringValue('Attribute.type'): StringType()})
  1352. }))
  1353. cl = self.mvk.create(MappingValue({
  1354. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1355. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1356. CreateConstants.ATTRS_KEY: MappingValue({
  1357. StringValue('Association.to_max'): IntegerValue(1),
  1358. StringValue('Association.from_max'): InfiniteValue('inf'),
  1359. StringValue('Association.from_port'): StringValue('from_while'),
  1360. StringValue('Association.to_min'): IntegerValue(1),
  1361. StringValue('Class.name'): StringValue('while_expression_condition'),
  1362. StringValue('Association.to_port'): StringValue('to_expression'),
  1363. StringValue('Class.is_abstract'): BooleanValue(False),
  1364. StringValue('Association.from_min'): IntegerValue(0),
  1365. StringValue('Class.id_field'): StringValue('while_expression_condition.name'),
  1366. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.While'),
  1367. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1368. }))
  1369. cl = self.mvk.create(MappingValue({
  1370. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1371. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.while_expression_condition'),
  1372. CreateConstants.ATTRS_KEY: MappingValue({
  1373. StringValue('Attribute.name'): StringValue('name'),
  1374. StringValue('Attribute.type'): StringType()})
  1375. }))
  1376. cl = self.mvk.create(MappingValue({
  1377. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1378. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1379. CreateConstants.ATTRS_KEY: MappingValue({
  1380. StringValue('Inheritance.name'): StringValue('InitialState_i_PseudoState'),
  1381. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.InitialState'),
  1382. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.PseudoState')})
  1383. }))
  1384. cl = self.mvk.create(MappingValue({
  1385. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1386. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1387. CreateConstants.ATTRS_KEY: MappingValue({
  1388. StringValue('Inheritance.name'): StringValue('Binop_i_Expression'),
  1389. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Binop'),
  1390. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1391. }))
  1392. cl = self.mvk.create(MappingValue({
  1393. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1394. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1395. CreateConstants.ATTRS_KEY: MappingValue({
  1396. StringValue('Inheritance.name'): StringValue('InPort_i_Named'),
  1397. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.InPort'),
  1398. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Named')})
  1399. }))
  1400. cl = self.mvk.create(MappingValue({
  1401. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1402. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1403. CreateConstants.ATTRS_KEY: MappingValue({
  1404. StringValue('Inheritance.name'): StringValue('OutPort_i_Named'),
  1405. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.OutPort'),
  1406. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Named')})
  1407. }))
  1408. cl = self.mvk.create(MappingValue({
  1409. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1410. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1411. CreateConstants.ATTRS_KEY: MappingValue({
  1412. StringValue('Inheritance.name'): StringValue('Expression_i_ID'),
  1413. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Expression'),
  1414. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1415. }))
  1416. cl = self.mvk.create(MappingValue({
  1417. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1418. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1419. CreateConstants.ATTRS_KEY: MappingValue({
  1420. StringValue('Inheritance.name'): StringValue('Array_i_Composite'),
  1421. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Array'),
  1422. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Composite')})
  1423. }))
  1424. cl = self.mvk.create(MappingValue({
  1425. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1426. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1427. CreateConstants.ATTRS_KEY: MappingValue({
  1428. StringValue('Inheritance.name'): StringValue('NavigationExpression_i_Expression'),
  1429. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.NavigationExpression'),
  1430. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1431. }))
  1432. cl = self.mvk.create(MappingValue({
  1433. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1434. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1435. CreateConstants.ATTRS_KEY: MappingValue({
  1436. StringValue('Association.to_max'): IntegerValue(1),
  1437. StringValue('Association.from_max'): InfiniteValue('inf'),
  1438. StringValue('Association.from_port'): StringValue('from_actionblock'),
  1439. StringValue('Association.to_min'): IntegerValue(0),
  1440. StringValue('Class.name'): StringValue('actionblock_statement'),
  1441. StringValue('Association.to_port'): StringValue('to_statement'),
  1442. StringValue('Class.is_abstract'): BooleanValue(False),
  1443. StringValue('Association.from_min'): IntegerValue(0),
  1444. StringValue('Class.id_field'): StringValue('actionblock_statement.name'),
  1445. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.ActionBlock'),
  1446. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  1447. }))
  1448. cl = self.mvk.create(MappingValue({
  1449. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1450. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.actionblock_statement'),
  1451. CreateConstants.ATTRS_KEY: MappingValue({
  1452. StringValue('Attribute.name'): StringValue('name'),
  1453. StringValue('Attribute.type'): StringType()})
  1454. }))
  1455. cl = self.mvk.create(MappingValue({
  1456. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1457. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1458. CreateConstants.ATTRS_KEY: MappingValue({
  1459. StringValue('Inheritance.name'): StringValue('Relationship_i_ID'),
  1460. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Relationship'),
  1461. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1462. }))
  1463. cl = self.mvk.create(MappingValue({
  1464. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1465. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1466. CreateConstants.ATTRS_KEY: MappingValue({
  1467. StringValue('Inheritance.name'): StringValue('Add_i_Binop'),
  1468. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Add'),
  1469. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  1470. }))
  1471. cl = self.mvk.create(MappingValue({
  1472. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1473. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1474. CreateConstants.ATTRS_KEY: MappingValue({
  1475. StringValue('Inheritance.name'): StringValue('Inheritance_i_Relationship'),
  1476. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Inheritance'),
  1477. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Relationship')})
  1478. }))
  1479. cl = self.mvk.create(MappingValue({
  1480. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1481. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1482. CreateConstants.ATTRS_KEY: MappingValue({
  1483. StringValue('Inheritance.name'): StringValue('Import_i_Statement'),
  1484. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Import'),
  1485. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  1486. }))
  1487. cl = self.mvk.create(MappingValue({
  1488. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1489. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1490. CreateConstants.ATTRS_KEY: MappingValue({
  1491. StringValue('Inheritance.name'): StringValue('Constructor_i_AbsMethod'),
  1492. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Constructor'),
  1493. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsMethod')})
  1494. }))
  1495. cl = self.mvk.create(MappingValue({
  1496. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1497. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1498. CreateConstants.ATTRS_KEY: MappingValue({
  1499. StringValue('Association.to_max'): IntegerValue(1),
  1500. StringValue('Association.from_max'): InfiniteValue('inf'),
  1501. StringValue('Association.from_port'): StringValue('from_regularargument'),
  1502. StringValue('Association.to_min'): IntegerValue(1),
  1503. StringValue('Class.name'): StringValue('regularargument_expression'),
  1504. StringValue('Association.to_port'): StringValue('to_expression'),
  1505. StringValue('Class.is_abstract'): BooleanValue(False),
  1506. StringValue('Association.from_min'): IntegerValue(0),
  1507. StringValue('Class.id_field'): StringValue('regularargument_expression.name'),
  1508. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.RegularArgument'),
  1509. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1510. }))
  1511. cl = self.mvk.create(MappingValue({
  1512. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1513. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.regularargument_expression'),
  1514. CreateConstants.ATTRS_KEY: MappingValue({
  1515. StringValue('Attribute.name'): StringValue('name'),
  1516. StringValue('Attribute.type'): StringType()})
  1517. }))
  1518. cl = self.mvk.create(MappingValue({
  1519. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1520. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1521. CreateConstants.ATTRS_KEY: MappingValue({
  1522. StringValue('Inheritance.name'): StringValue('Minus_i_Unop'),
  1523. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Minus'),
  1524. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Unop')})
  1525. }))
  1526. cl = self.mvk.create(MappingValue({
  1527. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1528. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1529. CreateConstants.ATTRS_KEY: MappingValue({
  1530. StringValue('Inheritance.name'): StringValue('Method_i_AbsMethod'),
  1531. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Method'),
  1532. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsMethod')})
  1533. }))
  1534. cl = self.mvk.create(MappingValue({
  1535. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1536. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1537. CreateConstants.ATTRS_KEY: MappingValue({
  1538. StringValue('Association.to_max'): IntegerValue(1),
  1539. StringValue('Association.from_max'): InfiniteValue('inf'),
  1540. StringValue('Association.from_port'): StringValue('from_transition'),
  1541. StringValue('Association.to_min'): IntegerValue(1),
  1542. StringValue('Class.name'): StringValue('after_expression'),
  1543. StringValue('Association.to_port'): StringValue('to_expression'),
  1544. StringValue('Class.is_abstract'): BooleanValue(False),
  1545. StringValue('Association.from_min'): IntegerValue(0),
  1546. StringValue('Class.id_field'): StringValue('after_expression.name'),
  1547. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Transition'),
  1548. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1549. }))
  1550. cl = self.mvk.create(MappingValue({
  1551. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1552. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.after_expression'),
  1553. CreateConstants.ATTRS_KEY: MappingValue({
  1554. StringValue('Attribute.name'): StringValue('name'),
  1555. StringValue('Attribute.type'): StringType()})
  1556. }))
  1557. cl = self.mvk.create(MappingValue({
  1558. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1559. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1560. CreateConstants.ATTRS_KEY: MappingValue({
  1561. StringValue('Association.to_max'): IntegerValue(1),
  1562. StringValue('Association.from_max'): InfiniteValue('inf'),
  1563. StringValue('Association.from_port'): StringValue('from_assignment'),
  1564. StringValue('Association.to_min'): IntegerValue(1),
  1565. StringValue('Class.name'): StringValue('assignment_expression_left'),
  1566. StringValue('Association.to_port'): StringValue('to_expression'),
  1567. StringValue('Class.is_abstract'): BooleanValue(False),
  1568. StringValue('Association.from_min'): IntegerValue(0),
  1569. StringValue('Class.id_field'): StringValue('assignment_expression_left.name'),
  1570. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Assignment'),
  1571. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1572. }))
  1573. cl = self.mvk.create(MappingValue({
  1574. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1575. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.assignment_expression_left'),
  1576. CreateConstants.ATTRS_KEY: MappingValue({
  1577. StringValue('Attribute.name'): StringValue('name'),
  1578. StringValue('Attribute.type'): StringType()})
  1579. }))
  1580. cl = self.mvk.create(MappingValue({
  1581. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1582. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1583. CreateConstants.ATTRS_KEY: MappingValue({
  1584. StringValue('Association.to_max'): IntegerValue(1),
  1585. StringValue('Association.from_max'): InfiniteValue('inf'),
  1586. StringValue('Association.from_port'): StringValue('from_transition'),
  1587. StringValue('Association.to_min'): IntegerValue(0),
  1588. StringValue('Class.name'): StringValue('transition_inport'),
  1589. StringValue('Association.to_port'): StringValue('to_inport'),
  1590. StringValue('Class.is_abstract'): BooleanValue(False),
  1591. StringValue('Association.from_min'): IntegerValue(0),
  1592. StringValue('Class.id_field'): StringValue('transition_inport.name'),
  1593. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Transition'),
  1594. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.InPort')})
  1595. }))
  1596. cl = self.mvk.create(MappingValue({
  1597. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1598. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.transition_inport'),
  1599. CreateConstants.ATTRS_KEY: MappingValue({
  1600. StringValue('Attribute.name'): StringValue('name'),
  1601. StringValue('Attribute.type'): StringType()})
  1602. }))
  1603. cl = self.mvk.create(MappingValue({
  1604. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1605. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1606. CreateConstants.ATTRS_KEY: MappingValue({
  1607. StringValue('Association.to_max'): IntegerValue(1),
  1608. StringValue('Association.from_max'): InfiniteValue('inf'),
  1609. StringValue('Association.from_port'): StringValue('from_transition'),
  1610. StringValue('Association.to_min'): IntegerValue(0),
  1611. StringValue('Class.name'): StringValue('transition_outport'),
  1612. StringValue('Association.to_port'): StringValue('to_outport'),
  1613. StringValue('Class.is_abstract'): BooleanValue(False),
  1614. StringValue('Association.from_min'): IntegerValue(0),
  1615. StringValue('Class.id_field'): StringValue('transition_outport.name'),
  1616. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Transition'),
  1617. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.OutPort')})
  1618. }))
  1619. cl = self.mvk.create(MappingValue({
  1620. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1621. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.transition_outport'),
  1622. CreateConstants.ATTRS_KEY: MappingValue({
  1623. StringValue('Attribute.name'): StringValue('name'),
  1624. StringValue('Attribute.type'): StringType()})
  1625. }))
  1626. cl = self.mvk.create(MappingValue({
  1627. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1628. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1629. CreateConstants.ATTRS_KEY: MappingValue({
  1630. StringValue('Inheritance.name'): StringValue('MinusAssignment_i_Assignment'),
  1631. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.MinusAssignment'),
  1632. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Assignment')})
  1633. }))
  1634. cl = self.mvk.create(MappingValue({
  1635. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1636. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1637. CreateConstants.ATTRS_KEY: MappingValue({
  1638. StringValue('Association.to_max'): InfiniteValue('inf'),
  1639. StringValue('Association.from_max'): InfiniteValue('inf'),
  1640. StringValue('Association.from_port'): StringValue('from_class'),
  1641. StringValue('Association.to_min'): IntegerValue(0),
  1642. StringValue('Class.name'): StringValue('class_relationship'),
  1643. StringValue('Association.to_port'): StringValue('to_relationship'),
  1644. StringValue('Class.is_abstract'): BooleanValue(False),
  1645. StringValue('Association.from_min'): IntegerValue(0),
  1646. StringValue('Class.id_field'): StringValue('class_relationship.name'),
  1647. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Class'),
  1648. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Relationship')})
  1649. }))
  1650. cl = self.mvk.create(MappingValue({
  1651. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1652. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.class_relationship'),
  1653. CreateConstants.ATTRS_KEY: MappingValue({
  1654. StringValue('Attribute.name'): StringValue('name'),
  1655. StringValue('Attribute.type'): StringType()})
  1656. }))
  1657. cl = self.mvk.create(MappingValue({
  1658. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1659. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1660. CreateConstants.ATTRS_KEY: MappingValue({
  1661. StringValue('Inheritance.name'): StringValue('Mult_i_Binop'),
  1662. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Mult'),
  1663. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  1664. }))
  1665. cl = self.mvk.create(MappingValue({
  1666. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1667. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1668. CreateConstants.ATTRS_KEY: MappingValue({
  1669. StringValue('Inheritance.name'): StringValue('DotExpression_i_AbsNavigationExpression'),
  1670. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.DotExpression'),
  1671. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsNavigationExpression')})
  1672. }))
  1673. cl = self.mvk.create(MappingValue({
  1674. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1675. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1676. CreateConstants.ATTRS_KEY: MappingValue({
  1677. StringValue('Inheritance.name'): StringValue('PseudoState_i_ID'),
  1678. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.PseudoState'),
  1679. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1680. }))
  1681. cl = self.mvk.create(MappingValue({
  1682. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1683. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1684. CreateConstants.ATTRS_KEY: MappingValue({
  1685. StringValue('Inheritance.name'): StringValue('Bottom_i_ActionBlock'),
  1686. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Bottom'),
  1687. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  1688. }))
  1689. cl = self.mvk.create(MappingValue({
  1690. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1691. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1692. CreateConstants.ATTRS_KEY: MappingValue({
  1693. StringValue('Association.to_max'): InfiniteValue('inf'),
  1694. StringValue('Association.from_max'): InfiniteValue('inf'),
  1695. StringValue('Association.from_port'): StringValue('from_class'),
  1696. StringValue('Association.to_min'): IntegerValue(0),
  1697. StringValue('Class.name'): StringValue('class_attribute'),
  1698. StringValue('Association.to_port'): StringValue('to_attribute'),
  1699. StringValue('Class.is_abstract'): BooleanValue(False),
  1700. StringValue('Association.from_min'): IntegerValue(0),
  1701. StringValue('Class.id_field'): StringValue('class_attribute.name'),
  1702. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Class'),
  1703. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Attribute')})
  1704. }))
  1705. cl = self.mvk.create(MappingValue({
  1706. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1707. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.class_attribute'),
  1708. CreateConstants.ATTRS_KEY: MappingValue({
  1709. StringValue('Attribute.name'): StringValue('name'),
  1710. StringValue('Attribute.type'): StringType()})
  1711. }))
  1712. cl = self.mvk.create(MappingValue({
  1713. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1714. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1715. CreateConstants.ATTRS_KEY: MappingValue({
  1716. StringValue('Inheritance.name'): StringValue('Scope_i_ID'),
  1717. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Scope'),
  1718. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1719. }))
  1720. cl = self.mvk.create(MappingValue({
  1721. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1722. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1723. CreateConstants.ATTRS_KEY: MappingValue({
  1724. StringValue('Inheritance.name'): StringValue('Assignment_i_Statement'),
  1725. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Assignment'),
  1726. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  1727. }))
  1728. cl = self.mvk.create(MappingValue({
  1729. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1730. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1731. CreateConstants.ATTRS_KEY: MappingValue({
  1732. StringValue('Inheritance.name'): StringValue('Destructor_i_AbsMethod'),
  1733. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Destructor'),
  1734. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsMethod')})
  1735. }))
  1736. cl = self.mvk.create(MappingValue({
  1737. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1738. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1739. CreateConstants.ATTRS_KEY: MappingValue({
  1740. StringValue('Inheritance.name'): StringValue('Equal_i_Binop'),
  1741. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Equal'),
  1742. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  1743. }))
  1744. cl = self.mvk.create(MappingValue({
  1745. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1746. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1747. CreateConstants.ATTRS_KEY: MappingValue({
  1748. StringValue('Association.to_max'): InfiniteValue('inf'),
  1749. StringValue('Association.from_max'): InfiniteValue('inf'),
  1750. StringValue('Association.from_port'): StringValue('from_statemachine'),
  1751. StringValue('Association.to_min'): IntegerValue(0),
  1752. StringValue('Class.name'): StringValue('statemachine_absstate'),
  1753. StringValue('Association.to_port'): StringValue('to_absstate'),
  1754. StringValue('Class.is_abstract'): BooleanValue(False),
  1755. StringValue('Association.from_min'): IntegerValue(0),
  1756. StringValue('Class.id_field'): StringValue('statemachine_absstate.name'),
  1757. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.StateMachine'),
  1758. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsState')})
  1759. }))
  1760. cl = self.mvk.create(MappingValue({
  1761. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1762. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.statemachine_absstate'),
  1763. CreateConstants.ATTRS_KEY: MappingValue({
  1764. StringValue('Attribute.name'): StringValue('name'),
  1765. StringValue('Attribute.type'): StringType()})
  1766. }))
  1767. cl = self.mvk.create(MappingValue({
  1768. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1769. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1770. CreateConstants.ATTRS_KEY: MappingValue({
  1771. StringValue('Inheritance.name'): StringValue('Parameter_i_ID'),
  1772. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Parameter'),
  1773. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1774. }))
  1775. cl = self.mvk.create(MappingValue({
  1776. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1777. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1778. CreateConstants.ATTRS_KEY: MappingValue({
  1779. StringValue('Inheritance.name'): StringValue('OrthogonalComponent_i_AbsState'),
  1780. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.OrthogonalComponent'),
  1781. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsState')})
  1782. }))
  1783. cl = self.mvk.create(MappingValue({
  1784. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1785. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1786. CreateConstants.ATTRS_KEY: MappingValue({
  1787. StringValue('Inheritance.name'): StringValue('Return_i_Statement'),
  1788. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Return'),
  1789. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  1790. }))
  1791. cl = self.mvk.create(MappingValue({
  1792. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1793. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1794. CreateConstants.ATTRS_KEY: MappingValue({
  1795. StringValue('Inheritance.name'): StringValue('Statement_i_ID'),
  1796. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Statement'),
  1797. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1798. }))
  1799. cl = self.mvk.create(MappingValue({
  1800. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1801. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1802. CreateConstants.ATTRS_KEY: MappingValue({
  1803. StringValue('Association.to_max'): IntegerValue(1),
  1804. StringValue('Association.from_max'): InfiniteValue('inf'),
  1805. StringValue('Association.from_port'): StringValue('from_raise'),
  1806. StringValue('Association.to_min'): IntegerValue(1),
  1807. StringValue('Class.name'): StringValue('raise_methodcall'),
  1808. StringValue('Association.to_port'): StringValue('to_methodcall'),
  1809. StringValue('Class.is_abstract'): BooleanValue(False),
  1810. StringValue('Association.from_min'): IntegerValue(0),
  1811. StringValue('Class.id_field'): StringValue('raise_methodcall.name'),
  1812. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Raise'),
  1813. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.MethodCall')})
  1814. }))
  1815. cl = self.mvk.create(MappingValue({
  1816. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1817. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.raise_methodcall'),
  1818. CreateConstants.ATTRS_KEY: MappingValue({
  1819. StringValue('Attribute.name'): StringValue('name'),
  1820. StringValue('Attribute.type'): StringType()})
  1821. }))
  1822. cl = self.mvk.create(MappingValue({
  1823. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1824. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1825. CreateConstants.ATTRS_KEY: MappingValue({
  1826. StringValue('Association.to_max'): IntegerValue(1),
  1827. StringValue('Association.from_max'): InfiniteValue('inf'),
  1828. StringValue('Association.from_port'): StringValue('from_argument'),
  1829. StringValue('Association.to_min'): IntegerValue(0),
  1830. StringValue('Class.name'): StringValue('argument_argument_next'),
  1831. StringValue('Association.to_port'): StringValue('to_argument'),
  1832. StringValue('Class.is_abstract'): BooleanValue(False),
  1833. StringValue('Association.from_min'): IntegerValue(0),
  1834. StringValue('Class.id_field'): StringValue('argument_argument_next.name'),
  1835. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Argument'),
  1836. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Argument')})
  1837. }))
  1838. cl = self.mvk.create(MappingValue({
  1839. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1840. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.argument_argument_next'),
  1841. CreateConstants.ATTRS_KEY: MappingValue({
  1842. StringValue('Attribute.name'): StringValue('name'),
  1843. StringValue('Attribute.type'): StringType()})
  1844. }))
  1845. cl = self.mvk.create(MappingValue({
  1846. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1847. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1848. CreateConstants.ATTRS_KEY: MappingValue({
  1849. StringValue('Association.to_max'): IntegerValue(1),
  1850. StringValue('Association.from_max'): InfiniteValue('inf'),
  1851. StringValue('Association.from_port'): StringValue('from_raise'),
  1852. StringValue('Association.to_min'): IntegerValue(0),
  1853. StringValue('Class.name'): StringValue('raise_target'),
  1854. StringValue('Association.to_port'): StringValue('to_Target'),
  1855. StringValue('Class.is_abstract'): BooleanValue(False),
  1856. StringValue('Association.from_min'): IntegerValue(0),
  1857. StringValue('Class.id_field'): StringValue('raise_target.name'),
  1858. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Raise'),
  1859. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Target')})
  1860. }))
  1861. cl = self.mvk.create(MappingValue({
  1862. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1863. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.raise_target'),
  1864. CreateConstants.ATTRS_KEY: MappingValue({
  1865. StringValue('Attribute.name'): StringValue('name'),
  1866. StringValue('Attribute.type'): StringType()})
  1867. }))
  1868. cl = self.mvk.create(MappingValue({
  1869. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1870. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1871. CreateConstants.ATTRS_KEY: MappingValue({
  1872. StringValue('Inheritance.name'): StringValue('Composition_i_Relationship'),
  1873. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Composition'),
  1874. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Relationship')})
  1875. }))
  1876. cl = self.mvk.create(MappingValue({
  1877. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1878. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1879. CreateConstants.ATTRS_KEY: MappingValue({
  1880. StringValue('Association.to_max'): IntegerValue(1),
  1881. StringValue('Association.from_max'): InfiniteValue('inf'),
  1882. StringValue('Association.from_port'): StringValue('from_return'),
  1883. StringValue('Association.to_min'): IntegerValue(0),
  1884. StringValue('Class.name'): StringValue('return_expression'),
  1885. StringValue('Association.to_port'): StringValue('to_expression'),
  1886. StringValue('Class.is_abstract'): BooleanValue(False),
  1887. StringValue('Association.from_min'): IntegerValue(0),
  1888. StringValue('Class.id_field'): StringValue('return_expression.name'),
  1889. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Return'),
  1890. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1891. }))
  1892. cl = self.mvk.create(MappingValue({
  1893. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1894. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.return_expression'),
  1895. CreateConstants.ATTRS_KEY: MappingValue({
  1896. StringValue('Attribute.name'): StringValue('name'),
  1897. StringValue('Attribute.type'): StringType()})
  1898. }))
  1899. cl = self.mvk.create(MappingValue({
  1900. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1901. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1902. CreateConstants.ATTRS_KEY: MappingValue({
  1903. StringValue('Association.to_max'): IntegerValue(1),
  1904. StringValue('Association.from_max'): InfiniteValue('inf'),
  1905. StringValue('Association.from_port'): StringValue('from_parameter'),
  1906. StringValue('Association.to_min'): IntegerValue(0),
  1907. StringValue('Class.name'): StringValue('parameter_parameter_next'),
  1908. StringValue('Association.to_port'): StringValue('to_parameter'),
  1909. StringValue('Class.is_abstract'): BooleanValue(False),
  1910. StringValue('Association.from_min'): IntegerValue(0),
  1911. StringValue('Class.id_field'): StringValue('parameter_parameter_next.name'),
  1912. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Parameter'),
  1913. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Parameter')})
  1914. }))
  1915. cl = self.mvk.create(MappingValue({
  1916. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1917. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.parameter_parameter_next'),
  1918. CreateConstants.ATTRS_KEY: MappingValue({
  1919. StringValue('Attribute.name'): StringValue('name'),
  1920. StringValue('Attribute.type'): StringType()})
  1921. }))
  1922. cl = self.mvk.create(MappingValue({
  1923. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1924. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1925. CreateConstants.ATTRS_KEY: MappingValue({
  1926. StringValue('Inheritance.name'): StringValue('OnExit_i_ActionBlock'),
  1927. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.OnExit'),
  1928. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  1929. }))
  1930. cl = self.mvk.create(MappingValue({
  1931. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1932. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1933. CreateConstants.ATTRS_KEY: MappingValue({
  1934. StringValue('Association.to_max'): IntegerValue(1),
  1935. StringValue('Association.from_max'): InfiniteValue('inf'),
  1936. StringValue('Association.from_port'): StringValue('from_absstate'),
  1937. StringValue('Association.to_min'): IntegerValue(0),
  1938. StringValue('Class.name'): StringValue('absstate_onexit'),
  1939. StringValue('Association.to_port'): StringValue('to_onexit'),
  1940. StringValue('Class.is_abstract'): BooleanValue(False),
  1941. StringValue('Association.from_min'): IntegerValue(0),
  1942. StringValue('Class.id_field'): StringValue('absstate_onexit.name'),
  1943. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsState'),
  1944. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.OnExit')})
  1945. }))
  1946. cl = self.mvk.create(MappingValue({
  1947. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1948. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.absstate_onexit'),
  1949. CreateConstants.ATTRS_KEY: MappingValue({
  1950. StringValue('Attribute.name'): StringValue('name'),
  1951. StringValue('Attribute.type'): StringType()})
  1952. }))
  1953. cl = self.mvk.create(MappingValue({
  1954. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1955. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1956. CreateConstants.ATTRS_KEY: MappingValue({
  1957. StringValue('Inheritance.name'): StringValue('State_i_AbsState'),
  1958. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.State'),
  1959. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsState')})
  1960. }))
  1961. cl = self.mvk.create(MappingValue({
  1962. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1963. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1964. CreateConstants.ATTRS_KEY: MappingValue({
  1965. StringValue('Association.to_max'): IntegerValue(1),
  1966. StringValue('Association.from_max'): InfiniteValue('inf'),
  1967. StringValue('Association.from_port'): StringValue('from_class'),
  1968. StringValue('Association.to_min'): IntegerValue(0),
  1969. StringValue('Class.name'): StringValue('class_statemachine'),
  1970. StringValue('Association.to_port'): StringValue('to_statemachine'),
  1971. StringValue('Class.is_abstract'): BooleanValue(False),
  1972. StringValue('Association.from_min'): IntegerValue(0),
  1973. StringValue('Class.id_field'): StringValue('class_statemachine.name'),
  1974. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Class'),
  1975. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.StateMachine')})
  1976. }))
  1977. cl = self.mvk.create(MappingValue({
  1978. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1979. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.class_statemachine'),
  1980. CreateConstants.ATTRS_KEY: MappingValue({
  1981. StringValue('Attribute.name'): StringValue('name'),
  1982. StringValue('Attribute.type'): StringType()})
  1983. }))
  1984. cl = self.mvk.create(MappingValue({
  1985. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1986. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1987. CreateConstants.ATTRS_KEY: MappingValue({
  1988. StringValue('Association.to_max'): IntegerValue(1),
  1989. StringValue('Association.from_max'): InfiniteValue('inf'),
  1990. StringValue('Association.from_port'): StringValue('from_binop'),
  1991. StringValue('Association.to_min'): IntegerValue(1),
  1992. StringValue('Class.name'): StringValue('binop_expression_right'),
  1993. StringValue('Association.to_port'): StringValue('to_expression'),
  1994. StringValue('Class.is_abstract'): BooleanValue(False),
  1995. StringValue('Association.from_min'): IntegerValue(0),
  1996. StringValue('Class.id_field'): StringValue('binop_expression_right.name'),
  1997. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Binop'),
  1998. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1999. }))
  2000. cl = self.mvk.create(MappingValue({
  2001. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2002. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.binop_expression_right'),
  2003. CreateConstants.ATTRS_KEY: MappingValue({
  2004. StringValue('Attribute.name'): StringValue('name'),
  2005. StringValue('Attribute.type'): StringType()})
  2006. }))
  2007. cl = self.mvk.create(MappingValue({
  2008. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2009. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2010. CreateConstants.ATTRS_KEY: MappingValue({
  2011. StringValue('Association.to_max'): IntegerValue(1),
  2012. StringValue('Association.from_max'): InfiniteValue('inf'),
  2013. StringValue('Association.from_port'): StringValue('from_transition'),
  2014. StringValue('Association.to_min'): IntegerValue(0),
  2015. StringValue('Class.name'): StringValue('transition_actionblock'),
  2016. StringValue('Association.to_port'): StringValue('to_actionblock'),
  2017. StringValue('Class.is_abstract'): BooleanValue(False),
  2018. StringValue('Association.from_min'): IntegerValue(0),
  2019. StringValue('Class.id_field'): StringValue('transition_actionblock.name'),
  2020. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Transition'),
  2021. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  2022. }))
  2023. cl = self.mvk.create(MappingValue({
  2024. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2025. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.transition_actionblock'),
  2026. CreateConstants.ATTRS_KEY: MappingValue({
  2027. StringValue('Attribute.name'): StringValue('name'),
  2028. StringValue('Attribute.type'): StringType()})
  2029. }))
  2030. cl = self.mvk.create(MappingValue({
  2031. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2032. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2033. CreateConstants.ATTRS_KEY: MappingValue({
  2034. StringValue('Association.to_max'): IntegerValue(1),
  2035. StringValue('Association.from_max'): InfiniteValue('inf'),
  2036. StringValue('Association.from_port'): StringValue('from_regularargument'),
  2037. StringValue('Association.to_min'): IntegerValue(1),
  2038. StringValue('Class.name'): StringValue('dictargument_expression'),
  2039. StringValue('Association.to_port'): StringValue('to_expression'),
  2040. StringValue('Class.is_abstract'): BooleanValue(False),
  2041. StringValue('Association.from_min'): IntegerValue(0),
  2042. StringValue('Class.id_field'): StringValue('dictargument_expression.name'),
  2043. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.DictArgument'),
  2044. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2045. }))
  2046. cl = self.mvk.create(MappingValue({
  2047. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2048. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.dictargument_expression'),
  2049. CreateConstants.ATTRS_KEY: MappingValue({
  2050. StringValue('Attribute.name'): StringValue('name'),
  2051. StringValue('Attribute.type'): StringType()})
  2052. }))
  2053. cl = self.mvk.create(MappingValue({
  2054. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2055. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2056. CreateConstants.ATTRS_KEY: MappingValue({
  2057. StringValue('Inheritance.name'): StringValue('IntegerValue_i_AtomValue'),
  2058. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.IntegerValue'),
  2059. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AtomValue')})
  2060. }))
  2061. cl = self.mvk.create(MappingValue({
  2062. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2063. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2064. CreateConstants.ATTRS_KEY: MappingValue({
  2065. StringValue('Association.to_max'): IntegerValue(1),
  2066. StringValue('Association.from_max'): InfiniteValue('inf'),
  2067. StringValue('Association.from_port'): StringValue('from_declaration'),
  2068. StringValue('Association.to_min'): IntegerValue(1),
  2069. StringValue('Class.name'): StringValue('declaration_navigationexpression_type'),
  2070. StringValue('Association.to_port'): StringValue('to_navigationexpression'),
  2071. StringValue('Class.is_abstract'): BooleanValue(False),
  2072. StringValue('Association.from_min'): IntegerValue(0),
  2073. StringValue('Class.id_field'): StringValue('declaration_navigationexpression_type.name'),
  2074. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Declaration'),
  2075. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.NavigationExpression')})
  2076. }))
  2077. cl = self.mvk.create(MappingValue({
  2078. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2079. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.declaration_navigationexpression_type'),
  2080. CreateConstants.ATTRS_KEY: MappingValue({
  2081. StringValue('Attribute.name'): StringValue('name'),
  2082. StringValue('Attribute.type'): StringType()})
  2083. }))
  2084. cl = self.mvk.create(MappingValue({
  2085. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2086. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2087. CreateConstants.ATTRS_KEY: MappingValue({
  2088. StringValue('Inheritance.name'): StringValue('RegularArgument_i_CompositeArgument'),
  2089. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.RegularArgument'),
  2090. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.CompositeArgument')})
  2091. }))
  2092. cl = self.mvk.create(MappingValue({
  2093. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2094. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2095. CreateConstants.ATTRS_KEY: MappingValue({
  2096. StringValue('Association.to_max'): InfiniteValue('inf'),
  2097. StringValue('Association.from_max'): InfiniteValue('inf'),
  2098. StringValue('Association.from_port'): StringValue('from_argument'),
  2099. StringValue('Association.to_min'): IntegerValue(0),
  2100. StringValue('Class.name'): StringValue('argument_value'),
  2101. StringValue('Association.to_port'): StringValue('to_value'),
  2102. StringValue('Class.is_abstract'): BooleanValue(False),
  2103. StringValue('Association.from_min'): IntegerValue(0),
  2104. StringValue('Class.id_field'): StringValue('argument_value.name'),
  2105. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Argument'),
  2106. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2107. }))
  2108. cl = self.mvk.create(MappingValue({
  2109. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2110. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.argument_value'),
  2111. CreateConstants.ATTRS_KEY: MappingValue({
  2112. StringValue('Attribute.name'): StringValue('name'),
  2113. StringValue('Attribute.type'): StringType()})
  2114. }))
  2115. cl = self.mvk.create(MappingValue({
  2116. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2117. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2118. CreateConstants.ATTRS_KEY: MappingValue({
  2119. StringValue('Inheritance.name'): StringValue('MethodCallStm_i_AbsMethodCall'),
  2120. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.MethodCallStm'),
  2121. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsMethodCall')})
  2122. }))
  2123. cl = self.mvk.create(MappingValue({
  2124. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2125. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2126. CreateConstants.ATTRS_KEY: MappingValue({
  2127. StringValue('Inheritance.name'): StringValue('HistoryState_i_PseudoState'),
  2128. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.HistoryState'),
  2129. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.PseudoState')})
  2130. }))
  2131. cl = self.mvk.create(MappingValue({
  2132. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2133. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2134. CreateConstants.ATTRS_KEY: MappingValue({
  2135. StringValue('Association.to_max'): InfiniteValue('inf'),
  2136. StringValue('Association.from_max'): InfiniteValue('inf'),
  2137. StringValue('Association.from_port'): StringValue('from_statemachine'),
  2138. StringValue('Association.to_min'): IntegerValue(0),
  2139. StringValue('Class.name'): StringValue('statemachine_pseudostate'),
  2140. StringValue('Association.to_port'): StringValue('to_pseudostate'),
  2141. StringValue('Class.is_abstract'): BooleanValue(False),
  2142. StringValue('Association.from_min'): IntegerValue(0),
  2143. StringValue('Class.id_field'): StringValue('statemachine_pseudostate.name'),
  2144. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.StateMachine'),
  2145. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.PseudoState')})
  2146. }))
  2147. cl = self.mvk.create(MappingValue({
  2148. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2149. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.statemachine_pseudostate'),
  2150. CreateConstants.ATTRS_KEY: MappingValue({
  2151. StringValue('Attribute.name'): StringValue('name'),
  2152. StringValue('Attribute.type'): StringType()})
  2153. }))
  2154. cl = self.mvk.create(MappingValue({
  2155. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2156. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2157. CreateConstants.ATTRS_KEY: MappingValue({
  2158. StringValue('Inheritance.name'): StringValue('MethodCallStm_i_Statement'),
  2159. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.MethodCallStm'),
  2160. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  2161. }))
  2162. cl = self.mvk.create(MappingValue({
  2163. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2164. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2165. CreateConstants.ATTRS_KEY: MappingValue({
  2166. StringValue('Inheritance.name'): StringValue('LEThan_i_Binop'),
  2167. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.LEThan'),
  2168. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  2169. }))
  2170. cl = self.mvk.create(MappingValue({
  2171. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2172. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2173. CreateConstants.ATTRS_KEY: MappingValue({
  2174. StringValue('Inheritance.name'): StringValue('Composite_i_Expression'),
  2175. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Composite'),
  2176. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2177. }))
  2178. cl = self.mvk.create(MappingValue({
  2179. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2180. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2181. CreateConstants.ATTRS_KEY: MappingValue({
  2182. StringValue('Association.to_max'): IntegerValue(1),
  2183. StringValue('Association.from_max'): InfiniteValue('inf'),
  2184. StringValue('Association.from_port'): StringValue('from_methodcall'),
  2185. StringValue('Association.to_min'): IntegerValue(0),
  2186. StringValue('Class.name'): StringValue('methodcall_sender'),
  2187. StringValue('Association.to_port'): StringValue('to_expression'),
  2188. StringValue('Class.is_abstract'): BooleanValue(False),
  2189. StringValue('Association.from_min'): IntegerValue(0),
  2190. StringValue('Class.id_field'): StringValue('methodcall_sender.name'),
  2191. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsMethodCall'),
  2192. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2193. }))
  2194. cl = self.mvk.create(MappingValue({
  2195. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2196. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.methodcall_sender'),
  2197. CreateConstants.ATTRS_KEY: MappingValue({
  2198. StringValue('Attribute.name'): StringValue('name'),
  2199. StringValue('Attribute.type'): StringType()})
  2200. }))
  2201. cl = self.mvk.create(MappingValue({
  2202. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2203. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2204. CreateConstants.ATTRS_KEY: MappingValue({
  2205. StringValue('Inheritance.name'): StringValue('IfElse_i_Statement'),
  2206. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.IfElse'),
  2207. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  2208. }))
  2209. cl = self.mvk.create(MappingValue({
  2210. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2211. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2212. CreateConstants.ATTRS_KEY: MappingValue({
  2213. StringValue('Association.to_max'): IntegerValue(1),
  2214. StringValue('Association.from_max'): InfiniteValue('inf'),
  2215. StringValue('Association.from_port'): StringValue('from_binop'),
  2216. StringValue('Association.to_min'): IntegerValue(1),
  2217. StringValue('Class.name'): StringValue('binop_expression_left'),
  2218. StringValue('Association.to_port'): StringValue('to_expression'),
  2219. StringValue('Class.is_abstract'): BooleanValue(False),
  2220. StringValue('Association.from_min'): IntegerValue(0),
  2221. StringValue('Class.id_field'): StringValue('binop_expression_left.name'),
  2222. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Binop'),
  2223. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2224. }))
  2225. cl = self.mvk.create(MappingValue({
  2226. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2227. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.binop_expression_left'),
  2228. CreateConstants.ATTRS_KEY: MappingValue({
  2229. StringValue('Attribute.name'): StringValue('name'),
  2230. StringValue('Attribute.type'): StringType()})
  2231. }))
  2232. cl = self.mvk.create(MappingValue({
  2233. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2234. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2235. CreateConstants.ATTRS_KEY: MappingValue({
  2236. StringValue('Inheritance.name'): StringValue('Event_i_ID'),
  2237. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Event'),
  2238. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  2239. }))
  2240. cl = self.mvk.create(MappingValue({
  2241. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2242. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2243. CreateConstants.ATTRS_KEY: MappingValue({
  2244. StringValue('Association.to_max'): InfiniteValue('inf'),
  2245. StringValue('Association.from_max'): InfiniteValue('inf'),
  2246. StringValue('Association.from_port'): StringValue('from_class'),
  2247. StringValue('Association.to_min'): IntegerValue(0),
  2248. StringValue('Class.name'): StringValue('class_method'),
  2249. StringValue('Association.to_port'): StringValue('to_method'),
  2250. StringValue('Class.is_abstract'): BooleanValue(False),
  2251. StringValue('Association.from_min'): IntegerValue(0),
  2252. StringValue('Class.id_field'): StringValue('class_method.name'),
  2253. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Class'),
  2254. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsMethod')})
  2255. }))
  2256. cl = self.mvk.create(MappingValue({
  2257. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2258. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.class_method'),
  2259. CreateConstants.ATTRS_KEY: MappingValue({
  2260. StringValue('Attribute.name'): StringValue('name'),
  2261. StringValue('Attribute.type'): StringType()})
  2262. }))
  2263. cl = self.mvk.create(MappingValue({
  2264. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2265. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2266. CreateConstants.ATTRS_KEY: MappingValue({
  2267. StringValue('Inheritance.name'): StringValue('LThan_i_Binop'),
  2268. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.LThan'),
  2269. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  2270. }))
  2271. cl = self.mvk.create(MappingValue({
  2272. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2273. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2274. CreateConstants.ATTRS_KEY: MappingValue({
  2275. StringValue('Inheritance.name'): StringValue('Attribute_i_Named'),
  2276. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Attribute'),
  2277. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Named')})
  2278. }))
  2279. cl = self.mvk.create(MappingValue({
  2280. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2281. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2282. CreateConstants.ATTRS_KEY: MappingValue({
  2283. StringValue('Association.to_max'): IntegerValue(1),
  2284. StringValue('Association.from_max'): InfiniteValue('inf'),
  2285. StringValue('Association.from_port'): StringValue('from_guard'),
  2286. StringValue('Association.to_min'): IntegerValue(1),
  2287. StringValue('Class.name'): StringValue('guard_expression'),
  2288. StringValue('Association.to_port'): StringValue('to_expression'),
  2289. StringValue('Class.is_abstract'): BooleanValue(False),
  2290. StringValue('Association.from_min'): IntegerValue(0),
  2291. StringValue('Class.id_field'): StringValue('guard_expression.name'),
  2292. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Guard'),
  2293. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2294. }))
  2295. cl = self.mvk.create(MappingValue({
  2296. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2297. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.guard_expression'),
  2298. CreateConstants.ATTRS_KEY: MappingValue({
  2299. StringValue('Attribute.name'): StringValue('name'),
  2300. StringValue('Attribute.type'): StringType()})
  2301. }))
  2302. cl = self.mvk.create(MappingValue({
  2303. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2304. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2305. CreateConstants.ATTRS_KEY: MappingValue({
  2306. StringValue('Association.to_max'): IntegerValue(1),
  2307. StringValue('Association.from_max'): InfiniteValue('inf'),
  2308. StringValue('Association.from_port'): StringValue('from_unop'),
  2309. StringValue('Association.to_min'): IntegerValue(1),
  2310. StringValue('Class.name'): StringValue('unop_expression'),
  2311. StringValue('Association.to_port'): StringValue('to_expression'),
  2312. StringValue('Class.is_abstract'): BooleanValue(False),
  2313. StringValue('Association.from_min'): IntegerValue(0),
  2314. StringValue('Class.id_field'): StringValue('unop_expression.name'),
  2315. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Unop'),
  2316. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2317. }))
  2318. cl = self.mvk.create(MappingValue({
  2319. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2320. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.unop_expression'),
  2321. CreateConstants.ATTRS_KEY: MappingValue({
  2322. StringValue('Attribute.name'): StringValue('name'),
  2323. StringValue('Attribute.type'): StringType()})
  2324. }))
  2325. cl = self.mvk.create(MappingValue({
  2326. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2327. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2328. CreateConstants.ATTRS_KEY: MappingValue({
  2329. StringValue('Inheritance.name'): StringValue('Tuple_i_Composite'),
  2330. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Tuple'),
  2331. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Composite')})
  2332. }))
  2333. cl = self.mvk.create(MappingValue({
  2334. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2335. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2336. CreateConstants.ATTRS_KEY: MappingValue({
  2337. StringValue('Inheritance.name'): StringValue('Continue_i_Statement'),
  2338. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Continue'),
  2339. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  2340. }))
  2341. cl = self.mvk.create(MappingValue({
  2342. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2343. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2344. CreateConstants.ATTRS_KEY: MappingValue({
  2345. StringValue('Inheritance.name'): StringValue('Declaration_i_Statement'),
  2346. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Declaration'),
  2347. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  2348. }))
  2349. cl = self.mvk.create(MappingValue({
  2350. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2351. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2352. CreateConstants.ATTRS_KEY: MappingValue({
  2353. StringValue('Association.to_max'): IntegerValue(1),
  2354. StringValue('Association.from_max'): InfiniteValue('inf'),
  2355. StringValue('Association.from_port'): StringValue('from_ifelse'),
  2356. StringValue('Association.to_min'): IntegerValue(1),
  2357. StringValue('Class.name'): StringValue('ifelse_actionblock_ifbody'),
  2358. StringValue('Association.to_port'): StringValue('to_actionblock'),
  2359. StringValue('Class.is_abstract'): BooleanValue(False),
  2360. StringValue('Association.from_min'): IntegerValue(0),
  2361. StringValue('Class.id_field'): StringValue('ifelse_actionblock_ifbody.name'),
  2362. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.IfElse'),
  2363. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  2364. }))
  2365. cl = self.mvk.create(MappingValue({
  2366. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2367. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.ifelse_actionblock_ifbody'),
  2368. CreateConstants.ATTRS_KEY: MappingValue({
  2369. StringValue('Attribute.name'): StringValue('name'),
  2370. StringValue('Attribute.type'): StringType()})
  2371. }))
  2372. cl = self.mvk.create(MappingValue({
  2373. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2374. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2375. CreateConstants.ATTRS_KEY: MappingValue({
  2376. StringValue('Association.to_max'): IntegerValue(1),
  2377. StringValue('Association.from_max'): InfiniteValue('inf'),
  2378. StringValue('Association.from_port'): StringValue('from_absstate'),
  2379. StringValue('Association.to_min'): IntegerValue(0),
  2380. StringValue('Class.name'): StringValue('absstate_onenter'),
  2381. StringValue('Association.to_port'): StringValue('to_onenter'),
  2382. StringValue('Class.is_abstract'): BooleanValue(False),
  2383. StringValue('Association.from_min'): IntegerValue(0),
  2384. StringValue('Class.id_field'): StringValue('absstate_onenter.name'),
  2385. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsState'),
  2386. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.OnEnter')})
  2387. }))
  2388. cl = self.mvk.create(MappingValue({
  2389. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2390. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.absstate_onenter'),
  2391. CreateConstants.ATTRS_KEY: MappingValue({
  2392. StringValue('Attribute.name'): StringValue('name'),
  2393. StringValue('Attribute.type'): StringType()})
  2394. }))
  2395. cl = self.mvk.create(MappingValue({
  2396. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2397. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2398. CreateConstants.ATTRS_KEY: MappingValue({
  2399. StringValue('Inheritance.name'): StringValue('StringValue_i_AtomValue'),
  2400. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.StringValue'),
  2401. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AtomValue')})
  2402. }))
  2403. cl = self.mvk.create(MappingValue({
  2404. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2405. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2406. CreateConstants.ATTRS_KEY: MappingValue({
  2407. StringValue('Inheritance.name'): StringValue('Div_i_Binop'),
  2408. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Div'),
  2409. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  2410. }))
  2411. cl = self.mvk.create(MappingValue({
  2412. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2413. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2414. CreateConstants.ATTRS_KEY: MappingValue({
  2415. StringValue('Association.to_max'): IntegerValue(1),
  2416. StringValue('Association.from_max'): InfiniteValue('inf'),
  2417. StringValue('Association.from_port'): StringValue('from_compositeargument'),
  2418. StringValue('Association.to_min'): IntegerValue(1),
  2419. StringValue('Class.name'): StringValue('compositeargument_compositeargument_next'),
  2420. StringValue('Association.to_port'): StringValue('to_compositeargument'),
  2421. StringValue('Class.is_abstract'): BooleanValue(False),
  2422. StringValue('Association.from_min'): IntegerValue(0),
  2423. StringValue('Class.id_field'): StringValue('compositeargument_compositeargument_next.name'),
  2424. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.CompositeArgument'),
  2425. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.CompositeArgument')})
  2426. }))
  2427. cl = self.mvk.create(MappingValue({
  2428. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2429. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.compositeargument_compositeargument_next'),
  2430. CreateConstants.ATTRS_KEY: MappingValue({
  2431. StringValue('Attribute.name'): StringValue('name'),
  2432. StringValue('Attribute.type'): StringType()})
  2433. }))
  2434. cl = self.mvk.create(MappingValue({
  2435. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2436. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2437. CreateConstants.ATTRS_KEY: MappingValue({
  2438. StringValue('Inheritance.name'): StringValue('Transition_i_ID'),
  2439. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Transition'),
  2440. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  2441. }))
  2442. cl = self.mvk.create(MappingValue({
  2443. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2444. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2445. CreateConstants.ATTRS_KEY: MappingValue({
  2446. StringValue('Inheritance.name'): StringValue('FloatValue_i_AtomValue'),
  2447. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.FloatValue'),
  2448. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AtomValue')})
  2449. }))
  2450. cl = self.mvk.create(MappingValue({
  2451. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2452. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2453. CreateConstants.ATTRS_KEY: MappingValue({
  2454. StringValue('Association.to_max'): InfiniteValue('inf'),
  2455. StringValue('Association.from_max'): InfiniteValue('inf'),
  2456. StringValue('Association.from_port'): StringValue('from_absstate'),
  2457. StringValue('Association.to_min'): IntegerValue(0),
  2458. StringValue('Class.name'): StringValue('absstate_transition'),
  2459. StringValue('Association.to_port'): StringValue('to_transition'),
  2460. StringValue('Class.is_abstract'): BooleanValue(False),
  2461. StringValue('Association.from_min'): IntegerValue(0),
  2462. StringValue('Class.id_field'): StringValue('absstate_transition.name'),
  2463. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsState'),
  2464. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Transition')})
  2465. }))
  2466. cl = self.mvk.create(MappingValue({
  2467. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2468. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.absstate_transition'),
  2469. CreateConstants.ATTRS_KEY: MappingValue({
  2470. StringValue('Attribute.name'): StringValue('name'),
  2471. StringValue('Attribute.type'): StringType()})
  2472. }))
  2473. cl = self.mvk.create(MappingValue({
  2474. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2475. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2476. CreateConstants.ATTRS_KEY: MappingValue({
  2477. StringValue('Association.to_max'): IntegerValue(1),
  2478. StringValue('Association.from_max'): InfiniteValue('inf'),
  2479. StringValue('Association.from_port'): StringValue('from_navigationexpression'),
  2480. StringValue('Association.to_min'): IntegerValue(1),
  2481. StringValue('Class.name'): StringValue('navigationexpression_absnavigationexpression'),
  2482. StringValue('Association.to_port'): StringValue('to_absnavigationexpression'),
  2483. StringValue('Class.is_abstract'): BooleanValue(False),
  2484. StringValue('Association.from_min'): IntegerValue(0),
  2485. StringValue('Class.id_field'): StringValue('navigationexpression_absnavigationexpression.name'),
  2486. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.NavigationExpression'),
  2487. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsNavigationExpression')})
  2488. }))
  2489. cl = self.mvk.create(MappingValue({
  2490. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2491. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.navigationexpression_absnavigationexpression'),
  2492. CreateConstants.ATTRS_KEY: MappingValue({
  2493. StringValue('Attribute.name'): StringValue('name'),
  2494. StringValue('Attribute.type'): StringType()})
  2495. }))
  2496. cl = self.mvk.create(MappingValue({
  2497. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2498. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2499. CreateConstants.ATTRS_KEY: MappingValue({
  2500. StringValue('Inheritance.name'): StringValue('DictArgument_i_CompositeArgument'),
  2501. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.DictArgument'),
  2502. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.CompositeArgument')})
  2503. }))
  2504. cl = self.mvk.create(MappingValue({
  2505. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2506. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2507. CreateConstants.ATTRS_KEY: MappingValue({
  2508. StringValue('Inheritance.name'): StringValue('Association_i_Relationship'),
  2509. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Association'),
  2510. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Relationship')})
  2511. }))
  2512. cl = self.mvk.create(MappingValue({
  2513. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2514. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2515. CreateConstants.ATTRS_KEY: MappingValue({
  2516. StringValue('Inheritance.name'): StringValue('SelfExpression_i_AbsNavigationExpression'),
  2517. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.SelfExpression'),
  2518. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsNavigationExpression')})
  2519. }))
  2520. cl = self.mvk.create(MappingValue({
  2521. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2522. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2523. CreateConstants.ATTRS_KEY: MappingValue({
  2524. StringValue('Association.to_max'): IntegerValue(1),
  2525. StringValue('Association.from_max'): InfiniteValue('inf'),
  2526. StringValue('Association.from_port'): StringValue('from_transition'),
  2527. StringValue('Association.to_min'): IntegerValue(0),
  2528. StringValue('Class.name'): StringValue('transition_guard'),
  2529. StringValue('Association.to_port'): StringValue('to_guard'),
  2530. StringValue('Class.is_abstract'): BooleanValue(False),
  2531. StringValue('Association.from_min'): IntegerValue(0),
  2532. StringValue('Class.id_field'): StringValue('transition_guard.name'),
  2533. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Transition'),
  2534. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Guard')})
  2535. }))
  2536. cl = self.mvk.create(MappingValue({
  2537. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2538. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.transition_guard'),
  2539. CreateConstants.ATTRS_KEY: MappingValue({
  2540. StringValue('Attribute.name'): StringValue('name'),
  2541. StringValue('Attribute.type'): StringType()})
  2542. }))
  2543. cl = self.mvk.create(MappingValue({
  2544. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2545. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2546. CreateConstants.ATTRS_KEY: MappingValue({
  2547. StringValue('Inheritance.name'): StringValue('Guard_i_ID'),
  2548. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Guard'),
  2549. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  2550. }))
  2551. cl = self.mvk.create(MappingValue({
  2552. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2553. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2554. CreateConstants.ATTRS_KEY: MappingValue({
  2555. StringValue('Inheritance.name'): StringValue('Or_i_Binop'),
  2556. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Or'),
  2557. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  2558. }))
  2559. cl = self.mvk.create(MappingValue({
  2560. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2561. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2562. CreateConstants.ATTRS_KEY: MappingValue({
  2563. StringValue('Association.to_max'): InfiniteValue('inf'),
  2564. StringValue('Association.from_max'): InfiniteValue('inf'),
  2565. StringValue('Association.from_port'): StringValue('from_class'),
  2566. StringValue('Association.to_min'): IntegerValue(0),
  2567. StringValue('Class.name'): StringValue('class_inport'),
  2568. StringValue('Association.to_port'): StringValue('to_inport'),
  2569. StringValue('Class.is_abstract'): BooleanValue(False),
  2570. StringValue('Association.from_min'): IntegerValue(0),
  2571. StringValue('Class.id_field'): StringValue('class_inport.name'),
  2572. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Class'),
  2573. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.InPort')})
  2574. }))
  2575. cl = self.mvk.create(MappingValue({
  2576. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2577. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.class_inport'),
  2578. CreateConstants.ATTRS_KEY: MappingValue({
  2579. StringValue('Attribute.name'): StringValue('name'),
  2580. StringValue('Attribute.type'): StringType()})
  2581. }))
  2582. cl = self.mvk.create(MappingValue({
  2583. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2584. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2585. CreateConstants.ATTRS_KEY: MappingValue({
  2586. StringValue('Association.to_max'): InfiniteValue('inf'),
  2587. StringValue('Association.from_max'): InfiniteValue('inf'),
  2588. StringValue('Association.from_port'): StringValue('from_class'),
  2589. StringValue('Association.to_min'): IntegerValue(0),
  2590. StringValue('Class.name'): StringValue('class_outport'),
  2591. StringValue('Association.to_port'): StringValue('to_outport'),
  2592. StringValue('Class.is_abstract'): BooleanValue(False),
  2593. StringValue('Association.from_min'): IntegerValue(0),
  2594. StringValue('Class.id_field'): StringValue('class_outport.name'),
  2595. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Class'),
  2596. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.OutPort')})
  2597. }))
  2598. cl = self.mvk.create(MappingValue({
  2599. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2600. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.class_outport'),
  2601. CreateConstants.ATTRS_KEY: MappingValue({
  2602. StringValue('Attribute.name'): StringValue('name'),
  2603. StringValue('Attribute.type'): StringType()})
  2604. }))
  2605. cl = self.mvk.create(MappingValue({
  2606. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2607. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2608. CreateConstants.ATTRS_KEY: MappingValue({
  2609. StringValue('Association.to_max'): InfiniteValue('inf'),
  2610. StringValue('Association.from_max'): InfiniteValue('inf'),
  2611. StringValue('Association.from_port'): StringValue('from_methodcall'),
  2612. StringValue('Association.to_min'): IntegerValue(0),
  2613. StringValue('Class.name'): StringValue('methodcall_argument'),
  2614. StringValue('Association.to_port'): StringValue('to_argument'),
  2615. StringValue('Class.is_abstract'): BooleanValue(False),
  2616. StringValue('Association.from_min'): IntegerValue(0),
  2617. StringValue('Class.id_field'): StringValue('methodcall_argument.name'),
  2618. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsMethodCall'),
  2619. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Argument')})
  2620. }))
  2621. cl = self.mvk.create(MappingValue({
  2622. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2623. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.methodcall_argument'),
  2624. CreateConstants.ATTRS_KEY: MappingValue({
  2625. StringValue('Attribute.name'): StringValue('name'),
  2626. StringValue('Attribute.type'): StringType()})
  2627. }))
  2628. cl = self.mvk.create(MappingValue({
  2629. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2630. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2631. CreateConstants.ATTRS_KEY: MappingValue({
  2632. StringValue('Association.to_max'): IntegerValue(1),
  2633. StringValue('Association.from_max'): InfiniteValue('inf'),
  2634. StringValue('Association.from_port'): StringValue('from_composite'),
  2635. StringValue('Association.to_min'): IntegerValue(1),
  2636. StringValue('Class.name'): StringValue('composite_compositeargument'),
  2637. StringValue('Association.to_port'): StringValue('to_compositeargument'),
  2638. StringValue('Class.is_abstract'): BooleanValue(False),
  2639. StringValue('Association.from_min'): IntegerValue(0),
  2640. StringValue('Class.id_field'): StringValue('composite_compositeargument.name'),
  2641. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Composite'),
  2642. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.CompositeArgument')})
  2643. }))
  2644. cl = self.mvk.create(MappingValue({
  2645. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2646. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.composite_compositeargument'),
  2647. CreateConstants.ATTRS_KEY: MappingValue({
  2648. StringValue('Attribute.name'): StringValue('name'),
  2649. StringValue('Attribute.type'): StringType()})
  2650. }))
  2651. cl = self.mvk.create(MappingValue({
  2652. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2653. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2654. CreateConstants.ATTRS_KEY: MappingValue({
  2655. StringValue('Association.to_max'): IntegerValue(1),
  2656. StringValue('Association.from_max'): InfiniteValue('inf'),
  2657. StringValue('Association.from_port'): StringValue('from_parameter'),
  2658. StringValue('Association.to_min'): IntegerValue(0),
  2659. StringValue('Class.name'): StringValue('parameter_type_expression'),
  2660. StringValue('Association.to_port'): StringValue('to_type_expression'),
  2661. StringValue('Class.is_abstract'): BooleanValue(False),
  2662. StringValue('Association.from_min'): IntegerValue(0),
  2663. StringValue('Class.id_field'): StringValue('parameter_type_expression.name'),
  2664. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Parameter'),
  2665. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.NavigationExpression')})
  2666. }))
  2667. cl = self.mvk.create(MappingValue({
  2668. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2669. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.parameter_type_expression'),
  2670. CreateConstants.ATTRS_KEY: MappingValue({
  2671. StringValue('Attribute.name'): StringValue('name'),
  2672. StringValue('Attribute.type'): StringType()})
  2673. }))
  2674. cl = self.mvk.create(MappingValue({
  2675. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2676. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2677. CreateConstants.ATTRS_KEY: MappingValue({
  2678. StringValue('Inheritance.name'): StringValue('AbsState_i_ID'),
  2679. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsState'),
  2680. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  2681. }))
  2682. cl = self.mvk.create(MappingValue({
  2683. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2684. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2685. CreateConstants.ATTRS_KEY: MappingValue({
  2686. StringValue('Inheritance.name'): StringValue('PlainAssignment_i_Assignment'),
  2687. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.PlainAssignment'),
  2688. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Assignment')})
  2689. }))
  2690. cl = self.mvk.create(MappingValue({
  2691. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2692. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2693. CreateConstants.ATTRS_KEY: MappingValue({
  2694. StringValue('Association.to_max'): IntegerValue(1),
  2695. StringValue('Association.from_max'): InfiniteValue('inf'),
  2696. StringValue('Association.from_port'): StringValue('from_dictargument'),
  2697. StringValue('Association.to_min'): IntegerValue(1),
  2698. StringValue('Class.name'): StringValue('dictargument_labelexpression'),
  2699. StringValue('Association.to_port'): StringValue('to_expression'),
  2700. StringValue('Class.is_abstract'): BooleanValue(False),
  2701. StringValue('Association.from_min'): IntegerValue(0),
  2702. StringValue('Class.id_field'): StringValue('dictargument_labelexpression.name'),
  2703. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.DictArgument'),
  2704. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2705. }))
  2706. cl = self.mvk.create(MappingValue({
  2707. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2708. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.dictargument_labelexpression'),
  2709. CreateConstants.ATTRS_KEY: MappingValue({
  2710. StringValue('Attribute.name'): StringValue('name'),
  2711. StringValue('Attribute.type'): StringType()})
  2712. }))
  2713. cl = self.mvk.create(MappingValue({
  2714. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2715. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2716. CreateConstants.ATTRS_KEY: MappingValue({
  2717. StringValue('Inheritance.name'): StringValue('Argument_i_ID'),
  2718. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Argument'),
  2719. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  2720. }))
  2721. cl = self.mvk.create(MappingValue({
  2722. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2723. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2724. CreateConstants.ATTRS_KEY: MappingValue({
  2725. StringValue('Association.to_max'): IntegerValue(1),
  2726. StringValue('Association.from_max'): InfiniteValue('inf'),
  2727. StringValue('Association.from_port'): StringValue('from_absmethod'),
  2728. StringValue('Association.to_min'): IntegerValue(1),
  2729. StringValue('Class.name'): StringValue('absmethod_actionblock_body'),
  2730. StringValue('Association.to_port'): StringValue('to_actionblock'),
  2731. StringValue('Class.is_abstract'): BooleanValue(False),
  2732. StringValue('Association.from_min'): IntegerValue(0),
  2733. StringValue('Class.id_field'): StringValue('absmethod_actionblock_body.name'),
  2734. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsMethod'),
  2735. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  2736. }))
  2737. cl = self.mvk.create(MappingValue({
  2738. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2739. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.absmethod_actionblock_body'),
  2740. CreateConstants.ATTRS_KEY: MappingValue({
  2741. StringValue('Attribute.name'): StringValue('name'),
  2742. StringValue('Attribute.type'): StringType()})
  2743. }))
  2744. cl = self.mvk.create(MappingValue({
  2745. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2746. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2747. CreateConstants.ATTRS_KEY: MappingValue({
  2748. StringValue('Association.to_max'): IntegerValue(1),
  2749. StringValue('Association.from_max'): InfiniteValue('inf'),
  2750. StringValue('Association.from_port'): StringValue('from_event'),
  2751. StringValue('Association.to_min'): IntegerValue(0),
  2752. StringValue('Class.name'): StringValue('event_parameter'),
  2753. StringValue('Association.to_port'): StringValue('to_parameter'),
  2754. StringValue('Class.is_abstract'): BooleanValue(False),
  2755. StringValue('Association.from_min'): IntegerValue(0),
  2756. StringValue('Class.id_field'): StringValue('event_parameter.name'),
  2757. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Event'),
  2758. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Parameter')})
  2759. }))
  2760. cl = self.mvk.create(MappingValue({
  2761. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2762. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.event_parameter'),
  2763. CreateConstants.ATTRS_KEY: MappingValue({
  2764. StringValue('Attribute.name'): StringValue('name'),
  2765. StringValue('Attribute.type'): StringType()})
  2766. }))
  2767. cl = self.mvk.create(MappingValue({
  2768. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2769. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2770. CreateConstants.ATTRS_KEY: MappingValue({
  2771. StringValue('Inheritance.name'): StringValue('Break_i_Statement'),
  2772. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Break'),
  2773. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  2774. }))
  2775. cl = self.mvk.create(MappingValue({
  2776. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2777. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2778. CreateConstants.ATTRS_KEY: MappingValue({
  2779. StringValue('Inheritance.name'): StringValue('And_i_Binop'),
  2780. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.And'),
  2781. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  2782. }))
  2783. cl = self.mvk.create(MappingValue({
  2784. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2785. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2786. CreateConstants.ATTRS_KEY: MappingValue({
  2787. StringValue('Inheritance.name'): StringValue('Top_i_ActionBlock'),
  2788. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Top'),
  2789. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  2790. }))
  2791. cl = self.mvk.create(MappingValue({
  2792. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2793. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2794. CreateConstants.ATTRS_KEY: MappingValue({
  2795. StringValue('Association.to_max'): IntegerValue(1),
  2796. StringValue('Association.from_max'): InfiniteValue('inf'),
  2797. StringValue('Association.from_port'): StringValue('from_transition'),
  2798. StringValue('Association.to_min'): IntegerValue(0),
  2799. StringValue('Class.name'): StringValue('transition_event_trigger'),
  2800. StringValue('Association.to_port'): StringValue('to_event'),
  2801. StringValue('Class.is_abstract'): BooleanValue(False),
  2802. StringValue('Association.from_min'): IntegerValue(0),
  2803. StringValue('Class.id_field'): StringValue('transition_event_trigger.name'),
  2804. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Transition'),
  2805. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Event')})
  2806. }))
  2807. cl = self.mvk.create(MappingValue({
  2808. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2809. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.transition_event_trigger'),
  2810. CreateConstants.ATTRS_KEY: MappingValue({
  2811. StringValue('Attribute.name'): StringValue('name'),
  2812. StringValue('Attribute.type'): StringType()})
  2813. }))
  2814. cl = self.mvk.create(MappingValue({
  2815. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2816. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2817. CreateConstants.ATTRS_KEY: MappingValue({
  2818. StringValue('Association.to_max'): IntegerValue(1),
  2819. StringValue('Association.from_max'): InfiniteValue('inf'),
  2820. StringValue('Association.from_port'): StringValue('from_selfexpression'),
  2821. StringValue('Association.to_min'): IntegerValue(0),
  2822. StringValue('Class.name'): StringValue('selfexpression_dotexpression'),
  2823. StringValue('Association.to_port'): StringValue('to_dotexpression'),
  2824. StringValue('Class.is_abstract'): BooleanValue(False),
  2825. StringValue('Association.from_min'): IntegerValue(0),
  2826. StringValue('Class.id_field'): StringValue('selfexpression_dotexpression.name'),
  2827. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.SelfExpression'),
  2828. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.DotExpression')})
  2829. }))
  2830. cl = self.mvk.create(MappingValue({
  2831. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2832. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.selfexpression_dotexpression'),
  2833. CreateConstants.ATTRS_KEY: MappingValue({
  2834. StringValue('Attribute.name'): StringValue('name'),
  2835. StringValue('Attribute.type'): StringType()})
  2836. }))
  2837. cl = self.mvk.create(MappingValue({
  2838. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2839. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2840. CreateConstants.ATTRS_KEY: MappingValue({
  2841. StringValue('Inheritance.name'): StringValue('Mod_i_Binop'),
  2842. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Mod'),
  2843. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  2844. }))
  2845. cl = self.mvk.create(MappingValue({
  2846. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2847. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2848. CreateConstants.ATTRS_KEY: MappingValue({
  2849. StringValue('Inheritance.name'): StringValue('CompositeArgument_i_ID'),
  2850. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.CompositeArgument'),
  2851. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  2852. }))
  2853. cl = self.mvk.create(MappingValue({
  2854. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2855. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2856. CreateConstants.ATTRS_KEY: MappingValue({
  2857. StringValue('Association.to_max'): IntegerValue(1),
  2858. StringValue('Association.from_max'): InfiniteValue('inf'),
  2859. StringValue('Association.from_port'): StringValue('from_declaration'),
  2860. StringValue('Association.to_min'): IntegerValue(0),
  2861. StringValue('Class.name'): StringValue('declaration_expression_init'),
  2862. StringValue('Association.to_port'): StringValue('to_expression'),
  2863. StringValue('Class.is_abstract'): BooleanValue(False),
  2864. StringValue('Association.from_min'): IntegerValue(0),
  2865. StringValue('Class.id_field'): StringValue('declaration_expression_init.name'),
  2866. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Declaration'),
  2867. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2868. }))
  2869. cl = self.mvk.create(MappingValue({
  2870. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2871. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.declaration_expression_init'),
  2872. CreateConstants.ATTRS_KEY: MappingValue({
  2873. StringValue('Attribute.name'): StringValue('name'),
  2874. StringValue('Attribute.type'): StringType()})
  2875. }))
  2876. cl = self.mvk.create(MappingValue({
  2877. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2878. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2879. CreateConstants.ATTRS_KEY: MappingValue({
  2880. StringValue('Inheritance.name'): StringValue('Target_i_ID'),
  2881. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Target'),
  2882. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  2883. }))
  2884. cl = self.mvk.create(MappingValue({
  2885. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2886. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2887. CreateConstants.ATTRS_KEY: MappingValue({
  2888. StringValue('Inheritance.name'): StringValue('Aggregation_i_Relationship'),
  2889. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Aggregation'),
  2890. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Relationship')})
  2891. }))