sccd_metamodel.py 163 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835
  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(True),
  490. StringValue('Class.name'): StringValue('CompositeArgument')})
  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(False),
  497. StringValue('Class.name'): StringValue('FinalState')})
  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('PlainAssignment')})
  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('StringValue')})
  512. }))
  513. cl = self.mvk.create(MappingValue({
  514. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  515. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.StringValue'),
  516. CreateConstants.ATTRS_KEY: MappingValue({
  517. StringValue('Attribute.name'): StringValue('value'),
  518. StringValue('Attribute.type'): StringType()})
  519. }))
  520. cl = self.mvk.create(MappingValue({
  521. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  522. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  523. CreateConstants.ATTRS_KEY: MappingValue({
  524. StringValue('Class.is_abstract'): BooleanValue(False),
  525. StringValue('Class.name'): StringValue('Event')})
  526. }))
  527. cl = self.mvk.create(MappingValue({
  528. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  529. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Event'),
  530. CreateConstants.ATTRS_KEY: MappingValue({
  531. StringValue('Attribute.name'): StringValue('name'),
  532. StringValue('Attribute.type'): StringType()})
  533. }))
  534. cl = self.mvk.create(MappingValue({
  535. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  536. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  537. CreateConstants.ATTRS_KEY: MappingValue({
  538. StringValue('Class.is_abstract'): BooleanValue(False),
  539. StringValue('Class.name'): StringValue('FloatValue')})
  540. }))
  541. cl = self.mvk.create(MappingValue({
  542. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  543. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.FloatValue'),
  544. CreateConstants.ATTRS_KEY: MappingValue({
  545. StringValue('Attribute.name'): StringValue('value'),
  546. StringValue('Attribute.type'): FloatType()})
  547. }))
  548. cl = self.mvk.create(MappingValue({
  549. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  550. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  551. CreateConstants.ATTRS_KEY: MappingValue({
  552. StringValue('Class.is_abstract'): BooleanValue(False),
  553. StringValue('Class.name'): StringValue('OnExit')})
  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('Destructor')})
  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('Parameter')})
  568. }))
  569. cl = self.mvk.create(MappingValue({
  570. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  571. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Parameter'),
  572. CreateConstants.ATTRS_KEY: MappingValue({
  573. StringValue('Attribute.name'): StringValue('default'),
  574. StringValue('Attribute.type'): StringType()})
  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('name'),
  581. StringValue('Attribute.type'): StringType()})
  582. }))
  583. cl = self.mvk.create(MappingValue({
  584. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  585. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  586. CreateConstants.ATTRS_KEY: MappingValue({
  587. StringValue('Class.is_abstract'): BooleanValue(False),
  588. StringValue('Class.name'): StringValue('OnEnter')})
  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(True),
  595. StringValue('Class.name'): StringValue('Relationship')})
  596. }))
  597. cl = self.mvk.create(MappingValue({
  598. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  599. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Relationship'),
  600. CreateConstants.ATTRS_KEY: MappingValue({
  601. StringValue('Attribute.name'): StringValue('max'),
  602. StringValue('Attribute.type'): IntegerType()})
  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('class'),
  609. StringValue('Attribute.type'): StringType()})
  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('min'),
  616. StringValue('Attribute.type'): IntegerType()})
  617. }))
  618. cl = self.mvk.create(MappingValue({
  619. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  620. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  621. CreateConstants.ATTRS_KEY: MappingValue({
  622. StringValue('Class.is_abstract'): BooleanValue(False),
  623. StringValue('Class.name'): StringValue('Class')})
  624. }))
  625. cl = self.mvk.create(MappingValue({
  626. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  627. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Class'),
  628. CreateConstants.ATTRS_KEY: MappingValue({
  629. StringValue('Attribute.name'): StringValue('default'),
  630. StringValue('Attribute.type'): BooleanType()})
  631. }))
  632. cl = self.mvk.create(MappingValue({
  633. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  634. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  635. CreateConstants.ATTRS_KEY: MappingValue({
  636. StringValue('Class.is_abstract'): BooleanValue(False),
  637. StringValue('Class.name'): StringValue('Tuple')})
  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('Argument')})
  645. }))
  646. cl = self.mvk.create(MappingValue({
  647. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  648. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Argument'),
  649. CreateConstants.ATTRS_KEY: MappingValue({
  650. StringValue('Attribute.name'): StringValue('name'),
  651. StringValue('Attribute.type'): StringType()})
  652. }))
  653. cl = self.mvk.create(MappingValue({
  654. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  655. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  656. CreateConstants.ATTRS_KEY: MappingValue({
  657. StringValue('Class.is_abstract'): BooleanValue(True),
  658. StringValue('Class.name'): StringValue('Composite')})
  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(False),
  665. StringValue('Class.name'): StringValue('Add')})
  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('IntegerValue')})
  673. }))
  674. cl = self.mvk.create(MappingValue({
  675. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  676. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.IntegerValue'),
  677. CreateConstants.ATTRS_KEY: MappingValue({
  678. StringValue('Attribute.name'): StringValue('value'),
  679. StringValue('Attribute.type'): IntegerType()})
  680. }))
  681. cl = self.mvk.create(MappingValue({
  682. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  683. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  684. CreateConstants.ATTRS_KEY: MappingValue({
  685. StringValue('Class.is_abstract'): BooleanValue(False),
  686. StringValue('Class.name'): StringValue('NavigationExpression')})
  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(True),
  693. StringValue('Class.name'): StringValue('Binop')})
  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(False),
  700. StringValue('Class.name'): StringValue('Aggregation')})
  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('Break')})
  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('Association')})
  715. }))
  716. cl = self.mvk.create(MappingValue({
  717. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  718. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Association'),
  719. CreateConstants.ATTRS_KEY: MappingValue({
  720. StringValue('Attribute.name'): StringValue('name'),
  721. StringValue('Attribute.type'): StringType()})
  722. }))
  723. cl = self.mvk.create(MappingValue({
  724. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  725. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  726. CreateConstants.ATTRS_KEY: MappingValue({
  727. StringValue('Class.is_abstract'): BooleanValue(False),
  728. StringValue('Class.name'): StringValue('Transition')})
  729. }))
  730. cl = self.mvk.create(MappingValue({
  731. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  732. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Transition'),
  733. CreateConstants.ATTRS_KEY: MappingValue({
  734. StringValue('Attribute.name'): StringValue('default'),
  735. StringValue('Attribute.type'): BooleanType()})
  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('target'),
  742. StringValue('Attribute.type'): StringType()})
  743. }))
  744. cl = self.mvk.create(MappingValue({
  745. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  746. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  747. CreateConstants.ATTRS_KEY: MappingValue({
  748. StringValue('Class.is_abstract'): BooleanValue(False),
  749. StringValue('Class.name'): StringValue('NEqual')})
  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('MinusAssignment')})
  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(True),
  763. StringValue('Class.name'): StringValue('PseudoState')})
  764. }))
  765. cl = self.mvk.create(MappingValue({
  766. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  767. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.PseudoState'),
  768. CreateConstants.ATTRS_KEY: MappingValue({
  769. StringValue('Attribute.name'): StringValue('name'),
  770. StringValue('Attribute.type'): StringType()})
  771. }))
  772. cl = self.mvk.create(MappingValue({
  773. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  774. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  775. CreateConstants.ATTRS_KEY: MappingValue({
  776. StringValue('Class.is_abstract'): BooleanValue(False),
  777. StringValue('Class.name'): StringValue('Attribute')})
  778. }))
  779. cl = self.mvk.create(MappingValue({
  780. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  781. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.Attribute'),
  782. CreateConstants.ATTRS_KEY: MappingValue({
  783. StringValue('Attribute.name'): StringValue('default'),
  784. StringValue('Attribute.type'): StringType()})
  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('type'),
  791. StringValue('Attribute.type'): StringType()})
  792. }))
  793. cl = self.mvk.create(MappingValue({
  794. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  795. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  796. CreateConstants.ATTRS_KEY: MappingValue({
  797. StringValue('Class.is_abstract'): BooleanValue(False),
  798. StringValue('Class.name'): StringValue('Subtract')})
  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('SelfExpression')})
  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('PlusAssignment')})
  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('HistoryState')})
  820. }))
  821. cl = self.mvk.create(MappingValue({
  822. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  823. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.HistoryState'),
  824. CreateConstants.ATTRS_KEY: MappingValue({
  825. StringValue('Attribute.name'): StringValue('isDeepHistory'),
  826. StringValue('Attribute.type'): BooleanType()})
  827. }))
  828. cl = self.mvk.create(MappingValue({
  829. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Class'),
  830. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  831. CreateConstants.ATTRS_KEY: MappingValue({
  832. StringValue('Class.is_abstract'): BooleanValue(False),
  833. StringValue('Class.name'): StringValue('Equal')})
  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('Constructor')})
  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(True),
  847. StringValue('Class.name'): StringValue('Unop')})
  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(False),
  854. StringValue('Class.name'): StringValue('InitialState')})
  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('Array')})
  862. }))
  863. cl = self.mvk.create(MappingValue({
  864. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  865. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  866. CreateConstants.ATTRS_KEY: MappingValue({
  867. StringValue('Inheritance.name'): StringValue('MethodCall_i_AbsMethodCall'),
  868. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.MethodCall'),
  869. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsMethodCall')})
  870. }))
  871. cl = self.mvk.create(MappingValue({
  872. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  873. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  874. CreateConstants.ATTRS_KEY: MappingValue({
  875. StringValue('Inheritance.name'): StringValue('Not_i_Unop'),
  876. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Not'),
  877. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Unop')})
  878. }))
  879. cl = self.mvk.create(MappingValue({
  880. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  881. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  882. CreateConstants.ATTRS_KEY: MappingValue({
  883. StringValue('Association.to_max'): IntegerValue(1),
  884. StringValue('Association.from_max'): InfiniteValue('inf'),
  885. StringValue('Association.from_port'): StringValue('from_statement'),
  886. StringValue('Association.to_min'): IntegerValue(0),
  887. StringValue('Class.name'): StringValue('statement_statement_next'),
  888. StringValue('Association.to_port'): StringValue('to_statement'),
  889. StringValue('Class.is_abstract'): BooleanValue(False),
  890. StringValue('Association.from_min'): IntegerValue(0),
  891. StringValue('Class.id_field'): StringValue('statement_statement_next.name'),
  892. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Statement'),
  893. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  894. }))
  895. cl = self.mvk.create(MappingValue({
  896. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  897. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.statement_statement_next'),
  898. CreateConstants.ATTRS_KEY: MappingValue({
  899. StringValue('Attribute.name'): StringValue('name'),
  900. StringValue('Attribute.type'): StringType()})
  901. }))
  902. cl = self.mvk.create(MappingValue({
  903. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  904. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  905. CreateConstants.ATTRS_KEY: MappingValue({
  906. StringValue('Inheritance.name'): StringValue('While_i_Statement'),
  907. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.While'),
  908. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  909. }))
  910. cl = self.mvk.create(MappingValue({
  911. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  912. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  913. CreateConstants.ATTRS_KEY: MappingValue({
  914. StringValue('Association.to_max'): InfiniteValue('inf'),
  915. StringValue('Association.from_max'): InfiniteValue('inf'),
  916. StringValue('Association.from_port'): StringValue('from_absstate'),
  917. StringValue('Association.to_min'): IntegerValue(0),
  918. StringValue('Class.name'): StringValue('absstate_pseudostate'),
  919. StringValue('Association.to_port'): StringValue('to_pseudostate'),
  920. StringValue('Class.is_abstract'): BooleanValue(False),
  921. StringValue('Association.from_min'): IntegerValue(0),
  922. StringValue('Class.id_field'): StringValue('absstate_pseudostate.name'),
  923. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsState'),
  924. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.PseudoState')})
  925. }))
  926. cl = self.mvk.create(MappingValue({
  927. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  928. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.absstate_pseudostate'),
  929. CreateConstants.ATTRS_KEY: MappingValue({
  930. StringValue('Attribute.name'): StringValue('name'),
  931. StringValue('Attribute.type'): StringType()})
  932. }))
  933. cl = self.mvk.create(MappingValue({
  934. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  935. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  936. CreateConstants.ATTRS_KEY: MappingValue({
  937. StringValue('Inheritance.name'): StringValue('MethodCall_i_Expression'),
  938. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.MethodCall'),
  939. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  940. }))
  941. cl = self.mvk.create(MappingValue({
  942. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  943. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  944. CreateConstants.ATTRS_KEY: MappingValue({
  945. StringValue('Inheritance.name'): StringValue('Subtract_i_Binop'),
  946. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Subtract'),
  947. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  948. }))
  949. cl = self.mvk.create(MappingValue({
  950. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  951. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  952. CreateConstants.ATTRS_KEY: MappingValue({
  953. StringValue('Inheritance.name'): StringValue('Dict_i_Composite'),
  954. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Dict'),
  955. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Composite')})
  956. }))
  957. cl = self.mvk.create(MappingValue({
  958. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  959. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  960. CreateConstants.ATTRS_KEY: MappingValue({
  961. StringValue('Inheritance.name'): StringValue('Unop_i_Expression'),
  962. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Unop'),
  963. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  964. }))
  965. cl = self.mvk.create(MappingValue({
  966. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  967. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  968. CreateConstants.ATTRS_KEY: MappingValue({
  969. StringValue('Inheritance.name'): StringValue('BooleanValue_i_AtomValue'),
  970. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.BooleanValue'),
  971. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AtomValue')})
  972. }))
  973. cl = self.mvk.create(MappingValue({
  974. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  975. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  976. CreateConstants.ATTRS_KEY: MappingValue({
  977. StringValue('Inheritance.name'): StringValue('Parenthesis_i_Unop'),
  978. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Parenthesis'),
  979. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Unop')})
  980. }))
  981. cl = self.mvk.create(MappingValue({
  982. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  983. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  984. CreateConstants.ATTRS_KEY: MappingValue({
  985. StringValue('Inheritance.name'): StringValue('Raise_i_ID'),
  986. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Raise'),
  987. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  988. }))
  989. cl = self.mvk.create(MappingValue({
  990. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  991. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  992. CreateConstants.ATTRS_KEY: MappingValue({
  993. StringValue('Association.to_max'): IntegerValue(1),
  994. StringValue('Association.from_max'): InfiniteValue('inf'),
  995. StringValue('Association.from_port'): StringValue('from_raise'),
  996. StringValue('Association.to_min'): IntegerValue(0),
  997. StringValue('Class.name'): StringValue('raise_scope'),
  998. StringValue('Association.to_port'): StringValue('to_scope'),
  999. StringValue('Class.is_abstract'): BooleanValue(False),
  1000. StringValue('Association.from_min'): IntegerValue(0),
  1001. StringValue('Class.id_field'): StringValue('raise_scope.name'),
  1002. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Raise'),
  1003. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Scope')})
  1004. }))
  1005. cl = self.mvk.create(MappingValue({
  1006. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1007. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.raise_scope'),
  1008. CreateConstants.ATTRS_KEY: MappingValue({
  1009. StringValue('Attribute.name'): StringValue('name'),
  1010. StringValue('Attribute.type'): StringType()})
  1011. }))
  1012. cl = self.mvk.create(MappingValue({
  1013. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1014. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1015. CreateConstants.ATTRS_KEY: MappingValue({
  1016. StringValue('Inheritance.name'): StringValue('FinalState_i_PseudoState'),
  1017. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.FinalState'),
  1018. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.PseudoState')})
  1019. }))
  1020. cl = self.mvk.create(MappingValue({
  1021. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1022. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1023. CreateConstants.ATTRS_KEY: MappingValue({
  1024. StringValue('Inheritance.name'): StringValue('NEqual_i_Binop'),
  1025. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.NEqual'),
  1026. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  1027. }))
  1028. cl = self.mvk.create(MappingValue({
  1029. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1030. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1031. CreateConstants.ATTRS_KEY: MappingValue({
  1032. StringValue('Inheritance.name'): StringValue('AbsNavigationExpression_i_ID'),
  1033. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsNavigationExpression'),
  1034. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1035. }))
  1036. cl = self.mvk.create(MappingValue({
  1037. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1038. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1039. CreateConstants.ATTRS_KEY: MappingValue({
  1040. StringValue('Association.to_max'): IntegerValue(1),
  1041. StringValue('Association.from_max'): InfiniteValue('inf'),
  1042. StringValue('Association.from_port'): StringValue('from_ifelse'),
  1043. StringValue('Association.to_min'): IntegerValue(1),
  1044. StringValue('Class.name'): StringValue('ifelse_expression_condition'),
  1045. StringValue('Association.to_port'): StringValue('to_expression'),
  1046. StringValue('Class.is_abstract'): BooleanValue(False),
  1047. StringValue('Association.from_min'): IntegerValue(0),
  1048. StringValue('Class.id_field'): StringValue('ifelse_expression_condition.name'),
  1049. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.IfElse'),
  1050. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1051. }))
  1052. cl = self.mvk.create(MappingValue({
  1053. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1054. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.ifelse_expression_condition'),
  1055. CreateConstants.ATTRS_KEY: MappingValue({
  1056. StringValue('Attribute.name'): StringValue('name'),
  1057. StringValue('Attribute.type'): StringType()})
  1058. }))
  1059. cl = self.mvk.create(MappingValue({
  1060. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1061. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1062. CreateConstants.ATTRS_KEY: MappingValue({
  1063. StringValue('Inheritance.name'): StringValue('AbsMethod_i_ID'),
  1064. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsMethod'),
  1065. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1066. }))
  1067. cl = self.mvk.create(MappingValue({
  1068. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1069. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1070. CreateConstants.ATTRS_KEY: MappingValue({
  1071. StringValue('Inheritance.name'): StringValue('GEThan_i_Binop'),
  1072. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.GEThan'),
  1073. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  1074. }))
  1075. cl = self.mvk.create(MappingValue({
  1076. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1077. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1078. CreateConstants.ATTRS_KEY: MappingValue({
  1079. StringValue('Inheritance.name'): StringValue('Class_i_Named'),
  1080. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Class'),
  1081. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Named')})
  1082. }))
  1083. cl = self.mvk.create(MappingValue({
  1084. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1085. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1086. CreateConstants.ATTRS_KEY: MappingValue({
  1087. StringValue('Association.to_max'): IntegerValue(1),
  1088. StringValue('Association.from_max'): InfiniteValue('inf'),
  1089. StringValue('Association.from_port'): StringValue('from_while'),
  1090. StringValue('Association.to_min'): IntegerValue(1),
  1091. StringValue('Class.name'): StringValue('while_actionblock_body'),
  1092. StringValue('Association.to_port'): StringValue('to_actionblock'),
  1093. StringValue('Class.is_abstract'): BooleanValue(False),
  1094. StringValue('Association.from_min'): IntegerValue(0),
  1095. StringValue('Class.id_field'): StringValue('while_actionblock_body.name'),
  1096. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.While'),
  1097. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  1098. }))
  1099. cl = self.mvk.create(MappingValue({
  1100. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1101. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.while_actionblock_body'),
  1102. CreateConstants.ATTRS_KEY: MappingValue({
  1103. StringValue('Attribute.name'): StringValue('name'),
  1104. StringValue('Attribute.type'): StringType()})
  1105. }))
  1106. cl = self.mvk.create(MappingValue({
  1107. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1108. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1109. CreateConstants.ATTRS_KEY: MappingValue({
  1110. StringValue('Inheritance.name'): StringValue('StateMachine_i_ID'),
  1111. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.StateMachine'),
  1112. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1113. }))
  1114. cl = self.mvk.create(MappingValue({
  1115. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1116. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1117. CreateConstants.ATTRS_KEY: MappingValue({
  1118. StringValue('Inheritance.name'): StringValue('OnEnter_i_ActionBlock'),
  1119. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.OnEnter'),
  1120. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  1121. }))
  1122. cl = self.mvk.create(MappingValue({
  1123. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1124. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1125. CreateConstants.ATTRS_KEY: MappingValue({
  1126. StringValue('Association.to_max'): InfiniteValue('inf'),
  1127. StringValue('Association.from_max'): InfiniteValue('inf'),
  1128. StringValue('Association.from_port'): StringValue('from_absstate'),
  1129. StringValue('Association.to_min'): IntegerValue(0),
  1130. StringValue('Class.name'): StringValue('absstate_absstate_inner'),
  1131. StringValue('Association.to_port'): StringValue('to_absstate'),
  1132. StringValue('Class.is_abstract'): BooleanValue(False),
  1133. StringValue('Association.from_min'): IntegerValue(0),
  1134. StringValue('Class.id_field'): StringValue('absstate_absstate_inner.name'),
  1135. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsState'),
  1136. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsState')})
  1137. }))
  1138. cl = self.mvk.create(MappingValue({
  1139. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1140. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.absstate_absstate_inner'),
  1141. CreateConstants.ATTRS_KEY: MappingValue({
  1142. StringValue('Attribute.name'): StringValue('name'),
  1143. StringValue('Attribute.type'): StringType()})
  1144. }))
  1145. cl = self.mvk.create(MappingValue({
  1146. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1147. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1148. CreateConstants.ATTRS_KEY: MappingValue({
  1149. StringValue('Inheritance.name'): StringValue('GThan_i_Binop'),
  1150. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.GThan'),
  1151. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  1152. }))
  1153. cl = self.mvk.create(MappingValue({
  1154. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1155. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1156. CreateConstants.ATTRS_KEY: MappingValue({
  1157. StringValue('Association.to_max'): IntegerValue(1),
  1158. StringValue('Association.from_max'): InfiniteValue('inf'),
  1159. StringValue('Association.from_port'): StringValue('from_scope'),
  1160. StringValue('Association.to_min'): IntegerValue(1),
  1161. StringValue('Class.name'): StringValue('scope_expression'),
  1162. StringValue('Association.to_port'): StringValue('to_expression'),
  1163. StringValue('Class.is_abstract'): BooleanValue(False),
  1164. StringValue('Association.from_min'): IntegerValue(0),
  1165. StringValue('Class.id_field'): StringValue('scope_expression.name'),
  1166. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Scope'),
  1167. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1168. }))
  1169. cl = self.mvk.create(MappingValue({
  1170. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1171. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.scope_expression'),
  1172. CreateConstants.ATTRS_KEY: MappingValue({
  1173. StringValue('Attribute.name'): StringValue('name'),
  1174. StringValue('Attribute.type'): StringType()})
  1175. }))
  1176. cl = self.mvk.create(MappingValue({
  1177. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1178. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1179. CreateConstants.ATTRS_KEY: MappingValue({
  1180. StringValue('Association.to_max'): IntegerValue(1),
  1181. StringValue('Association.from_max'): InfiniteValue('inf'),
  1182. StringValue('Association.from_port'): StringValue('from_ifelse'),
  1183. StringValue('Association.to_min'): IntegerValue(0),
  1184. StringValue('Class.name'): StringValue('ifelse_actionblock_elsebody'),
  1185. StringValue('Association.to_port'): StringValue('to_actionblock'),
  1186. StringValue('Class.is_abstract'): BooleanValue(False),
  1187. StringValue('Association.from_min'): IntegerValue(0),
  1188. StringValue('Class.id_field'): StringValue('ifelse_actionblock_elsebody.name'),
  1189. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.IfElse'),
  1190. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  1191. }))
  1192. cl = self.mvk.create(MappingValue({
  1193. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1194. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.ifelse_actionblock_elsebody'),
  1195. CreateConstants.ATTRS_KEY: MappingValue({
  1196. StringValue('Attribute.name'): StringValue('name'),
  1197. StringValue('Attribute.type'): StringType()})
  1198. }))
  1199. cl = self.mvk.create(MappingValue({
  1200. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1201. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1202. CreateConstants.ATTRS_KEY: MappingValue({
  1203. StringValue('Inheritance.name'): StringValue('PlusAssignment_i_Assignment'),
  1204. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.PlusAssignment'),
  1205. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Assignment')})
  1206. }))
  1207. cl = self.mvk.create(MappingValue({
  1208. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1209. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1210. CreateConstants.ATTRS_KEY: MappingValue({
  1211. StringValue('Inheritance.name'): StringValue('AtomValue_i_Expression'),
  1212. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AtomValue'),
  1213. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1214. }))
  1215. cl = self.mvk.create(MappingValue({
  1216. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1217. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1218. CreateConstants.ATTRS_KEY: MappingValue({
  1219. StringValue('Inheritance.name'): StringValue('Selection_i_Binop'),
  1220. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Selection'),
  1221. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  1222. }))
  1223. cl = self.mvk.create(MappingValue({
  1224. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1225. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1226. CreateConstants.ATTRS_KEY: MappingValue({
  1227. StringValue('Association.to_max'): IntegerValue(1),
  1228. StringValue('Association.from_max'): InfiniteValue('inf'),
  1229. StringValue('Association.from_port'): StringValue('from_assignment'),
  1230. StringValue('Association.to_min'): IntegerValue(1),
  1231. StringValue('Class.name'): StringValue('assignment_expression_right'),
  1232. StringValue('Association.to_port'): StringValue('to_expression'),
  1233. StringValue('Class.is_abstract'): BooleanValue(False),
  1234. StringValue('Association.from_min'): IntegerValue(0),
  1235. StringValue('Class.id_field'): StringValue('assignment_expression_right.name'),
  1236. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Assignment'),
  1237. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1238. }))
  1239. cl = self.mvk.create(MappingValue({
  1240. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1241. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.assignment_expression_right'),
  1242. CreateConstants.ATTRS_KEY: MappingValue({
  1243. StringValue('Attribute.name'): StringValue('name'),
  1244. StringValue('Attribute.type'): StringType()})
  1245. }))
  1246. cl = self.mvk.create(MappingValue({
  1247. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1248. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1249. CreateConstants.ATTRS_KEY: MappingValue({
  1250. StringValue('Association.to_max'): InfiniteValue('inf'),
  1251. StringValue('Association.from_max'): InfiniteValue('inf'),
  1252. StringValue('Association.from_port'): StringValue('from_absmethod'),
  1253. StringValue('Association.to_min'): IntegerValue(0),
  1254. StringValue('Class.name'): StringValue('absmethod_parameter'),
  1255. StringValue('Association.to_port'): StringValue('to_parameter'),
  1256. StringValue('Class.is_abstract'): BooleanValue(False),
  1257. StringValue('Association.from_min'): IntegerValue(0),
  1258. StringValue('Class.id_field'): StringValue('absmethod_parameter.name'),
  1259. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsMethod'),
  1260. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Parameter')})
  1261. }))
  1262. cl = self.mvk.create(MappingValue({
  1263. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1264. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.absmethod_parameter'),
  1265. CreateConstants.ATTRS_KEY: MappingValue({
  1266. StringValue('Attribute.name'): StringValue('name'),
  1267. StringValue('Attribute.type'): StringType()})
  1268. }))
  1269. cl = self.mvk.create(MappingValue({
  1270. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1271. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1272. CreateConstants.ATTRS_KEY: MappingValue({
  1273. StringValue('Association.to_max'): InfiniteValue('inf'),
  1274. StringValue('Association.from_max'): InfiniteValue('inf'),
  1275. StringValue('Association.from_port'): StringValue('from_statemachine'),
  1276. StringValue('Association.to_min'): IntegerValue(0),
  1277. StringValue('Class.name'): StringValue('statemachine_transition'),
  1278. StringValue('Association.to_port'): StringValue('to_transition'),
  1279. StringValue('Class.is_abstract'): BooleanValue(False),
  1280. StringValue('Association.from_min'): IntegerValue(0),
  1281. StringValue('Class.id_field'): StringValue('statemachine_transition.name'),
  1282. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.StateMachine'),
  1283. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Transition')})
  1284. }))
  1285. cl = self.mvk.create(MappingValue({
  1286. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1287. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.statemachine_transition'),
  1288. CreateConstants.ATTRS_KEY: MappingValue({
  1289. StringValue('Attribute.name'): StringValue('name'),
  1290. StringValue('Attribute.type'): StringType()})
  1291. }))
  1292. cl = self.mvk.create(MappingValue({
  1293. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1294. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1295. CreateConstants.ATTRS_KEY: MappingValue({
  1296. StringValue('Inheritance.name'): StringValue('ActionBlock_i_ID'),
  1297. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.ActionBlock'),
  1298. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1299. }))
  1300. cl = self.mvk.create(MappingValue({
  1301. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1302. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1303. CreateConstants.ATTRS_KEY: MappingValue({
  1304. StringValue('Association.to_max'): InfiniteValue('inf'),
  1305. StringValue('Association.from_max'): InfiniteValue('inf'),
  1306. StringValue('Association.from_port'): StringValue('from_transition'),
  1307. StringValue('Association.to_min'): IntegerValue(0),
  1308. StringValue('Class.name'): StringValue('transition_raise'),
  1309. StringValue('Association.to_port'): StringValue('to_raise'),
  1310. StringValue('Class.is_abstract'): BooleanValue(False),
  1311. StringValue('Association.from_min'): IntegerValue(0),
  1312. StringValue('Class.id_field'): StringValue('transition_raise.name'),
  1313. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Transition'),
  1314. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Raise')})
  1315. }))
  1316. cl = self.mvk.create(MappingValue({
  1317. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1318. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.transition_raise'),
  1319. CreateConstants.ATTRS_KEY: MappingValue({
  1320. StringValue('Attribute.name'): StringValue('name'),
  1321. StringValue('Attribute.type'): StringType()})
  1322. }))
  1323. cl = self.mvk.create(MappingValue({
  1324. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1325. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1326. CreateConstants.ATTRS_KEY: MappingValue({
  1327. StringValue('Association.to_max'): IntegerValue(1),
  1328. StringValue('Association.from_max'): InfiniteValue('inf'),
  1329. StringValue('Association.from_port'): StringValue('from_target'),
  1330. StringValue('Association.to_min'): IntegerValue(1),
  1331. StringValue('Class.name'): StringValue('target_expression'),
  1332. StringValue('Association.to_port'): StringValue('to_expression'),
  1333. StringValue('Class.is_abstract'): BooleanValue(False),
  1334. StringValue('Association.from_min'): IntegerValue(0),
  1335. StringValue('Class.id_field'): StringValue('target_expression.name'),
  1336. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Target'),
  1337. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1338. }))
  1339. cl = self.mvk.create(MappingValue({
  1340. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1341. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.target_expression'),
  1342. CreateConstants.ATTRS_KEY: MappingValue({
  1343. StringValue('Attribute.name'): StringValue('name'),
  1344. StringValue('Attribute.type'): StringType()})
  1345. }))
  1346. cl = self.mvk.create(MappingValue({
  1347. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1348. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1349. CreateConstants.ATTRS_KEY: MappingValue({
  1350. StringValue('Association.to_max'): IntegerValue(1),
  1351. StringValue('Association.from_max'): InfiniteValue('inf'),
  1352. StringValue('Association.from_port'): StringValue('from_while'),
  1353. StringValue('Association.to_min'): IntegerValue(1),
  1354. StringValue('Class.name'): StringValue('while_expression_condition'),
  1355. StringValue('Association.to_port'): StringValue('to_expression'),
  1356. StringValue('Class.is_abstract'): BooleanValue(False),
  1357. StringValue('Association.from_min'): IntegerValue(0),
  1358. StringValue('Class.id_field'): StringValue('while_expression_condition.name'),
  1359. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.While'),
  1360. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1361. }))
  1362. cl = self.mvk.create(MappingValue({
  1363. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1364. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.while_expression_condition'),
  1365. CreateConstants.ATTRS_KEY: MappingValue({
  1366. StringValue('Attribute.name'): StringValue('name'),
  1367. StringValue('Attribute.type'): StringType()})
  1368. }))
  1369. cl = self.mvk.create(MappingValue({
  1370. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1371. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1372. CreateConstants.ATTRS_KEY: MappingValue({
  1373. StringValue('Inheritance.name'): StringValue('InitialState_i_PseudoState'),
  1374. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.InitialState'),
  1375. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.PseudoState')})
  1376. }))
  1377. cl = self.mvk.create(MappingValue({
  1378. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1379. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1380. CreateConstants.ATTRS_KEY: MappingValue({
  1381. StringValue('Inheritance.name'): StringValue('Binop_i_Expression'),
  1382. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Binop'),
  1383. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1384. }))
  1385. cl = self.mvk.create(MappingValue({
  1386. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1387. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1388. CreateConstants.ATTRS_KEY: MappingValue({
  1389. StringValue('Inheritance.name'): StringValue('InPort_i_Named'),
  1390. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.InPort'),
  1391. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Named')})
  1392. }))
  1393. cl = self.mvk.create(MappingValue({
  1394. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1395. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1396. CreateConstants.ATTRS_KEY: MappingValue({
  1397. StringValue('Inheritance.name'): StringValue('Expression_i_ID'),
  1398. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Expression'),
  1399. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1400. }))
  1401. cl = self.mvk.create(MappingValue({
  1402. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1403. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1404. CreateConstants.ATTRS_KEY: MappingValue({
  1405. StringValue('Inheritance.name'): StringValue('Array_i_Composite'),
  1406. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Array'),
  1407. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Composite')})
  1408. }))
  1409. cl = self.mvk.create(MappingValue({
  1410. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1411. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1412. CreateConstants.ATTRS_KEY: MappingValue({
  1413. StringValue('Inheritance.name'): StringValue('NavigationExpression_i_Expression'),
  1414. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.NavigationExpression'),
  1415. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1416. }))
  1417. cl = self.mvk.create(MappingValue({
  1418. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1419. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1420. CreateConstants.ATTRS_KEY: MappingValue({
  1421. StringValue('Association.to_max'): IntegerValue(1),
  1422. StringValue('Association.from_max'): InfiniteValue('inf'),
  1423. StringValue('Association.from_port'): StringValue('from_actionblock'),
  1424. StringValue('Association.to_min'): IntegerValue(0),
  1425. StringValue('Class.name'): StringValue('actionblock_statement'),
  1426. StringValue('Association.to_port'): StringValue('to_statement'),
  1427. StringValue('Class.is_abstract'): BooleanValue(False),
  1428. StringValue('Association.from_min'): IntegerValue(0),
  1429. StringValue('Class.id_field'): StringValue('actionblock_statement.name'),
  1430. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.ActionBlock'),
  1431. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  1432. }))
  1433. cl = self.mvk.create(MappingValue({
  1434. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1435. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.actionblock_statement'),
  1436. CreateConstants.ATTRS_KEY: MappingValue({
  1437. StringValue('Attribute.name'): StringValue('name'),
  1438. StringValue('Attribute.type'): StringType()})
  1439. }))
  1440. cl = self.mvk.create(MappingValue({
  1441. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1442. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1443. CreateConstants.ATTRS_KEY: MappingValue({
  1444. StringValue('Inheritance.name'): StringValue('Relationship_i_ID'),
  1445. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Relationship'),
  1446. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1447. }))
  1448. cl = self.mvk.create(MappingValue({
  1449. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1450. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1451. CreateConstants.ATTRS_KEY: MappingValue({
  1452. StringValue('Inheritance.name'): StringValue('Add_i_Binop'),
  1453. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Add'),
  1454. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  1455. }))
  1456. cl = self.mvk.create(MappingValue({
  1457. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1458. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1459. CreateConstants.ATTRS_KEY: MappingValue({
  1460. StringValue('Inheritance.name'): StringValue('Inheritance_i_Relationship'),
  1461. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Inheritance'),
  1462. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Relationship')})
  1463. }))
  1464. cl = self.mvk.create(MappingValue({
  1465. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1466. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1467. CreateConstants.ATTRS_KEY: MappingValue({
  1468. StringValue('Inheritance.name'): StringValue('Import_i_Statement'),
  1469. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Import'),
  1470. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  1471. }))
  1472. cl = self.mvk.create(MappingValue({
  1473. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1474. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1475. CreateConstants.ATTRS_KEY: MappingValue({
  1476. StringValue('Inheritance.name'): StringValue('Constructor_i_AbsMethod'),
  1477. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Constructor'),
  1478. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsMethod')})
  1479. }))
  1480. cl = self.mvk.create(MappingValue({
  1481. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1482. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1483. CreateConstants.ATTRS_KEY: MappingValue({
  1484. StringValue('Association.to_max'): IntegerValue(1),
  1485. StringValue('Association.from_max'): InfiniteValue('inf'),
  1486. StringValue('Association.from_port'): StringValue('from_regularargument'),
  1487. StringValue('Association.to_min'): IntegerValue(1),
  1488. StringValue('Class.name'): StringValue('regularargument_expression'),
  1489. StringValue('Association.to_port'): StringValue('to_expression'),
  1490. StringValue('Class.is_abstract'): BooleanValue(False),
  1491. StringValue('Association.from_min'): IntegerValue(0),
  1492. StringValue('Class.id_field'): StringValue('regularargument_expression.name'),
  1493. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.RegularArgument'),
  1494. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1495. }))
  1496. cl = self.mvk.create(MappingValue({
  1497. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1498. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.regularargument_expression'),
  1499. CreateConstants.ATTRS_KEY: MappingValue({
  1500. StringValue('Attribute.name'): StringValue('name'),
  1501. StringValue('Attribute.type'): StringType()})
  1502. }))
  1503. cl = self.mvk.create(MappingValue({
  1504. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1505. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1506. CreateConstants.ATTRS_KEY: MappingValue({
  1507. StringValue('Inheritance.name'): StringValue('Minus_i_Unop'),
  1508. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Minus'),
  1509. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Unop')})
  1510. }))
  1511. cl = self.mvk.create(MappingValue({
  1512. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1513. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1514. CreateConstants.ATTRS_KEY: MappingValue({
  1515. StringValue('Inheritance.name'): StringValue('Method_i_AbsMethod'),
  1516. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Method'),
  1517. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsMethod')})
  1518. }))
  1519. cl = self.mvk.create(MappingValue({
  1520. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1521. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1522. CreateConstants.ATTRS_KEY: MappingValue({
  1523. StringValue('Association.to_max'): IntegerValue(1),
  1524. StringValue('Association.from_max'): InfiniteValue('inf'),
  1525. StringValue('Association.from_port'): StringValue('from_transition'),
  1526. StringValue('Association.to_min'): IntegerValue(1),
  1527. StringValue('Class.name'): StringValue('after_expression'),
  1528. StringValue('Association.to_port'): StringValue('to_expression'),
  1529. StringValue('Class.is_abstract'): BooleanValue(False),
  1530. StringValue('Association.from_min'): IntegerValue(0),
  1531. StringValue('Class.id_field'): StringValue('after_expression.name'),
  1532. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Transition'),
  1533. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1534. }))
  1535. cl = self.mvk.create(MappingValue({
  1536. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1537. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.after_expression'),
  1538. CreateConstants.ATTRS_KEY: MappingValue({
  1539. StringValue('Attribute.name'): StringValue('name'),
  1540. StringValue('Attribute.type'): StringType()})
  1541. }))
  1542. cl = self.mvk.create(MappingValue({
  1543. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1544. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1545. CreateConstants.ATTRS_KEY: MappingValue({
  1546. StringValue('Association.to_max'): IntegerValue(1),
  1547. StringValue('Association.from_max'): InfiniteValue('inf'),
  1548. StringValue('Association.from_port'): StringValue('from_assignment'),
  1549. StringValue('Association.to_min'): IntegerValue(1),
  1550. StringValue('Class.name'): StringValue('assignment_expression_left'),
  1551. StringValue('Association.to_port'): StringValue('to_expression'),
  1552. StringValue('Class.is_abstract'): BooleanValue(False),
  1553. StringValue('Association.from_min'): IntegerValue(0),
  1554. StringValue('Class.id_field'): StringValue('assignment_expression_left.name'),
  1555. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Assignment'),
  1556. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1557. }))
  1558. cl = self.mvk.create(MappingValue({
  1559. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1560. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.assignment_expression_left'),
  1561. CreateConstants.ATTRS_KEY: MappingValue({
  1562. StringValue('Attribute.name'): StringValue('name'),
  1563. StringValue('Attribute.type'): StringType()})
  1564. }))
  1565. cl = self.mvk.create(MappingValue({
  1566. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1567. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1568. CreateConstants.ATTRS_KEY: MappingValue({
  1569. StringValue('Association.to_max'): IntegerValue(1),
  1570. StringValue('Association.from_max'): InfiniteValue('inf'),
  1571. StringValue('Association.from_port'): StringValue('from_transition'),
  1572. StringValue('Association.to_min'): IntegerValue(0),
  1573. StringValue('Class.name'): StringValue('transition_inport'),
  1574. StringValue('Association.to_port'): StringValue('to_inport'),
  1575. StringValue('Class.is_abstract'): BooleanValue(False),
  1576. StringValue('Association.from_min'): IntegerValue(0),
  1577. StringValue('Class.id_field'): StringValue('transition_inport.name'),
  1578. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Transition'),
  1579. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.InPort')})
  1580. }))
  1581. cl = self.mvk.create(MappingValue({
  1582. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1583. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.transition_inport'),
  1584. CreateConstants.ATTRS_KEY: MappingValue({
  1585. StringValue('Attribute.name'): StringValue('name'),
  1586. StringValue('Attribute.type'): StringType()})
  1587. }))
  1588. cl = self.mvk.create(MappingValue({
  1589. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1590. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1591. CreateConstants.ATTRS_KEY: MappingValue({
  1592. StringValue('Inheritance.name'): StringValue('MinusAssignment_i_Assignment'),
  1593. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.MinusAssignment'),
  1594. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Assignment')})
  1595. }))
  1596. cl = self.mvk.create(MappingValue({
  1597. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1598. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1599. CreateConstants.ATTRS_KEY: MappingValue({
  1600. StringValue('Association.to_max'): InfiniteValue('inf'),
  1601. StringValue('Association.from_max'): InfiniteValue('inf'),
  1602. StringValue('Association.from_port'): StringValue('from_class'),
  1603. StringValue('Association.to_min'): IntegerValue(0),
  1604. StringValue('Class.name'): StringValue('class_relationship'),
  1605. StringValue('Association.to_port'): StringValue('to_relationship'),
  1606. StringValue('Class.is_abstract'): BooleanValue(False),
  1607. StringValue('Association.from_min'): IntegerValue(0),
  1608. StringValue('Class.id_field'): StringValue('class_relationship.name'),
  1609. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Class'),
  1610. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Relationship')})
  1611. }))
  1612. cl = self.mvk.create(MappingValue({
  1613. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1614. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.class_relationship'),
  1615. CreateConstants.ATTRS_KEY: MappingValue({
  1616. StringValue('Attribute.name'): StringValue('name'),
  1617. StringValue('Attribute.type'): StringType()})
  1618. }))
  1619. cl = self.mvk.create(MappingValue({
  1620. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1621. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1622. CreateConstants.ATTRS_KEY: MappingValue({
  1623. StringValue('Inheritance.name'): StringValue('Mult_i_Binop'),
  1624. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Mult'),
  1625. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  1626. }))
  1627. cl = self.mvk.create(MappingValue({
  1628. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1629. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1630. CreateConstants.ATTRS_KEY: MappingValue({
  1631. StringValue('Inheritance.name'): StringValue('DotExpression_i_AbsNavigationExpression'),
  1632. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.DotExpression'),
  1633. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsNavigationExpression')})
  1634. }))
  1635. cl = self.mvk.create(MappingValue({
  1636. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1637. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1638. CreateConstants.ATTRS_KEY: MappingValue({
  1639. StringValue('Inheritance.name'): StringValue('PseudoState_i_ID'),
  1640. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.PseudoState'),
  1641. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1642. }))
  1643. cl = self.mvk.create(MappingValue({
  1644. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1645. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1646. CreateConstants.ATTRS_KEY: MappingValue({
  1647. StringValue('Inheritance.name'): StringValue('Bottom_i_ActionBlock'),
  1648. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Bottom'),
  1649. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  1650. }))
  1651. cl = self.mvk.create(MappingValue({
  1652. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1653. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1654. CreateConstants.ATTRS_KEY: MappingValue({
  1655. StringValue('Association.to_max'): InfiniteValue('inf'),
  1656. StringValue('Association.from_max'): InfiniteValue('inf'),
  1657. StringValue('Association.from_port'): StringValue('from_class'),
  1658. StringValue('Association.to_min'): IntegerValue(0),
  1659. StringValue('Class.name'): StringValue('class_attribute'),
  1660. StringValue('Association.to_port'): StringValue('to_attribute'),
  1661. StringValue('Class.is_abstract'): BooleanValue(False),
  1662. StringValue('Association.from_min'): IntegerValue(0),
  1663. StringValue('Class.id_field'): StringValue('class_attribute.name'),
  1664. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Class'),
  1665. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Attribute')})
  1666. }))
  1667. cl = self.mvk.create(MappingValue({
  1668. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1669. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.class_attribute'),
  1670. CreateConstants.ATTRS_KEY: MappingValue({
  1671. StringValue('Attribute.name'): StringValue('name'),
  1672. StringValue('Attribute.type'): StringType()})
  1673. }))
  1674. cl = self.mvk.create(MappingValue({
  1675. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1676. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1677. CreateConstants.ATTRS_KEY: MappingValue({
  1678. StringValue('Inheritance.name'): StringValue('Scope_i_ID'),
  1679. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Scope'),
  1680. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1681. }))
  1682. cl = self.mvk.create(MappingValue({
  1683. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1684. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1685. CreateConstants.ATTRS_KEY: MappingValue({
  1686. StringValue('Inheritance.name'): StringValue('Assignment_i_Statement'),
  1687. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Assignment'),
  1688. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  1689. }))
  1690. cl = self.mvk.create(MappingValue({
  1691. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1692. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1693. CreateConstants.ATTRS_KEY: MappingValue({
  1694. StringValue('Inheritance.name'): StringValue('Destructor_i_AbsMethod'),
  1695. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Destructor'),
  1696. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsMethod')})
  1697. }))
  1698. cl = self.mvk.create(MappingValue({
  1699. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1700. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1701. CreateConstants.ATTRS_KEY: MappingValue({
  1702. StringValue('Inheritance.name'): StringValue('Equal_i_Binop'),
  1703. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Equal'),
  1704. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  1705. }))
  1706. cl = self.mvk.create(MappingValue({
  1707. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1708. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1709. CreateConstants.ATTRS_KEY: MappingValue({
  1710. StringValue('Association.to_max'): InfiniteValue('inf'),
  1711. StringValue('Association.from_max'): InfiniteValue('inf'),
  1712. StringValue('Association.from_port'): StringValue('from_statemachine'),
  1713. StringValue('Association.to_min'): IntegerValue(0),
  1714. StringValue('Class.name'): StringValue('statemachine_absstate'),
  1715. StringValue('Association.to_port'): StringValue('to_absstate'),
  1716. StringValue('Class.is_abstract'): BooleanValue(False),
  1717. StringValue('Association.from_min'): IntegerValue(0),
  1718. StringValue('Class.id_field'): StringValue('statemachine_absstate.name'),
  1719. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.StateMachine'),
  1720. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsState')})
  1721. }))
  1722. cl = self.mvk.create(MappingValue({
  1723. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1724. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.statemachine_absstate'),
  1725. CreateConstants.ATTRS_KEY: MappingValue({
  1726. StringValue('Attribute.name'): StringValue('name'),
  1727. StringValue('Attribute.type'): StringType()})
  1728. }))
  1729. cl = self.mvk.create(MappingValue({
  1730. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1731. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1732. CreateConstants.ATTRS_KEY: MappingValue({
  1733. StringValue('Inheritance.name'): StringValue('Parameter_i_ID'),
  1734. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Parameter'),
  1735. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1736. }))
  1737. cl = self.mvk.create(MappingValue({
  1738. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1739. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1740. CreateConstants.ATTRS_KEY: MappingValue({
  1741. StringValue('Inheritance.name'): StringValue('OrthogonalComponent_i_AbsState'),
  1742. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.OrthogonalComponent'),
  1743. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsState')})
  1744. }))
  1745. cl = self.mvk.create(MappingValue({
  1746. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1747. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1748. CreateConstants.ATTRS_KEY: MappingValue({
  1749. StringValue('Inheritance.name'): StringValue('Return_i_Statement'),
  1750. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Return'),
  1751. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  1752. }))
  1753. cl = self.mvk.create(MappingValue({
  1754. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1755. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1756. CreateConstants.ATTRS_KEY: MappingValue({
  1757. StringValue('Inheritance.name'): StringValue('Statement_i_ID'),
  1758. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Statement'),
  1759. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  1760. }))
  1761. cl = self.mvk.create(MappingValue({
  1762. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1763. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1764. CreateConstants.ATTRS_KEY: MappingValue({
  1765. StringValue('Association.to_max'): IntegerValue(1),
  1766. StringValue('Association.from_max'): InfiniteValue('inf'),
  1767. StringValue('Association.from_port'): StringValue('from_raise'),
  1768. StringValue('Association.to_min'): IntegerValue(1),
  1769. StringValue('Class.name'): StringValue('raise_methodcall'),
  1770. StringValue('Association.to_port'): StringValue('to_methodcall'),
  1771. StringValue('Class.is_abstract'): BooleanValue(False),
  1772. StringValue('Association.from_min'): IntegerValue(0),
  1773. StringValue('Class.id_field'): StringValue('raise_methodcall.name'),
  1774. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Raise'),
  1775. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.MethodCall')})
  1776. }))
  1777. cl = self.mvk.create(MappingValue({
  1778. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1779. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.raise_methodcall'),
  1780. CreateConstants.ATTRS_KEY: MappingValue({
  1781. StringValue('Attribute.name'): StringValue('name'),
  1782. StringValue('Attribute.type'): StringType()})
  1783. }))
  1784. cl = self.mvk.create(MappingValue({
  1785. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1786. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1787. CreateConstants.ATTRS_KEY: MappingValue({
  1788. StringValue('Association.to_max'): IntegerValue(1),
  1789. StringValue('Association.from_max'): InfiniteValue('inf'),
  1790. StringValue('Association.from_port'): StringValue('from_argument'),
  1791. StringValue('Association.to_min'): IntegerValue(0),
  1792. StringValue('Class.name'): StringValue('argument_argument_next'),
  1793. StringValue('Association.to_port'): StringValue('to_argument'),
  1794. StringValue('Class.is_abstract'): BooleanValue(False),
  1795. StringValue('Association.from_min'): IntegerValue(0),
  1796. StringValue('Class.id_field'): StringValue('argument_argument_next.name'),
  1797. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Argument'),
  1798. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Argument')})
  1799. }))
  1800. cl = self.mvk.create(MappingValue({
  1801. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1802. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.argument_argument_next'),
  1803. CreateConstants.ATTRS_KEY: MappingValue({
  1804. StringValue('Attribute.name'): StringValue('name'),
  1805. StringValue('Attribute.type'): StringType()})
  1806. }))
  1807. cl = self.mvk.create(MappingValue({
  1808. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1809. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1810. CreateConstants.ATTRS_KEY: MappingValue({
  1811. StringValue('Association.to_max'): IntegerValue(1),
  1812. StringValue('Association.from_max'): InfiniteValue('inf'),
  1813. StringValue('Association.from_port'): StringValue('from_raise'),
  1814. StringValue('Association.to_min'): IntegerValue(0),
  1815. StringValue('Class.name'): StringValue('raise_target'),
  1816. StringValue('Association.to_port'): StringValue('to_Target'),
  1817. StringValue('Class.is_abstract'): BooleanValue(False),
  1818. StringValue('Association.from_min'): IntegerValue(0),
  1819. StringValue('Class.id_field'): StringValue('raise_target.name'),
  1820. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Raise'),
  1821. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Target')})
  1822. }))
  1823. cl = self.mvk.create(MappingValue({
  1824. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1825. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.raise_target'),
  1826. CreateConstants.ATTRS_KEY: MappingValue({
  1827. StringValue('Attribute.name'): StringValue('name'),
  1828. StringValue('Attribute.type'): StringType()})
  1829. }))
  1830. cl = self.mvk.create(MappingValue({
  1831. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1832. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1833. CreateConstants.ATTRS_KEY: MappingValue({
  1834. StringValue('Inheritance.name'): StringValue('Composition_i_Relationship'),
  1835. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Composition'),
  1836. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Relationship')})
  1837. }))
  1838. cl = self.mvk.create(MappingValue({
  1839. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1840. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1841. CreateConstants.ATTRS_KEY: MappingValue({
  1842. StringValue('Association.to_max'): IntegerValue(1),
  1843. StringValue('Association.from_max'): InfiniteValue('inf'),
  1844. StringValue('Association.from_port'): StringValue('from_return'),
  1845. StringValue('Association.to_min'): IntegerValue(0),
  1846. StringValue('Class.name'): StringValue('return_expression'),
  1847. StringValue('Association.to_port'): StringValue('to_expression'),
  1848. StringValue('Class.is_abstract'): BooleanValue(False),
  1849. StringValue('Association.from_min'): IntegerValue(0),
  1850. StringValue('Class.id_field'): StringValue('return_expression.name'),
  1851. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Return'),
  1852. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1853. }))
  1854. cl = self.mvk.create(MappingValue({
  1855. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1856. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.return_expression'),
  1857. CreateConstants.ATTRS_KEY: MappingValue({
  1858. StringValue('Attribute.name'): StringValue('name'),
  1859. StringValue('Attribute.type'): StringType()})
  1860. }))
  1861. cl = self.mvk.create(MappingValue({
  1862. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1863. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1864. CreateConstants.ATTRS_KEY: MappingValue({
  1865. StringValue('Association.to_max'): IntegerValue(1),
  1866. StringValue('Association.from_max'): InfiniteValue('inf'),
  1867. StringValue('Association.from_port'): StringValue('from_parameter'),
  1868. StringValue('Association.to_min'): IntegerValue(0),
  1869. StringValue('Class.name'): StringValue('parameter_parameter_next'),
  1870. StringValue('Association.to_port'): StringValue('to_parameter'),
  1871. StringValue('Class.is_abstract'): BooleanValue(False),
  1872. StringValue('Association.from_min'): IntegerValue(0),
  1873. StringValue('Class.id_field'): StringValue('parameter_parameter_next.name'),
  1874. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Parameter'),
  1875. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Parameter')})
  1876. }))
  1877. cl = self.mvk.create(MappingValue({
  1878. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1879. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.parameter_parameter_next'),
  1880. CreateConstants.ATTRS_KEY: MappingValue({
  1881. StringValue('Attribute.name'): StringValue('name'),
  1882. StringValue('Attribute.type'): StringType()})
  1883. }))
  1884. cl = self.mvk.create(MappingValue({
  1885. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1886. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1887. CreateConstants.ATTRS_KEY: MappingValue({
  1888. StringValue('Inheritance.name'): StringValue('OnExit_i_ActionBlock'),
  1889. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.OnExit'),
  1890. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  1891. }))
  1892. cl = self.mvk.create(MappingValue({
  1893. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1894. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1895. CreateConstants.ATTRS_KEY: MappingValue({
  1896. StringValue('Association.to_max'): IntegerValue(1),
  1897. StringValue('Association.from_max'): InfiniteValue('inf'),
  1898. StringValue('Association.from_port'): StringValue('from_absstate'),
  1899. StringValue('Association.to_min'): IntegerValue(0),
  1900. StringValue('Class.name'): StringValue('absstate_onexit'),
  1901. StringValue('Association.to_port'): StringValue('to_onexit'),
  1902. StringValue('Class.is_abstract'): BooleanValue(False),
  1903. StringValue('Association.from_min'): IntegerValue(0),
  1904. StringValue('Class.id_field'): StringValue('absstate_onexit.name'),
  1905. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsState'),
  1906. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.OnExit')})
  1907. }))
  1908. cl = self.mvk.create(MappingValue({
  1909. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1910. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.absstate_onexit'),
  1911. CreateConstants.ATTRS_KEY: MappingValue({
  1912. StringValue('Attribute.name'): StringValue('name'),
  1913. StringValue('Attribute.type'): StringType()})
  1914. }))
  1915. cl = self.mvk.create(MappingValue({
  1916. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  1917. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1918. CreateConstants.ATTRS_KEY: MappingValue({
  1919. StringValue('Inheritance.name'): StringValue('State_i_AbsState'),
  1920. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.State'),
  1921. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsState')})
  1922. }))
  1923. cl = self.mvk.create(MappingValue({
  1924. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1925. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1926. CreateConstants.ATTRS_KEY: MappingValue({
  1927. StringValue('Association.to_max'): IntegerValue(1),
  1928. StringValue('Association.from_max'): InfiniteValue('inf'),
  1929. StringValue('Association.from_port'): StringValue('from_class'),
  1930. StringValue('Association.to_min'): IntegerValue(0),
  1931. StringValue('Class.name'): StringValue('class_statemachine'),
  1932. StringValue('Association.to_port'): StringValue('to_statemachine'),
  1933. StringValue('Class.is_abstract'): BooleanValue(False),
  1934. StringValue('Association.from_min'): IntegerValue(0),
  1935. StringValue('Class.id_field'): StringValue('class_statemachine.name'),
  1936. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Class'),
  1937. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.StateMachine')})
  1938. }))
  1939. cl = self.mvk.create(MappingValue({
  1940. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1941. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.class_statemachine'),
  1942. CreateConstants.ATTRS_KEY: MappingValue({
  1943. StringValue('Attribute.name'): StringValue('name'),
  1944. StringValue('Attribute.type'): StringType()})
  1945. }))
  1946. cl = self.mvk.create(MappingValue({
  1947. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1948. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1949. CreateConstants.ATTRS_KEY: MappingValue({
  1950. StringValue('Association.to_max'): IntegerValue(1),
  1951. StringValue('Association.from_max'): InfiniteValue('inf'),
  1952. StringValue('Association.from_port'): StringValue('from_binop'),
  1953. StringValue('Association.to_min'): IntegerValue(1),
  1954. StringValue('Class.name'): StringValue('binop_expression_right'),
  1955. StringValue('Association.to_port'): StringValue('to_expression'),
  1956. StringValue('Class.is_abstract'): BooleanValue(False),
  1957. StringValue('Association.from_min'): IntegerValue(0),
  1958. StringValue('Class.id_field'): StringValue('binop_expression_right.name'),
  1959. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Binop'),
  1960. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  1961. }))
  1962. cl = self.mvk.create(MappingValue({
  1963. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1964. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.binop_expression_right'),
  1965. CreateConstants.ATTRS_KEY: MappingValue({
  1966. StringValue('Attribute.name'): StringValue('name'),
  1967. StringValue('Attribute.type'): StringType()})
  1968. }))
  1969. cl = self.mvk.create(MappingValue({
  1970. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1971. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1972. CreateConstants.ATTRS_KEY: MappingValue({
  1973. StringValue('Association.to_max'): IntegerValue(1),
  1974. StringValue('Association.from_max'): InfiniteValue('inf'),
  1975. StringValue('Association.from_port'): StringValue('from_transition'),
  1976. StringValue('Association.to_min'): IntegerValue(0),
  1977. StringValue('Class.name'): StringValue('transition_actionblock'),
  1978. StringValue('Association.to_port'): StringValue('to_actionblock'),
  1979. StringValue('Class.is_abstract'): BooleanValue(False),
  1980. StringValue('Association.from_min'): IntegerValue(0),
  1981. StringValue('Class.id_field'): StringValue('transition_actionblock.name'),
  1982. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Transition'),
  1983. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  1984. }))
  1985. cl = self.mvk.create(MappingValue({
  1986. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  1987. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.transition_actionblock'),
  1988. CreateConstants.ATTRS_KEY: MappingValue({
  1989. StringValue('Attribute.name'): StringValue('name'),
  1990. StringValue('Attribute.type'): StringType()})
  1991. }))
  1992. cl = self.mvk.create(MappingValue({
  1993. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  1994. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  1995. CreateConstants.ATTRS_KEY: MappingValue({
  1996. StringValue('Association.to_max'): IntegerValue(1),
  1997. StringValue('Association.from_max'): InfiniteValue('inf'),
  1998. StringValue('Association.from_port'): StringValue('from_regularargument'),
  1999. StringValue('Association.to_min'): IntegerValue(1),
  2000. StringValue('Class.name'): StringValue('dictargument_expression'),
  2001. StringValue('Association.to_port'): StringValue('to_expression'),
  2002. StringValue('Class.is_abstract'): BooleanValue(False),
  2003. StringValue('Association.from_min'): IntegerValue(0),
  2004. StringValue('Class.id_field'): StringValue('dictargument_expression.name'),
  2005. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.DictArgument'),
  2006. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2007. }))
  2008. cl = self.mvk.create(MappingValue({
  2009. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2010. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.dictargument_expression'),
  2011. CreateConstants.ATTRS_KEY: MappingValue({
  2012. StringValue('Attribute.name'): StringValue('name'),
  2013. StringValue('Attribute.type'): StringType()})
  2014. }))
  2015. cl = self.mvk.create(MappingValue({
  2016. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2017. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2018. CreateConstants.ATTRS_KEY: MappingValue({
  2019. StringValue('Inheritance.name'): StringValue('IntegerValue_i_AtomValue'),
  2020. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.IntegerValue'),
  2021. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AtomValue')})
  2022. }))
  2023. cl = self.mvk.create(MappingValue({
  2024. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2025. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2026. CreateConstants.ATTRS_KEY: MappingValue({
  2027. StringValue('Association.to_max'): IntegerValue(1),
  2028. StringValue('Association.from_max'): InfiniteValue('inf'),
  2029. StringValue('Association.from_port'): StringValue('from_declaration'),
  2030. StringValue('Association.to_min'): IntegerValue(1),
  2031. StringValue('Class.name'): StringValue('declaration_navigationexpression_type'),
  2032. StringValue('Association.to_port'): StringValue('to_navigationexpression'),
  2033. StringValue('Class.is_abstract'): BooleanValue(False),
  2034. StringValue('Association.from_min'): IntegerValue(0),
  2035. StringValue('Class.id_field'): StringValue('declaration_navigationexpression_type.name'),
  2036. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Declaration'),
  2037. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.NavigationExpression')})
  2038. }))
  2039. cl = self.mvk.create(MappingValue({
  2040. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2041. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.declaration_navigationexpression_type'),
  2042. CreateConstants.ATTRS_KEY: MappingValue({
  2043. StringValue('Attribute.name'): StringValue('name'),
  2044. StringValue('Attribute.type'): StringType()})
  2045. }))
  2046. cl = self.mvk.create(MappingValue({
  2047. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2048. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2049. CreateConstants.ATTRS_KEY: MappingValue({
  2050. StringValue('Inheritance.name'): StringValue('RegularArgument_i_CompositeArgument'),
  2051. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.RegularArgument'),
  2052. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.CompositeArgument')})
  2053. }))
  2054. cl = self.mvk.create(MappingValue({
  2055. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2056. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2057. CreateConstants.ATTRS_KEY: MappingValue({
  2058. StringValue('Association.to_max'): InfiniteValue('inf'),
  2059. StringValue('Association.from_max'): InfiniteValue('inf'),
  2060. StringValue('Association.from_port'): StringValue('from_argument'),
  2061. StringValue('Association.to_min'): IntegerValue(0),
  2062. StringValue('Class.name'): StringValue('argument_value'),
  2063. StringValue('Association.to_port'): StringValue('to_value'),
  2064. StringValue('Class.is_abstract'): BooleanValue(False),
  2065. StringValue('Association.from_min'): IntegerValue(0),
  2066. StringValue('Class.id_field'): StringValue('argument_value.name'),
  2067. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Argument'),
  2068. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2069. }))
  2070. cl = self.mvk.create(MappingValue({
  2071. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2072. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.argument_value'),
  2073. CreateConstants.ATTRS_KEY: MappingValue({
  2074. StringValue('Attribute.name'): StringValue('name'),
  2075. StringValue('Attribute.type'): StringType()})
  2076. }))
  2077. cl = self.mvk.create(MappingValue({
  2078. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2079. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2080. CreateConstants.ATTRS_KEY: MappingValue({
  2081. StringValue('Inheritance.name'): StringValue('MethodCallStm_i_AbsMethodCall'),
  2082. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.MethodCallStm'),
  2083. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsMethodCall')})
  2084. }))
  2085. cl = self.mvk.create(MappingValue({
  2086. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2087. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2088. CreateConstants.ATTRS_KEY: MappingValue({
  2089. StringValue('Inheritance.name'): StringValue('HistoryState_i_PseudoState'),
  2090. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.HistoryState'),
  2091. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.PseudoState')})
  2092. }))
  2093. cl = self.mvk.create(MappingValue({
  2094. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2095. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2096. CreateConstants.ATTRS_KEY: MappingValue({
  2097. StringValue('Association.to_max'): InfiniteValue('inf'),
  2098. StringValue('Association.from_max'): InfiniteValue('inf'),
  2099. StringValue('Association.from_port'): StringValue('from_statemachine'),
  2100. StringValue('Association.to_min'): IntegerValue(0),
  2101. StringValue('Class.name'): StringValue('statemachine_pseudostate'),
  2102. StringValue('Association.to_port'): StringValue('to_pseudostate'),
  2103. StringValue('Class.is_abstract'): BooleanValue(False),
  2104. StringValue('Association.from_min'): IntegerValue(0),
  2105. StringValue('Class.id_field'): StringValue('statemachine_pseudostate.name'),
  2106. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.StateMachine'),
  2107. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.PseudoState')})
  2108. }))
  2109. cl = self.mvk.create(MappingValue({
  2110. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2111. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.statemachine_pseudostate'),
  2112. CreateConstants.ATTRS_KEY: MappingValue({
  2113. StringValue('Attribute.name'): StringValue('name'),
  2114. StringValue('Attribute.type'): StringType()})
  2115. }))
  2116. cl = self.mvk.create(MappingValue({
  2117. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2118. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2119. CreateConstants.ATTRS_KEY: MappingValue({
  2120. StringValue('Inheritance.name'): StringValue('MethodCallStm_i_Statement'),
  2121. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.MethodCallStm'),
  2122. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  2123. }))
  2124. cl = self.mvk.create(MappingValue({
  2125. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2126. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2127. CreateConstants.ATTRS_KEY: MappingValue({
  2128. StringValue('Inheritance.name'): StringValue('LEThan_i_Binop'),
  2129. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.LEThan'),
  2130. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  2131. }))
  2132. cl = self.mvk.create(MappingValue({
  2133. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2134. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2135. CreateConstants.ATTRS_KEY: MappingValue({
  2136. StringValue('Inheritance.name'): StringValue('Composite_i_Expression'),
  2137. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Composite'),
  2138. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2139. }))
  2140. cl = self.mvk.create(MappingValue({
  2141. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2142. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2143. CreateConstants.ATTRS_KEY: MappingValue({
  2144. StringValue('Association.to_max'): IntegerValue(1),
  2145. StringValue('Association.from_max'): InfiniteValue('inf'),
  2146. StringValue('Association.from_port'): StringValue('from_methodcall'),
  2147. StringValue('Association.to_min'): IntegerValue(0),
  2148. StringValue('Class.name'): StringValue('methodcall_sender'),
  2149. StringValue('Association.to_port'): StringValue('to_expression'),
  2150. StringValue('Class.is_abstract'): BooleanValue(False),
  2151. StringValue('Association.from_min'): IntegerValue(0),
  2152. StringValue('Class.id_field'): StringValue('methodcall_sender.name'),
  2153. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsMethodCall'),
  2154. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2155. }))
  2156. cl = self.mvk.create(MappingValue({
  2157. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2158. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.methodcall_sender'),
  2159. CreateConstants.ATTRS_KEY: MappingValue({
  2160. StringValue('Attribute.name'): StringValue('name'),
  2161. StringValue('Attribute.type'): StringType()})
  2162. }))
  2163. cl = self.mvk.create(MappingValue({
  2164. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2165. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2166. CreateConstants.ATTRS_KEY: MappingValue({
  2167. StringValue('Inheritance.name'): StringValue('IfElse_i_Statement'),
  2168. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.IfElse'),
  2169. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  2170. }))
  2171. cl = self.mvk.create(MappingValue({
  2172. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2173. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2174. CreateConstants.ATTRS_KEY: MappingValue({
  2175. StringValue('Association.to_max'): IntegerValue(1),
  2176. StringValue('Association.from_max'): InfiniteValue('inf'),
  2177. StringValue('Association.from_port'): StringValue('from_binop'),
  2178. StringValue('Association.to_min'): IntegerValue(1),
  2179. StringValue('Class.name'): StringValue('binop_expression_left'),
  2180. StringValue('Association.to_port'): StringValue('to_expression'),
  2181. StringValue('Class.is_abstract'): BooleanValue(False),
  2182. StringValue('Association.from_min'): IntegerValue(0),
  2183. StringValue('Class.id_field'): StringValue('binop_expression_left.name'),
  2184. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Binop'),
  2185. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2186. }))
  2187. cl = self.mvk.create(MappingValue({
  2188. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2189. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.binop_expression_left'),
  2190. CreateConstants.ATTRS_KEY: MappingValue({
  2191. StringValue('Attribute.name'): StringValue('name'),
  2192. StringValue('Attribute.type'): StringType()})
  2193. }))
  2194. cl = self.mvk.create(MappingValue({
  2195. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2196. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2197. CreateConstants.ATTRS_KEY: MappingValue({
  2198. StringValue('Inheritance.name'): StringValue('Event_i_ID'),
  2199. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Event'),
  2200. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  2201. }))
  2202. cl = self.mvk.create(MappingValue({
  2203. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2204. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2205. CreateConstants.ATTRS_KEY: MappingValue({
  2206. StringValue('Association.to_max'): InfiniteValue('inf'),
  2207. StringValue('Association.from_max'): InfiniteValue('inf'),
  2208. StringValue('Association.from_port'): StringValue('from_class'),
  2209. StringValue('Association.to_min'): IntegerValue(0),
  2210. StringValue('Class.name'): StringValue('class_method'),
  2211. StringValue('Association.to_port'): StringValue('to_method'),
  2212. StringValue('Class.is_abstract'): BooleanValue(False),
  2213. StringValue('Association.from_min'): IntegerValue(0),
  2214. StringValue('Class.id_field'): StringValue('class_method.name'),
  2215. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Class'),
  2216. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsMethod')})
  2217. }))
  2218. cl = self.mvk.create(MappingValue({
  2219. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2220. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.class_method'),
  2221. CreateConstants.ATTRS_KEY: MappingValue({
  2222. StringValue('Attribute.name'): StringValue('name'),
  2223. StringValue('Attribute.type'): StringType()})
  2224. }))
  2225. cl = self.mvk.create(MappingValue({
  2226. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2227. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2228. CreateConstants.ATTRS_KEY: MappingValue({
  2229. StringValue('Inheritance.name'): StringValue('LThan_i_Binop'),
  2230. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.LThan'),
  2231. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  2232. }))
  2233. cl = self.mvk.create(MappingValue({
  2234. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2235. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2236. CreateConstants.ATTRS_KEY: MappingValue({
  2237. StringValue('Inheritance.name'): StringValue('Attribute_i_Named'),
  2238. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Attribute'),
  2239. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Named')})
  2240. }))
  2241. cl = self.mvk.create(MappingValue({
  2242. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2243. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2244. CreateConstants.ATTRS_KEY: MappingValue({
  2245. StringValue('Association.to_max'): IntegerValue(1),
  2246. StringValue('Association.from_max'): InfiniteValue('inf'),
  2247. StringValue('Association.from_port'): StringValue('from_guard'),
  2248. StringValue('Association.to_min'): IntegerValue(1),
  2249. StringValue('Class.name'): StringValue('guard_expression'),
  2250. StringValue('Association.to_port'): StringValue('to_expression'),
  2251. StringValue('Class.is_abstract'): BooleanValue(False),
  2252. StringValue('Association.from_min'): IntegerValue(0),
  2253. StringValue('Class.id_field'): StringValue('guard_expression.name'),
  2254. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Guard'),
  2255. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2256. }))
  2257. cl = self.mvk.create(MappingValue({
  2258. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2259. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.guard_expression'),
  2260. CreateConstants.ATTRS_KEY: MappingValue({
  2261. StringValue('Attribute.name'): StringValue('name'),
  2262. StringValue('Attribute.type'): StringType()})
  2263. }))
  2264. cl = self.mvk.create(MappingValue({
  2265. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2266. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2267. CreateConstants.ATTRS_KEY: MappingValue({
  2268. StringValue('Association.to_max'): IntegerValue(1),
  2269. StringValue('Association.from_max'): InfiniteValue('inf'),
  2270. StringValue('Association.from_port'): StringValue('from_unop'),
  2271. StringValue('Association.to_min'): IntegerValue(1),
  2272. StringValue('Class.name'): StringValue('unop_expression'),
  2273. StringValue('Association.to_port'): StringValue('to_expression'),
  2274. StringValue('Class.is_abstract'): BooleanValue(False),
  2275. StringValue('Association.from_min'): IntegerValue(0),
  2276. StringValue('Class.id_field'): StringValue('unop_expression.name'),
  2277. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Unop'),
  2278. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2279. }))
  2280. cl = self.mvk.create(MappingValue({
  2281. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2282. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.unop_expression'),
  2283. CreateConstants.ATTRS_KEY: MappingValue({
  2284. StringValue('Attribute.name'): StringValue('name'),
  2285. StringValue('Attribute.type'): StringType()})
  2286. }))
  2287. cl = self.mvk.create(MappingValue({
  2288. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2289. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2290. CreateConstants.ATTRS_KEY: MappingValue({
  2291. StringValue('Inheritance.name'): StringValue('Tuple_i_Composite'),
  2292. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Tuple'),
  2293. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Composite')})
  2294. }))
  2295. cl = self.mvk.create(MappingValue({
  2296. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2297. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2298. CreateConstants.ATTRS_KEY: MappingValue({
  2299. StringValue('Inheritance.name'): StringValue('Continue_i_Statement'),
  2300. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Continue'),
  2301. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  2302. }))
  2303. cl = self.mvk.create(MappingValue({
  2304. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2305. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2306. CreateConstants.ATTRS_KEY: MappingValue({
  2307. StringValue('Inheritance.name'): StringValue('Declaration_i_Statement'),
  2308. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Declaration'),
  2309. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  2310. }))
  2311. cl = self.mvk.create(MappingValue({
  2312. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2313. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2314. CreateConstants.ATTRS_KEY: MappingValue({
  2315. StringValue('Association.to_max'): IntegerValue(1),
  2316. StringValue('Association.from_max'): InfiniteValue('inf'),
  2317. StringValue('Association.from_port'): StringValue('from_ifelse'),
  2318. StringValue('Association.to_min'): IntegerValue(1),
  2319. StringValue('Class.name'): StringValue('ifelse_actionblock_ifbody'),
  2320. StringValue('Association.to_port'): StringValue('to_actionblock'),
  2321. StringValue('Class.is_abstract'): BooleanValue(False),
  2322. StringValue('Association.from_min'): IntegerValue(0),
  2323. StringValue('Class.id_field'): StringValue('ifelse_actionblock_ifbody.name'),
  2324. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.IfElse'),
  2325. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  2326. }))
  2327. cl = self.mvk.create(MappingValue({
  2328. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2329. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.ifelse_actionblock_ifbody'),
  2330. CreateConstants.ATTRS_KEY: MappingValue({
  2331. StringValue('Attribute.name'): StringValue('name'),
  2332. StringValue('Attribute.type'): StringType()})
  2333. }))
  2334. cl = self.mvk.create(MappingValue({
  2335. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2336. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2337. CreateConstants.ATTRS_KEY: MappingValue({
  2338. StringValue('Association.to_max'): IntegerValue(1),
  2339. StringValue('Association.from_max'): InfiniteValue('inf'),
  2340. StringValue('Association.from_port'): StringValue('from_absstate'),
  2341. StringValue('Association.to_min'): IntegerValue(0),
  2342. StringValue('Class.name'): StringValue('absstate_onenter'),
  2343. StringValue('Association.to_port'): StringValue('to_onenter'),
  2344. StringValue('Class.is_abstract'): BooleanValue(False),
  2345. StringValue('Association.from_min'): IntegerValue(0),
  2346. StringValue('Class.id_field'): StringValue('absstate_onenter.name'),
  2347. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsState'),
  2348. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.OnEnter')})
  2349. }))
  2350. cl = self.mvk.create(MappingValue({
  2351. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2352. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.absstate_onenter'),
  2353. CreateConstants.ATTRS_KEY: MappingValue({
  2354. StringValue('Attribute.name'): StringValue('name'),
  2355. StringValue('Attribute.type'): StringType()})
  2356. }))
  2357. cl = self.mvk.create(MappingValue({
  2358. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2359. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2360. CreateConstants.ATTRS_KEY: MappingValue({
  2361. StringValue('Inheritance.name'): StringValue('StringValue_i_AtomValue'),
  2362. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.StringValue'),
  2363. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AtomValue')})
  2364. }))
  2365. cl = self.mvk.create(MappingValue({
  2366. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2367. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2368. CreateConstants.ATTRS_KEY: MappingValue({
  2369. StringValue('Inheritance.name'): StringValue('Div_i_Binop'),
  2370. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Div'),
  2371. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  2372. }))
  2373. cl = self.mvk.create(MappingValue({
  2374. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2375. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2376. CreateConstants.ATTRS_KEY: MappingValue({
  2377. StringValue('Association.to_max'): IntegerValue(1),
  2378. StringValue('Association.from_max'): InfiniteValue('inf'),
  2379. StringValue('Association.from_port'): StringValue('from_compositeargument'),
  2380. StringValue('Association.to_min'): IntegerValue(1),
  2381. StringValue('Class.name'): StringValue('compositeargument_compositeargument_next'),
  2382. StringValue('Association.to_port'): StringValue('to_compositeargument'),
  2383. StringValue('Class.is_abstract'): BooleanValue(False),
  2384. StringValue('Association.from_min'): IntegerValue(0),
  2385. StringValue('Class.id_field'): StringValue('compositeargument_compositeargument_next.name'),
  2386. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.CompositeArgument'),
  2387. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.CompositeArgument')})
  2388. }))
  2389. cl = self.mvk.create(MappingValue({
  2390. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2391. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.compositeargument_compositeargument_next'),
  2392. CreateConstants.ATTRS_KEY: MappingValue({
  2393. StringValue('Attribute.name'): StringValue('name'),
  2394. StringValue('Attribute.type'): StringType()})
  2395. }))
  2396. cl = self.mvk.create(MappingValue({
  2397. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2398. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2399. CreateConstants.ATTRS_KEY: MappingValue({
  2400. StringValue('Inheritance.name'): StringValue('Transition_i_ID'),
  2401. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Transition'),
  2402. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  2403. }))
  2404. cl = self.mvk.create(MappingValue({
  2405. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2406. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2407. CreateConstants.ATTRS_KEY: MappingValue({
  2408. StringValue('Inheritance.name'): StringValue('FloatValue_i_AtomValue'),
  2409. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.FloatValue'),
  2410. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AtomValue')})
  2411. }))
  2412. cl = self.mvk.create(MappingValue({
  2413. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2414. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2415. CreateConstants.ATTRS_KEY: MappingValue({
  2416. StringValue('Association.to_max'): InfiniteValue('inf'),
  2417. StringValue('Association.from_max'): InfiniteValue('inf'),
  2418. StringValue('Association.from_port'): StringValue('from_absstate'),
  2419. StringValue('Association.to_min'): IntegerValue(0),
  2420. StringValue('Class.name'): StringValue('absstate_transition'),
  2421. StringValue('Association.to_port'): StringValue('to_transition'),
  2422. StringValue('Class.is_abstract'): BooleanValue(False),
  2423. StringValue('Association.from_min'): IntegerValue(0),
  2424. StringValue('Class.id_field'): StringValue('absstate_transition.name'),
  2425. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsState'),
  2426. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Transition')})
  2427. }))
  2428. cl = self.mvk.create(MappingValue({
  2429. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2430. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.absstate_transition'),
  2431. CreateConstants.ATTRS_KEY: MappingValue({
  2432. StringValue('Attribute.name'): StringValue('name'),
  2433. StringValue('Attribute.type'): StringType()})
  2434. }))
  2435. cl = self.mvk.create(MappingValue({
  2436. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2437. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2438. CreateConstants.ATTRS_KEY: MappingValue({
  2439. StringValue('Association.to_max'): IntegerValue(1),
  2440. StringValue('Association.from_max'): InfiniteValue('inf'),
  2441. StringValue('Association.from_port'): StringValue('from_navigationexpression'),
  2442. StringValue('Association.to_min'): IntegerValue(1),
  2443. StringValue('Class.name'): StringValue('navigationexpression_absnavigationexpression'),
  2444. StringValue('Association.to_port'): StringValue('to_absnavigationexpression'),
  2445. StringValue('Class.is_abstract'): BooleanValue(False),
  2446. StringValue('Association.from_min'): IntegerValue(0),
  2447. StringValue('Class.id_field'): StringValue('navigationexpression_absnavigationexpression.name'),
  2448. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.NavigationExpression'),
  2449. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsNavigationExpression')})
  2450. }))
  2451. cl = self.mvk.create(MappingValue({
  2452. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2453. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.navigationexpression_absnavigationexpression'),
  2454. CreateConstants.ATTRS_KEY: MappingValue({
  2455. StringValue('Attribute.name'): StringValue('name'),
  2456. StringValue('Attribute.type'): StringType()})
  2457. }))
  2458. cl = self.mvk.create(MappingValue({
  2459. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2460. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2461. CreateConstants.ATTRS_KEY: MappingValue({
  2462. StringValue('Inheritance.name'): StringValue('DictArgument_i_CompositeArgument'),
  2463. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.DictArgument'),
  2464. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.CompositeArgument')})
  2465. }))
  2466. cl = self.mvk.create(MappingValue({
  2467. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2468. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2469. CreateConstants.ATTRS_KEY: MappingValue({
  2470. StringValue('Inheritance.name'): StringValue('Association_i_Relationship'),
  2471. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Association'),
  2472. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Relationship')})
  2473. }))
  2474. cl = self.mvk.create(MappingValue({
  2475. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2476. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2477. CreateConstants.ATTRS_KEY: MappingValue({
  2478. StringValue('Inheritance.name'): StringValue('SelfExpression_i_AbsNavigationExpression'),
  2479. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.SelfExpression'),
  2480. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.AbsNavigationExpression')})
  2481. }))
  2482. cl = self.mvk.create(MappingValue({
  2483. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2484. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2485. CreateConstants.ATTRS_KEY: MappingValue({
  2486. StringValue('Association.to_max'): IntegerValue(1),
  2487. StringValue('Association.from_max'): InfiniteValue('inf'),
  2488. StringValue('Association.from_port'): StringValue('from_transition'),
  2489. StringValue('Association.to_min'): IntegerValue(0),
  2490. StringValue('Class.name'): StringValue('transition_guard'),
  2491. StringValue('Association.to_port'): StringValue('to_guard'),
  2492. StringValue('Class.is_abstract'): BooleanValue(False),
  2493. StringValue('Association.from_min'): IntegerValue(0),
  2494. StringValue('Class.id_field'): StringValue('transition_guard.name'),
  2495. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Transition'),
  2496. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Guard')})
  2497. }))
  2498. cl = self.mvk.create(MappingValue({
  2499. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2500. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.transition_guard'),
  2501. CreateConstants.ATTRS_KEY: MappingValue({
  2502. StringValue('Attribute.name'): StringValue('name'),
  2503. StringValue('Attribute.type'): StringType()})
  2504. }))
  2505. cl = self.mvk.create(MappingValue({
  2506. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2507. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2508. CreateConstants.ATTRS_KEY: MappingValue({
  2509. StringValue('Inheritance.name'): StringValue('Guard_i_ID'),
  2510. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Guard'),
  2511. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  2512. }))
  2513. cl = self.mvk.create(MappingValue({
  2514. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2515. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2516. CreateConstants.ATTRS_KEY: MappingValue({
  2517. StringValue('Inheritance.name'): StringValue('Or_i_Binop'),
  2518. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Or'),
  2519. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  2520. }))
  2521. cl = self.mvk.create(MappingValue({
  2522. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2523. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2524. CreateConstants.ATTRS_KEY: MappingValue({
  2525. StringValue('Association.to_max'): InfiniteValue('inf'),
  2526. StringValue('Association.from_max'): InfiniteValue('inf'),
  2527. StringValue('Association.from_port'): StringValue('from_class'),
  2528. StringValue('Association.to_min'): IntegerValue(0),
  2529. StringValue('Class.name'): StringValue('class_inport'),
  2530. StringValue('Association.to_port'): StringValue('to_inport'),
  2531. StringValue('Class.is_abstract'): BooleanValue(False),
  2532. StringValue('Association.from_min'): IntegerValue(0),
  2533. StringValue('Class.id_field'): StringValue('class_inport.name'),
  2534. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Class'),
  2535. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.InPort')})
  2536. }))
  2537. cl = self.mvk.create(MappingValue({
  2538. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2539. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.class_inport'),
  2540. CreateConstants.ATTRS_KEY: MappingValue({
  2541. StringValue('Attribute.name'): StringValue('name'),
  2542. StringValue('Attribute.type'): StringType()})
  2543. }))
  2544. cl = self.mvk.create(MappingValue({
  2545. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2546. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2547. CreateConstants.ATTRS_KEY: MappingValue({
  2548. StringValue('Association.to_max'): InfiniteValue('inf'),
  2549. StringValue('Association.from_max'): InfiniteValue('inf'),
  2550. StringValue('Association.from_port'): StringValue('from_methodcall'),
  2551. StringValue('Association.to_min'): IntegerValue(0),
  2552. StringValue('Class.name'): StringValue('methodcall_argument'),
  2553. StringValue('Association.to_port'): StringValue('to_argument'),
  2554. StringValue('Class.is_abstract'): BooleanValue(False),
  2555. StringValue('Association.from_min'): IntegerValue(0),
  2556. StringValue('Class.id_field'): StringValue('methodcall_argument.name'),
  2557. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsMethodCall'),
  2558. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Argument')})
  2559. }))
  2560. cl = self.mvk.create(MappingValue({
  2561. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2562. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.methodcall_argument'),
  2563. CreateConstants.ATTRS_KEY: MappingValue({
  2564. StringValue('Attribute.name'): StringValue('name'),
  2565. StringValue('Attribute.type'): StringType()})
  2566. }))
  2567. cl = self.mvk.create(MappingValue({
  2568. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2569. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2570. CreateConstants.ATTRS_KEY: MappingValue({
  2571. StringValue('Association.to_max'): IntegerValue(1),
  2572. StringValue('Association.from_max'): InfiniteValue('inf'),
  2573. StringValue('Association.from_port'): StringValue('from_composite'),
  2574. StringValue('Association.to_min'): IntegerValue(1),
  2575. StringValue('Class.name'): StringValue('composite_compositeargument'),
  2576. StringValue('Association.to_port'): StringValue('to_compositeargument'),
  2577. StringValue('Class.is_abstract'): BooleanValue(False),
  2578. StringValue('Association.from_min'): IntegerValue(0),
  2579. StringValue('Class.id_field'): StringValue('composite_compositeargument.name'),
  2580. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Composite'),
  2581. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.CompositeArgument')})
  2582. }))
  2583. cl = self.mvk.create(MappingValue({
  2584. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2585. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.composite_compositeargument'),
  2586. CreateConstants.ATTRS_KEY: MappingValue({
  2587. StringValue('Attribute.name'): StringValue('name'),
  2588. StringValue('Attribute.type'): StringType()})
  2589. }))
  2590. cl = self.mvk.create(MappingValue({
  2591. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2592. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2593. CreateConstants.ATTRS_KEY: MappingValue({
  2594. StringValue('Association.to_max'): IntegerValue(1),
  2595. StringValue('Association.from_max'): InfiniteValue('inf'),
  2596. StringValue('Association.from_port'): StringValue('from_parameter'),
  2597. StringValue('Association.to_min'): IntegerValue(0),
  2598. StringValue('Class.name'): StringValue('parameter_type_expression'),
  2599. StringValue('Association.to_port'): StringValue('to_type_expression'),
  2600. StringValue('Class.is_abstract'): BooleanValue(False),
  2601. StringValue('Association.from_min'): IntegerValue(0),
  2602. StringValue('Class.id_field'): StringValue('parameter_type_expression.name'),
  2603. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Parameter'),
  2604. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.NavigationExpression')})
  2605. }))
  2606. cl = self.mvk.create(MappingValue({
  2607. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2608. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.parameter_type_expression'),
  2609. CreateConstants.ATTRS_KEY: MappingValue({
  2610. StringValue('Attribute.name'): StringValue('name'),
  2611. StringValue('Attribute.type'): StringType()})
  2612. }))
  2613. cl = self.mvk.create(MappingValue({
  2614. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2615. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2616. CreateConstants.ATTRS_KEY: MappingValue({
  2617. StringValue('Inheritance.name'): StringValue('AbsState_i_ID'),
  2618. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsState'),
  2619. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  2620. }))
  2621. cl = self.mvk.create(MappingValue({
  2622. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2623. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2624. CreateConstants.ATTRS_KEY: MappingValue({
  2625. StringValue('Inheritance.name'): StringValue('PlainAssignment_i_Assignment'),
  2626. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.PlainAssignment'),
  2627. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Assignment')})
  2628. }))
  2629. cl = self.mvk.create(MappingValue({
  2630. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2631. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2632. CreateConstants.ATTRS_KEY: MappingValue({
  2633. StringValue('Association.to_max'): IntegerValue(1),
  2634. StringValue('Association.from_max'): InfiniteValue('inf'),
  2635. StringValue('Association.from_port'): StringValue('from_dictargument'),
  2636. StringValue('Association.to_min'): IntegerValue(1),
  2637. StringValue('Class.name'): StringValue('dictargument_labelexpression'),
  2638. StringValue('Association.to_port'): StringValue('to_expression'),
  2639. StringValue('Class.is_abstract'): BooleanValue(False),
  2640. StringValue('Association.from_min'): IntegerValue(0),
  2641. StringValue('Class.id_field'): StringValue('dictargument_labelexpression.name'),
  2642. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.DictArgument'),
  2643. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2644. }))
  2645. cl = self.mvk.create(MappingValue({
  2646. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2647. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.dictargument_labelexpression'),
  2648. CreateConstants.ATTRS_KEY: MappingValue({
  2649. StringValue('Attribute.name'): StringValue('name'),
  2650. StringValue('Attribute.type'): StringType()})
  2651. }))
  2652. cl = self.mvk.create(MappingValue({
  2653. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2654. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2655. CreateConstants.ATTRS_KEY: MappingValue({
  2656. StringValue('Inheritance.name'): StringValue('Argument_i_ID'),
  2657. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Argument'),
  2658. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  2659. }))
  2660. cl = self.mvk.create(MappingValue({
  2661. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2662. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2663. CreateConstants.ATTRS_KEY: MappingValue({
  2664. StringValue('Association.to_max'): IntegerValue(1),
  2665. StringValue('Association.from_max'): InfiniteValue('inf'),
  2666. StringValue('Association.from_port'): StringValue('from_absmethod'),
  2667. StringValue('Association.to_min'): IntegerValue(1),
  2668. StringValue('Class.name'): StringValue('absmethod_actionblock_body'),
  2669. StringValue('Association.to_port'): StringValue('to_actionblock'),
  2670. StringValue('Class.is_abstract'): BooleanValue(False),
  2671. StringValue('Association.from_min'): IntegerValue(0),
  2672. StringValue('Class.id_field'): StringValue('absmethod_actionblock_body.name'),
  2673. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.AbsMethod'),
  2674. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  2675. }))
  2676. cl = self.mvk.create(MappingValue({
  2677. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2678. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.absmethod_actionblock_body'),
  2679. CreateConstants.ATTRS_KEY: MappingValue({
  2680. StringValue('Attribute.name'): StringValue('name'),
  2681. StringValue('Attribute.type'): StringType()})
  2682. }))
  2683. cl = self.mvk.create(MappingValue({
  2684. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2685. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2686. CreateConstants.ATTRS_KEY: MappingValue({
  2687. StringValue('Association.to_max'): IntegerValue(1),
  2688. StringValue('Association.from_max'): InfiniteValue('inf'),
  2689. StringValue('Association.from_port'): StringValue('from_event'),
  2690. StringValue('Association.to_min'): IntegerValue(0),
  2691. StringValue('Class.name'): StringValue('event_parameter'),
  2692. StringValue('Association.to_port'): StringValue('to_parameter'),
  2693. StringValue('Class.is_abstract'): BooleanValue(False),
  2694. StringValue('Association.from_min'): IntegerValue(0),
  2695. StringValue('Class.id_field'): StringValue('event_parameter.name'),
  2696. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Event'),
  2697. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Parameter')})
  2698. }))
  2699. cl = self.mvk.create(MappingValue({
  2700. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2701. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.event_parameter'),
  2702. CreateConstants.ATTRS_KEY: MappingValue({
  2703. StringValue('Attribute.name'): StringValue('name'),
  2704. StringValue('Attribute.type'): StringType()})
  2705. }))
  2706. cl = self.mvk.create(MappingValue({
  2707. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2708. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2709. CreateConstants.ATTRS_KEY: MappingValue({
  2710. StringValue('Inheritance.name'): StringValue('Break_i_Statement'),
  2711. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Break'),
  2712. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Statement')})
  2713. }))
  2714. cl = self.mvk.create(MappingValue({
  2715. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2716. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2717. CreateConstants.ATTRS_KEY: MappingValue({
  2718. StringValue('Inheritance.name'): StringValue('And_i_Binop'),
  2719. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.And'),
  2720. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  2721. }))
  2722. cl = self.mvk.create(MappingValue({
  2723. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2724. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2725. CreateConstants.ATTRS_KEY: MappingValue({
  2726. StringValue('Inheritance.name'): StringValue('Top_i_ActionBlock'),
  2727. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Top'),
  2728. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ActionBlock')})
  2729. }))
  2730. cl = self.mvk.create(MappingValue({
  2731. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2732. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2733. CreateConstants.ATTRS_KEY: MappingValue({
  2734. StringValue('Association.to_max'): IntegerValue(1),
  2735. StringValue('Association.from_max'): InfiniteValue('inf'),
  2736. StringValue('Association.from_port'): StringValue('from_transition'),
  2737. StringValue('Association.to_min'): IntegerValue(0),
  2738. StringValue('Class.name'): StringValue('transition_event_trigger'),
  2739. StringValue('Association.to_port'): StringValue('to_event'),
  2740. StringValue('Class.is_abstract'): BooleanValue(False),
  2741. StringValue('Association.from_min'): IntegerValue(0),
  2742. StringValue('Class.id_field'): StringValue('transition_event_trigger.name'),
  2743. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Transition'),
  2744. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Event')})
  2745. }))
  2746. cl = self.mvk.create(MappingValue({
  2747. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2748. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.transition_event_trigger'),
  2749. CreateConstants.ATTRS_KEY: MappingValue({
  2750. StringValue('Attribute.name'): StringValue('name'),
  2751. StringValue('Attribute.type'): StringType()})
  2752. }))
  2753. cl = self.mvk.create(MappingValue({
  2754. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2755. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2756. CreateConstants.ATTRS_KEY: MappingValue({
  2757. StringValue('Association.to_max'): IntegerValue(1),
  2758. StringValue('Association.from_max'): InfiniteValue('inf'),
  2759. StringValue('Association.from_port'): StringValue('from_selfexpression'),
  2760. StringValue('Association.to_min'): IntegerValue(0),
  2761. StringValue('Class.name'): StringValue('selfexpression_dotexpression'),
  2762. StringValue('Association.to_port'): StringValue('to_dotexpression'),
  2763. StringValue('Class.is_abstract'): BooleanValue(False),
  2764. StringValue('Association.from_min'): IntegerValue(0),
  2765. StringValue('Class.id_field'): StringValue('selfexpression_dotexpression.name'),
  2766. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.SelfExpression'),
  2767. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.DotExpression')})
  2768. }))
  2769. cl = self.mvk.create(MappingValue({
  2770. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2771. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.selfexpression_dotexpression'),
  2772. CreateConstants.ATTRS_KEY: MappingValue({
  2773. StringValue('Attribute.name'): StringValue('name'),
  2774. StringValue('Attribute.type'): StringType()})
  2775. }))
  2776. cl = self.mvk.create(MappingValue({
  2777. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2778. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2779. CreateConstants.ATTRS_KEY: MappingValue({
  2780. StringValue('Inheritance.name'): StringValue('Mod_i_Binop'),
  2781. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Mod'),
  2782. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Binop')})
  2783. }))
  2784. cl = self.mvk.create(MappingValue({
  2785. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2786. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2787. CreateConstants.ATTRS_KEY: MappingValue({
  2788. StringValue('Inheritance.name'): StringValue('CompositeArgument_i_ID'),
  2789. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.CompositeArgument'),
  2790. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  2791. }))
  2792. cl = self.mvk.create(MappingValue({
  2793. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Association'),
  2794. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2795. CreateConstants.ATTRS_KEY: MappingValue({
  2796. StringValue('Association.to_max'): IntegerValue(1),
  2797. StringValue('Association.from_max'): InfiniteValue('inf'),
  2798. StringValue('Association.from_port'): StringValue('from_declaration'),
  2799. StringValue('Association.to_min'): IntegerValue(0),
  2800. StringValue('Class.name'): StringValue('declaration_expression_init'),
  2801. StringValue('Association.to_port'): StringValue('to_expression'),
  2802. StringValue('Class.is_abstract'): BooleanValue(False),
  2803. StringValue('Association.from_min'): IntegerValue(0),
  2804. StringValue('Class.id_field'): StringValue('declaration_expression_init.name'),
  2805. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Declaration'),
  2806. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Expression')})
  2807. }))
  2808. cl = self.mvk.create(MappingValue({
  2809. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Attribute'),
  2810. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD.declaration_expression_init'),
  2811. CreateConstants.ATTRS_KEY: MappingValue({
  2812. StringValue('Attribute.name'): StringValue('name'),
  2813. StringValue('Attribute.type'): StringType()})
  2814. }))
  2815. cl = self.mvk.create(MappingValue({
  2816. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2817. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2818. CreateConstants.ATTRS_KEY: MappingValue({
  2819. StringValue('Inheritance.name'): StringValue('Target_i_ID'),
  2820. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Target'),
  2821. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.ID')})
  2822. }))
  2823. cl = self.mvk.create(MappingValue({
  2824. CreateConstants.TYPE_KEY: LocationValue('protected.formalisms.SimpleClassDiagrams.Inheritance'),
  2825. CreateConstants.LOCATION_KEY: LocationValue('protected.formalisms.SCCD'),
  2826. CreateConstants.ATTRS_KEY: MappingValue({
  2827. StringValue('Inheritance.name'): StringValue('Aggregation_i_Relationship'),
  2828. StringValue('from_class'): LocationValue('protected.formalisms.SCCD.Aggregation'),
  2829. StringValue('to_class'): LocationValue('protected.formalisms.SCCD.Relationship')})
  2830. }))