TrafficLight.defaultIcons.pattern.metamodel 54 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409
  1. {
  2. "types": {
  3. "__pVisualisationIcon": [
  4. {
  5. "name": "typename",
  6. "type": "string",
  7. "default": "VisualisationIcon"
  8. },
  9. {
  10. "name": "position",
  11. "type": "list<double>",
  12. "default": [
  13. 249,
  14. 194
  15. ]
  16. },
  17. {
  18. "name": "orientation",
  19. "type": "double",
  20. "default": 0
  21. },
  22. {
  23. "name": "scale",
  24. "type": "list<double>",
  25. "default": [
  26. 1,
  27. 1
  28. ]
  29. },
  30. {
  31. "name": "mapper",
  32. "type": "code",
  33. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  34. },
  35. {
  36. "name": "parser",
  37. "type": "code",
  38. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  39. },
  40. {
  41. "name": "$contents",
  42. "type": "map<string,*>",
  43. "default": {
  44. "nodes": {
  45. "44": {
  46. "rx": {
  47. "type": "double",
  48. "value": 40
  49. },
  50. "ry": {
  51. "type": "double",
  52. "value": 80
  53. },
  54. "style": {
  55. "type": "map<string,string>",
  56. "value": {
  57. "stroke": "#000000",
  58. "stroke-dasharray": "",
  59. "fill": "#ffffff",
  60. "fill-opacity": 1,
  61. "font-size": "20px",
  62. "stroke-width": 1,
  63. "arrow-start": "none",
  64. "arrow-end": "none"
  65. }
  66. },
  67. "mapper": {
  68. "type": "code",
  69. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  70. },
  71. "parser": {
  72. "type": "code",
  73. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  74. },
  75. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Ellipse",
  76. "position": {
  77. "type": "list<double>",
  78. "value": [
  79. 13,
  80. 10.569400000000002
  81. ]
  82. },
  83. "orientation": {
  84. "type": "double",
  85. "value": 0
  86. },
  87. "scale": {
  88. "type": "list<double>",
  89. "value": [
  90. 1,
  91. 1
  92. ]
  93. }
  94. },
  95. "49": {
  96. "r": {
  97. "type": "double",
  98. "value": 20
  99. },
  100. "style": {
  101. "type": "map<string,string>",
  102. "value": {
  103. "stroke": "#000000",
  104. "stroke-dasharray": "",
  105. "fill": "#ff0000",
  106. "fill-opacity": 1,
  107. "font-size": "20px",
  108. "stroke-width": 3,
  109. "arrow-start": "none",
  110. "arrow-end": "none"
  111. }
  112. },
  113. "mapper": {
  114. "type": "code",
  115. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  116. },
  117. "parser": {
  118. "type": "code",
  119. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  120. },
  121. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  122. "position": {
  123. "type": "list<double>",
  124. "value": [
  125. 33,
  126. 25.5694
  127. ]
  128. },
  129. "orientation": {
  130. "type": "double",
  131. "value": 0
  132. },
  133. "scale": {
  134. "type": "list<double>",
  135. "value": [
  136. 1,
  137. 1
  138. ]
  139. }
  140. },
  141. "50": {
  142. "r": {
  143. "type": "double",
  144. "value": 20
  145. },
  146. "style": {
  147. "type": "map<string,string>",
  148. "value": {
  149. "stroke": "#000000",
  150. "stroke-dasharray": "",
  151. "fill": "#00ff00",
  152. "fill-opacity": 1,
  153. "font-size": "20px",
  154. "stroke-width": 3,
  155. "arrow-start": "none",
  156. "arrow-end": "none"
  157. }
  158. },
  159. "mapper": {
  160. "type": "code",
  161. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  162. },
  163. "parser": {
  164. "type": "code",
  165. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  166. },
  167. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  168. "position": {
  169. "type": "list<double>",
  170. "value": [
  171. 33,
  172. 115.56939999999997
  173. ]
  174. },
  175. "orientation": {
  176. "type": "double",
  177. "value": 0
  178. },
  179. "scale": {
  180. "type": "list<double>",
  181. "value": [
  182. 1,
  183. 1
  184. ]
  185. }
  186. },
  187. "51": {
  188. "r": {
  189. "type": "double",
  190. "value": 20
  191. },
  192. "style": {
  193. "type": "map<string,string>",
  194. "value": {
  195. "stroke": "#000000",
  196. "stroke-dasharray": "",
  197. "fill": "#ffff00",
  198. "fill-opacity": 1,
  199. "font-size": "20px",
  200. "stroke-width": 3,
  201. "arrow-start": "none",
  202. "arrow-end": "none"
  203. }
  204. },
  205. "mapper": {
  206. "type": "code",
  207. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  208. },
  209. "parser": {
  210. "type": "code",
  211. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  212. },
  213. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  214. "position": {
  215. "type": "list<double>",
  216. "value": [
  217. 33,
  218. 70.56939999999997
  219. ]
  220. },
  221. "orientation": {
  222. "type": "double",
  223. "value": 0
  224. },
  225. "scale": {
  226. "type": "list<double>",
  227. "value": [
  228. 1,
  229. 1
  230. ]
  231. }
  232. },
  233. "52": {
  234. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  235. "position": {
  236. "type": "list<double>",
  237. "value": [
  238. 33.08353805641718,
  239. 28.168456133586773
  240. ]
  241. },
  242. "orientation": {
  243. "type": "double",
  244. "value": 0
  245. },
  246. "scale": {
  247. "type": "list<double>",
  248. "value": [
  249. 1,
  250. 1
  251. ]
  252. },
  253. "link-style": {
  254. "type": "map<string,string>",
  255. "value": {
  256. "stroke": "#00ffff",
  257. "stroke-dasharray": "",
  258. "stroke-opacity": 0.1,
  259. "stroke-width": 1
  260. }
  261. }
  262. },
  263. "53": {
  264. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  265. "position": {
  266. "type": "list<double>",
  267. "value": [
  268. 33.016031975960914,
  269. 73.21252965978692
  270. ]
  271. },
  272. "orientation": {
  273. "type": "double",
  274. "value": 0
  275. },
  276. "scale": {
  277. "type": "list<double>",
  278. "value": [
  279. 1,
  280. 1
  281. ]
  282. },
  283. "link-style": {
  284. "type": "map<string,string>",
  285. "value": {
  286. "stroke": "#00ffff",
  287. "stroke-dasharray": "",
  288. "stroke-opacity": 0.1,
  289. "stroke-width": 1
  290. }
  291. }
  292. },
  293. "54": {
  294. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  295. "position": {
  296. "type": "list<double>",
  297. "value": [
  298. 33.03767834763403,
  299. 50.704231233713784
  300. ]
  301. },
  302. "orientation": {
  303. "type": "double",
  304. "value": 0
  305. },
  306. "scale": {
  307. "type": "list<double>",
  308. "value": [
  309. 1,
  310. 1
  311. ]
  312. },
  313. "link-style": {
  314. "type": "map<string,string>",
  315. "value": {
  316. "stroke": "#00ffff",
  317. "stroke-dasharray": "",
  318. "stroke-opacity": 0.1,
  319. "stroke-width": 1
  320. }
  321. }
  322. },
  323. "__pLabelText": {
  324. "position": {
  325. "type": "list<double>",
  326. "value": [
  327. 0,
  328. 0
  329. ]
  330. },
  331. "orientation": {
  332. "type": "double",
  333. "value": 0
  334. },
  335. "scale": {
  336. "type": "list<double>",
  337. "value": [
  338. 1,
  339. 1
  340. ]
  341. },
  342. "textContent": {
  343. "type": "string",
  344. "value": "#"
  345. },
  346. "style": {
  347. "type": "map<string,string>",
  348. "value": {
  349. "stroke": "#6000ff",
  350. "fill": "#6000ff",
  351. "font-size": "15px",
  352. "opacity": "1"
  353. }
  354. },
  355. "mapper": {
  356. "type": "code",
  357. "value": "({'textContent':getAttr('__pLabel')})"
  358. },
  359. "parser": {
  360. "type": "code",
  361. "value": "({'__pLabel':getAttr('textContent')})"
  362. },
  363. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
  364. }
  365. },
  366. "edges": [
  367. {
  368. "src": "44",
  369. "dest": "52"
  370. },
  371. {
  372. "src": "52",
  373. "dest": "49"
  374. },
  375. {
  376. "src": "44",
  377. "dest": "53"
  378. },
  379. {
  380. "src": "53",
  381. "dest": "50"
  382. },
  383. {
  384. "src": "44",
  385. "dest": "54"
  386. },
  387. {
  388. "src": "54",
  389. "dest": "51"
  390. }
  391. ]
  392. }
  393. },
  394. {
  395. "name": "$asuri",
  396. "type": "string",
  397. "default": "-1"
  398. }
  399. ],
  400. "__pInterruptIcon": [
  401. {
  402. "name": "typename",
  403. "type": "string",
  404. "default": "InterruptIcon"
  405. },
  406. {
  407. "name": "position",
  408. "type": "list<double>",
  409. "default": [
  410. 839,
  411. 220
  412. ]
  413. },
  414. {
  415. "name": "orientation",
  416. "type": "double",
  417. "default": 0
  418. },
  419. {
  420. "name": "scale",
  421. "type": "list<double>",
  422. "default": [
  423. 1,
  424. 1
  425. ]
  426. },
  427. {
  428. "name": "mapper",
  429. "type": "code",
  430. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  431. },
  432. {
  433. "name": "parser",
  434. "type": "code",
  435. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  436. },
  437. {
  438. "name": "$contents",
  439. "type": "map<string,*>",
  440. "default": {
  441. "nodes": {
  442. "27": {
  443. "width": {
  444. "type": "double",
  445. "value": 100
  446. },
  447. "height": {
  448. "type": "double",
  449. "value": 69
  450. },
  451. "cornerRadius": {
  452. "type": "double",
  453. "value": 1
  454. },
  455. "style": {
  456. "type": "map<string,string>",
  457. "value": {
  458. "stroke": "#000000",
  459. "stroke-dasharray": "",
  460. "fill": "#99ff99",
  461. "fill-opacity": 0.5,
  462. "font-size": "20px",
  463. "stroke-width": 1,
  464. "arrow-start": "none",
  465. "arrow-end": "none"
  466. }
  467. },
  468. "mapper": {
  469. "type": "code",
  470. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  471. },
  472. "parser": {
  473. "type": "code",
  474. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  475. },
  476. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle",
  477. "position": {
  478. "type": "list<double>",
  479. "value": [
  480. 7,
  481. 6
  482. ]
  483. },
  484. "orientation": {
  485. "type": "double",
  486. "value": 0
  487. },
  488. "scale": {
  489. "type": "list<double>",
  490. "value": [
  491. 1,
  492. 1
  493. ]
  494. }
  495. },
  496. "29": {
  497. "textContent": {
  498. "type": "string",
  499. "value": "T..."
  500. },
  501. "style": {
  502. "type": "map<string,string>",
  503. "value": {
  504. "stroke": "#000000",
  505. "stroke-dasharray": "",
  506. "fill": "#0000ff",
  507. "fill-opacity": 1,
  508. "font-size": "15px",
  509. "stroke-width": 0,
  510. "arrow-start": "none",
  511. "arrow-end": "none"
  512. }
  513. },
  514. "mapper": {
  515. "type": "code",
  516. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  517. },
  518. "parser": {
  519. "type": "code",
  520. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  521. },
  522. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
  523. "position": {
  524. "type": "list<double>",
  525. "value": [
  526. 15,
  527. 14
  528. ]
  529. },
  530. "orientation": {
  531. "type": "double",
  532. "value": 0
  533. },
  534. "scale": {
  535. "type": "list<double>",
  536. "value": [
  537. 1,
  538. 1
  539. ]
  540. }
  541. },
  542. "30": {
  543. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  544. "position": {
  545. "type": "list<double>",
  546. "value": [
  547. 30.5,
  548. 16.25
  549. ]
  550. },
  551. "orientation": {
  552. "type": "double",
  553. "value": 0
  554. },
  555. "scale": {
  556. "type": "list<double>",
  557. "value": [
  558. 1,
  559. 1
  560. ]
  561. },
  562. "link-style": {
  563. "type": "map<string,string>",
  564. "value": {
  565. "stroke": "#00ffff",
  566. "stroke-dasharray": "",
  567. "stroke-opacity": 0.1,
  568. "stroke-width": 1
  569. }
  570. }
  571. },
  572. "31": {
  573. "textContent": {
  574. "type": "string",
  575. "value": "T..."
  576. },
  577. "style": {
  578. "type": "map<string,string>",
  579. "value": {
  580. "stroke": "#000000",
  581. "stroke-dasharray": "",
  582. "fill": "#000000",
  583. "fill-opacity": 1,
  584. "font-size": "15px",
  585. "stroke-width": 0,
  586. "arrow-start": "none",
  587. "arrow-end": "none"
  588. }
  589. },
  590. "mapper": {
  591. "type": "code",
  592. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  593. },
  594. "parser": {
  595. "type": "code",
  596. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  597. },
  598. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
  599. "position": {
  600. "type": "list<double>",
  601. "value": [
  602. 16,
  603. 41
  604. ]
  605. },
  606. "orientation": {
  607. "type": "double",
  608. "value": 0
  609. },
  610. "scale": {
  611. "type": "list<double>",
  612. "value": [
  613. 1,
  614. 1
  615. ]
  616. }
  617. },
  618. "32": {
  619. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  620. "position": {
  621. "type": "list<double>",
  622. "value": [
  623. 29.104761552828222,
  624. 29.858332969401772
  625. ]
  626. },
  627. "orientation": {
  628. "type": "double",
  629. "value": 0
  630. },
  631. "scale": {
  632. "type": "list<double>",
  633. "value": [
  634. 1,
  635. 1
  636. ]
  637. },
  638. "link-style": {
  639. "type": "map<string,string>",
  640. "value": {
  641. "stroke": "#00ffff",
  642. "stroke-dasharray": "",
  643. "stroke-opacity": 0.1,
  644. "stroke-width": 1
  645. }
  646. }
  647. },
  648. "__pLabelText": {
  649. "position": {
  650. "type": "list<double>",
  651. "value": [
  652. 0,
  653. 0
  654. ]
  655. },
  656. "orientation": {
  657. "type": "double",
  658. "value": 0
  659. },
  660. "scale": {
  661. "type": "list<double>",
  662. "value": [
  663. 1,
  664. 1
  665. ]
  666. },
  667. "textContent": {
  668. "type": "string",
  669. "value": "#"
  670. },
  671. "style": {
  672. "type": "map<string,string>",
  673. "value": {
  674. "stroke": "#6000ff",
  675. "fill": "#6000ff",
  676. "font-size": "15px",
  677. "opacity": "1"
  678. }
  679. },
  680. "mapper": {
  681. "type": "code",
  682. "value": "({'textContent':getAttr('__pLabel')})"
  683. },
  684. "parser": {
  685. "type": "code",
  686. "value": "({'__pLabel':getAttr('textContent')})"
  687. },
  688. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
  689. }
  690. },
  691. "edges": [
  692. {
  693. "src": "27",
  694. "dest": "30"
  695. },
  696. {
  697. "src": "30",
  698. "dest": "29"
  699. },
  700. {
  701. "src": "27",
  702. "dest": "32"
  703. },
  704. {
  705. "src": "32",
  706. "dest": "31"
  707. }
  708. ]
  709. }
  710. },
  711. {
  712. "name": "$asuri",
  713. "type": "string",
  714. "default": "-1"
  715. }
  716. ],
  717. "__pTimeIcon": [
  718. {
  719. "name": "typename",
  720. "type": "string",
  721. "default": "TimeIcon"
  722. },
  723. {
  724. "name": "position",
  725. "type": "list<double>",
  726. "default": [
  727. 814,
  728. 451
  729. ]
  730. },
  731. {
  732. "name": "orientation",
  733. "type": "double",
  734. "default": 0
  735. },
  736. {
  737. "name": "scale",
  738. "type": "list<double>",
  739. "default": [
  740. 1,
  741. 1
  742. ]
  743. },
  744. {
  745. "name": "mapper",
  746. "type": "code",
  747. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  748. },
  749. {
  750. "name": "parser",
  751. "type": "code",
  752. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  753. },
  754. {
  755. "name": "$contents",
  756. "type": "map<string,*>",
  757. "default": {
  758. "nodes": {
  759. "34": {
  760. "rx": {
  761. "type": "double",
  762. "value": 50
  763. },
  764. "ry": {
  765. "type": "double",
  766. "value": 30
  767. },
  768. "style": {
  769. "type": "map<string,string>",
  770. "value": {
  771. "stroke": "#000000",
  772. "stroke-dasharray": "",
  773. "fill": "#9999ff",
  774. "fill-opacity": 0.75,
  775. "font-size": "20px",
  776. "stroke-width": 1,
  777. "arrow-start": "none",
  778. "arrow-end": "none"
  779. }
  780. },
  781. "mapper": {
  782. "type": "code",
  783. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  784. },
  785. "parser": {
  786. "type": "code",
  787. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  788. },
  789. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Ellipse",
  790. "position": {
  791. "type": "list<double>",
  792. "value": [
  793. 7,
  794. 26
  795. ]
  796. },
  797. "orientation": {
  798. "type": "double",
  799. "value": 0
  800. },
  801. "scale": {
  802. "type": "list<double>",
  803. "value": [
  804. 1,
  805. 1
  806. ]
  807. }
  808. },
  809. "36": {
  810. "textContent": {
  811. "type": "string",
  812. "value": "T..."
  813. },
  814. "style": {
  815. "type": "map<string,string>",
  816. "value": {
  817. "stroke": "#000000",
  818. "stroke-dasharray": "",
  819. "fill": "#000000",
  820. "fill-opacity": 1,
  821. "font-size": "20px",
  822. "stroke-width": 0,
  823. "arrow-start": "none",
  824. "arrow-end": "none"
  825. }
  826. },
  827. "mapper": {
  828. "type": "code",
  829. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  830. },
  831. "parser": {
  832. "type": "code",
  833. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  834. },
  835. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
  836. "position": {
  837. "type": "list<double>",
  838. "value": [
  839. 29,
  840. 44
  841. ]
  842. },
  843. "orientation": {
  844. "type": "double",
  845. "value": 0
  846. },
  847. "scale": {
  848. "type": "list<double>",
  849. "value": [
  850. 1,
  851. 1
  852. ]
  853. }
  854. },
  855. "37": {
  856. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  857. "position": {
  858. "type": "list<double>",
  859. "value": [
  860. 25.46270269242143,
  861. 40.75
  862. ]
  863. },
  864. "orientation": {
  865. "type": "double",
  866. "value": 0
  867. },
  868. "scale": {
  869. "type": "list<double>",
  870. "value": [
  871. 1,
  872. 1
  873. ]
  874. },
  875. "link-style": {
  876. "type": "map<string,string>",
  877. "value": {
  878. "stroke": "#00ffff",
  879. "stroke-dasharray": "",
  880. "stroke-opacity": 0.1,
  881. "stroke-width": 1
  882. }
  883. }
  884. },
  885. "38": {
  886. "textContent": {
  887. "type": "string",
  888. "value": "Time"
  889. },
  890. "style": {
  891. "type": "map<string,string>",
  892. "value": {
  893. "stroke": "#000000",
  894. "stroke-dasharray": "",
  895. "fill": "#ffffff",
  896. "fill-opacity": 0.75,
  897. "font-size": "20px",
  898. "stroke-width": 1,
  899. "arrow-start": "none",
  900. "arrow-end": "none"
  901. }
  902. },
  903. "mapper": {
  904. "type": "code",
  905. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  906. },
  907. "parser": {
  908. "type": "code",
  909. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  910. },
  911. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
  912. "position": {
  913. "type": "list<double>",
  914. "value": [
  915. 33,
  916. 3
  917. ]
  918. },
  919. "orientation": {
  920. "type": "double",
  921. "value": 0
  922. },
  923. "scale": {
  924. "type": "list<double>",
  925. "value": [
  926. 1,
  927. 1
  928. ]
  929. }
  930. },
  931. "__pLabelText": {
  932. "position": {
  933. "type": "list<double>",
  934. "value": [
  935. 0,
  936. 0
  937. ]
  938. },
  939. "orientation": {
  940. "type": "double",
  941. "value": 0
  942. },
  943. "scale": {
  944. "type": "list<double>",
  945. "value": [
  946. 1,
  947. 1
  948. ]
  949. },
  950. "textContent": {
  951. "type": "string",
  952. "value": "#"
  953. },
  954. "style": {
  955. "type": "map<string,string>",
  956. "value": {
  957. "stroke": "#6000ff",
  958. "fill": "#6000ff",
  959. "font-size": "15px",
  960. "opacity": "1"
  961. }
  962. },
  963. "mapper": {
  964. "type": "code",
  965. "value": "({'textContent':getAttr('__pLabel')})"
  966. },
  967. "parser": {
  968. "type": "code",
  969. "value": "({'__pLabel':getAttr('textContent')})"
  970. },
  971. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
  972. }
  973. },
  974. "edges": [
  975. {
  976. "src": "34",
  977. "dest": "37"
  978. },
  979. {
  980. "src": "37",
  981. "dest": "36"
  982. }
  983. ]
  984. }
  985. },
  986. {
  987. "name": "$asuri",
  988. "type": "string",
  989. "default": "-1"
  990. }
  991. ],
  992. "__pTimedTransitionLink": [
  993. {
  994. "name": "link-style",
  995. "type": "map<string,string>",
  996. "default": {
  997. "stroke": "#000000",
  998. "stroke-dasharray": "",
  999. "stroke-opacity": 1,
  1000. "stroke-width": 2
  1001. }
  1002. },
  1003. {
  1004. "name": "arrowHead",
  1005. "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
  1006. "default": "custom"
  1007. },
  1008. {
  1009. "name": "arrowTail",
  1010. "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
  1011. "default": "arrow-black"
  1012. },
  1013. {
  1014. "name": "typename",
  1015. "type": "string",
  1016. "default": "TimedTransitionLink"
  1017. },
  1018. {
  1019. "name": "position",
  1020. "type": "list<double>",
  1021. "default": [
  1022. 538,
  1023. 210
  1024. ]
  1025. },
  1026. {
  1027. "name": "orientation",
  1028. "type": "double",
  1029. "default": 0
  1030. },
  1031. {
  1032. "name": "scale",
  1033. "type": "list<double>",
  1034. "default": [
  1035. 1,
  1036. 1
  1037. ]
  1038. },
  1039. {
  1040. "name": "mapper",
  1041. "type": "code",
  1042. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1043. },
  1044. {
  1045. "name": "parser",
  1046. "type": "code",
  1047. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1048. },
  1049. {
  1050. "name": "$contents",
  1051. "type": "map<string,*>",
  1052. "default": {
  1053. "nodes": {
  1054. "9": {
  1055. "textContent": {
  1056. "type": "string",
  1057. "value": "T..."
  1058. },
  1059. "style": {
  1060. "type": "map<string,string>",
  1061. "value": {
  1062. "stroke": "#0000ff",
  1063. "stroke-dasharray": "",
  1064. "fill": "#0000ff",
  1065. "fill-opacity": 1,
  1066. "font-size": "20px",
  1067. "stroke-width": 0,
  1068. "arrow-start": "none",
  1069. "arrow-end": "none"
  1070. }
  1071. },
  1072. "mapper": {
  1073. "type": "code",
  1074. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1075. },
  1076. "parser": {
  1077. "type": "code",
  1078. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1079. },
  1080. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
  1081. "position": {
  1082. "type": "list<double>",
  1083. "value": [
  1084. 0,
  1085. 0
  1086. ]
  1087. },
  1088. "orientation": {
  1089. "type": "double",
  1090. "value": 0
  1091. },
  1092. "scale": {
  1093. "type": "list<double>",
  1094. "value": [
  1095. 1,
  1096. 1
  1097. ]
  1098. },
  1099. "$linkDecoratorInfo": {
  1100. "type": "map<string,double>",
  1101. "value": {
  1102. "xratio": 0.49693251533742333,
  1103. "yoffset": -26.5
  1104. }
  1105. }
  1106. },
  1107. "267": {
  1108. "segments": {
  1109. "type": "string",
  1110. "value": "m0,0 l10,4 l-10,4 l3,-4 z"
  1111. },
  1112. "style": {
  1113. "type": "map<string,string>",
  1114. "value": {
  1115. "stroke": "#000000",
  1116. "fill": "#000000",
  1117. "opacity": 1,
  1118. "stroke-width": 1
  1119. }
  1120. },
  1121. "mapper": {
  1122. "type": "code",
  1123. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1124. },
  1125. "parser": {
  1126. "type": "code",
  1127. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1128. },
  1129. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1130. "position": {
  1131. "type": "list<double>",
  1132. "value": [
  1133. 0,
  1134. 0
  1135. ]
  1136. },
  1137. "orientation": {
  1138. "type": "double",
  1139. "value": 0
  1140. },
  1141. "scale": {
  1142. "type": "list<double>",
  1143. "value": [
  1144. 1,
  1145. 1
  1146. ]
  1147. },
  1148. "$linkDecoratorInfo": {
  1149. "type": "map<string,double>",
  1150. "value": {
  1151. "xratio": 1,
  1152. "yoffset": -4
  1153. }
  1154. }
  1155. },
  1156. "__pLabelText": {
  1157. "position": {
  1158. "type": "list<double>",
  1159. "value": [
  1160. 0,
  1161. 0
  1162. ]
  1163. },
  1164. "orientation": {
  1165. "type": "double",
  1166. "value": 0
  1167. },
  1168. "scale": {
  1169. "type": "list<double>",
  1170. "value": [
  1171. 1,
  1172. 1
  1173. ]
  1174. },
  1175. "textContent": {
  1176. "type": "string",
  1177. "value": "#"
  1178. },
  1179. "style": {
  1180. "type": "map<string,string>",
  1181. "value": {
  1182. "stroke": "#6000ff",
  1183. "fill": "#6000ff",
  1184. "font-size": "15px",
  1185. "opacity": "1"
  1186. }
  1187. },
  1188. "mapper": {
  1189. "type": "code",
  1190. "value": "({'textContent':getAttr('__pLabel')})"
  1191. },
  1192. "parser": {
  1193. "type": "code",
  1194. "value": "({'__pLabel':getAttr('textContent')})"
  1195. },
  1196. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
  1197. }
  1198. },
  1199. "edges": []
  1200. }
  1201. },
  1202. {
  1203. "name": "$asuri",
  1204. "type": "string",
  1205. "default": "-1"
  1206. },
  1207. {
  1208. "name": "$segments",
  1209. "type": "map<string,list<string>>",
  1210. "default": {}
  1211. }
  1212. ],
  1213. "__pInterruptTransitionLink": [
  1214. {
  1215. "name": "link-style",
  1216. "type": "map<string,string>",
  1217. "default": {
  1218. "stroke": "#00ff00",
  1219. "stroke-dasharray": "",
  1220. "stroke-opacity": 1,
  1221. "stroke-width": 2
  1222. }
  1223. },
  1224. {
  1225. "name": "arrowHead",
  1226. "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
  1227. "default": "custom"
  1228. },
  1229. {
  1230. "name": "arrowTail",
  1231. "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
  1232. "default": "arrow-black"
  1233. },
  1234. {
  1235. "name": "typename",
  1236. "type": "string",
  1237. "default": "InterruptTransitionLink"
  1238. },
  1239. {
  1240. "name": "position",
  1241. "type": "list<double>",
  1242. "default": [
  1243. 529,
  1244. 447
  1245. ]
  1246. },
  1247. {
  1248. "name": "orientation",
  1249. "type": "double",
  1250. "default": 0
  1251. },
  1252. {
  1253. "name": "scale",
  1254. "type": "list<double>",
  1255. "default": [
  1256. 1,
  1257. 1
  1258. ]
  1259. },
  1260. {
  1261. "name": "mapper",
  1262. "type": "code",
  1263. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1264. },
  1265. {
  1266. "name": "parser",
  1267. "type": "code",
  1268. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1269. },
  1270. {
  1271. "name": "$contents",
  1272. "type": "map<string,*>",
  1273. "default": {
  1274. "nodes": {
  1275. "11": {
  1276. "textContent": {
  1277. "type": "string",
  1278. "value": "T..."
  1279. },
  1280. "style": {
  1281. "type": "map<string,string>",
  1282. "value": {
  1283. "stroke": "#000000",
  1284. "stroke-dasharray": "",
  1285. "fill": "#000000",
  1286. "fill-opacity": 1,
  1287. "font-size": "20px",
  1288. "stroke-width": 0,
  1289. "arrow-start": "none",
  1290. "arrow-end": "none"
  1291. }
  1292. },
  1293. "mapper": {
  1294. "type": "code",
  1295. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1296. },
  1297. "parser": {
  1298. "type": "code",
  1299. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1300. },
  1301. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
  1302. "position": {
  1303. "type": "list<double>",
  1304. "value": [
  1305. 0,
  1306. 0
  1307. ]
  1308. },
  1309. "orientation": {
  1310. "type": "double",
  1311. "value": 0
  1312. },
  1313. "scale": {
  1314. "type": "list<double>",
  1315. "value": [
  1316. 1,
  1317. 1
  1318. ]
  1319. },
  1320. "$linkDecoratorInfo": {
  1321. "type": "map<string,double>",
  1322. "value": {
  1323. "xratio": 0.5030674846625767,
  1324. "yoffset": -27.5
  1325. }
  1326. }
  1327. },
  1328. "267": {
  1329. "segments": {
  1330. "type": "string",
  1331. "value": "m0,0 l10,4 l-10,4 l3,-4 z"
  1332. },
  1333. "style": {
  1334. "type": "map<string,string>",
  1335. "value": {
  1336. "stroke": "#000000",
  1337. "fill": "#000000",
  1338. "opacity": 1,
  1339. "stroke-width": 1
  1340. }
  1341. },
  1342. "mapper": {
  1343. "type": "code",
  1344. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1345. },
  1346. "parser": {
  1347. "type": "code",
  1348. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1349. },
  1350. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1351. "position": {
  1352. "type": "list<double>",
  1353. "value": [
  1354. 0,
  1355. 0
  1356. ]
  1357. },
  1358. "orientation": {
  1359. "type": "double",
  1360. "value": 0
  1361. },
  1362. "scale": {
  1363. "type": "list<double>",
  1364. "value": [
  1365. 1,
  1366. 1
  1367. ]
  1368. },
  1369. "$linkDecoratorInfo": {
  1370. "type": "map<string,double>",
  1371. "value": {
  1372. "xratio": 1,
  1373. "yoffset": -4
  1374. }
  1375. }
  1376. },
  1377. "__pLabelText": {
  1378. "position": {
  1379. "type": "list<double>",
  1380. "value": [
  1381. 0,
  1382. 0
  1383. ]
  1384. },
  1385. "orientation": {
  1386. "type": "double",
  1387. "value": 0
  1388. },
  1389. "scale": {
  1390. "type": "list<double>",
  1391. "value": [
  1392. 1,
  1393. 1
  1394. ]
  1395. },
  1396. "textContent": {
  1397. "type": "string",
  1398. "value": "#"
  1399. },
  1400. "style": {
  1401. "type": "map<string,string>",
  1402. "value": {
  1403. "stroke": "#6000ff",
  1404. "fill": "#6000ff",
  1405. "font-size": "15px",
  1406. "opacity": "1"
  1407. }
  1408. },
  1409. "mapper": {
  1410. "type": "code",
  1411. "value": "({'textContent':getAttr('__pLabel')})"
  1412. },
  1413. "parser": {
  1414. "type": "code",
  1415. "value": "({'__pLabel':getAttr('textContent')})"
  1416. },
  1417. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
  1418. }
  1419. },
  1420. "edges": []
  1421. }
  1422. },
  1423. {
  1424. "name": "$asuri",
  1425. "type": "string",
  1426. "default": "-1"
  1427. },
  1428. {
  1429. "name": "$segments",
  1430. "type": "map<string,list<string>>",
  1431. "default": {}
  1432. }
  1433. ],
  1434. "__pNextLink": [
  1435. {
  1436. "name": "link-style",
  1437. "type": "map<string,string>",
  1438. "default": {
  1439. "stroke": "#000000",
  1440. "stroke-dasharray": "",
  1441. "stroke-opacity": 1,
  1442. "stroke-width": 2
  1443. }
  1444. },
  1445. {
  1446. "name": "arrowHead",
  1447. "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
  1448. "default": "custom"
  1449. },
  1450. {
  1451. "name": "arrowTail",
  1452. "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
  1453. "default": "arrow-black"
  1454. },
  1455. {
  1456. "name": "typename",
  1457. "type": "string",
  1458. "default": "NextLink"
  1459. },
  1460. {
  1461. "name": "position",
  1462. "type": "list<double>",
  1463. "default": [
  1464. 1064,
  1465. 443
  1466. ]
  1467. },
  1468. {
  1469. "name": "orientation",
  1470. "type": "double",
  1471. "default": 0
  1472. },
  1473. {
  1474. "name": "scale",
  1475. "type": "list<double>",
  1476. "default": [
  1477. 1,
  1478. 1
  1479. ]
  1480. },
  1481. {
  1482. "name": "mapper",
  1483. "type": "code",
  1484. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1485. },
  1486. {
  1487. "name": "parser",
  1488. "type": "code",
  1489. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1490. },
  1491. {
  1492. "name": "$contents",
  1493. "type": "map<string,*>",
  1494. "default": {
  1495. "nodes": {
  1496. "267": {
  1497. "segments": {
  1498. "type": "string",
  1499. "value": "m0,0 l10,4 l-10,4 l3,-4 z"
  1500. },
  1501. "style": {
  1502. "type": "map<string,string>",
  1503. "value": {
  1504. "stroke": "#000000",
  1505. "fill": "#000000",
  1506. "opacity": 1,
  1507. "stroke-width": 1
  1508. }
  1509. },
  1510. "mapper": {
  1511. "type": "code",
  1512. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1513. },
  1514. "parser": {
  1515. "type": "code",
  1516. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1517. },
  1518. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1519. "position": {
  1520. "type": "list<double>",
  1521. "value": [
  1522. 0,
  1523. 0
  1524. ]
  1525. },
  1526. "orientation": {
  1527. "type": "double",
  1528. "value": 0
  1529. },
  1530. "scale": {
  1531. "type": "list<double>",
  1532. "value": [
  1533. 1,
  1534. 1
  1535. ]
  1536. },
  1537. "$linkDecoratorInfo": {
  1538. "type": "map<string,double>",
  1539. "value": {
  1540. "xratio": 1,
  1541. "yoffset": -4
  1542. }
  1543. }
  1544. },
  1545. "__pLabelText": {
  1546. "position": {
  1547. "type": "list<double>",
  1548. "value": [
  1549. 0,
  1550. 0
  1551. ]
  1552. },
  1553. "orientation": {
  1554. "type": "double",
  1555. "value": 0
  1556. },
  1557. "scale": {
  1558. "type": "list<double>",
  1559. "value": [
  1560. 1,
  1561. 1
  1562. ]
  1563. },
  1564. "textContent": {
  1565. "type": "string",
  1566. "value": "#"
  1567. },
  1568. "style": {
  1569. "type": "map<string,string>",
  1570. "value": {
  1571. "stroke": "#6000ff",
  1572. "fill": "#6000ff",
  1573. "font-size": "15px",
  1574. "opacity": "1"
  1575. }
  1576. },
  1577. "mapper": {
  1578. "type": "code",
  1579. "value": "({'textContent':getAttr('__pLabel')})"
  1580. },
  1581. "parser": {
  1582. "type": "code",
  1583. "value": "({'__pLabel':getAttr('textContent')})"
  1584. },
  1585. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
  1586. }
  1587. },
  1588. "edges": []
  1589. }
  1590. },
  1591. {
  1592. "name": "$asuri",
  1593. "type": "string",
  1594. "default": "-1"
  1595. },
  1596. {
  1597. "name": "$segments",
  1598. "type": "map<string,list<string>>",
  1599. "default": {}
  1600. }
  1601. ],
  1602. "__pEndIcon": [
  1603. {
  1604. "name": "typename",
  1605. "type": "string",
  1606. "default": "EndIcon"
  1607. },
  1608. {
  1609. "name": "position",
  1610. "type": "list<double>",
  1611. "default": [
  1612. 1079,
  1613. 227
  1614. ]
  1615. },
  1616. {
  1617. "name": "orientation",
  1618. "type": "double",
  1619. "default": 0
  1620. },
  1621. {
  1622. "name": "scale",
  1623. "type": "list<double>",
  1624. "default": [
  1625. 1,
  1626. 1
  1627. ]
  1628. },
  1629. {
  1630. "name": "mapper",
  1631. "type": "code",
  1632. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1633. },
  1634. {
  1635. "name": "parser",
  1636. "type": "code",
  1637. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1638. },
  1639. {
  1640. "name": "$contents",
  1641. "type": "map<string,*>",
  1642. "default": {
  1643. "nodes": {
  1644. "62": {
  1645. "r": {
  1646. "type": "double",
  1647. "value": 10
  1648. },
  1649. "style": {
  1650. "type": "map<string,string>",
  1651. "value": {
  1652. "stroke": "#000000",
  1653. "stroke-dasharray": "",
  1654. "fill": "#ffffff",
  1655. "fill-opacity": 0.75,
  1656. "font-size": "20px",
  1657. "stroke-width": 6,
  1658. "arrow-start": "none",
  1659. "arrow-end": "none"
  1660. }
  1661. },
  1662. "mapper": {
  1663. "type": "code",
  1664. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1665. },
  1666. "parser": {
  1667. "type": "code",
  1668. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  1669. },
  1670. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  1671. "position": {
  1672. "type": "list<double>",
  1673. "value": [
  1674. 10,
  1675. 9
  1676. ]
  1677. },
  1678. "orientation": {
  1679. "type": "double",
  1680. "value": 0
  1681. },
  1682. "scale": {
  1683. "type": "list<double>",
  1684. "value": [
  1685. 1,
  1686. 1
  1687. ]
  1688. }
  1689. },
  1690. "__pLabelText": {
  1691. "position": {
  1692. "type": "list<double>",
  1693. "value": [
  1694. 0,
  1695. 0
  1696. ]
  1697. },
  1698. "orientation": {
  1699. "type": "double",
  1700. "value": 0
  1701. },
  1702. "scale": {
  1703. "type": "list<double>",
  1704. "value": [
  1705. 1,
  1706. 1
  1707. ]
  1708. },
  1709. "textContent": {
  1710. "type": "string",
  1711. "value": "#"
  1712. },
  1713. "style": {
  1714. "type": "map<string,string>",
  1715. "value": {
  1716. "stroke": "#6000ff",
  1717. "fill": "#6000ff",
  1718. "font-size": "15px",
  1719. "opacity": "1"
  1720. }
  1721. },
  1722. "mapper": {
  1723. "type": "code",
  1724. "value": "({'textContent':getAttr('__pLabel')})"
  1725. },
  1726. "parser": {
  1727. "type": "code",
  1728. "value": "({'__pLabel':getAttr('textContent')})"
  1729. },
  1730. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
  1731. }
  1732. },
  1733. "edges": []
  1734. }
  1735. },
  1736. {
  1737. "name": "$asuri",
  1738. "type": "string",
  1739. "default": "-1"
  1740. }
  1741. ],
  1742. "__pAbstractInterruptIcon": [
  1743. {
  1744. "name": "typename",
  1745. "type": "string",
  1746. "default": "__pAbstractInterruptIcon"
  1747. },
  1748. {
  1749. "name": "position",
  1750. "type": "list<double>",
  1751. "default": [
  1752. 0,
  1753. 0
  1754. ]
  1755. },
  1756. {
  1757. "name": "orientation",
  1758. "type": "double",
  1759. "default": 0
  1760. },
  1761. {
  1762. "name": "scale",
  1763. "type": "list<double>",
  1764. "default": [
  1765. 1,
  1766. 1
  1767. ]
  1768. },
  1769. {
  1770. "name": "mapper",
  1771. "type": "code",
  1772. "default": ""
  1773. },
  1774. {
  1775. "name": "parser",
  1776. "type": "code",
  1777. "default": ""
  1778. },
  1779. {
  1780. "name": "$contents",
  1781. "type": "map<string,*>",
  1782. "default": {
  1783. "nodes": {
  1784. "text": {
  1785. "textContent": {
  1786. "type": "string",
  1787. "value": "__pAbstractInterruptIcon"
  1788. },
  1789. "style": {
  1790. "type": "map<string,string>",
  1791. "value": {
  1792. "stroke": "#000000",
  1793. "stroke-dasharray": "",
  1794. "fill": "#000000",
  1795. "fill-opacity": "1",
  1796. "font-size": "13px"
  1797. }
  1798. },
  1799. "mapper": {
  1800. "type": "code",
  1801. "value": ""
  1802. },
  1803. "parser": {
  1804. "type": "code",
  1805. "value": ""
  1806. },
  1807. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
  1808. "position": {
  1809. "type": "list<double>",
  1810. "value": [
  1811. 10,
  1812. 76
  1813. ]
  1814. },
  1815. "orientation": {
  1816. "type": "double",
  1817. "value": 0
  1818. },
  1819. "scale": {
  1820. "type": "list<double>",
  1821. "value": [
  1822. 1,
  1823. 1
  1824. ]
  1825. }
  1826. },
  1827. "rect": {
  1828. "width": {
  1829. "type": "double",
  1830. "value": 75
  1831. },
  1832. "height": {
  1833. "type": "double",
  1834. "value": 75
  1835. },
  1836. "cornerRadius": {
  1837. "type": "double",
  1838. "value": 15
  1839. },
  1840. "style": {
  1841. "type": "map<string,string>",
  1842. "value": {
  1843. "stroke": "#000000",
  1844. "fill": "#ffffff",
  1845. "fill-opacity": 0.75
  1846. }
  1847. },
  1848. "mapper": {
  1849. "type": "code",
  1850. "value": ""
  1851. },
  1852. "parser": {
  1853. "type": "code",
  1854. "value": ""
  1855. },
  1856. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle",
  1857. "position": {
  1858. "type": "list<double>",
  1859. "value": [
  1860. 0,
  1861. 0
  1862. ]
  1863. },
  1864. "orientation": {
  1865. "type": "double",
  1866. "value": 0
  1867. },
  1868. "scale": {
  1869. "type": "list<double>",
  1870. "value": [
  1871. 1,
  1872. 1
  1873. ]
  1874. }
  1875. },
  1876. "textBelowRect": {
  1877. "distance": {
  1878. "type": "double",
  1879. "value": 10
  1880. },
  1881. "alignment": {
  1882. "type": "ENUM(\"right\",\"left\",\"center\")",
  1883. "value": "center"
  1884. },
  1885. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Below",
  1886. "position": {
  1887. "type": "list<double>",
  1888. "value": [
  1889. 5,
  1890. 38
  1891. ]
  1892. },
  1893. "orientation": {
  1894. "type": "double",
  1895. "value": 0
  1896. },
  1897. "scale": {
  1898. "type": "list<double>",
  1899. "value": [
  1900. 1,
  1901. 1
  1902. ]
  1903. },
  1904. "link-style": {
  1905. "type": "map<string,string>",
  1906. "value": {
  1907. "stroke": "#00ff00",
  1908. "stroke-dasharray": "",
  1909. "stroke-opacity": 1,
  1910. "arrow-start": "none",
  1911. "arrow-end": "classic-wide-long"
  1912. }
  1913. }
  1914. },
  1915. "__pLabelText": {
  1916. "position": {
  1917. "type": "list<double>",
  1918. "value": [
  1919. 0,
  1920. 0
  1921. ]
  1922. },
  1923. "orientation": {
  1924. "type": "double",
  1925. "value": 0
  1926. },
  1927. "scale": {
  1928. "type": "list<double>",
  1929. "value": [
  1930. 1,
  1931. 1
  1932. ]
  1933. },
  1934. "textContent": {
  1935. "type": "string",
  1936. "value": "#"
  1937. },
  1938. "style": {
  1939. "type": "map<string,string>",
  1940. "value": {
  1941. "stroke": "#6000ff",
  1942. "fill": "#6000ff",
  1943. "font-size": "15px",
  1944. "opacity": "1"
  1945. }
  1946. },
  1947. "mapper": {
  1948. "type": "code",
  1949. "value": "({'textContent':getAttr('__pLabel')})"
  1950. },
  1951. "parser": {
  1952. "type": "code",
  1953. "value": "({'__pLabel':getAttr('textContent')})"
  1954. },
  1955. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
  1956. }
  1957. },
  1958. "edges": [
  1959. {
  1960. "src": "text",
  1961. "dest": "textBelowRect"
  1962. },
  1963. {
  1964. "src": "textBelowRect",
  1965. "dest": "rect"
  1966. }
  1967. ]
  1968. }
  1969. },
  1970. {
  1971. "name": "$asuri",
  1972. "type": "string",
  1973. "default": "-1"
  1974. }
  1975. ],
  1976. "__pStateIcon": [
  1977. {
  1978. "name": "typename",
  1979. "type": "string",
  1980. "default": "StateIcon"
  1981. },
  1982. {
  1983. "name": "position",
  1984. "type": "list<double>",
  1985. "default": [
  1986. 246,
  1987. 421.1562
  1988. ]
  1989. },
  1990. {
  1991. "name": "orientation",
  1992. "type": "double",
  1993. "default": 0
  1994. },
  1995. {
  1996. "name": "scale",
  1997. "type": "list<double>",
  1998. "default": [
  1999. 1,
  2000. 1
  2001. ]
  2002. },
  2003. {
  2004. "name": "mapper",
  2005. "type": "code",
  2006. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  2007. },
  2008. {
  2009. "name": "parser",
  2010. "type": "code",
  2011. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  2012. },
  2013. {
  2014. "name": "$contents",
  2015. "type": "map<string,*>",
  2016. "default": {
  2017. "nodes": {
  2018. "56": {
  2019. "r": {
  2020. "type": "double",
  2021. "value": 20
  2022. },
  2023. "rays": {
  2024. "type": "int",
  2025. "value": 5
  2026. },
  2027. "style": {
  2028. "type": "map<string,string>",
  2029. "value": {
  2030. "stroke": "#000000",
  2031. "stroke-dasharray": "",
  2032. "fill": "#ffff00",
  2033. "fill-opacity": 0,
  2034. "font-size": "20px",
  2035. "stroke-width": 0,
  2036. "arrow-start": "none",
  2037. "arrow-end": "none"
  2038. }
  2039. },
  2040. "mapper": {
  2041. "type": "code",
  2042. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  2043. },
  2044. "parser": {
  2045. "type": "code",
  2046. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  2047. },
  2048. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Star",
  2049. "position": {
  2050. "type": "list<double>",
  2051. "value": [
  2052. 9,
  2053. 7.045099999999991
  2054. ]
  2055. },
  2056. "orientation": {
  2057. "type": "double",
  2058. "value": 0
  2059. },
  2060. "scale": {
  2061. "type": "list<double>",
  2062. "value": [
  2063. 1,
  2064. 1
  2065. ]
  2066. }
  2067. },
  2068. "75": {
  2069. "textContent": {
  2070. "type": "string",
  2071. "value": "state"
  2072. },
  2073. "style": {
  2074. "type": "map<string,string>",
  2075. "value": {
  2076. "stroke": "#000000",
  2077. "stroke-dasharray": "",
  2078. "fill": "#000000",
  2079. "fill-opacity": 1,
  2080. "font-size": "20px",
  2081. "stroke-width": 0,
  2082. "arrow-start": "none",
  2083. "arrow-end": "none"
  2084. }
  2085. },
  2086. "mapper": {
  2087. "type": "code",
  2088. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  2089. },
  2090. "parser": {
  2091. "type": "code",
  2092. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  2093. },
  2094. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
  2095. "position": {
  2096. "type": "list<double>",
  2097. "value": [
  2098. 26,
  2099. 81.36449999999996
  2100. ]
  2101. },
  2102. "orientation": {
  2103. "type": "double",
  2104. "value": 0
  2105. },
  2106. "scale": {
  2107. "type": "list<double>",
  2108. "value": [
  2109. 1,
  2110. 1
  2111. ]
  2112. }
  2113. },
  2114. "84": {
  2115. "r": {
  2116. "type": "double",
  2117. "value": 25
  2118. },
  2119. "style": {
  2120. "type": "map<string,string>",
  2121. "value": {
  2122. "stroke": "#000000",
  2123. "stroke-dasharray": "",
  2124. "fill": "#ffffff",
  2125. "fill-opacity": 0.75,
  2126. "font-size": "20px",
  2127. "stroke-width": 2,
  2128. "arrow-start": "none",
  2129. "arrow-end": "none"
  2130. }
  2131. },
  2132. "mapper": {
  2133. "type": "code",
  2134. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  2135. },
  2136. "parser": {
  2137. "type": "code",
  2138. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  2139. },
  2140. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  2141. "position": {
  2142. "type": "list<double>",
  2143. "value": [
  2144. 24,
  2145. 34.360971374511735
  2146. ]
  2147. },
  2148. "orientation": {
  2149. "type": "double",
  2150. "value": 0
  2151. },
  2152. "scale": {
  2153. "type": "list<double>",
  2154. "value": [
  2155. 1,
  2156. 1
  2157. ]
  2158. }
  2159. },
  2160. "__pLabelText": {
  2161. "position": {
  2162. "type": "list<double>",
  2163. "value": [
  2164. 0,
  2165. 0
  2166. ]
  2167. },
  2168. "orientation": {
  2169. "type": "double",
  2170. "value": 0
  2171. },
  2172. "scale": {
  2173. "type": "list<double>",
  2174. "value": [
  2175. 1,
  2176. 1
  2177. ]
  2178. },
  2179. "textContent": {
  2180. "type": "string",
  2181. "value": "#"
  2182. },
  2183. "style": {
  2184. "type": "map<string,string>",
  2185. "value": {
  2186. "stroke": "#6000ff",
  2187. "fill": "#6000ff",
  2188. "font-size": "15px",
  2189. "opacity": "1"
  2190. }
  2191. },
  2192. "mapper": {
  2193. "type": "code",
  2194. "value": "({'textContent':getAttr('__pLabel')})"
  2195. },
  2196. "parser": {
  2197. "type": "code",
  2198. "value": "({'__pLabel':getAttr('textContent')})"
  2199. },
  2200. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
  2201. }
  2202. },
  2203. "edges": []
  2204. }
  2205. },
  2206. {
  2207. "name": "$asuri",
  2208. "type": "string",
  2209. "default": "-1"
  2210. }
  2211. ],
  2212. "__pVisualisedByLink": [
  2213. {
  2214. "name": "link-style",
  2215. "type": "map<string,string>",
  2216. "default": {
  2217. "stroke": "#000000",
  2218. "stroke-dasharray": "-",
  2219. "stroke-opacity": 1,
  2220. "stroke-width": 1
  2221. }
  2222. },
  2223. {
  2224. "name": "arrowHead",
  2225. "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
  2226. "default": "custom"
  2227. },
  2228. {
  2229. "name": "arrowTail",
  2230. "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
  2231. "default": "arrow-black"
  2232. },
  2233. {
  2234. "name": "typename",
  2235. "type": "string",
  2236. "default": "VisualisedByLink"
  2237. },
  2238. {
  2239. "name": "position",
  2240. "type": "list<double>",
  2241. "default": [
  2242. 231,
  2243. 682.0034713745117
  2244. ]
  2245. },
  2246. {
  2247. "name": "orientation",
  2248. "type": "double",
  2249. "default": 0
  2250. },
  2251. {
  2252. "name": "scale",
  2253. "type": "list<double>",
  2254. "default": [
  2255. 1,
  2256. 1
  2257. ]
  2258. },
  2259. {
  2260. "name": "mapper",
  2261. "type": "code",
  2262. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  2263. },
  2264. {
  2265. "name": "parser",
  2266. "type": "code",
  2267. "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  2268. },
  2269. {
  2270. "name": "$contents",
  2271. "type": "map<string,*>",
  2272. "default": {
  2273. "nodes": {
  2274. "267": {
  2275. "segments": {
  2276. "type": "string",
  2277. "value": "m0,0 l10,4 l-10,4 l3,-4 z"
  2278. },
  2279. "style": {
  2280. "type": "map<string,string>",
  2281. "value": {
  2282. "stroke": "#000000",
  2283. "fill": "#000000",
  2284. "opacity": 1,
  2285. "stroke-width": 1
  2286. }
  2287. },
  2288. "mapper": {
  2289. "type": "code",
  2290. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  2291. },
  2292. "parser": {
  2293. "type": "code",
  2294. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  2295. },
  2296. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2297. "position": {
  2298. "type": "list<double>",
  2299. "value": [
  2300. 0,
  2301. 0
  2302. ]
  2303. },
  2304. "orientation": {
  2305. "type": "double",
  2306. "value": 0
  2307. },
  2308. "scale": {
  2309. "type": "list<double>",
  2310. "value": [
  2311. 1,
  2312. 1
  2313. ]
  2314. },
  2315. "$linkDecoratorInfo": {
  2316. "type": "map<string,double>",
  2317. "value": {
  2318. "xratio": 1,
  2319. "yoffset": -4
  2320. }
  2321. }
  2322. },
  2323. "__pLabelText": {
  2324. "position": {
  2325. "type": "list<double>",
  2326. "value": [
  2327. 0,
  2328. 0
  2329. ]
  2330. },
  2331. "orientation": {
  2332. "type": "double",
  2333. "value": 0
  2334. },
  2335. "scale": {
  2336. "type": "list<double>",
  2337. "value": [
  2338. 1,
  2339. 1
  2340. ]
  2341. },
  2342. "textContent": {
  2343. "type": "string",
  2344. "value": "#"
  2345. },
  2346. "style": {
  2347. "type": "map<string,string>",
  2348. "value": {
  2349. "stroke": "#6000ff",
  2350. "fill": "#6000ff",
  2351. "font-size": "15px",
  2352. "opacity": "1"
  2353. }
  2354. },
  2355. "mapper": {
  2356. "type": "code",
  2357. "value": "({'textContent':getAttr('__pLabel')})"
  2358. },
  2359. "parser": {
  2360. "type": "code",
  2361. "value": "({'__pLabel':getAttr('textContent')})"
  2362. },
  2363. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
  2364. }
  2365. },
  2366. "edges": []
  2367. }
  2368. },
  2369. {
  2370. "name": "$asuri",
  2371. "type": "string",
  2372. "default": "-1"
  2373. },
  2374. {
  2375. "name": "$segments",
  2376. "type": "map<string,list<string>>",
  2377. "default": {}
  2378. }
  2379. ]
  2380. },
  2381. "constraints": [],
  2382. "actions": [],
  2383. "cardinalities": {
  2384. "__pVisualisationIcon": [],
  2385. "__pInterruptIcon": [],
  2386. "__pTimeIcon": [],
  2387. "__pTimedTransitionLink": [],
  2388. "__pInterruptTransitionLink": [],
  2389. "__pNextLink": [],
  2390. "__pEndIcon": [],
  2391. "__pAbstractInterruptIcon": [],
  2392. "__pStateIcon": [],
  2393. "__pVisualisedByLink": []
  2394. },
  2395. "legalConnections": {},
  2396. "connectorTypes": {},
  2397. "types2parentTypes": {
  2398. "__pVisualisationIcon": [],
  2399. "__pInterruptIcon": [],
  2400. "__pTimeIcon": [],
  2401. "__pTimedTransitionLink": [],
  2402. "__pInterruptTransitionLink": [],
  2403. "__pNextLink": [],
  2404. "__pEndIcon": [],
  2405. "__pAbstractInterruptIcon": [],
  2406. "__pStateIcon": [],
  2407. "__pVisualisedByLink": []
  2408. }
  2409. }