T_highlight.model 156 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844284528462847284828492850285128522853285428552856285728582859286028612862286328642865286628672868286928702871287228732874287528762877287828792880288128822883288428852886288728882889289028912892289328942895289628972898289929002901290229032904290529062907290829092910291129122913291429152916291729182919292029212922292329242925292629272928292929302931293229332934293529362937293829392940294129422943294429452946294729482949295029512952295329542955295629572958295929602961296229632964296529662967296829692970297129722973297429752976297729782979298029812982298329842985298629872988298929902991299229932994299529962997299829993000300130023003300430053006300730083009301030113012301330143015301630173018301930203021302230233024302530263027302830293030303130323033303430353036303730383039304030413042304330443045304630473048304930503051305230533054305530563057305830593060306130623063306430653066306730683069307030713072307330743075307630773078307930803081308230833084308530863087308830893090309130923093309430953096309730983099310031013102310331043105310631073108310931103111311231133114311531163117311831193120312131223123312431253126312731283129313031313132313331343135313631373138313931403141314231433144314531463147314831493150315131523153315431553156315731583159316031613162316331643165316631673168316931703171317231733174317531763177317831793180318131823183318431853186318731883189319031913192319331943195319631973198319932003201320232033204320532063207320832093210321132123213321432153216321732183219322032213222322332243225322632273228322932303231323232333234323532363237323832393240324132423243324432453246324732483249325032513252325332543255325632573258325932603261326232633264326532663267326832693270327132723273327432753276327732783279328032813282328332843285328632873288328932903291329232933294329532963297329832993300330133023303330433053306330733083309331033113312331333143315331633173318331933203321332233233324332533263327332833293330333133323333333433353336333733383339334033413342334333443345334633473348334933503351335233533354335533563357335833593360336133623363336433653366336733683369337033713372337333743375337633773378337933803381338233833384338533863387338833893390339133923393339433953396339733983399340034013402340334043405340634073408340934103411341234133414341534163417341834193420342134223423342434253426342734283429343034313432343334343435343634373438343934403441344234433444344534463447344834493450345134523453345434553456345734583459346034613462346334643465346634673468346934703471347234733474347534763477347834793480348134823483348434853486348734883489349034913492349334943495349634973498349935003501350235033504350535063507350835093510351135123513351435153516351735183519352035213522352335243525352635273528352935303531353235333534353535363537353835393540354135423543354435453546354735483549355035513552355335543555355635573558355935603561356235633564356535663567356835693570357135723573357435753576357735783579358035813582358335843585358635873588358935903591359235933594359535963597359835993600360136023603360436053606360736083609361036113612361336143615361636173618361936203621362236233624362536263627362836293630363136323633363436353636363736383639364036413642364336443645364636473648364936503651365236533654365536563657365836593660366136623663366436653666366736683669367036713672367336743675367636773678367936803681368236833684368536863687368836893690369136923693369436953696369736983699370037013702370337043705370637073708370937103711371237133714371537163717371837193720372137223723372437253726372737283729373037313732373337343735373637373738373937403741374237433744374537463747374837493750375137523753375437553756375737583759376037613762376337643765376637673768376937703771377237733774377537763777377837793780378137823783378437853786378737883789379037913792379337943795379637973798379938003801380238033804380538063807380838093810381138123813381438153816381738183819382038213822382338243825382638273828382938303831383238333834383538363837383838393840384138423843384438453846384738483849385038513852385338543855385638573858385938603861386238633864386538663867386838693870387138723873387438753876387738783879388038813882388338843885388638873888388938903891389238933894389538963897389838993900390139023903390439053906390739083909391039113912391339143915391639173918391939203921392239233924392539263927392839293930393139323933393439353936393739383939394039413942394339443945394639473948394939503951395239533954395539563957395839593960396139623963396439653966396739683969397039713972397339743975397639773978397939803981398239833984398539863987398839893990399139923993399439953996399739983999400040014002400340044005400640074008400940104011401240134014401540164017401840194020402140224023402440254026402740284029403040314032403340344035403640374038403940404041404240434044404540464047404840494050405140524053405440554056405740584059406040614062406340644065406640674068406940704071407240734074407540764077407840794080408140824083408440854086408740884089409040914092409340944095409640974098409941004101410241034104410541064107410841094110411141124113411441154116411741184119412041214122412341244125412641274128412941304131413241334134413541364137413841394140414141424143414441454146414741484149415041514152415341544155415641574158415941604161416241634164416541664167416841694170417141724173417441754176417741784179418041814182418341844185418641874188418941904191419241934194419541964197419841994200420142024203420442054206420742084209421042114212421342144215421642174218421942204221422242234224422542264227422842294230423142324233423442354236423742384239424042414242424342444245424642474248424942504251425242534254425542564257425842594260426142624263426442654266426742684269427042714272427342744275427642774278427942804281428242834284428542864287428842894290429142924293429442954296429742984299430043014302430343044305430643074308430943104311431243134314431543164317431843194320432143224323432443254326432743284329433043314332433343344335433643374338433943404341434243434344434543464347434843494350435143524353435443554356435743584359436043614362436343644365436643674368436943704371437243734374437543764377437843794380438143824383438443854386438743884389439043914392439343944395439643974398439944004401440244034404440544064407440844094410441144124413441444154416441744184419442044214422442344244425442644274428442944304431443244334434443544364437443844394440444144424443444444454446444744484449445044514452445344544455445644574458445944604461446244634464446544664467446844694470447144724473447444754476447744784479448044814482448344844485448644874488448944904491449244934494449544964497449844994500450145024503450445054506450745084509451045114512451345144515451645174518451945204521452245234524452545264527452845294530453145324533453445354536453745384539454045414542454345444545454645474548454945504551455245534554455545564557455845594560456145624563456445654566456745684569457045714572457345744575457645774578457945804581458245834584458545864587458845894590459145924593459445954596459745984599460046014602460346044605460646074608460946104611461246134614461546164617461846194620462146224623462446254626462746284629463046314632463346344635463646374638463946404641464246434644464546464647464846494650465146524653465446554656465746584659466046614662466346644665466646674668466946704671467246734674467546764677467846794680468146824683468446854686468746884689469046914692469346944695469646974698469947004701470247034704470547064707470847094710471147124713471447154716471747184719472047214722472347244725472647274728472947304731473247334734473547364737473847394740474147424743474447454746474747484749475047514752475347544755475647574758475947604761476247634764476547664767476847694770477147724773477447754776477747784779478047814782478347844785478647874788478947904791479247934794479547964797479847994800480148024803480448054806480748084809481048114812481348144815481648174818481948204821482248234824482548264827482848294830483148324833483448354836483748384839484048414842484348444845484648474848484948504851485248534854485548564857485848594860486148624863486448654866486748684869487048714872487348744875487648774878487948804881488248834884488548864887488848894890489148924893489448954896489748984899490049014902490349044905490649074908490949104911491249134914491549164917491849194920492149224923492449254926492749284929493049314932493349344935493649374938493949404941494249434944494549464947494849494950495149524953495449554956495749584959496049614962496349644965496649674968496949704971497249734974497549764977497849794980498149824983498449854986498749884989499049914992499349944995499649974998499950005001500250035004500550065007500850095010501150125013501450155016501750185019502050215022502350245025502650275028502950305031503250335034503550365037503850395040504150425043504450455046504750485049505050515052505350545055505650575058505950605061506250635064506550665067506850695070507150725073507450755076507750785079508050815082508350845085508650875088508950905091509250935094509550965097509850995100510151025103510451055106510751085109511051115112511351145115511651175118511951205121512251235124512551265127512851295130513151325133513451355136513751385139514051415142514351445145514651475148514951505151515251535154515551565157515851595160516151625163516451655166516751685169517051715172517351745175517651775178517951805181518251835184518551865187518851895190519151925193519451955196519751985199520052015202520352045205520652075208520952105211521252135214521552165217521852195220522152225223522452255226522752285229523052315232523352345235523652375238523952405241524252435244524552465247524852495250525152525253525452555256525752585259526052615262526352645265526652675268526952705271527252735274527552765277527852795280528152825283528452855286528752885289529052915292529352945295529652975298529953005301530253035304530553065307530853095310531153125313531453155316531753185319532053215322532353245325532653275328532953305331533253335334533553365337533853395340534153425343534453455346534753485349535053515352535353545355535653575358535953605361536253635364536553665367536853695370537153725373537453755376537753785379538053815382538353845385538653875388538953905391539253935394539553965397539853995400540154025403540454055406540754085409541054115412541354145415541654175418541954205421542254235424542554265427542854295430543154325433543454355436543754385439544054415442544354445445544654475448544954505451545254535454545554565457545854595460546154625463546454655466546754685469547054715472547354745475547654775478547954805481548254835484548554865487548854895490549154925493549454955496549754985499550055015502550355045505550655075508550955105511551255135514551555165517551855195520552155225523552455255526552755285529553055315532553355345535553655375538553955405541554255435544554555465547554855495550555155525553555455555556555755585559556055615562556355645565556655675568556955705571557255735574557555765577557855795580558155825583558455855586558755885589559055915592559355945595559655975598559956005601560256035604560556065607560856095610561156125613561456155616561756185619562056215622562356245625562656275628562956305631563256335634563556365637563856395640564156425643564456455646564756485649565056515652565356545655565656575658565956605661566256635664566556665667566856695670567156725673567456755676567756785679568056815682568356845685568656875688568956905691569256935694569556965697569856995700570157025703570457055706570757085709571057115712571357145715571657175718571957205721572257235724572557265727572857295730573157325733573457355736573757385739574057415742574357445745574657475748574957505751575257535754575557565757575857595760576157625763576457655766576757685769577057715772577357745775577657775778577957805781578257835784578557865787578857895790579157925793579457955796579757985799580058015802580358045805580658075808580958105811581258135814581558165817581858195820582158225823582458255826582758285829583058315832583358345835583658375838583958405841584258435844584558465847584858495850585158525853585458555856585758585859586058615862586358645865586658675868586958705871587258735874587558765877587858795880588158825883588458855886588758885889589058915892589358945895589658975898589959005901590259035904590559065907590859095910591159125913591459155916591759185919592059215922592359245925592659275928592959305931593259335934593559365937593859395940594159425943594459455946594759485949595059515952595359545955595659575958595959605961596259635964596559665967596859695970597159725973597459755976597759785979598059815982598359845985598659875988598959905991599259935994599559965997599859996000600160026003600460056006600760086009601060116012601360146015601660176018601960206021602260236024602560266027602860296030603160326033603460356036603760386039604060416042604360446045604660476048604960506051605260536054605560566057605860596060606160626063606460656066606760686069607060716072607360746075607660776078607960806081608260836084608560866087608860896090609160926093609460956096609760986099610061016102610361046105610661076108610961106111611261136114611561166117611861196120612161226123612461256126612761286129613061316132613361346135613661376138613961406141614261436144614561466147614861496150615161526153615461556156615761586159616061616162616361646165616661676168616961706171617261736174617561766177617861796180618161826183618461856186618761886189619061916192619361946195619661976198619962006201620262036204620562066207620862096210621162126213621462156216621762186219622062216222622362246225622662276228622962306231623262336234623562366237623862396240624162426243624462456246624762486249625062516252625362546255625662576258625962606261626262636264626562666267626862696270627162726273627462756276
  1. {
  2. "csm": {
  3. "nodes": {
  4. "0": {
  5. "typename": {
  6. "type": "string",
  7. "value": "StartIcon"
  8. },
  9. "position": {
  10. "type": "list<double>",
  11. "value": [
  12. 661,
  13. 200
  14. ]
  15. },
  16. "orientation": {
  17. "type": "double",
  18. "value": 0
  19. },
  20. "scale": {
  21. "type": "list<double>",
  22. "value": [
  23. 1,
  24. 1
  25. ]
  26. },
  27. "mapper": {
  28. "type": "code",
  29. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  30. },
  31. "parser": {
  32. "type": "code",
  33. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  34. },
  35. "$contents": {
  36. "type": "map<string,*>",
  37. "value": {
  38. "nodes": {
  39. "21": {
  40. "r": {
  41. "type": "double",
  42. "value": 10
  43. },
  44. "style": {
  45. "type": "map<string,string>",
  46. "value": {
  47. "stroke": "#000000",
  48. "stroke-dasharray": "",
  49. "fill": "#000000",
  50. "fill-opacity": 0.75,
  51. "font-size": "20px",
  52. "stroke-width": 0,
  53. "arrow-start": "none",
  54. "arrow-end": "none"
  55. }
  56. },
  57. "mapper": {
  58. "type": "code",
  59. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  60. },
  61. "parser": {
  62. "type": "code",
  63. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  64. },
  65. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  66. "position": {
  67. "type": "list<double>",
  68. "value": [
  69. 3,
  70. 2
  71. ]
  72. },
  73. "orientation": {
  74. "type": "double",
  75. "value": 0
  76. },
  77. "scale": {
  78. "type": "list<double>",
  79. "value": [
  80. 1,
  81. 1
  82. ]
  83. }
  84. }
  85. },
  86. "edges": []
  87. }
  88. },
  89. "$asuri": {
  90. "type": "string",
  91. "value": "/Formalisms/__Transformations__/Transformation/MoTif/Start/0.instance"
  92. },
  93. "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/StartIcon"
  94. },
  95. "6": {
  96. "typename": {
  97. "type": "string",
  98. "value": "EndSuccessIcon"
  99. },
  100. "position": {
  101. "type": "list<double>",
  102. "value": [
  103. 606,
  104. 673
  105. ]
  106. },
  107. "orientation": {
  108. "type": "double",
  109. "value": 0
  110. },
  111. "scale": {
  112. "type": "list<double>",
  113. "value": [
  114. 1,
  115. 1
  116. ]
  117. },
  118. "mapper": {
  119. "type": "code",
  120. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  121. },
  122. "parser": {
  123. "type": "code",
  124. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  125. },
  126. "$contents": {
  127. "type": "map<string,*>",
  128. "value": {
  129. "nodes": {
  130. "23": {
  131. "r": {
  132. "type": "double",
  133. "value": 10
  134. },
  135. "style": {
  136. "type": "map<string,string>",
  137. "value": {
  138. "stroke": "#008000",
  139. "stroke-dasharray": "",
  140. "fill": "none",
  141. "fill-opacity": 1,
  142. "font-size": "20px",
  143. "stroke-width": 2,
  144. "arrow-start": "none",
  145. "arrow-end": "none",
  146. "": ""
  147. }
  148. },
  149. "mapper": {
  150. "type": "code",
  151. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  152. },
  153. "parser": {
  154. "type": "code",
  155. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  156. },
  157. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  158. "position": {
  159. "type": "list<double>",
  160. "value": [
  161. 2,
  162. 2
  163. ]
  164. },
  165. "orientation": {
  166. "type": "double",
  167. "value": 0
  168. },
  169. "scale": {
  170. "type": "list<double>",
  171. "value": [
  172. 1,
  173. 1
  174. ]
  175. }
  176. },
  177. "26": {
  178. "r": {
  179. "type": "double",
  180. "value": 5
  181. },
  182. "style": {
  183. "type": "map<string,string>",
  184. "value": {
  185. "stroke": "#000000",
  186. "stroke-dasharray": "",
  187. "fill": "#008000",
  188. "fill-opacity": 1,
  189. "font-size": "20px",
  190. "stroke-width": 0,
  191. "arrow-start": "none",
  192. "arrow-end": "none",
  193. "": ""
  194. }
  195. },
  196. "mapper": {
  197. "type": "code",
  198. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  199. },
  200. "parser": {
  201. "type": "code",
  202. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  203. },
  204. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  205. "position": {
  206. "type": "list<double>",
  207. "value": [
  208. 7,
  209. 7
  210. ]
  211. },
  212. "orientation": {
  213. "type": "double",
  214. "value": 0
  215. },
  216. "scale": {
  217. "type": "list<double>",
  218. "value": [
  219. 1,
  220. 1
  221. ]
  222. }
  223. },
  224. "27": {
  225. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  226. "position": {
  227. "type": "list<double>",
  228. "value": [
  229. 7.492540538484263,
  230. 6.5
  231. ]
  232. },
  233. "orientation": {
  234. "type": "double",
  235. "value": 0
  236. },
  237. "scale": {
  238. "type": "list<double>",
  239. "value": [
  240. 1,
  241. 1
  242. ]
  243. },
  244. "link-style": {
  245. "type": "map<string,string>",
  246. "value": {
  247. "stroke": "#00ffff",
  248. "stroke-dasharray": "",
  249. "stroke-opacity": 0.1,
  250. "stroke-width": 1
  251. }
  252. }
  253. }
  254. },
  255. "edges": [
  256. {
  257. "src": "23",
  258. "dest": "27"
  259. },
  260. {
  261. "src": "27",
  262. "dest": "26"
  263. }
  264. ]
  265. }
  266. },
  267. "$asuri": {
  268. "type": "string",
  269. "value": "/Formalisms/__Transformations__/Transformation/MoTif/EndSuccess/6.instance"
  270. },
  271. "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/EndSuccessIcon"
  272. },
  273. "7": {
  274. "typename": {
  275. "type": "string",
  276. "value": "EndFailIcon"
  277. },
  278. "position": {
  279. "type": "list<double>",
  280. "value": [
  281. 702,
  282. 674
  283. ]
  284. },
  285. "orientation": {
  286. "type": "double",
  287. "value": 0
  288. },
  289. "scale": {
  290. "type": "list<double>",
  291. "value": [
  292. 1,
  293. 1
  294. ]
  295. },
  296. "mapper": {
  297. "type": "code",
  298. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  299. },
  300. "parser": {
  301. "type": "code",
  302. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  303. },
  304. "$contents": {
  305. "type": "map<string,*>",
  306. "value": {
  307. "nodes": {
  308. "451": {
  309. "r": {
  310. "type": "double",
  311. "value": 10
  312. },
  313. "style": {
  314. "type": "map<string,string>",
  315. "value": {
  316. "stroke": "#800000",
  317. "stroke-dasharray": "",
  318. "fill": "none",
  319. "fill-opacity": 1,
  320. "font-size": "20px",
  321. "stroke-width": 2,
  322. "arrow-start": "none",
  323. "arrow-end": "none",
  324. "": ""
  325. }
  326. },
  327. "mapper": {
  328. "type": "code",
  329. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  330. },
  331. "parser": {
  332. "type": "code",
  333. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  334. },
  335. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  336. "position": {
  337. "type": "list<double>",
  338. "value": [
  339. 2,
  340. 1
  341. ]
  342. },
  343. "orientation": {
  344. "type": "double",
  345. "value": 0
  346. },
  347. "scale": {
  348. "type": "list<double>",
  349. "value": [
  350. 1,
  351. 1
  352. ]
  353. }
  354. },
  355. "455": {
  356. "segments": {
  357. "type": "string",
  358. "value": "M 12.49983,1.5069319 1.50001,12.506752"
  359. },
  360. "style": {
  361. "type": "map<string,string>",
  362. "value": {
  363. "fill": "none",
  364. "stroke": "#800000",
  365. "stroke-width": "3",
  366. "stroke-linecap": "round",
  367. "stroke-linejoin": "round",
  368. "stroke-miterlimit": "4",
  369. "stroke-opacity": "1",
  370. "stroke-dasharray": "none"
  371. }
  372. },
  373. "mapper": {
  374. "type": "code",
  375. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  376. },
  377. "parser": {
  378. "type": "code",
  379. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  380. },
  381. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  382. "position": {
  383. "type": "list<double>",
  384. "value": [
  385. 5,
  386. 4
  387. ]
  388. },
  389. "orientation": {
  390. "type": "double",
  391. "value": 0
  392. },
  393. "scale": {
  394. "type": "list<double>",
  395. "value": [
  396. 1,
  397. 1
  398. ]
  399. }
  400. },
  401. "456": {
  402. "segments": {
  403. "type": "string",
  404. "value": "M 1.5,1.5069319 12.49983,12.506752"
  405. },
  406. "style": {
  407. "type": "map<string,string>",
  408. "value": {
  409. "fill": "none",
  410. "stroke": "#800000",
  411. "stroke-width": "3",
  412. "stroke-linecap": "round",
  413. "stroke-linejoin": "round",
  414. "stroke-miterlimit": "4",
  415. "stroke-opacity": "1",
  416. "stroke-dasharray": "none"
  417. }
  418. },
  419. "mapper": {
  420. "type": "code",
  421. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  422. },
  423. "parser": {
  424. "type": "code",
  425. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  426. },
  427. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  428. "position": {
  429. "type": "list<double>",
  430. "value": [
  431. 5,
  432. 4
  433. ]
  434. },
  435. "orientation": {
  436. "type": "double",
  437. "value": 0
  438. },
  439. "scale": {
  440. "type": "list<double>",
  441. "value": [
  442. 1,
  443. 1
  444. ]
  445. }
  446. },
  447. "457": {
  448. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  449. "position": {
  450. "type": "list<double>",
  451. "value": [
  452. 7.363811097006419,
  453. 5.348023328271552
  454. ]
  455. },
  456. "orientation": {
  457. "type": "double",
  458. "value": 0
  459. },
  460. "scale": {
  461. "type": "list<double>",
  462. "value": [
  463. 1,
  464. 1
  465. ]
  466. },
  467. "link-style": {
  468. "type": "map<string,string>",
  469. "value": {
  470. "stroke": "#00ffff",
  471. "stroke-dasharray": "",
  472. "stroke-opacity": 0.1,
  473. "stroke-width": 1
  474. }
  475. }
  476. },
  477. "458": {
  478. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  479. "position": {
  480. "type": "list<double>",
  481. "value": [
  482. 7.3638135362075445,
  483. 5.348023328271552
  484. ]
  485. },
  486. "orientation": {
  487. "type": "double",
  488. "value": 0
  489. },
  490. "scale": {
  491. "type": "list<double>",
  492. "value": [
  493. 1,
  494. 1
  495. ]
  496. },
  497. "link-style": {
  498. "type": "map<string,string>",
  499. "value": {
  500. "stroke": "#00ffff",
  501. "stroke-dasharray": "",
  502. "stroke-opacity": 0.1,
  503. "stroke-width": 1
  504. }
  505. }
  506. }
  507. },
  508. "edges": [
  509. {
  510. "src": "451",
  511. "dest": "457"
  512. },
  513. {
  514. "src": "457",
  515. "dest": "455"
  516. },
  517. {
  518. "src": "451",
  519. "dest": "458"
  520. },
  521. {
  522. "src": "458",
  523. "dest": "456"
  524. }
  525. ]
  526. }
  527. },
  528. "$asuri": {
  529. "type": "string",
  530. "value": "/Formalisms/__Transformations__/Transformation/MoTif/EndFail/7.instance"
  531. },
  532. "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/EndFailIcon"
  533. },
  534. "94": {
  535. "typename": {
  536. "type": "string",
  537. "value": "ARuleIcon"
  538. },
  539. "position": {
  540. "type": "list<double>",
  541. "value": [
  542. 567,
  543. 396
  544. ]
  545. },
  546. "orientation": {
  547. "type": "double",
  548. "value": 0
  549. },
  550. "scale": {
  551. "type": "list<double>",
  552. "value": [
  553. 1,
  554. 1
  555. ]
  556. },
  557. "mapper": {
  558. "type": "code",
  559. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  560. },
  561. "parser": {
  562. "type": "code",
  563. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  564. },
  565. "$contents": {
  566. "type": "map<string,*>",
  567. "value": {
  568. "nodes": {
  569. "402": {
  570. "width": {
  571. "type": "double",
  572. "value": 200
  573. },
  574. "height": {
  575. "type": "double",
  576. "value": 50
  577. },
  578. "cornerRadius": {
  579. "type": "double",
  580. "value": 1
  581. },
  582. "style": {
  583. "type": "map<string,string>",
  584. "value": {
  585. "fill": "#ffffff",
  586. "stroke": "#008000",
  587. "stroke-width": "5",
  588. "stroke-linecap": "butt",
  589. "stroke-linejoin": "miter",
  590. "stroke-miterlimit": "4",
  591. "stroke-opacity": "1",
  592. "fill-opacity": "0.5"
  593. }
  594. },
  595. "mapper": {
  596. "type": "code",
  597. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  598. },
  599. "parser": {
  600. "type": "code",
  601. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  602. },
  603. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle",
  604. "position": {
  605. "type": "list<double>",
  606. "value": [
  607. 2,
  608. 25
  609. ]
  610. },
  611. "orientation": {
  612. "type": "double",
  613. "value": 0
  614. },
  615. "scale": {
  616. "type": "list<double>",
  617. "value": [
  618. 1,
  619. 1
  620. ]
  621. }
  622. },
  623. "403": {
  624. "textContent": {
  625. "type": "string",
  626. "value": "highlight"
  627. },
  628. "style": {
  629. "type": "map<string,string>",
  630. "value": {
  631. "font-size": "20px",
  632. "font-style": "normal",
  633. "font-variant": "normal",
  634. "font-weight": "bold",
  635. "font-stretch": "normal",
  636. "text-align": "left",
  637. "line-height": "125%",
  638. "writing-mode": "lr-tb",
  639. "text-anchor": "left",
  640. "fill": "#008000",
  641. "fill-opacity": "1",
  642. "stroke": "none",
  643. "font-family": "Arial"
  644. }
  645. },
  646. "mapper": {
  647. "type": "code",
  648. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})"
  649. },
  650. "parser": {
  651. "type": "code",
  652. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  653. },
  654. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
  655. "position": {
  656. "type": "list<double>",
  657. "value": [
  658. 49,
  659. 39
  660. ]
  661. },
  662. "orientation": {
  663. "type": "double",
  664. "value": 0
  665. },
  666. "scale": {
  667. "type": "list<double>",
  668. "value": [
  669. 1,
  670. 1
  671. ]
  672. }
  673. },
  674. "404": {
  675. "segments": {
  676. "type": "string",
  677. "value": "M 0.01697481,7.2449841 2.4082848,10.044684 11.016975,1.5335841"
  678. },
  679. "style": {
  680. "type": "map<string,string>",
  681. "value": {
  682. "fill": "none",
  683. "stroke": "#008000",
  684. "stroke-width": "3",
  685. "stroke-linecap": "round",
  686. "stroke-linejoin": "round",
  687. "stroke-miterlimit": "4",
  688. "stroke-opacity": "1",
  689. "stroke-dasharray": "none"
  690. }
  691. },
  692. "mapper": {
  693. "type": "code",
  694. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  695. },
  696. "parser": {
  697. "type": "code",
  698. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  699. },
  700. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  701. "position": {
  702. "type": "list<double>",
  703. "value": [
  704. 48,
  705. 78
  706. ]
  707. },
  708. "orientation": {
  709. "type": "double",
  710. "value": 0
  711. },
  712. "scale": {
  713. "type": "list<double>",
  714. "value": [
  715. 1,
  716. 1
  717. ]
  718. }
  719. },
  720. "405": {
  721. "textContent": {
  722. "type": "string",
  723. "value": ":"
  724. },
  725. "style": {
  726. "type": "map<string,string>",
  727. "value": {
  728. "font-size": "20px",
  729. "font-style": "normal",
  730. "font-variant": "normal",
  731. "font-weight": "bold",
  732. "font-stretch": "normal",
  733. "text-align": "left",
  734. "line-height": "125%",
  735. "writing-mode": "lr-tb",
  736. "text-anchor": "left",
  737. "fill": "#008000",
  738. "fill-opacity": "1",
  739. "stroke": "none",
  740. "font-family": "Arial"
  741. }
  742. },
  743. "mapper": {
  744. "type": "code",
  745. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  746. },
  747. "parser": {
  748. "type": "code",
  749. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  750. },
  751. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
  752. "position": {
  753. "type": "list<double>",
  754. "value": [
  755. 42,
  756. 39
  757. ]
  758. },
  759. "orientation": {
  760. "type": "double",
  761. "value": 0
  762. },
  763. "scale": {
  764. "type": "list<double>",
  765. "value": [
  766. 1,
  767. 1
  768. ]
  769. }
  770. },
  771. "406": {
  772. "segments": {
  773. "type": "string",
  774. "value": "M 12.49983,1.5069319 1.50001,12.506752"
  775. },
  776. "style": {
  777. "type": "map<string,string>",
  778. "value": {
  779. "fill": "none",
  780. "stroke": "#008000",
  781. "stroke-width": "3",
  782. "stroke-linecap": "round",
  783. "stroke-linejoin": "round",
  784. "stroke-miterlimit": "4",
  785. "stroke-opacity": "1",
  786. "stroke-dasharray": "none"
  787. }
  788. },
  789. "mapper": {
  790. "type": "code",
  791. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  792. },
  793. "parser": {
  794. "type": "code",
  795. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  796. },
  797. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  798. "position": {
  799. "type": "list<double>",
  800. "value": [
  801. 145,
  802. 78
  803. ]
  804. },
  805. "orientation": {
  806. "type": "double",
  807. "value": 0
  808. },
  809. "scale": {
  810. "type": "list<double>",
  811. "value": [
  812. 1,
  813. 1
  814. ]
  815. }
  816. },
  817. "407": {
  818. "textContent": {
  819. "type": "string",
  820. "value": ""
  821. },
  822. "style": {
  823. "type": "map<string,string>",
  824. "value": {
  825. "font-size": "20px",
  826. "font-style": "normal",
  827. "font-variant": "normal",
  828. "font-weight": "bold",
  829. "font-stretch": "normal",
  830. "text-align": "left",
  831. "line-height": "125%",
  832. "writing-mode": "lr-tb",
  833. "text-anchor": "left",
  834. "fill": "#008000",
  835. "fill-opacity": "1",
  836. "stroke": "none",
  837. "font-family": "Arial"
  838. }
  839. },
  840. "mapper": {
  841. "type": "code",
  842. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('alias')})"
  843. },
  844. "parser": {
  845. "type": "code",
  846. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  847. },
  848. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
  849. "position": {
  850. "type": "list<double>",
  851. "value": [
  852. 9,
  853. 39
  854. ]
  855. },
  856. "orientation": {
  857. "type": "double",
  858. "value": 0
  859. },
  860. "scale": {
  861. "type": "list<double>",
  862. "value": [
  863. 1,
  864. 1
  865. ]
  866. }
  867. },
  868. "408": {
  869. "segments": {
  870. "type": "string",
  871. "value": "M 1.5,1.5069319 12.49983,12.506752"
  872. },
  873. "style": {
  874. "type": "map<string,string>",
  875. "value": {
  876. "fill": "none",
  877. "stroke": "#008000",
  878. "stroke-width": "3",
  879. "stroke-linecap": "round",
  880. "stroke-linejoin": "round",
  881. "stroke-miterlimit": "4",
  882. "stroke-opacity": "1",
  883. "stroke-dasharray": "none"
  884. }
  885. },
  886. "mapper": {
  887. "type": "code",
  888. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  889. },
  890. "parser": {
  891. "type": "code",
  892. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  893. },
  894. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  895. "position": {
  896. "type": "list<double>",
  897. "value": [
  898. 145,
  899. 78
  900. ]
  901. },
  902. "orientation": {
  903. "type": "double",
  904. "value": 0
  905. },
  906. "scale": {
  907. "type": "list<double>",
  908. "value": [
  909. 1,
  910. 1
  911. ]
  912. }
  913. },
  914. "410": {
  915. "segments": {
  916. "type": "string",
  917. "value": "M 1,10.3685 7.03183,20.737 13.06367,10.3685 z"
  918. },
  919. "style": {
  920. "type": "map<string,string>",
  921. "value": {
  922. "fill": "#ffffff",
  923. "fill-opacity": "0.5",
  924. "stroke": "#008000",
  925. "stroke-width": "3",
  926. "stroke-linecap": "butt",
  927. "stroke-linejoin": "miter",
  928. "stroke-miterlimit": "4",
  929. "stroke-opacity": "1"
  930. }
  931. },
  932. "mapper": {
  933. "type": "code",
  934. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  935. },
  936. "parser": {
  937. "type": "code",
  938. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  939. },
  940. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  941. "position": {
  942. "type": "list<double>",
  943. "value": [
  944. 96,
  945. 1
  946. ]
  947. },
  948. "orientation": {
  949. "type": "double",
  950. "value": 0
  951. },
  952. "scale": {
  953. "type": "list<double>",
  954. "value": [
  955. 1,
  956. 1
  957. ]
  958. }
  959. },
  960. "411": {
  961. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  962. "position": {
  963. "type": "list<double>",
  964. "value": [
  965. 38.25,
  966. 38.5
  967. ]
  968. },
  969. "orientation": {
  970. "type": "double",
  971. "value": 0
  972. },
  973. "scale": {
  974. "type": "list<double>",
  975. "value": [
  976. 1,
  977. 1
  978. ]
  979. },
  980. "link-style": {
  981. "type": "map<string,string>",
  982. "value": {
  983. "stroke": "#00ffff",
  984. "stroke-dasharray": "",
  985. "stroke-opacity": 0.1,
  986. "stroke-width": 1
  987. }
  988. }
  989. },
  990. "412": {
  991. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  992. "position": {
  993. "type": "list<double>",
  994. "value": [
  995. 16.25,
  996. 38.5
  997. ]
  998. },
  999. "orientation": {
  1000. "type": "double",
  1001. "value": 0
  1002. },
  1003. "scale": {
  1004. "type": "list<double>",
  1005. "value": [
  1006. 1,
  1007. 1
  1008. ]
  1009. },
  1010. "link-style": {
  1011. "type": "map<string,string>",
  1012. "value": {
  1013. "stroke": "#00ffff",
  1014. "stroke-dasharray": "",
  1015. "stroke-opacity": 0.1,
  1016. "stroke-width": 1
  1017. }
  1018. }
  1019. },
  1020. "413": {
  1021. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  1022. "position": {
  1023. "type": "list<double>",
  1024. "value": [
  1025. 24,
  1026. 38.5
  1027. ]
  1028. },
  1029. "orientation": {
  1030. "type": "double",
  1031. "value": 0
  1032. },
  1033. "scale": {
  1034. "type": "list<double>",
  1035. "value": [
  1036. 1,
  1037. 1
  1038. ]
  1039. },
  1040. "link-style": {
  1041. "type": "map<string,string>",
  1042. "value": {
  1043. "stroke": "#00ffff",
  1044. "stroke-dasharray": "",
  1045. "stroke-opacity": 0.1,
  1046. "stroke-width": 1
  1047. }
  1048. }
  1049. }
  1050. },
  1051. "edges": [
  1052. {
  1053. "src": "402",
  1054. "dest": "411"
  1055. },
  1056. {
  1057. "src": "411",
  1058. "dest": "403"
  1059. },
  1060. {
  1061. "src": "402",
  1062. "dest": "412"
  1063. },
  1064. {
  1065. "src": "412",
  1066. "dest": "407"
  1067. },
  1068. {
  1069. "src": "402",
  1070. "dest": "413"
  1071. },
  1072. {
  1073. "src": "413",
  1074. "dest": "405"
  1075. }
  1076. ]
  1077. }
  1078. },
  1079. "$asuri": {
  1080. "type": "string",
  1081. "value": "/Formalisms/__Transformations__/Transformation/MoTif/ARule/94.instance"
  1082. },
  1083. "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/ARuleIcon"
  1084. },
  1085. "96": {
  1086. "link-style": {
  1087. "type": "map<string,string>",
  1088. "value": {
  1089. "stroke": "#000000",
  1090. "stroke-dasharray": "",
  1091. "stroke-opacity": 1,
  1092. "stroke-width": 2
  1093. }
  1094. },
  1095. "arrowHead": {
  1096. "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)",
  1097. "value": "custom"
  1098. },
  1099. "arrowTail": {
  1100. "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)",
  1101. "value": "arrow-black"
  1102. },
  1103. "typename": {
  1104. "type": "string",
  1105. "value": "initialLink"
  1106. },
  1107. "position": {
  1108. "type": "list<double>",
  1109. "value": [
  1110. 670,
  1111. 313
  1112. ]
  1113. },
  1114. "orientation": {
  1115. "type": "double",
  1116. "value": 0
  1117. },
  1118. "scale": {
  1119. "type": "list<double>",
  1120. "value": [
  1121. 1,
  1122. 1
  1123. ]
  1124. },
  1125. "mapper": {
  1126. "type": "code",
  1127. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  1128. },
  1129. "parser": {
  1130. "type": "code",
  1131. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1132. },
  1133. "$contents": {
  1134. "type": "map<string,*>",
  1135. "value": {
  1136. "nodes": {
  1137. "267": {
  1138. "segments": {
  1139. "type": "string",
  1140. "value": "m0,0 l10,4 l-10,4 l3,-4 z"
  1141. },
  1142. "style": {
  1143. "type": "map<string,string>",
  1144. "value": {
  1145. "stroke": "#000000",
  1146. "fill": "#000000",
  1147. "opacity": 0,
  1148. "stroke-width": 1
  1149. }
  1150. },
  1151. "mapper": {
  1152. "type": "code",
  1153. "value": ""
  1154. },
  1155. "parser": {
  1156. "type": "code",
  1157. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1158. },
  1159. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1160. "position": {
  1161. "type": "list<double>",
  1162. "value": [
  1163. "0;4,6.123031769111886e-15%",
  1164. "0;93.9993621548212,100%"
  1165. ]
  1166. },
  1167. "orientation": {
  1168. "type": "double",
  1169. "value": "0;90"
  1170. },
  1171. "scale": {
  1172. "type": "list<double>",
  1173. "value": [
  1174. 1,
  1175. 1
  1176. ]
  1177. },
  1178. "arrow": "arrowTail",
  1179. "arrowType": "arrow-black",
  1180. "$linkDecoratorInfo": {
  1181. "type": "map<string,double>",
  1182. "value": {
  1183. "xratio": 1,
  1184. "yoffset": -4
  1185. }
  1186. }
  1187. },
  1188. "268": {
  1189. "segments": {
  1190. "type": "string",
  1191. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  1192. },
  1193. "style": {
  1194. "type": "map<string,string>",
  1195. "value": {
  1196. "stroke": "#000000",
  1197. "fill": "#000000",
  1198. "opacity": 0,
  1199. "stroke-width": 1
  1200. }
  1201. },
  1202. "mapper": {
  1203. "type": "code",
  1204. "value": ""
  1205. },
  1206. "parser": {
  1207. "type": "code",
  1208. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1209. },
  1210. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1211. "position": {
  1212. "type": "list<double>",
  1213. "value": [
  1214. "0;10,6.123031769111886e-15%",
  1215. "0;93.9993621548212,100%"
  1216. ]
  1217. },
  1218. "orientation": {
  1219. "type": "double",
  1220. "value": "0;90"
  1221. },
  1222. "scale": {
  1223. "type": "list<double>",
  1224. "value": [
  1225. 1,
  1226. 1
  1227. ]
  1228. },
  1229. "arrow": "arrowTail",
  1230. "arrowType": "diamond-black-large",
  1231. "$linkDecoratorInfo": {
  1232. "type": "map<string,double>",
  1233. "value": {
  1234. "xratio": 1,
  1235. "yoffset": -10
  1236. }
  1237. }
  1238. },
  1239. "269": {
  1240. "r": {
  1241. "type": "double",
  1242. "value": 10
  1243. },
  1244. "style": {
  1245. "type": "map<string,string>",
  1246. "value": {
  1247. "stroke": "#000000",
  1248. "fill": "#000000",
  1249. "opacity": 0,
  1250. "stroke-width": 1
  1251. }
  1252. },
  1253. "mapper": {
  1254. "type": "code",
  1255. "value": ""
  1256. },
  1257. "parser": {
  1258. "type": "code",
  1259. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1260. },
  1261. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  1262. "position": {
  1263. "type": "list<double>",
  1264. "value": [
  1265. "0;10,6.123031769111886e-15%",
  1266. "0;93.9993621548212,100%"
  1267. ]
  1268. },
  1269. "orientation": {
  1270. "type": "double",
  1271. "value": "0;90"
  1272. },
  1273. "scale": {
  1274. "type": "list<double>",
  1275. "value": [
  1276. 1,
  1277. 1
  1278. ]
  1279. },
  1280. "arrow": "arrowTail",
  1281. "arrowType": "circle-black-large",
  1282. "$linkDecoratorInfo": {
  1283. "type": "map<string,double>",
  1284. "value": {
  1285. "xratio": 1,
  1286. "yoffset": -10
  1287. }
  1288. }
  1289. },
  1290. "270": {
  1291. "r": {
  1292. "type": "double",
  1293. "value": 10
  1294. },
  1295. "style": {
  1296. "type": "map<string,string>",
  1297. "value": {
  1298. "stroke": "#000000",
  1299. "fill": "#ffffff",
  1300. "opacity": 0,
  1301. "stroke-width": 1
  1302. }
  1303. },
  1304. "mapper": {
  1305. "type": "code",
  1306. "value": ""
  1307. },
  1308. "parser": {
  1309. "type": "code",
  1310. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1311. },
  1312. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  1313. "position": {
  1314. "type": "list<double>",
  1315. "value": [
  1316. "0;10,6.123031769111886e-15%",
  1317. "0;93.9993621548212,100%"
  1318. ]
  1319. },
  1320. "orientation": {
  1321. "type": "double",
  1322. "value": "0;90"
  1323. },
  1324. "scale": {
  1325. "type": "list<double>",
  1326. "value": [
  1327. 1,
  1328. 1
  1329. ]
  1330. },
  1331. "arrow": "arrowTail",
  1332. "arrowType": "circle-white-large",
  1333. "$linkDecoratorInfo": {
  1334. "type": "map<string,double>",
  1335. "value": {
  1336. "xratio": 1,
  1337. "yoffset": -10
  1338. }
  1339. }
  1340. },
  1341. "271": {
  1342. "r": {
  1343. "type": "double",
  1344. "value": 5
  1345. },
  1346. "style": {
  1347. "type": "map<string,string>",
  1348. "value": {
  1349. "stroke": "#000000",
  1350. "fill": "#000000",
  1351. "opacity": 0,
  1352. "stroke-width": 1
  1353. }
  1354. },
  1355. "mapper": {
  1356. "type": "code",
  1357. "value": ""
  1358. },
  1359. "parser": {
  1360. "type": "code",
  1361. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1362. },
  1363. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  1364. "position": {
  1365. "type": "list<double>",
  1366. "value": [
  1367. "0;5,6.123031769111886e-15%",
  1368. "0;93.9993621548212,100%"
  1369. ]
  1370. },
  1371. "orientation": {
  1372. "type": "double",
  1373. "value": "0;90"
  1374. },
  1375. "scale": {
  1376. "type": "list<double>",
  1377. "value": [
  1378. 1,
  1379. 1
  1380. ]
  1381. },
  1382. "arrow": "arrowTail",
  1383. "arrowType": "circle-black",
  1384. "$linkDecoratorInfo": {
  1385. "type": "map<string,double>",
  1386. "value": {
  1387. "xratio": 1,
  1388. "yoffset": -5
  1389. }
  1390. }
  1391. },
  1392. "272": {
  1393. "segments": {
  1394. "type": "string",
  1395. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  1396. },
  1397. "style": {
  1398. "type": "map<string,string>",
  1399. "value": {
  1400. "stroke": "#000000",
  1401. "fill": "#000000",
  1402. "opacity": 0,
  1403. "stroke-width": 1
  1404. }
  1405. },
  1406. "mapper": {
  1407. "type": "code",
  1408. "value": ""
  1409. },
  1410. "parser": {
  1411. "type": "code",
  1412. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1413. },
  1414. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1415. "position": {
  1416. "type": "list<double>",
  1417. "value": [
  1418. "0;5,6.123031769111886e-15%",
  1419. "0;93.9993621548212,100%"
  1420. ]
  1421. },
  1422. "orientation": {
  1423. "type": "double",
  1424. "value": "0;90"
  1425. },
  1426. "scale": {
  1427. "type": "list<double>",
  1428. "value": [
  1429. 1,
  1430. 1
  1431. ]
  1432. },
  1433. "arrow": "arrowTail",
  1434. "arrowType": "diamond-black",
  1435. "$linkDecoratorInfo": {
  1436. "type": "map<string,double>",
  1437. "value": {
  1438. "xratio": 1,
  1439. "yoffset": -5
  1440. }
  1441. }
  1442. },
  1443. "273": {
  1444. "segments": {
  1445. "type": "string",
  1446. "value": "m0,0 l20,10 l-20,10 z"
  1447. },
  1448. "style": {
  1449. "type": "map<string,string>",
  1450. "value": {
  1451. "stroke": "#000000",
  1452. "fill": "#000000",
  1453. "opacity": 0,
  1454. "stroke-width": 1
  1455. }
  1456. },
  1457. "mapper": {
  1458. "type": "code",
  1459. "value": ""
  1460. },
  1461. "parser": {
  1462. "type": "code",
  1463. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1464. },
  1465. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1466. "position": {
  1467. "type": "list<double>",
  1468. "value": [
  1469. "0;10,6.123031769111886e-15%",
  1470. "0;93.9993621548212,100%"
  1471. ]
  1472. },
  1473. "orientation": {
  1474. "type": "double",
  1475. "value": "0;90"
  1476. },
  1477. "scale": {
  1478. "type": "list<double>",
  1479. "value": [
  1480. 1,
  1481. 1
  1482. ]
  1483. },
  1484. "arrow": "arrowTail",
  1485. "arrowType": "triangle-black-large",
  1486. "$linkDecoratorInfo": {
  1487. "type": "map<string,double>",
  1488. "value": {
  1489. "xratio": 1,
  1490. "yoffset": -10
  1491. }
  1492. }
  1493. },
  1494. "274": {
  1495. "segments": {
  1496. "type": "string",
  1497. "value": "m0,0 l10,4 l-10,4 z"
  1498. },
  1499. "style": {
  1500. "type": "map<string,string>",
  1501. "value": {
  1502. "stroke": "#000000",
  1503. "fill": "#000000",
  1504. "opacity": 0,
  1505. "stroke-width": 1
  1506. }
  1507. },
  1508. "mapper": {
  1509. "type": "code",
  1510. "value": ""
  1511. },
  1512. "parser": {
  1513. "type": "code",
  1514. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1515. },
  1516. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1517. "position": {
  1518. "type": "list<double>",
  1519. "value": [
  1520. "0;4,6.123031769111886e-15%",
  1521. "0;93.9993621548212,100%"
  1522. ]
  1523. },
  1524. "orientation": {
  1525. "type": "double",
  1526. "value": "0;90"
  1527. },
  1528. "scale": {
  1529. "type": "list<double>",
  1530. "value": [
  1531. 1,
  1532. 1
  1533. ]
  1534. },
  1535. "arrow": "arrowTail",
  1536. "arrowType": "triangle-black",
  1537. "$linkDecoratorInfo": {
  1538. "type": "map<string,double>",
  1539. "value": {
  1540. "xratio": 1,
  1541. "yoffset": -4
  1542. }
  1543. }
  1544. },
  1545. "275": {
  1546. "segments": {
  1547. "type": "string",
  1548. "value": "m0,0 l20,8 l-20,8 l6,-8 z"
  1549. },
  1550. "style": {
  1551. "type": "map<string,string>",
  1552. "value": {
  1553. "stroke": "#000000",
  1554. "fill": "#000000",
  1555. "opacity": 0,
  1556. "stroke-width": 1
  1557. }
  1558. },
  1559. "mapper": {
  1560. "type": "code",
  1561. "value": ""
  1562. },
  1563. "parser": {
  1564. "type": "code",
  1565. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1566. },
  1567. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1568. "position": {
  1569. "type": "list<double>",
  1570. "value": [
  1571. "0;8,6.123031769111886e-15%",
  1572. "0;93.9993621548212,100%"
  1573. ]
  1574. },
  1575. "orientation": {
  1576. "type": "double",
  1577. "value": "0;90"
  1578. },
  1579. "scale": {
  1580. "type": "list<double>",
  1581. "value": [
  1582. 1,
  1583. 1
  1584. ]
  1585. },
  1586. "arrow": "arrowTail",
  1587. "arrowType": "arrow-black-large",
  1588. "$linkDecoratorInfo": {
  1589. "type": "map<string,double>",
  1590. "value": {
  1591. "xratio": 1,
  1592. "yoffset": -8
  1593. }
  1594. }
  1595. },
  1596. "276": {
  1597. "segments": {
  1598. "type": "string",
  1599. "value": "m0,0 l20,10 l-20,10 z"
  1600. },
  1601. "style": {
  1602. "type": "map<string,string>",
  1603. "value": {
  1604. "stroke": "#000000",
  1605. "fill": "#ffffff",
  1606. "opacity": 0,
  1607. "stroke-width": 1
  1608. }
  1609. },
  1610. "mapper": {
  1611. "type": "code",
  1612. "value": ""
  1613. },
  1614. "parser": {
  1615. "type": "code",
  1616. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1617. },
  1618. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1619. "position": {
  1620. "type": "list<double>",
  1621. "value": [
  1622. "0;10,6.123031769111886e-15%",
  1623. "0;93.9993621548212,100%"
  1624. ]
  1625. },
  1626. "orientation": {
  1627. "type": "double",
  1628. "value": "0;90"
  1629. },
  1630. "scale": {
  1631. "type": "list<double>",
  1632. "value": [
  1633. 1,
  1634. 1
  1635. ]
  1636. },
  1637. "arrow": "arrowTail",
  1638. "arrowType": "triangle-white-large",
  1639. "$linkDecoratorInfo": {
  1640. "type": "map<string,double>",
  1641. "value": {
  1642. "xratio": 1,
  1643. "yoffset": -10
  1644. }
  1645. }
  1646. },
  1647. "277": {
  1648. "segments": {
  1649. "type": "string",
  1650. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  1651. },
  1652. "style": {
  1653. "type": "map<string,string>",
  1654. "value": {
  1655. "stroke": "#000000",
  1656. "fill": "#ffffff",
  1657. "opacity": 0,
  1658. "stroke-width": 1
  1659. }
  1660. },
  1661. "mapper": {
  1662. "type": "code",
  1663. "value": ""
  1664. },
  1665. "parser": {
  1666. "type": "code",
  1667. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1668. },
  1669. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1670. "position": {
  1671. "type": "list<double>",
  1672. "value": [
  1673. "0;5,6.123031769111886e-15%",
  1674. "0;93.9993621548212,100%"
  1675. ]
  1676. },
  1677. "orientation": {
  1678. "type": "double",
  1679. "value": "0;90"
  1680. },
  1681. "scale": {
  1682. "type": "list<double>",
  1683. "value": [
  1684. 1,
  1685. 1
  1686. ]
  1687. },
  1688. "arrow": "arrowTail",
  1689. "arrowType": "diamond-white",
  1690. "$linkDecoratorInfo": {
  1691. "type": "map<string,double>",
  1692. "value": {
  1693. "xratio": 1,
  1694. "yoffset": -5
  1695. }
  1696. }
  1697. },
  1698. "278": {
  1699. "segments": {
  1700. "type": "string",
  1701. "value": "m0,0 l20,8 l-20,8"
  1702. },
  1703. "style": {
  1704. "type": "map<string,string>",
  1705. "value": {
  1706. "stroke": "#000000",
  1707. "fill": "#000000",
  1708. "fill-opacity": 0,
  1709. "stroke-width": 1,
  1710. "opacity": 0
  1711. }
  1712. },
  1713. "mapper": {
  1714. "type": "code",
  1715. "value": ""
  1716. },
  1717. "parser": {
  1718. "type": "code",
  1719. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1720. },
  1721. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1722. "position": {
  1723. "type": "list<double>",
  1724. "value": [
  1725. "0;8,6.123031769111886e-15%",
  1726. "0;93.9993621548212,100%"
  1727. ]
  1728. },
  1729. "orientation": {
  1730. "type": "double",
  1731. "value": "0;90"
  1732. },
  1733. "scale": {
  1734. "type": "list<double>",
  1735. "value": [
  1736. 1,
  1737. 1
  1738. ]
  1739. },
  1740. "arrow": "arrowTail",
  1741. "arrowType": "arrow-empty-large",
  1742. "$linkDecoratorInfo": {
  1743. "type": "map<string,double>",
  1744. "value": {
  1745. "xratio": 1,
  1746. "yoffset": -8
  1747. }
  1748. }
  1749. },
  1750. "279": {
  1751. "r": {
  1752. "type": "double",
  1753. "value": 5
  1754. },
  1755. "style": {
  1756. "type": "map<string,string>",
  1757. "value": {
  1758. "stroke": "#000000",
  1759. "fill": "#ffffff",
  1760. "opacity": 0,
  1761. "stroke-width": 1
  1762. }
  1763. },
  1764. "mapper": {
  1765. "type": "code",
  1766. "value": ""
  1767. },
  1768. "parser": {
  1769. "type": "code",
  1770. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1771. },
  1772. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  1773. "position": {
  1774. "type": "list<double>",
  1775. "value": [
  1776. "0;5,6.123031769111886e-15%",
  1777. "0;93.9993621548212,100%"
  1778. ]
  1779. },
  1780. "orientation": {
  1781. "type": "double",
  1782. "value": "0;90"
  1783. },
  1784. "scale": {
  1785. "type": "list<double>",
  1786. "value": [
  1787. 1,
  1788. 1
  1789. ]
  1790. },
  1791. "arrow": "arrowTail",
  1792. "arrowType": "circle-white",
  1793. "$linkDecoratorInfo": {
  1794. "type": "map<string,double>",
  1795. "value": {
  1796. "xratio": 1,
  1797. "yoffset": -5
  1798. }
  1799. }
  1800. },
  1801. "280": {
  1802. "segments": {
  1803. "type": "string",
  1804. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  1805. },
  1806. "style": {
  1807. "type": "map<string,string>",
  1808. "value": {
  1809. "stroke": "#000000",
  1810. "fill": "#ffffff",
  1811. "opacity": 0,
  1812. "stroke-width": 1
  1813. }
  1814. },
  1815. "mapper": {
  1816. "type": "code",
  1817. "value": ""
  1818. },
  1819. "parser": {
  1820. "type": "code",
  1821. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1822. },
  1823. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1824. "position": {
  1825. "type": "list<double>",
  1826. "value": [
  1827. "0;10,6.123031769111886e-15%",
  1828. "0;93.9993621548212,100%"
  1829. ]
  1830. },
  1831. "orientation": {
  1832. "type": "double",
  1833. "value": "0;90"
  1834. },
  1835. "scale": {
  1836. "type": "list<double>",
  1837. "value": [
  1838. 1,
  1839. 1
  1840. ]
  1841. },
  1842. "arrow": "arrowTail",
  1843. "arrowType": "diamond-white-large",
  1844. "$linkDecoratorInfo": {
  1845. "type": "map<string,double>",
  1846. "value": {
  1847. "xratio": 1,
  1848. "yoffset": -10
  1849. }
  1850. }
  1851. },
  1852. "281": {
  1853. "segments": {
  1854. "type": "string",
  1855. "value": "m0,0 l10,4 l-10,4"
  1856. },
  1857. "style": {
  1858. "type": "map<string,string>",
  1859. "value": {
  1860. "stroke": "#000000",
  1861. "fill": "#000000",
  1862. "fill-opacity": 0,
  1863. "stroke-width": 1,
  1864. "opacity": 0
  1865. }
  1866. },
  1867. "mapper": {
  1868. "type": "code",
  1869. "value": ""
  1870. },
  1871. "parser": {
  1872. "type": "code",
  1873. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1874. },
  1875. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1876. "position": {
  1877. "type": "list<double>",
  1878. "value": [
  1879. "0;4,6.123031769111886e-15%",
  1880. "0;93.9993621548212,100%"
  1881. ]
  1882. },
  1883. "orientation": {
  1884. "type": "double",
  1885. "value": "0;90"
  1886. },
  1887. "scale": {
  1888. "type": "list<double>",
  1889. "value": [
  1890. 1,
  1891. 1
  1892. ]
  1893. },
  1894. "arrow": "arrowTail",
  1895. "arrowType": "arrow-empty",
  1896. "$linkDecoratorInfo": {
  1897. "type": "map<string,double>",
  1898. "value": {
  1899. "xratio": 1,
  1900. "yoffset": -4
  1901. }
  1902. }
  1903. },
  1904. "282": {
  1905. "segments": {
  1906. "type": "string",
  1907. "value": "m0,0 l10,5 l-10,5 z"
  1908. },
  1909. "style": {
  1910. "type": "map<string,string>",
  1911. "value": {
  1912. "stroke": "#000000",
  1913. "fill": "#ffffff",
  1914. "opacity": 0,
  1915. "stroke-width": 1
  1916. }
  1917. },
  1918. "mapper": {
  1919. "type": "code",
  1920. "value": ""
  1921. },
  1922. "parser": {
  1923. "type": "code",
  1924. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1925. },
  1926. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1927. "position": {
  1928. "type": "list<double>",
  1929. "value": [
  1930. "0;5,6.123031769111886e-15%",
  1931. "0;93.9993621548212,100%"
  1932. ]
  1933. },
  1934. "orientation": {
  1935. "type": "double",
  1936. "value": "0;90"
  1937. },
  1938. "scale": {
  1939. "type": "list<double>",
  1940. "value": [
  1941. 1,
  1942. 1
  1943. ]
  1944. },
  1945. "arrow": "arrowTail",
  1946. "arrowType": "triangle-white",
  1947. "$linkDecoratorInfo": {
  1948. "type": "map<string,double>",
  1949. "value": {
  1950. "xratio": 1,
  1951. "yoffset": -5
  1952. }
  1953. }
  1954. },
  1955. "283": {
  1956. "segments": {
  1957. "type": "string",
  1958. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  1959. },
  1960. "style": {
  1961. "type": "map<string,string>",
  1962. "value": {
  1963. "stroke": "#000000",
  1964. "fill": "#ffffff",
  1965. "opacity": 0,
  1966. "stroke-width": 1
  1967. }
  1968. },
  1969. "mapper": {
  1970. "type": "code",
  1971. "value": ""
  1972. },
  1973. "parser": {
  1974. "type": "code",
  1975. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1976. },
  1977. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1978. "position": {
  1979. "type": "list<double>",
  1980. "value": [
  1981. "0;5,0%",
  1982. "0;-94,0%"
  1983. ]
  1984. },
  1985. "orientation": {
  1986. "type": "double",
  1987. "value": "0;90"
  1988. },
  1989. "scale": {
  1990. "type": "list<double>",
  1991. "value": [
  1992. 1,
  1993. 1
  1994. ]
  1995. },
  1996. "arrow": "arrowHead",
  1997. "arrowType": "diamond-white",
  1998. "$linkDecoratorInfo": {
  1999. "type": "map<string,double>",
  2000. "value": {
  2001. "xratio": -1,
  2002. "yoffset": -5
  2003. }
  2004. }
  2005. },
  2006. "284": {
  2007. "segments": {
  2008. "type": "string",
  2009. "value": "m0,0 l-10,5 l10,5 z"
  2010. },
  2011. "style": {
  2012. "type": "map<string,string>",
  2013. "value": {
  2014. "stroke": "#000000",
  2015. "fill": "#ffffff",
  2016. "opacity": 0,
  2017. "stroke-width": 1
  2018. }
  2019. },
  2020. "mapper": {
  2021. "type": "code",
  2022. "value": ""
  2023. },
  2024. "parser": {
  2025. "type": "code",
  2026. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2027. },
  2028. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2029. "position": {
  2030. "type": "list<double>",
  2031. "value": [
  2032. "0;5,0%",
  2033. "0;-94,0%"
  2034. ]
  2035. },
  2036. "orientation": {
  2037. "type": "double",
  2038. "value": "0;90"
  2039. },
  2040. "scale": {
  2041. "type": "list<double>",
  2042. "value": [
  2043. 1,
  2044. 1
  2045. ]
  2046. },
  2047. "arrow": "arrowHead",
  2048. "arrowType": "triangle-white",
  2049. "$linkDecoratorInfo": {
  2050. "type": "map<string,double>",
  2051. "value": {
  2052. "xratio": -1,
  2053. "yoffset": -5
  2054. }
  2055. }
  2056. },
  2057. "285": {
  2058. "segments": {
  2059. "type": "string",
  2060. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  2061. },
  2062. "style": {
  2063. "type": "map<string,string>",
  2064. "value": {
  2065. "stroke": "#000000",
  2066. "fill": "#000000",
  2067. "opacity": 0,
  2068. "stroke-width": 1
  2069. }
  2070. },
  2071. "mapper": {
  2072. "type": "code",
  2073. "value": ""
  2074. },
  2075. "parser": {
  2076. "type": "code",
  2077. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2078. },
  2079. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2080. "position": {
  2081. "type": "list<double>",
  2082. "value": [
  2083. "0;5,0%",
  2084. "0;-94,0%"
  2085. ]
  2086. },
  2087. "orientation": {
  2088. "type": "double",
  2089. "value": "0;90"
  2090. },
  2091. "scale": {
  2092. "type": "list<double>",
  2093. "value": [
  2094. 1,
  2095. 1
  2096. ]
  2097. },
  2098. "arrow": "arrowHead",
  2099. "arrowType": "diamond-black",
  2100. "$linkDecoratorInfo": {
  2101. "type": "map<string,double>",
  2102. "value": {
  2103. "xratio": -1,
  2104. "yoffset": -5
  2105. }
  2106. }
  2107. },
  2108. "286": {
  2109. "r": {
  2110. "type": "double",
  2111. "value": 10
  2112. },
  2113. "style": {
  2114. "type": "map<string,string>",
  2115. "value": {
  2116. "stroke": "#000000",
  2117. "fill": "#000000",
  2118. "opacity": 0,
  2119. "stroke-width": 1
  2120. }
  2121. },
  2122. "mapper": {
  2123. "type": "code",
  2124. "value": ""
  2125. },
  2126. "parser": {
  2127. "type": "code",
  2128. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2129. },
  2130. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  2131. "position": {
  2132. "type": "list<double>",
  2133. "value": [
  2134. "0;10,0%",
  2135. "0;-94,0%"
  2136. ]
  2137. },
  2138. "orientation": {
  2139. "type": "double",
  2140. "value": "0;90"
  2141. },
  2142. "scale": {
  2143. "type": "list<double>",
  2144. "value": [
  2145. 1,
  2146. 1
  2147. ]
  2148. },
  2149. "arrow": "arrowHead",
  2150. "arrowType": "circle-black-large",
  2151. "$linkDecoratorInfo": {
  2152. "type": "map<string,double>",
  2153. "value": {
  2154. "xratio": -1,
  2155. "yoffset": -10
  2156. }
  2157. }
  2158. },
  2159. "287": {
  2160. "segments": {
  2161. "type": "string",
  2162. "value": "m0,0 l-20,8 l20,8 l-6,-8 z"
  2163. },
  2164. "style": {
  2165. "type": "map<string,string>",
  2166. "value": {
  2167. "stroke": "#000000",
  2168. "fill": "#000000",
  2169. "opacity": 0,
  2170. "stroke-width": 1
  2171. }
  2172. },
  2173. "mapper": {
  2174. "type": "code",
  2175. "value": ""
  2176. },
  2177. "parser": {
  2178. "type": "code",
  2179. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2180. },
  2181. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2182. "position": {
  2183. "type": "list<double>",
  2184. "value": [
  2185. "0;8,0%",
  2186. "0;-94,0%"
  2187. ]
  2188. },
  2189. "orientation": {
  2190. "type": "double",
  2191. "value": "0;90"
  2192. },
  2193. "scale": {
  2194. "type": "list<double>",
  2195. "value": [
  2196. 1,
  2197. 1
  2198. ]
  2199. },
  2200. "arrow": "arrowHead",
  2201. "arrowType": "arrow-black-large",
  2202. "$linkDecoratorInfo": {
  2203. "type": "map<string,double>",
  2204. "value": {
  2205. "xratio": -1,
  2206. "yoffset": -8
  2207. }
  2208. }
  2209. },
  2210. "288": {
  2211. "segments": {
  2212. "type": "string",
  2213. "value": "m0,0 l-10,4 l10,4 l-3,-4 z"
  2214. },
  2215. "style": {
  2216. "type": "map<string,string>",
  2217. "value": {
  2218. "stroke": "#000000",
  2219. "fill": "#000000",
  2220. "opacity": 0,
  2221. "stroke-width": 1
  2222. }
  2223. },
  2224. "mapper": {
  2225. "type": "code",
  2226. "value": ""
  2227. },
  2228. "parser": {
  2229. "type": "code",
  2230. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2231. },
  2232. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2233. "position": {
  2234. "type": "list<double>",
  2235. "value": [
  2236. "0;4,0%",
  2237. "0;-94,0%"
  2238. ]
  2239. },
  2240. "orientation": {
  2241. "type": "double",
  2242. "value": "0;90"
  2243. },
  2244. "scale": {
  2245. "type": "list<double>",
  2246. "value": [
  2247. 1,
  2248. 1
  2249. ]
  2250. },
  2251. "arrow": "arrowHead",
  2252. "arrowType": "arrow-black",
  2253. "$linkDecoratorInfo": {
  2254. "type": "map<string,double>",
  2255. "value": {
  2256. "xratio": -1,
  2257. "yoffset": -4
  2258. }
  2259. }
  2260. },
  2261. "289": {
  2262. "segments": {
  2263. "type": "string",
  2264. "value": "m0,0 l-20,10 l20,10 z"
  2265. },
  2266. "style": {
  2267. "type": "map<string,string>",
  2268. "value": {
  2269. "stroke": "#000000",
  2270. "fill": "#ffffff",
  2271. "opacity": 0,
  2272. "stroke-width": 1
  2273. }
  2274. },
  2275. "mapper": {
  2276. "type": "code",
  2277. "value": ""
  2278. },
  2279. "parser": {
  2280. "type": "code",
  2281. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2282. },
  2283. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2284. "position": {
  2285. "type": "list<double>",
  2286. "value": [
  2287. "0;10,0%",
  2288. "0;-94,0%"
  2289. ]
  2290. },
  2291. "orientation": {
  2292. "type": "double",
  2293. "value": "0;90"
  2294. },
  2295. "scale": {
  2296. "type": "list<double>",
  2297. "value": [
  2298. 1,
  2299. 1
  2300. ]
  2301. },
  2302. "arrow": "arrowHead",
  2303. "arrowType": "triangle-white-large",
  2304. "$linkDecoratorInfo": {
  2305. "type": "map<string,double>",
  2306. "value": {
  2307. "xratio": -1,
  2308. "yoffset": -10
  2309. }
  2310. }
  2311. },
  2312. "290": {
  2313. "segments": {
  2314. "type": "string",
  2315. "value": "m0,0 l-20,10 l20,10 z"
  2316. },
  2317. "style": {
  2318. "type": "map<string,string>",
  2319. "value": {
  2320. "stroke": "#000000",
  2321. "fill": "#000000",
  2322. "opacity": 0,
  2323. "stroke-width": 1
  2324. }
  2325. },
  2326. "mapper": {
  2327. "type": "code",
  2328. "value": ""
  2329. },
  2330. "parser": {
  2331. "type": "code",
  2332. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2333. },
  2334. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2335. "position": {
  2336. "type": "list<double>",
  2337. "value": [
  2338. "0;10,0%",
  2339. "0;-94,0%"
  2340. ]
  2341. },
  2342. "orientation": {
  2343. "type": "double",
  2344. "value": "0;90"
  2345. },
  2346. "scale": {
  2347. "type": "list<double>",
  2348. "value": [
  2349. 1,
  2350. 1
  2351. ]
  2352. },
  2353. "arrow": "arrowHead",
  2354. "arrowType": "triangle-black-large",
  2355. "$linkDecoratorInfo": {
  2356. "type": "map<string,double>",
  2357. "value": {
  2358. "xratio": -1,
  2359. "yoffset": -10
  2360. }
  2361. }
  2362. },
  2363. "291": {
  2364. "r": {
  2365. "type": "double",
  2366. "value": 5
  2367. },
  2368. "style": {
  2369. "type": "map<string,string>",
  2370. "value": {
  2371. "stroke": "#000000",
  2372. "fill": "#000000",
  2373. "opacity": 0,
  2374. "stroke-width": 1
  2375. }
  2376. },
  2377. "mapper": {
  2378. "type": "code",
  2379. "value": ""
  2380. },
  2381. "parser": {
  2382. "type": "code",
  2383. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2384. },
  2385. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  2386. "position": {
  2387. "type": "list<double>",
  2388. "value": [
  2389. "0;5,0%",
  2390. "0;-94,0%"
  2391. ]
  2392. },
  2393. "orientation": {
  2394. "type": "double",
  2395. "value": "0;90"
  2396. },
  2397. "scale": {
  2398. "type": "list<double>",
  2399. "value": [
  2400. 1,
  2401. 1
  2402. ]
  2403. },
  2404. "arrow": "arrowHead",
  2405. "arrowType": "circle-black",
  2406. "$linkDecoratorInfo": {
  2407. "type": "map<string,double>",
  2408. "value": {
  2409. "xratio": -1,
  2410. "yoffset": -5
  2411. }
  2412. }
  2413. },
  2414. "292": {
  2415. "r": {
  2416. "type": "double",
  2417. "value": 5
  2418. },
  2419. "style": {
  2420. "type": "map<string,string>",
  2421. "value": {
  2422. "stroke": "#000000",
  2423. "fill": "#ffffff",
  2424. "opacity": 0,
  2425. "stroke-width": 1
  2426. }
  2427. },
  2428. "mapper": {
  2429. "type": "code",
  2430. "value": ""
  2431. },
  2432. "parser": {
  2433. "type": "code",
  2434. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2435. },
  2436. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  2437. "position": {
  2438. "type": "list<double>",
  2439. "value": [
  2440. "0;5,0%",
  2441. "0;-94,0%"
  2442. ]
  2443. },
  2444. "orientation": {
  2445. "type": "double",
  2446. "value": "0;90"
  2447. },
  2448. "scale": {
  2449. "type": "list<double>",
  2450. "value": [
  2451. 1,
  2452. 1
  2453. ]
  2454. },
  2455. "arrow": "arrowHead",
  2456. "arrowType": "circle-white",
  2457. "$linkDecoratorInfo": {
  2458. "type": "map<string,double>",
  2459. "value": {
  2460. "xratio": -1,
  2461. "yoffset": -5
  2462. }
  2463. }
  2464. },
  2465. "293": {
  2466. "r": {
  2467. "type": "double",
  2468. "value": 10
  2469. },
  2470. "style": {
  2471. "type": "map<string,string>",
  2472. "value": {
  2473. "stroke": "#000000",
  2474. "fill": "#ffffff",
  2475. "opacity": 0,
  2476. "stroke-width": 1
  2477. }
  2478. },
  2479. "mapper": {
  2480. "type": "code",
  2481. "value": ""
  2482. },
  2483. "parser": {
  2484. "type": "code",
  2485. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2486. },
  2487. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  2488. "position": {
  2489. "type": "list<double>",
  2490. "value": [
  2491. "0;10,0%",
  2492. "0;-94,0%"
  2493. ]
  2494. },
  2495. "orientation": {
  2496. "type": "double",
  2497. "value": "0;90"
  2498. },
  2499. "scale": {
  2500. "type": "list<double>",
  2501. "value": [
  2502. 1,
  2503. 1
  2504. ]
  2505. },
  2506. "arrow": "arrowHead",
  2507. "arrowType": "circle-white-large",
  2508. "$linkDecoratorInfo": {
  2509. "type": "map<string,double>",
  2510. "value": {
  2511. "xratio": -1,
  2512. "yoffset": -10
  2513. }
  2514. }
  2515. },
  2516. "294": {
  2517. "segments": {
  2518. "type": "string",
  2519. "value": "m0,0 l-20,8 l20,8"
  2520. },
  2521. "style": {
  2522. "type": "map<string,string>",
  2523. "value": {
  2524. "stroke": "#000000",
  2525. "fill": "#000000",
  2526. "fill-opacity": 0,
  2527. "stroke-width": 1,
  2528. "opacity": 0
  2529. }
  2530. },
  2531. "mapper": {
  2532. "type": "code",
  2533. "value": ""
  2534. },
  2535. "parser": {
  2536. "type": "code",
  2537. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2538. },
  2539. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2540. "position": {
  2541. "type": "list<double>",
  2542. "value": [
  2543. "0;8,0%",
  2544. "0;-94,0%"
  2545. ]
  2546. },
  2547. "orientation": {
  2548. "type": "double",
  2549. "value": "0;90"
  2550. },
  2551. "scale": {
  2552. "type": "list<double>",
  2553. "value": [
  2554. 1,
  2555. 1
  2556. ]
  2557. },
  2558. "arrow": "arrowHead",
  2559. "arrowType": "arrow-empty-large",
  2560. "$linkDecoratorInfo": {
  2561. "type": "map<string,double>",
  2562. "value": {
  2563. "xratio": -1,
  2564. "yoffset": -8
  2565. }
  2566. }
  2567. },
  2568. "295": {
  2569. "segments": {
  2570. "type": "string",
  2571. "value": "m0,0 l-10,4 l10,4"
  2572. },
  2573. "style": {
  2574. "type": "map<string,string>",
  2575. "value": {
  2576. "stroke": "#000000",
  2577. "fill": "#000000",
  2578. "fill-opacity": 0,
  2579. "stroke-width": 1,
  2580. "opacity": 0
  2581. }
  2582. },
  2583. "mapper": {
  2584. "type": "code",
  2585. "value": ""
  2586. },
  2587. "parser": {
  2588. "type": "code",
  2589. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2590. },
  2591. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2592. "position": {
  2593. "type": "list<double>",
  2594. "value": [
  2595. "0;4,0%",
  2596. "0;-94,0%"
  2597. ]
  2598. },
  2599. "orientation": {
  2600. "type": "double",
  2601. "value": "0;90"
  2602. },
  2603. "scale": {
  2604. "type": "list<double>",
  2605. "value": [
  2606. 1,
  2607. 1
  2608. ]
  2609. },
  2610. "arrow": "arrowHead",
  2611. "arrowType": "arrow-empty",
  2612. "$linkDecoratorInfo": {
  2613. "type": "map<string,double>",
  2614. "value": {
  2615. "xratio": -1,
  2616. "yoffset": -4
  2617. }
  2618. }
  2619. },
  2620. "296": {
  2621. "segments": {
  2622. "type": "string",
  2623. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  2624. },
  2625. "style": {
  2626. "type": "map<string,string>",
  2627. "value": {
  2628. "stroke": "#000000",
  2629. "fill": "#000000",
  2630. "opacity": 0,
  2631. "stroke-width": 1
  2632. }
  2633. },
  2634. "mapper": {
  2635. "type": "code",
  2636. "value": ""
  2637. },
  2638. "parser": {
  2639. "type": "code",
  2640. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2641. },
  2642. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2643. "position": {
  2644. "type": "list<double>",
  2645. "value": [
  2646. "0;10,0%",
  2647. "0;-94,0%"
  2648. ]
  2649. },
  2650. "orientation": {
  2651. "type": "double",
  2652. "value": "0;90"
  2653. },
  2654. "scale": {
  2655. "type": "list<double>",
  2656. "value": [
  2657. 1,
  2658. 1
  2659. ]
  2660. },
  2661. "arrow": "arrowHead",
  2662. "arrowType": "diamond-black-large",
  2663. "$linkDecoratorInfo": {
  2664. "type": "map<string,double>",
  2665. "value": {
  2666. "xratio": -1,
  2667. "yoffset": -10
  2668. }
  2669. }
  2670. },
  2671. "297": {
  2672. "segments": {
  2673. "type": "string",
  2674. "value": "m0,0 l-10,4 l10,4 z"
  2675. },
  2676. "style": {
  2677. "type": "map<string,string>",
  2678. "value": {
  2679. "stroke": "#000000",
  2680. "fill": "#000000",
  2681. "opacity": 0,
  2682. "stroke-width": 1
  2683. }
  2684. },
  2685. "mapper": {
  2686. "type": "code",
  2687. "value": ""
  2688. },
  2689. "parser": {
  2690. "type": "code",
  2691. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2692. },
  2693. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2694. "position": {
  2695. "type": "list<double>",
  2696. "value": [
  2697. "0;4,0%",
  2698. "0;-94,0%"
  2699. ]
  2700. },
  2701. "orientation": {
  2702. "type": "double",
  2703. "value": "0;90"
  2704. },
  2705. "scale": {
  2706. "type": "list<double>",
  2707. "value": [
  2708. 1,
  2709. 1
  2710. ]
  2711. },
  2712. "arrow": "arrowHead",
  2713. "arrowType": "triangle-black",
  2714. "$linkDecoratorInfo": {
  2715. "type": "map<string,double>",
  2716. "value": {
  2717. "xratio": -1,
  2718. "yoffset": -4
  2719. }
  2720. }
  2721. },
  2722. "298": {
  2723. "segments": {
  2724. "type": "string",
  2725. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  2726. },
  2727. "style": {
  2728. "type": "map<string,string>",
  2729. "value": {
  2730. "stroke": "#000000",
  2731. "fill": "#ffffff",
  2732. "opacity": 0,
  2733. "stroke-width": 1
  2734. }
  2735. },
  2736. "mapper": {
  2737. "type": "code",
  2738. "value": ""
  2739. },
  2740. "parser": {
  2741. "type": "code",
  2742. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2743. },
  2744. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2745. "position": {
  2746. "type": "list<double>",
  2747. "value": [
  2748. "0;10,0%",
  2749. "0;-94,0%"
  2750. ]
  2751. },
  2752. "orientation": {
  2753. "type": "double",
  2754. "value": "0;90"
  2755. },
  2756. "scale": {
  2757. "type": "list<double>",
  2758. "value": [
  2759. 1,
  2760. 1
  2761. ]
  2762. },
  2763. "arrow": "arrowHead",
  2764. "arrowType": "diamond-white-large",
  2765. "$linkDecoratorInfo": {
  2766. "type": "map<string,double>",
  2767. "value": {
  2768. "xratio": -1,
  2769. "yoffset": -10
  2770. }
  2771. }
  2772. }
  2773. },
  2774. "edges": []
  2775. }
  2776. },
  2777. "$asuri": {
  2778. "type": "string",
  2779. "value": "/Formalisms/__Transformations__/Transformation/MoTif/initial/96.instance"
  2780. },
  2781. "$segments": {
  2782. "type": "map<string,list<string>>",
  2783. "value": {
  2784. "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/StartIcon/0.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/initialLink/96.instance": "M670,219L670,313",
  2785. "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/initialLink/96.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/ARuleIcon/94.instance": "M670,313.0006417112299L670,406.9993621548212"
  2786. }
  2787. },
  2788. "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/initialLink"
  2789. },
  2790. "97": {
  2791. "link-style": {
  2792. "type": "map<string,string>",
  2793. "value": {
  2794. "stroke": "#008080",
  2795. "stroke-dasharray": "",
  2796. "stroke-opacity": 1,
  2797. "stroke-width": 2
  2798. }
  2799. },
  2800. "arrowHead": {
  2801. "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)",
  2802. "value": "custom"
  2803. },
  2804. "arrowTail": {
  2805. "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)",
  2806. "value": "arrow-black"
  2807. },
  2808. "typename": {
  2809. "type": "string",
  2810. "value": "successLink"
  2811. },
  2812. "position": {
  2813. "type": "list<double>",
  2814. "value": [
  2815. 616.4976562508477,
  2816. 580.1499999457465
  2817. ]
  2818. },
  2819. "orientation": {
  2820. "type": "double",
  2821. "value": 0
  2822. },
  2823. "scale": {
  2824. "type": "list<double>",
  2825. "value": [
  2826. 1,
  2827. 1
  2828. ]
  2829. },
  2830. "mapper": {
  2831. "type": "code",
  2832. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  2833. },
  2834. "parser": {
  2835. "type": "code",
  2836. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2837. },
  2838. "$contents": {
  2839. "type": "map<string,*>",
  2840. "value": {
  2841. "nodes": {
  2842. "267": {
  2843. "segments": {
  2844. "type": "string",
  2845. "value": "m0,0 l10,4 l-10,4 l3,-4 z"
  2846. },
  2847. "style": {
  2848. "type": "map<string,string>",
  2849. "value": {
  2850. "stroke": "#000000",
  2851. "fill": "#000000",
  2852. "opacity": 0,
  2853. "stroke-width": 1
  2854. }
  2855. },
  2856. "mapper": {
  2857. "type": "code",
  2858. "value": ""
  2859. },
  2860. "parser": {
  2861. "type": "code",
  2862. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2863. },
  2864. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2865. "position": {
  2866. "type": "list<double>",
  2867. "value": [
  2868. "0;2.5018653161342854,-1.5623093000542896%",
  2869. "0;95.91186786028345,99.98779520346953%"
  2870. ]
  2871. },
  2872. "orientation": {
  2873. "type": "double",
  2874. "value": "0;90.89517371021113"
  2875. },
  2876. "scale": {
  2877. "type": "list<double>",
  2878. "value": [
  2879. 1,
  2880. 1
  2881. ]
  2882. },
  2883. "arrow": "arrowTail",
  2884. "arrowType": "arrow-black",
  2885. "$linkDecoratorInfo": {
  2886. "type": "map<string,double>",
  2887. "value": {
  2888. "xratio": 1,
  2889. "yoffset": -4
  2890. }
  2891. }
  2892. },
  2893. "268": {
  2894. "segments": {
  2895. "type": "string",
  2896. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  2897. },
  2898. "style": {
  2899. "type": "map<string,string>",
  2900. "value": {
  2901. "stroke": "#000000",
  2902. "fill": "#000000",
  2903. "opacity": 0,
  2904. "stroke-width": 1
  2905. }
  2906. },
  2907. "mapper": {
  2908. "type": "code",
  2909. "value": ""
  2910. },
  2911. "parser": {
  2912. "type": "code",
  2913. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2914. },
  2915. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2916. "position": {
  2917. "type": "list<double>",
  2918. "value": [
  2919. "0;8.501133028342451,-1.5623093000542896%",
  2920. "0;96.00560641828667,99.98779520346953%"
  2921. ]
  2922. },
  2923. "orientation": {
  2924. "type": "double",
  2925. "value": "0;90.89517371021113"
  2926. },
  2927. "scale": {
  2928. "type": "list<double>",
  2929. "value": [
  2930. 1,
  2931. 1
  2932. ]
  2933. },
  2934. "arrow": "arrowTail",
  2935. "arrowType": "diamond-black-large",
  2936. "$linkDecoratorInfo": {
  2937. "type": "map<string,double>",
  2938. "value": {
  2939. "xratio": 1,
  2940. "yoffset": -10
  2941. }
  2942. }
  2943. },
  2944. "269": {
  2945. "r": {
  2946. "type": "double",
  2947. "value": 10
  2948. },
  2949. "style": {
  2950. "type": "map<string,string>",
  2951. "value": {
  2952. "stroke": "#000000",
  2953. "fill": "#000000",
  2954. "opacity": 0,
  2955. "stroke-width": 1
  2956. }
  2957. },
  2958. "mapper": {
  2959. "type": "code",
  2960. "value": ""
  2961. },
  2962. "parser": {
  2963. "type": "code",
  2964. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2965. },
  2966. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  2967. "position": {
  2968. "type": "list<double>",
  2969. "value": [
  2970. "0;8.501133028342451,-1.5623093000542896%",
  2971. "0;96.00560641828667,99.98779520346953%"
  2972. ]
  2973. },
  2974. "orientation": {
  2975. "type": "double",
  2976. "value": "0;90.89517371021113"
  2977. },
  2978. "scale": {
  2979. "type": "list<double>",
  2980. "value": [
  2981. 1,
  2982. 1
  2983. ]
  2984. },
  2985. "arrow": "arrowTail",
  2986. "arrowType": "circle-black-large",
  2987. "$linkDecoratorInfo": {
  2988. "type": "map<string,double>",
  2989. "value": {
  2990. "xratio": 1,
  2991. "yoffset": -10
  2992. }
  2993. }
  2994. },
  2995. "270": {
  2996. "r": {
  2997. "type": "double",
  2998. "value": 10
  2999. },
  3000. "style": {
  3001. "type": "map<string,string>",
  3002. "value": {
  3003. "stroke": "#000000",
  3004. "fill": "#ffffff",
  3005. "opacity": 0,
  3006. "stroke-width": 1
  3007. }
  3008. },
  3009. "mapper": {
  3010. "type": "code",
  3011. "value": ""
  3012. },
  3013. "parser": {
  3014. "type": "code",
  3015. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3016. },
  3017. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  3018. "position": {
  3019. "type": "list<double>",
  3020. "value": [
  3021. "0;8.501133028342451,-1.5623093000542896%",
  3022. "0;96.00560641828667,99.98779520346953%"
  3023. ]
  3024. },
  3025. "orientation": {
  3026. "type": "double",
  3027. "value": "0;90.89517371021113"
  3028. },
  3029. "scale": {
  3030. "type": "list<double>",
  3031. "value": [
  3032. 1,
  3033. 1
  3034. ]
  3035. },
  3036. "arrow": "arrowTail",
  3037. "arrowType": "circle-white-large",
  3038. "$linkDecoratorInfo": {
  3039. "type": "map<string,double>",
  3040. "value": {
  3041. "xratio": 1,
  3042. "yoffset": -10
  3043. }
  3044. }
  3045. },
  3046. "271": {
  3047. "r": {
  3048. "type": "double",
  3049. "value": 5
  3050. },
  3051. "style": {
  3052. "type": "map<string,string>",
  3053. "value": {
  3054. "stroke": "#000000",
  3055. "fill": "#000000",
  3056. "opacity": 0,
  3057. "stroke-width": 1
  3058. }
  3059. },
  3060. "mapper": {
  3061. "type": "code",
  3062. "value": ""
  3063. },
  3064. "parser": {
  3065. "type": "code",
  3066. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3067. },
  3068. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  3069. "position": {
  3070. "type": "list<double>",
  3071. "value": [
  3072. "0;3.5017432681689797,-1.5623093000542896%",
  3073. "0;95.92749095328395,99.98779520346953%"
  3074. ]
  3075. },
  3076. "orientation": {
  3077. "type": "double",
  3078. "value": "0;90.89517371021113"
  3079. },
  3080. "scale": {
  3081. "type": "list<double>",
  3082. "value": [
  3083. 1,
  3084. 1
  3085. ]
  3086. },
  3087. "arrow": "arrowTail",
  3088. "arrowType": "circle-black",
  3089. "$linkDecoratorInfo": {
  3090. "type": "map<string,double>",
  3091. "value": {
  3092. "xratio": 1,
  3093. "yoffset": -5
  3094. }
  3095. }
  3096. },
  3097. "272": {
  3098. "segments": {
  3099. "type": "string",
  3100. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  3101. },
  3102. "style": {
  3103. "type": "map<string,string>",
  3104. "value": {
  3105. "stroke": "#000000",
  3106. "fill": "#000000",
  3107. "opacity": 0,
  3108. "stroke-width": 1
  3109. }
  3110. },
  3111. "mapper": {
  3112. "type": "code",
  3113. "value": ""
  3114. },
  3115. "parser": {
  3116. "type": "code",
  3117. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3118. },
  3119. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3120. "position": {
  3121. "type": "list<double>",
  3122. "value": [
  3123. "0;3.5017432681689797,-1.5623093000542896%",
  3124. "0;95.92749095328395,99.98779520346953%"
  3125. ]
  3126. },
  3127. "orientation": {
  3128. "type": "double",
  3129. "value": "0;90.89517371021113"
  3130. },
  3131. "scale": {
  3132. "type": "list<double>",
  3133. "value": [
  3134. 1,
  3135. 1
  3136. ]
  3137. },
  3138. "arrow": "arrowTail",
  3139. "arrowType": "diamond-black",
  3140. "$linkDecoratorInfo": {
  3141. "type": "map<string,double>",
  3142. "value": {
  3143. "xratio": 1,
  3144. "yoffset": -5
  3145. }
  3146. }
  3147. },
  3148. "273": {
  3149. "segments": {
  3150. "type": "string",
  3151. "value": "m0,0 l20,10 l-20,10 z"
  3152. },
  3153. "style": {
  3154. "type": "map<string,string>",
  3155. "value": {
  3156. "stroke": "#000000",
  3157. "fill": "#000000",
  3158. "opacity": 0,
  3159. "stroke-width": 1
  3160. }
  3161. },
  3162. "mapper": {
  3163. "type": "code",
  3164. "value": ""
  3165. },
  3166. "parser": {
  3167. "type": "code",
  3168. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3169. },
  3170. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3171. "position": {
  3172. "type": "list<double>",
  3173. "value": [
  3174. "0;8.501133028342451,-1.5623093000542896%",
  3175. "0;96.00560641828667,99.98779520346953%"
  3176. ]
  3177. },
  3178. "orientation": {
  3179. "type": "double",
  3180. "value": "0;90.89517371021113"
  3181. },
  3182. "scale": {
  3183. "type": "list<double>",
  3184. "value": [
  3185. 1,
  3186. 1
  3187. ]
  3188. },
  3189. "arrow": "arrowTail",
  3190. "arrowType": "triangle-black-large",
  3191. "$linkDecoratorInfo": {
  3192. "type": "map<string,double>",
  3193. "value": {
  3194. "xratio": 1,
  3195. "yoffset": -10
  3196. }
  3197. }
  3198. },
  3199. "274": {
  3200. "segments": {
  3201. "type": "string",
  3202. "value": "m0,0 l10,4 l-10,4 z"
  3203. },
  3204. "style": {
  3205. "type": "map<string,string>",
  3206. "value": {
  3207. "stroke": "#000000",
  3208. "fill": "#000000",
  3209. "opacity": 0,
  3210. "stroke-width": 1
  3211. }
  3212. },
  3213. "mapper": {
  3214. "type": "code",
  3215. "value": ""
  3216. },
  3217. "parser": {
  3218. "type": "code",
  3219. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3220. },
  3221. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3222. "position": {
  3223. "type": "list<double>",
  3224. "value": [
  3225. "0;2.5018653161342854,-1.5623093000542896%",
  3226. "0;95.91186786028345,99.98779520346953%"
  3227. ]
  3228. },
  3229. "orientation": {
  3230. "type": "double",
  3231. "value": "0;90.89517371021113"
  3232. },
  3233. "scale": {
  3234. "type": "list<double>",
  3235. "value": [
  3236. 1,
  3237. 1
  3238. ]
  3239. },
  3240. "arrow": "arrowTail",
  3241. "arrowType": "triangle-black",
  3242. "$linkDecoratorInfo": {
  3243. "type": "map<string,double>",
  3244. "value": {
  3245. "xratio": 1,
  3246. "yoffset": -4
  3247. }
  3248. }
  3249. },
  3250. "275": {
  3251. "segments": {
  3252. "type": "string",
  3253. "value": "m0,0 l20,8 l-20,8 l6,-8 z"
  3254. },
  3255. "style": {
  3256. "type": "map<string,string>",
  3257. "value": {
  3258. "stroke": "#000000",
  3259. "fill": "#000000",
  3260. "opacity": 0,
  3261. "stroke-width": 1
  3262. }
  3263. },
  3264. "mapper": {
  3265. "type": "code",
  3266. "value": ""
  3267. },
  3268. "parser": {
  3269. "type": "code",
  3270. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3271. },
  3272. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3273. "position": {
  3274. "type": "list<double>",
  3275. "value": [
  3276. "0;6.501377124273063,-1.5623093000542896%",
  3277. "0;95.97436023228556,99.98779520346953%"
  3278. ]
  3279. },
  3280. "orientation": {
  3281. "type": "double",
  3282. "value": "0;90.89517371021113"
  3283. },
  3284. "scale": {
  3285. "type": "list<double>",
  3286. "value": [
  3287. 1,
  3288. 1
  3289. ]
  3290. },
  3291. "arrow": "arrowTail",
  3292. "arrowType": "arrow-black-large",
  3293. "$linkDecoratorInfo": {
  3294. "type": "map<string,double>",
  3295. "value": {
  3296. "xratio": 1,
  3297. "yoffset": -8
  3298. }
  3299. }
  3300. },
  3301. "276": {
  3302. "segments": {
  3303. "type": "string",
  3304. "value": "m0,0 l20,10 l-20,10 z"
  3305. },
  3306. "style": {
  3307. "type": "map<string,string>",
  3308. "value": {
  3309. "stroke": "#000000",
  3310. "fill": "#ffffff",
  3311. "opacity": 0,
  3312. "stroke-width": 1
  3313. }
  3314. },
  3315. "mapper": {
  3316. "type": "code",
  3317. "value": ""
  3318. },
  3319. "parser": {
  3320. "type": "code",
  3321. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3322. },
  3323. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3324. "position": {
  3325. "type": "list<double>",
  3326. "value": [
  3327. "0;8.501133028342451,-1.5623093000542896%",
  3328. "0;96.00560641828667,99.98779520346953%"
  3329. ]
  3330. },
  3331. "orientation": {
  3332. "type": "double",
  3333. "value": "0;90.89517371021113"
  3334. },
  3335. "scale": {
  3336. "type": "list<double>",
  3337. "value": [
  3338. 1,
  3339. 1
  3340. ]
  3341. },
  3342. "arrow": "arrowTail",
  3343. "arrowType": "triangle-white-large",
  3344. "$linkDecoratorInfo": {
  3345. "type": "map<string,double>",
  3346. "value": {
  3347. "xratio": 1,
  3348. "yoffset": -10
  3349. }
  3350. }
  3351. },
  3352. "277": {
  3353. "segments": {
  3354. "type": "string",
  3355. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  3356. },
  3357. "style": {
  3358. "type": "map<string,string>",
  3359. "value": {
  3360. "stroke": "#000000",
  3361. "fill": "#ffffff",
  3362. "opacity": 0,
  3363. "stroke-width": 1
  3364. }
  3365. },
  3366. "mapper": {
  3367. "type": "code",
  3368. "value": ""
  3369. },
  3370. "parser": {
  3371. "type": "code",
  3372. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3373. },
  3374. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3375. "position": {
  3376. "type": "list<double>",
  3377. "value": [
  3378. "0;3.5017432681689797,-1.5623093000542896%",
  3379. "0;95.92749095328395,99.98779520346953%"
  3380. ]
  3381. },
  3382. "orientation": {
  3383. "type": "double",
  3384. "value": "0;90.89517371021113"
  3385. },
  3386. "scale": {
  3387. "type": "list<double>",
  3388. "value": [
  3389. 1,
  3390. 1
  3391. ]
  3392. },
  3393. "arrow": "arrowTail",
  3394. "arrowType": "diamond-white",
  3395. "$linkDecoratorInfo": {
  3396. "type": "map<string,double>",
  3397. "value": {
  3398. "xratio": 1,
  3399. "yoffset": -5
  3400. }
  3401. }
  3402. },
  3403. "278": {
  3404. "segments": {
  3405. "type": "string",
  3406. "value": "m0,0 l20,8 l-20,8"
  3407. },
  3408. "style": {
  3409. "type": "map<string,string>",
  3410. "value": {
  3411. "stroke": "#000000",
  3412. "fill": "#000000",
  3413. "fill-opacity": 0,
  3414. "stroke-width": 1,
  3415. "opacity": 0
  3416. }
  3417. },
  3418. "mapper": {
  3419. "type": "code",
  3420. "value": ""
  3421. },
  3422. "parser": {
  3423. "type": "code",
  3424. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3425. },
  3426. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3427. "position": {
  3428. "type": "list<double>",
  3429. "value": [
  3430. "0;6.501377124273063,-1.5623093000542896%",
  3431. "0;95.97436023228556,99.98779520346953%"
  3432. ]
  3433. },
  3434. "orientation": {
  3435. "type": "double",
  3436. "value": "0;90.89517371021113"
  3437. },
  3438. "scale": {
  3439. "type": "list<double>",
  3440. "value": [
  3441. 1,
  3442. 1
  3443. ]
  3444. },
  3445. "arrow": "arrowTail",
  3446. "arrowType": "arrow-empty-large",
  3447. "$linkDecoratorInfo": {
  3448. "type": "map<string,double>",
  3449. "value": {
  3450. "xratio": 1,
  3451. "yoffset": -8
  3452. }
  3453. }
  3454. },
  3455. "279": {
  3456. "r": {
  3457. "type": "double",
  3458. "value": 5
  3459. },
  3460. "style": {
  3461. "type": "map<string,string>",
  3462. "value": {
  3463. "stroke": "#000000",
  3464. "fill": "#ffffff",
  3465. "opacity": 0,
  3466. "stroke-width": 1
  3467. }
  3468. },
  3469. "mapper": {
  3470. "type": "code",
  3471. "value": ""
  3472. },
  3473. "parser": {
  3474. "type": "code",
  3475. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3476. },
  3477. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  3478. "position": {
  3479. "type": "list<double>",
  3480. "value": [
  3481. "0;3.5017432681689797,-1.5623093000542896%",
  3482. "0;95.92749095328395,99.98779520346953%"
  3483. ]
  3484. },
  3485. "orientation": {
  3486. "type": "double",
  3487. "value": "0;90.89517371021113"
  3488. },
  3489. "scale": {
  3490. "type": "list<double>",
  3491. "value": [
  3492. 1,
  3493. 1
  3494. ]
  3495. },
  3496. "arrow": "arrowTail",
  3497. "arrowType": "circle-white",
  3498. "$linkDecoratorInfo": {
  3499. "type": "map<string,double>",
  3500. "value": {
  3501. "xratio": 1,
  3502. "yoffset": -5
  3503. }
  3504. }
  3505. },
  3506. "280": {
  3507. "segments": {
  3508. "type": "string",
  3509. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  3510. },
  3511. "style": {
  3512. "type": "map<string,string>",
  3513. "value": {
  3514. "stroke": "#000000",
  3515. "fill": "#ffffff",
  3516. "opacity": 0,
  3517. "stroke-width": 1
  3518. }
  3519. },
  3520. "mapper": {
  3521. "type": "code",
  3522. "value": ""
  3523. },
  3524. "parser": {
  3525. "type": "code",
  3526. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3527. },
  3528. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3529. "position": {
  3530. "type": "list<double>",
  3531. "value": [
  3532. "0;8.501133028342451,-1.5623093000542896%",
  3533. "0;96.00560641828667,99.98779520346953%"
  3534. ]
  3535. },
  3536. "orientation": {
  3537. "type": "double",
  3538. "value": "0;90.89517371021113"
  3539. },
  3540. "scale": {
  3541. "type": "list<double>",
  3542. "value": [
  3543. 1,
  3544. 1
  3545. ]
  3546. },
  3547. "arrow": "arrowTail",
  3548. "arrowType": "diamond-white-large",
  3549. "$linkDecoratorInfo": {
  3550. "type": "map<string,double>",
  3551. "value": {
  3552. "xratio": 1,
  3553. "yoffset": -10
  3554. }
  3555. }
  3556. },
  3557. "281": {
  3558. "segments": {
  3559. "type": "string",
  3560. "value": "m0,0 l10,4 l-10,4"
  3561. },
  3562. "style": {
  3563. "type": "map<string,string>",
  3564. "value": {
  3565. "stroke": "#000000",
  3566. "fill": "#000000",
  3567. "fill-opacity": 0,
  3568. "stroke-width": 1,
  3569. "opacity": 0
  3570. }
  3571. },
  3572. "mapper": {
  3573. "type": "code",
  3574. "value": ""
  3575. },
  3576. "parser": {
  3577. "type": "code",
  3578. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3579. },
  3580. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3581. "position": {
  3582. "type": "list<double>",
  3583. "value": [
  3584. "0;2.5018653161342854,-1.5623093000542896%",
  3585. "0;95.91186786028345,99.98779520346953%"
  3586. ]
  3587. },
  3588. "orientation": {
  3589. "type": "double",
  3590. "value": "0;90.89517371021113"
  3591. },
  3592. "scale": {
  3593. "type": "list<double>",
  3594. "value": [
  3595. 1,
  3596. 1
  3597. ]
  3598. },
  3599. "arrow": "arrowTail",
  3600. "arrowType": "arrow-empty",
  3601. "$linkDecoratorInfo": {
  3602. "type": "map<string,double>",
  3603. "value": {
  3604. "xratio": 1,
  3605. "yoffset": -4
  3606. }
  3607. }
  3608. },
  3609. "282": {
  3610. "segments": {
  3611. "type": "string",
  3612. "value": "m0,0 l10,5 l-10,5 z"
  3613. },
  3614. "style": {
  3615. "type": "map<string,string>",
  3616. "value": {
  3617. "stroke": "#000000",
  3618. "fill": "#ffffff",
  3619. "opacity": 0,
  3620. "stroke-width": 1
  3621. }
  3622. },
  3623. "mapper": {
  3624. "type": "code",
  3625. "value": ""
  3626. },
  3627. "parser": {
  3628. "type": "code",
  3629. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3630. },
  3631. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3632. "position": {
  3633. "type": "list<double>",
  3634. "value": [
  3635. "0;3.5017432681689797,-1.5623093000542896%",
  3636. "0;95.92749095328395,99.98779520346953%"
  3637. ]
  3638. },
  3639. "orientation": {
  3640. "type": "double",
  3641. "value": "0;90.89517371021113"
  3642. },
  3643. "scale": {
  3644. "type": "list<double>",
  3645. "value": [
  3646. 1,
  3647. 1
  3648. ]
  3649. },
  3650. "arrow": "arrowTail",
  3651. "arrowType": "triangle-white",
  3652. "$linkDecoratorInfo": {
  3653. "type": "map<string,double>",
  3654. "value": {
  3655. "xratio": 1,
  3656. "yoffset": -5
  3657. }
  3658. }
  3659. },
  3660. "283": {
  3661. "segments": {
  3662. "type": "string",
  3663. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  3664. },
  3665. "style": {
  3666. "type": "map<string,string>",
  3667. "value": {
  3668. "stroke": "#000000",
  3669. "fill": "#ffffff",
  3670. "opacity": 0,
  3671. "stroke-width": 1
  3672. }
  3673. },
  3674. "mapper": {
  3675. "type": "code",
  3676. "value": ""
  3677. },
  3678. "parser": {
  3679. "type": "code",
  3680. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3681. },
  3682. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3683. "position": {
  3684. "type": "list<double>",
  3685. "value": [
  3686. "0;6.501733509325732,0%",
  3687. "0;-96.07188448074373,0%"
  3688. ]
  3689. },
  3690. "orientation": {
  3691. "type": "double",
  3692. "value": "0;90.89517371021105"
  3693. },
  3694. "scale": {
  3695. "type": "list<double>",
  3696. "value": [
  3697. 1,
  3698. 1
  3699. ]
  3700. },
  3701. "arrow": "arrowHead",
  3702. "arrowType": "diamond-white",
  3703. "$linkDecoratorInfo": {
  3704. "type": "map<string,double>",
  3705. "value": {
  3706. "xratio": -1,
  3707. "yoffset": -5
  3708. }
  3709. }
  3710. },
  3711. "284": {
  3712. "segments": {
  3713. "type": "string",
  3714. "value": "m0,0 l-10,5 l10,5 z"
  3715. },
  3716. "style": {
  3717. "type": "map<string,string>",
  3718. "value": {
  3719. "stroke": "#000000",
  3720. "fill": "#ffffff",
  3721. "opacity": 0,
  3722. "stroke-width": 1
  3723. }
  3724. },
  3725. "mapper": {
  3726. "type": "code",
  3727. "value": ""
  3728. },
  3729. "parser": {
  3730. "type": "code",
  3731. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3732. },
  3733. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3734. "position": {
  3735. "type": "list<double>",
  3736. "value": [
  3737. "0;6.501733509325732,0%",
  3738. "0;-96.07188448074373,0%"
  3739. ]
  3740. },
  3741. "orientation": {
  3742. "type": "double",
  3743. "value": "0;90.89517371021105"
  3744. },
  3745. "scale": {
  3746. "type": "list<double>",
  3747. "value": [
  3748. 1,
  3749. 1
  3750. ]
  3751. },
  3752. "arrow": "arrowHead",
  3753. "arrowType": "triangle-white",
  3754. "$linkDecoratorInfo": {
  3755. "type": "map<string,double>",
  3756. "value": {
  3757. "xratio": -1,
  3758. "yoffset": -5
  3759. }
  3760. }
  3761. },
  3762. "285": {
  3763. "segments": {
  3764. "type": "string",
  3765. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  3766. },
  3767. "style": {
  3768. "type": "map<string,string>",
  3769. "value": {
  3770. "stroke": "#000000",
  3771. "fill": "#000000",
  3772. "opacity": 0,
  3773. "stroke-width": 1
  3774. }
  3775. },
  3776. "mapper": {
  3777. "type": "code",
  3778. "value": ""
  3779. },
  3780. "parser": {
  3781. "type": "code",
  3782. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3783. },
  3784. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3785. "position": {
  3786. "type": "list<double>",
  3787. "value": [
  3788. "0;6.501733509325732,0%",
  3789. "0;-96.07188448074373,0%"
  3790. ]
  3791. },
  3792. "orientation": {
  3793. "type": "double",
  3794. "value": "0;90.89517371021105"
  3795. },
  3796. "scale": {
  3797. "type": "list<double>",
  3798. "value": [
  3799. 1,
  3800. 1
  3801. ]
  3802. },
  3803. "arrow": "arrowHead",
  3804. "arrowType": "diamond-black",
  3805. "$linkDecoratorInfo": {
  3806. "type": "map<string,double>",
  3807. "value": {
  3808. "xratio": -1,
  3809. "yoffset": -5
  3810. }
  3811. }
  3812. },
  3813. "286": {
  3814. "r": {
  3815. "type": "double",
  3816. "value": 10
  3817. },
  3818. "style": {
  3819. "type": "map<string,string>",
  3820. "value": {
  3821. "stroke": "#000000",
  3822. "fill": "#000000",
  3823. "opacity": 0,
  3824. "stroke-width": 1
  3825. }
  3826. },
  3827. "mapper": {
  3828. "type": "code",
  3829. "value": ""
  3830. },
  3831. "parser": {
  3832. "type": "code",
  3833. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3834. },
  3835. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  3836. "position": {
  3837. "type": "list<double>",
  3838. "value": [
  3839. "0;11.501123269499203,0%",
  3840. "0;-95.99376901574101,0%"
  3841. ]
  3842. },
  3843. "orientation": {
  3844. "type": "double",
  3845. "value": "0;90.89517371021105"
  3846. },
  3847. "scale": {
  3848. "type": "list<double>",
  3849. "value": [
  3850. 1,
  3851. 1
  3852. ]
  3853. },
  3854. "arrow": "arrowHead",
  3855. "arrowType": "circle-black-large",
  3856. "$linkDecoratorInfo": {
  3857. "type": "map<string,double>",
  3858. "value": {
  3859. "xratio": -1,
  3860. "yoffset": -10
  3861. }
  3862. }
  3863. },
  3864. "287": {
  3865. "segments": {
  3866. "type": "string",
  3867. "value": "m0,0 l-20,8 l20,8 l-6,-8 z"
  3868. },
  3869. "style": {
  3870. "type": "map<string,string>",
  3871. "value": {
  3872. "stroke": "#000000",
  3873. "fill": "#000000",
  3874. "opacity": 0,
  3875. "stroke-width": 1
  3876. }
  3877. },
  3878. "mapper": {
  3879. "type": "code",
  3880. "value": ""
  3881. },
  3882. "parser": {
  3883. "type": "code",
  3884. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3885. },
  3886. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3887. "position": {
  3888. "type": "list<double>",
  3889. "value": [
  3890. "0;9.501367365429815,0%",
  3891. "0;-96.02501520174212,0%"
  3892. ]
  3893. },
  3894. "orientation": {
  3895. "type": "double",
  3896. "value": "0;90.89517371021105"
  3897. },
  3898. "scale": {
  3899. "type": "list<double>",
  3900. "value": [
  3901. 1,
  3902. 1
  3903. ]
  3904. },
  3905. "arrow": "arrowHead",
  3906. "arrowType": "arrow-black-large",
  3907. "$linkDecoratorInfo": {
  3908. "type": "map<string,double>",
  3909. "value": {
  3910. "xratio": -1,
  3911. "yoffset": -8
  3912. }
  3913. }
  3914. },
  3915. "288": {
  3916. "segments": {
  3917. "type": "string",
  3918. "value": "m0,0 l-10,4 l10,4 l-3,-4 z"
  3919. },
  3920. "style": {
  3921. "type": "map<string,string>",
  3922. "value": {
  3923. "stroke": "#000000",
  3924. "fill": "#000000",
  3925. "opacity": 0,
  3926. "stroke-width": 1
  3927. }
  3928. },
  3929. "mapper": {
  3930. "type": "code",
  3931. "value": ""
  3932. },
  3933. "parser": {
  3934. "type": "code",
  3935. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3936. },
  3937. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3938. "position": {
  3939. "type": "list<double>",
  3940. "value": [
  3941. "0;5.501855557291037,0%",
  3942. "0;-96.08750757374435,0%"
  3943. ]
  3944. },
  3945. "orientation": {
  3946. "type": "double",
  3947. "value": "0;90.89517371021105"
  3948. },
  3949. "scale": {
  3950. "type": "list<double>",
  3951. "value": [
  3952. 1,
  3953. 1
  3954. ]
  3955. },
  3956. "arrow": "arrowHead",
  3957. "arrowType": "arrow-black",
  3958. "$linkDecoratorInfo": {
  3959. "type": "map<string,double>",
  3960. "value": {
  3961. "xratio": -1,
  3962. "yoffset": -4
  3963. }
  3964. }
  3965. },
  3966. "289": {
  3967. "segments": {
  3968. "type": "string",
  3969. "value": "m0,0 l-20,10 l20,10 z"
  3970. },
  3971. "style": {
  3972. "type": "map<string,string>",
  3973. "value": {
  3974. "stroke": "#000000",
  3975. "fill": "#ffffff",
  3976. "opacity": 0,
  3977. "stroke-width": 1
  3978. }
  3979. },
  3980. "mapper": {
  3981. "type": "code",
  3982. "value": ""
  3983. },
  3984. "parser": {
  3985. "type": "code",
  3986. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3987. },
  3988. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3989. "position": {
  3990. "type": "list<double>",
  3991. "value": [
  3992. "0;11.501123269499203,0%",
  3993. "0;-95.99376901574101,0%"
  3994. ]
  3995. },
  3996. "orientation": {
  3997. "type": "double",
  3998. "value": "0;90.89517371021105"
  3999. },
  4000. "scale": {
  4001. "type": "list<double>",
  4002. "value": [
  4003. 1,
  4004. 1
  4005. ]
  4006. },
  4007. "arrow": "arrowHead",
  4008. "arrowType": "triangle-white-large",
  4009. "$linkDecoratorInfo": {
  4010. "type": "map<string,double>",
  4011. "value": {
  4012. "xratio": -1,
  4013. "yoffset": -10
  4014. }
  4015. }
  4016. },
  4017. "290": {
  4018. "segments": {
  4019. "type": "string",
  4020. "value": "m0,0 l-20,10 l20,10 z"
  4021. },
  4022. "style": {
  4023. "type": "map<string,string>",
  4024. "value": {
  4025. "stroke": "#000000",
  4026. "fill": "#000000",
  4027. "opacity": 0,
  4028. "stroke-width": 1
  4029. }
  4030. },
  4031. "mapper": {
  4032. "type": "code",
  4033. "value": ""
  4034. },
  4035. "parser": {
  4036. "type": "code",
  4037. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4038. },
  4039. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4040. "position": {
  4041. "type": "list<double>",
  4042. "value": [
  4043. "0;11.501123269499203,0%",
  4044. "0;-95.99376901574101,0%"
  4045. ]
  4046. },
  4047. "orientation": {
  4048. "type": "double",
  4049. "value": "0;90.89517371021105"
  4050. },
  4051. "scale": {
  4052. "type": "list<double>",
  4053. "value": [
  4054. 1,
  4055. 1
  4056. ]
  4057. },
  4058. "arrow": "arrowHead",
  4059. "arrowType": "triangle-black-large",
  4060. "$linkDecoratorInfo": {
  4061. "type": "map<string,double>",
  4062. "value": {
  4063. "xratio": -1,
  4064. "yoffset": -10
  4065. }
  4066. }
  4067. },
  4068. "291": {
  4069. "r": {
  4070. "type": "double",
  4071. "value": 5
  4072. },
  4073. "style": {
  4074. "type": "map<string,string>",
  4075. "value": {
  4076. "stroke": "#000000",
  4077. "fill": "#000000",
  4078. "opacity": 0,
  4079. "stroke-width": 1
  4080. }
  4081. },
  4082. "mapper": {
  4083. "type": "code",
  4084. "value": ""
  4085. },
  4086. "parser": {
  4087. "type": "code",
  4088. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4089. },
  4090. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  4091. "position": {
  4092. "type": "list<double>",
  4093. "value": [
  4094. "0;6.501733509325732,0%",
  4095. "0;-96.07188448074373,0%"
  4096. ]
  4097. },
  4098. "orientation": {
  4099. "type": "double",
  4100. "value": "0;90.89517371021105"
  4101. },
  4102. "scale": {
  4103. "type": "list<double>",
  4104. "value": [
  4105. 1,
  4106. 1
  4107. ]
  4108. },
  4109. "arrow": "arrowHead",
  4110. "arrowType": "circle-black",
  4111. "$linkDecoratorInfo": {
  4112. "type": "map<string,double>",
  4113. "value": {
  4114. "xratio": -1,
  4115. "yoffset": -5
  4116. }
  4117. }
  4118. },
  4119. "292": {
  4120. "r": {
  4121. "type": "double",
  4122. "value": 5
  4123. },
  4124. "style": {
  4125. "type": "map<string,string>",
  4126. "value": {
  4127. "stroke": "#000000",
  4128. "fill": "#ffffff",
  4129. "opacity": 0,
  4130. "stroke-width": 1
  4131. }
  4132. },
  4133. "mapper": {
  4134. "type": "code",
  4135. "value": ""
  4136. },
  4137. "parser": {
  4138. "type": "code",
  4139. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4140. },
  4141. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  4142. "position": {
  4143. "type": "list<double>",
  4144. "value": [
  4145. "0;6.501733509325732,0%",
  4146. "0;-96.07188448074373,0%"
  4147. ]
  4148. },
  4149. "orientation": {
  4150. "type": "double",
  4151. "value": "0;90.89517371021105"
  4152. },
  4153. "scale": {
  4154. "type": "list<double>",
  4155. "value": [
  4156. 1,
  4157. 1
  4158. ]
  4159. },
  4160. "arrow": "arrowHead",
  4161. "arrowType": "circle-white",
  4162. "$linkDecoratorInfo": {
  4163. "type": "map<string,double>",
  4164. "value": {
  4165. "xratio": -1,
  4166. "yoffset": -5
  4167. }
  4168. }
  4169. },
  4170. "293": {
  4171. "r": {
  4172. "type": "double",
  4173. "value": 10
  4174. },
  4175. "style": {
  4176. "type": "map<string,string>",
  4177. "value": {
  4178. "stroke": "#000000",
  4179. "fill": "#ffffff",
  4180. "opacity": 0,
  4181. "stroke-width": 1
  4182. }
  4183. },
  4184. "mapper": {
  4185. "type": "code",
  4186. "value": ""
  4187. },
  4188. "parser": {
  4189. "type": "code",
  4190. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4191. },
  4192. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  4193. "position": {
  4194. "type": "list<double>",
  4195. "value": [
  4196. "0;11.501123269499203,0%",
  4197. "0;-95.99376901574101,0%"
  4198. ]
  4199. },
  4200. "orientation": {
  4201. "type": "double",
  4202. "value": "0;90.89517371021105"
  4203. },
  4204. "scale": {
  4205. "type": "list<double>",
  4206. "value": [
  4207. 1,
  4208. 1
  4209. ]
  4210. },
  4211. "arrow": "arrowHead",
  4212. "arrowType": "circle-white-large",
  4213. "$linkDecoratorInfo": {
  4214. "type": "map<string,double>",
  4215. "value": {
  4216. "xratio": -1,
  4217. "yoffset": -10
  4218. }
  4219. }
  4220. },
  4221. "294": {
  4222. "segments": {
  4223. "type": "string",
  4224. "value": "m0,0 l-20,8 l20,8"
  4225. },
  4226. "style": {
  4227. "type": "map<string,string>",
  4228. "value": {
  4229. "stroke": "#000000",
  4230. "fill": "#000000",
  4231. "fill-opacity": 0,
  4232. "stroke-width": 1,
  4233. "opacity": 0
  4234. }
  4235. },
  4236. "mapper": {
  4237. "type": "code",
  4238. "value": ""
  4239. },
  4240. "parser": {
  4241. "type": "code",
  4242. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4243. },
  4244. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4245. "position": {
  4246. "type": "list<double>",
  4247. "value": [
  4248. "0;9.501367365429815,0%",
  4249. "0;-96.02501520174212,0%"
  4250. ]
  4251. },
  4252. "orientation": {
  4253. "type": "double",
  4254. "value": "0;90.89517371021105"
  4255. },
  4256. "scale": {
  4257. "type": "list<double>",
  4258. "value": [
  4259. 1,
  4260. 1
  4261. ]
  4262. },
  4263. "arrow": "arrowHead",
  4264. "arrowType": "arrow-empty-large",
  4265. "$linkDecoratorInfo": {
  4266. "type": "map<string,double>",
  4267. "value": {
  4268. "xratio": -1,
  4269. "yoffset": -8
  4270. }
  4271. }
  4272. },
  4273. "295": {
  4274. "segments": {
  4275. "type": "string",
  4276. "value": "m0,0 l-10,4 l10,4"
  4277. },
  4278. "style": {
  4279. "type": "map<string,string>",
  4280. "value": {
  4281. "stroke": "#000000",
  4282. "fill": "#000000",
  4283. "fill-opacity": 0,
  4284. "stroke-width": 1,
  4285. "opacity": 0
  4286. }
  4287. },
  4288. "mapper": {
  4289. "type": "code",
  4290. "value": ""
  4291. },
  4292. "parser": {
  4293. "type": "code",
  4294. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4295. },
  4296. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4297. "position": {
  4298. "type": "list<double>",
  4299. "value": [
  4300. "0;5.501855557291037,0%",
  4301. "0;-96.08750757374435,0%"
  4302. ]
  4303. },
  4304. "orientation": {
  4305. "type": "double",
  4306. "value": "0;90.89517371021105"
  4307. },
  4308. "scale": {
  4309. "type": "list<double>",
  4310. "value": [
  4311. 1,
  4312. 1
  4313. ]
  4314. },
  4315. "arrow": "arrowHead",
  4316. "arrowType": "arrow-empty",
  4317. "$linkDecoratorInfo": {
  4318. "type": "map<string,double>",
  4319. "value": {
  4320. "xratio": -1,
  4321. "yoffset": -4
  4322. }
  4323. }
  4324. },
  4325. "296": {
  4326. "segments": {
  4327. "type": "string",
  4328. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  4329. },
  4330. "style": {
  4331. "type": "map<string,string>",
  4332. "value": {
  4333. "stroke": "#000000",
  4334. "fill": "#000000",
  4335. "opacity": 0,
  4336. "stroke-width": 1
  4337. }
  4338. },
  4339. "mapper": {
  4340. "type": "code",
  4341. "value": ""
  4342. },
  4343. "parser": {
  4344. "type": "code",
  4345. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4346. },
  4347. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4348. "position": {
  4349. "type": "list<double>",
  4350. "value": [
  4351. "0;11.501123269499203,0%",
  4352. "0;-95.99376901574101,0%"
  4353. ]
  4354. },
  4355. "orientation": {
  4356. "type": "double",
  4357. "value": "0;90.89517371021105"
  4358. },
  4359. "scale": {
  4360. "type": "list<double>",
  4361. "value": [
  4362. 1,
  4363. 1
  4364. ]
  4365. },
  4366. "arrow": "arrowHead",
  4367. "arrowType": "diamond-black-large",
  4368. "$linkDecoratorInfo": {
  4369. "type": "map<string,double>",
  4370. "value": {
  4371. "xratio": -1,
  4372. "yoffset": -10
  4373. }
  4374. }
  4375. },
  4376. "297": {
  4377. "segments": {
  4378. "type": "string",
  4379. "value": "m0,0 l-10,4 l10,4 z"
  4380. },
  4381. "style": {
  4382. "type": "map<string,string>",
  4383. "value": {
  4384. "stroke": "#000000",
  4385. "fill": "#000000",
  4386. "opacity": 0,
  4387. "stroke-width": 1
  4388. }
  4389. },
  4390. "mapper": {
  4391. "type": "code",
  4392. "value": ""
  4393. },
  4394. "parser": {
  4395. "type": "code",
  4396. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4397. },
  4398. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4399. "position": {
  4400. "type": "list<double>",
  4401. "value": [
  4402. "0;5.501855557291037,0%",
  4403. "0;-96.08750757374435,0%"
  4404. ]
  4405. },
  4406. "orientation": {
  4407. "type": "double",
  4408. "value": "0;90.89517371021105"
  4409. },
  4410. "scale": {
  4411. "type": "list<double>",
  4412. "value": [
  4413. 1,
  4414. 1
  4415. ]
  4416. },
  4417. "arrow": "arrowHead",
  4418. "arrowType": "triangle-black",
  4419. "$linkDecoratorInfo": {
  4420. "type": "map<string,double>",
  4421. "value": {
  4422. "xratio": -1,
  4423. "yoffset": -4
  4424. }
  4425. }
  4426. },
  4427. "298": {
  4428. "segments": {
  4429. "type": "string",
  4430. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  4431. },
  4432. "style": {
  4433. "type": "map<string,string>",
  4434. "value": {
  4435. "stroke": "#000000",
  4436. "fill": "#ffffff",
  4437. "opacity": 0,
  4438. "stroke-width": 1
  4439. }
  4440. },
  4441. "mapper": {
  4442. "type": "code",
  4443. "value": ""
  4444. },
  4445. "parser": {
  4446. "type": "code",
  4447. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4448. },
  4449. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4450. "position": {
  4451. "type": "list<double>",
  4452. "value": [
  4453. "0;11.501123269499203,0%",
  4454. "0;-95.99376901574101,0%"
  4455. ]
  4456. },
  4457. "orientation": {
  4458. "type": "double",
  4459. "value": "0;90.89517371021105"
  4460. },
  4461. "scale": {
  4462. "type": "list<double>",
  4463. "value": [
  4464. 1,
  4465. 1
  4466. ]
  4467. },
  4468. "arrow": "arrowHead",
  4469. "arrowType": "diamond-white-large",
  4470. "$linkDecoratorInfo": {
  4471. "type": "map<string,double>",
  4472. "value": {
  4473. "xratio": -1,
  4474. "yoffset": -10
  4475. }
  4476. }
  4477. }
  4478. },
  4479. "edges": []
  4480. }
  4481. },
  4482. "$asuri": {
  4483. "type": "string",
  4484. "value": "/Formalisms/__Transformations__/Transformation/MoTif/success/97.instance"
  4485. },
  4486. "$segments": {
  4487. "type": "map<string,list<string>>",
  4488. "value": {
  4489. "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/ARuleIcon/94.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/successLink/97.instance": "M618,484L616.4976562508477,580.1499999457465",
  4490. "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/successLink/97.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/EndSuccessIcon/6.instance": "M616.4976611336549,580.1496874460848L615.0000097588432,675.9993754340277"
  4491. }
  4492. },
  4493. "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/successLink"
  4494. },
  4495. "98": {
  4496. "link-style": {
  4497. "type": "map<string,string>",
  4498. "value": {
  4499. "stroke": "#800000",
  4500. "stroke-dasharray": "",
  4501. "stroke-opacity": 1,
  4502. "stroke-width": 2
  4503. }
  4504. },
  4505. "arrowHead": {
  4506. "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)",
  4507. "value": "custom"
  4508. },
  4509. "arrowTail": {
  4510. "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)",
  4511. "value": "arrow-black"
  4512. },
  4513. "typename": {
  4514. "type": "string",
  4515. "value": "failLink"
  4516. },
  4517. "position": {
  4518. "type": "list<double>",
  4519. "value": [
  4520. 715,
  4521. 579
  4522. ]
  4523. },
  4524. "orientation": {
  4525. "type": "double",
  4526. "value": 0
  4527. },
  4528. "scale": {
  4529. "type": "list<double>",
  4530. "value": [
  4531. 1,
  4532. 1
  4533. ]
  4534. },
  4535. "mapper": {
  4536. "type": "code",
  4537. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  4538. },
  4539. "parser": {
  4540. "type": "code",
  4541. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4542. },
  4543. "$contents": {
  4544. "type": "map<string,*>",
  4545. "value": {
  4546. "nodes": {
  4547. "267": {
  4548. "segments": {
  4549. "type": "string",
  4550. "value": "m0,0 l10,4 l-10,4 l3,-4 z"
  4551. },
  4552. "style": {
  4553. "type": "map<string,string>",
  4554. "value": {
  4555. "stroke": "#000000",
  4556. "fill": "#000000",
  4557. "opacity": 0,
  4558. "stroke-width": 1
  4559. }
  4560. },
  4561. "mapper": {
  4562. "type": "code",
  4563. "value": ""
  4564. },
  4565. "parser": {
  4566. "type": "code",
  4567. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4568. },
  4569. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4570. "position": {
  4571. "type": "list<double>",
  4572. "value": [
  4573. "0;1.9991627662208202,-2.0614175367215775%",
  4574. "0;97.08183856989274,99.97875053099682%"
  4575. ]
  4576. },
  4577. "orientation": {
  4578. "type": "double",
  4579. "value": "0;91.18118891332664"
  4580. },
  4581. "scale": {
  4582. "type": "list<double>",
  4583. "value": [
  4584. 1,
  4585. 1
  4586. ]
  4587. },
  4588. "arrow": "arrowTail",
  4589. "arrowType": "arrow-black",
  4590. "$linkDecoratorInfo": {
  4591. "type": "map<string,double>",
  4592. "value": {
  4593. "xratio": 1,
  4594. "yoffset": -4
  4595. }
  4596. }
  4597. },
  4598. "268": {
  4599. "segments": {
  4600. "type": "string",
  4601. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  4602. },
  4603. "style": {
  4604. "type": "map<string,string>",
  4605. "value": {
  4606. "stroke": "#000000",
  4607. "fill": "#000000",
  4608. "opacity": 0,
  4609. "stroke-width": 1
  4610. }
  4611. },
  4612. "mapper": {
  4613. "type": "code",
  4614. "value": ""
  4615. },
  4616. "parser": {
  4617. "type": "code",
  4618. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4619. },
  4620. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4621. "position": {
  4622. "type": "list<double>",
  4623. "value": [
  4624. "0;7.997887798080683,-2.0614175367215775%",
  4625. "0;97.20552362209594,99.97875053099682%"
  4626. ]
  4627. },
  4628. "orientation": {
  4629. "type": "double",
  4630. "value": "0;91.18118891332664"
  4631. },
  4632. "scale": {
  4633. "type": "list<double>",
  4634. "value": [
  4635. 1,
  4636. 1
  4637. ]
  4638. },
  4639. "arrow": "arrowTail",
  4640. "arrowType": "diamond-black-large",
  4641. "$linkDecoratorInfo": {
  4642. "type": "map<string,double>",
  4643. "value": {
  4644. "xratio": 1,
  4645. "yoffset": -10
  4646. }
  4647. }
  4648. },
  4649. "269": {
  4650. "r": {
  4651. "type": "double",
  4652. "value": 10
  4653. },
  4654. "style": {
  4655. "type": "map<string,string>",
  4656. "value": {
  4657. "stroke": "#000000",
  4658. "fill": "#000000",
  4659. "opacity": 0,
  4660. "stroke-width": 1
  4661. }
  4662. },
  4663. "mapper": {
  4664. "type": "code",
  4665. "value": ""
  4666. },
  4667. "parser": {
  4668. "type": "code",
  4669. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4670. },
  4671. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  4672. "position": {
  4673. "type": "list<double>",
  4674. "value": [
  4675. "0;7.997887798080683,-2.0614175367215775%",
  4676. "0;97.20552362209594,99.97875053099682%"
  4677. ]
  4678. },
  4679. "orientation": {
  4680. "type": "double",
  4681. "value": "0;91.18118891332664"
  4682. },
  4683. "scale": {
  4684. "type": "list<double>",
  4685. "value": [
  4686. 1,
  4687. 1
  4688. ]
  4689. },
  4690. "arrow": "arrowTail",
  4691. "arrowType": "circle-black-large",
  4692. "$linkDecoratorInfo": {
  4693. "type": "map<string,double>",
  4694. "value": {
  4695. "xratio": 1,
  4696. "yoffset": -10
  4697. }
  4698. }
  4699. },
  4700. "270": {
  4701. "r": {
  4702. "type": "double",
  4703. "value": 10
  4704. },
  4705. "style": {
  4706. "type": "map<string,string>",
  4707. "value": {
  4708. "stroke": "#000000",
  4709. "fill": "#ffffff",
  4710. "opacity": 0,
  4711. "stroke-width": 1
  4712. }
  4713. },
  4714. "mapper": {
  4715. "type": "code",
  4716. "value": ""
  4717. },
  4718. "parser": {
  4719. "type": "code",
  4720. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4721. },
  4722. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  4723. "position": {
  4724. "type": "list<double>",
  4725. "value": [
  4726. "0;7.997887798080683,-2.0614175367215775%",
  4727. "0;97.20552362209594,99.97875053099682%"
  4728. ]
  4729. },
  4730. "orientation": {
  4731. "type": "double",
  4732. "value": "0;91.18118891332664"
  4733. },
  4734. "scale": {
  4735. "type": "list<double>",
  4736. "value": [
  4737. 1,
  4738. 1
  4739. ]
  4740. },
  4741. "arrow": "arrowTail",
  4742. "arrowType": "circle-white-large",
  4743. "$linkDecoratorInfo": {
  4744. "type": "map<string,double>",
  4745. "value": {
  4746. "xratio": 1,
  4747. "yoffset": -10
  4748. }
  4749. }
  4750. },
  4751. "271": {
  4752. "r": {
  4753. "type": "double",
  4754. "value": 5
  4755. },
  4756. "style": {
  4757. "type": "map<string,string>",
  4758. "value": {
  4759. "stroke": "#000000",
  4760. "fill": "#000000",
  4761. "opacity": 0,
  4762. "stroke-width": 1
  4763. }
  4764. },
  4765. "mapper": {
  4766. "type": "code",
  4767. "value": ""
  4768. },
  4769. "parser": {
  4770. "type": "code",
  4771. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4772. },
  4773. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  4774. "position": {
  4775. "type": "list<double>",
  4776. "value": [
  4777. "0;2.9989502715308163,-2.0614175367215775%",
  4778. "0;97.10245274525994,99.97875053099682%"
  4779. ]
  4780. },
  4781. "orientation": {
  4782. "type": "double",
  4783. "value": "0;91.18118891332664"
  4784. },
  4785. "scale": {
  4786. "type": "list<double>",
  4787. "value": [
  4788. 1,
  4789. 1
  4790. ]
  4791. },
  4792. "arrow": "arrowTail",
  4793. "arrowType": "circle-black",
  4794. "$linkDecoratorInfo": {
  4795. "type": "map<string,double>",
  4796. "value": {
  4797. "xratio": 1,
  4798. "yoffset": -5
  4799. }
  4800. }
  4801. },
  4802. "272": {
  4803. "segments": {
  4804. "type": "string",
  4805. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  4806. },
  4807. "style": {
  4808. "type": "map<string,string>",
  4809. "value": {
  4810. "stroke": "#000000",
  4811. "fill": "#000000",
  4812. "opacity": 0,
  4813. "stroke-width": 1
  4814. }
  4815. },
  4816. "mapper": {
  4817. "type": "code",
  4818. "value": ""
  4819. },
  4820. "parser": {
  4821. "type": "code",
  4822. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4823. },
  4824. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4825. "position": {
  4826. "type": "list<double>",
  4827. "value": [
  4828. "0;2.9989502715308163,-2.0614175367215775%",
  4829. "0;97.10245274525994,99.97875053099682%"
  4830. ]
  4831. },
  4832. "orientation": {
  4833. "type": "double",
  4834. "value": "0;91.18118891332664"
  4835. },
  4836. "scale": {
  4837. "type": "list<double>",
  4838. "value": [
  4839. 1,
  4840. 1
  4841. ]
  4842. },
  4843. "arrow": "arrowTail",
  4844. "arrowType": "diamond-black",
  4845. "$linkDecoratorInfo": {
  4846. "type": "map<string,double>",
  4847. "value": {
  4848. "xratio": 1,
  4849. "yoffset": -5
  4850. }
  4851. }
  4852. },
  4853. "273": {
  4854. "segments": {
  4855. "type": "string",
  4856. "value": "m0,0 l20,10 l-20,10 z"
  4857. },
  4858. "style": {
  4859. "type": "map<string,string>",
  4860. "value": {
  4861. "stroke": "#000000",
  4862. "fill": "#000000",
  4863. "opacity": 0,
  4864. "stroke-width": 1
  4865. }
  4866. },
  4867. "mapper": {
  4868. "type": "code",
  4869. "value": ""
  4870. },
  4871. "parser": {
  4872. "type": "code",
  4873. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4874. },
  4875. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4876. "position": {
  4877. "type": "list<double>",
  4878. "value": [
  4879. "0;7.997887798080683,-2.0614175367215775%",
  4880. "0;97.20552362209594,99.97875053099682%"
  4881. ]
  4882. },
  4883. "orientation": {
  4884. "type": "double",
  4885. "value": "0;91.18118891332664"
  4886. },
  4887. "scale": {
  4888. "type": "list<double>",
  4889. "value": [
  4890. 1,
  4891. 1
  4892. ]
  4893. },
  4894. "arrow": "arrowTail",
  4895. "arrowType": "triangle-black-large",
  4896. "$linkDecoratorInfo": {
  4897. "type": "map<string,double>",
  4898. "value": {
  4899. "xratio": 1,
  4900. "yoffset": -10
  4901. }
  4902. }
  4903. },
  4904. "274": {
  4905. "segments": {
  4906. "type": "string",
  4907. "value": "m0,0 l10,4 l-10,4 z"
  4908. },
  4909. "style": {
  4910. "type": "map<string,string>",
  4911. "value": {
  4912. "stroke": "#000000",
  4913. "fill": "#000000",
  4914. "opacity": 0,
  4915. "stroke-width": 1
  4916. }
  4917. },
  4918. "mapper": {
  4919. "type": "code",
  4920. "value": ""
  4921. },
  4922. "parser": {
  4923. "type": "code",
  4924. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4925. },
  4926. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4927. "position": {
  4928. "type": "list<double>",
  4929. "value": [
  4930. "0;1.9991627662208202,-2.0614175367215775%",
  4931. "0;97.08183856989274,99.97875053099682%"
  4932. ]
  4933. },
  4934. "orientation": {
  4935. "type": "double",
  4936. "value": "0;91.18118891332664"
  4937. },
  4938. "scale": {
  4939. "type": "list<double>",
  4940. "value": [
  4941. 1,
  4942. 1
  4943. ]
  4944. },
  4945. "arrow": "arrowTail",
  4946. "arrowType": "triangle-black",
  4947. "$linkDecoratorInfo": {
  4948. "type": "map<string,double>",
  4949. "value": {
  4950. "xratio": 1,
  4951. "yoffset": -4
  4952. }
  4953. }
  4954. },
  4955. "275": {
  4956. "segments": {
  4957. "type": "string",
  4958. "value": "m0,0 l20,8 l-20,8 l6,-8 z"
  4959. },
  4960. "style": {
  4961. "type": "map<string,string>",
  4962. "value": {
  4963. "stroke": "#000000",
  4964. "fill": "#000000",
  4965. "opacity": 0,
  4966. "stroke-width": 1
  4967. }
  4968. },
  4969. "mapper": {
  4970. "type": "code",
  4971. "value": ""
  4972. },
  4973. "parser": {
  4974. "type": "code",
  4975. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4976. },
  4977. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4978. "position": {
  4979. "type": "list<double>",
  4980. "value": [
  4981. "0;5.998312787460691,-2.0614175367215775%",
  4982. "0;97.16429527136154,99.97875053099682%"
  4983. ]
  4984. },
  4985. "orientation": {
  4986. "type": "double",
  4987. "value": "0;91.18118891332664"
  4988. },
  4989. "scale": {
  4990. "type": "list<double>",
  4991. "value": [
  4992. 1,
  4993. 1
  4994. ]
  4995. },
  4996. "arrow": "arrowTail",
  4997. "arrowType": "arrow-black-large",
  4998. "$linkDecoratorInfo": {
  4999. "type": "map<string,double>",
  5000. "value": {
  5001. "xratio": 1,
  5002. "yoffset": -8
  5003. }
  5004. }
  5005. },
  5006. "276": {
  5007. "segments": {
  5008. "type": "string",
  5009. "value": "m0,0 l20,10 l-20,10 z"
  5010. },
  5011. "style": {
  5012. "type": "map<string,string>",
  5013. "value": {
  5014. "stroke": "#000000",
  5015. "fill": "#ffffff",
  5016. "opacity": 0,
  5017. "stroke-width": 1
  5018. }
  5019. },
  5020. "mapper": {
  5021. "type": "code",
  5022. "value": ""
  5023. },
  5024. "parser": {
  5025. "type": "code",
  5026. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5027. },
  5028. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5029. "position": {
  5030. "type": "list<double>",
  5031. "value": [
  5032. "0;7.997887798080683,-2.0614175367215775%",
  5033. "0;97.20552362209594,99.97875053099682%"
  5034. ]
  5035. },
  5036. "orientation": {
  5037. "type": "double",
  5038. "value": "0;91.18118891332664"
  5039. },
  5040. "scale": {
  5041. "type": "list<double>",
  5042. "value": [
  5043. 1,
  5044. 1
  5045. ]
  5046. },
  5047. "arrow": "arrowTail",
  5048. "arrowType": "triangle-white-large",
  5049. "$linkDecoratorInfo": {
  5050. "type": "map<string,double>",
  5051. "value": {
  5052. "xratio": 1,
  5053. "yoffset": -10
  5054. }
  5055. }
  5056. },
  5057. "277": {
  5058. "segments": {
  5059. "type": "string",
  5060. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  5061. },
  5062. "style": {
  5063. "type": "map<string,string>",
  5064. "value": {
  5065. "stroke": "#000000",
  5066. "fill": "#ffffff",
  5067. "opacity": 0,
  5068. "stroke-width": 1
  5069. }
  5070. },
  5071. "mapper": {
  5072. "type": "code",
  5073. "value": ""
  5074. },
  5075. "parser": {
  5076. "type": "code",
  5077. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5078. },
  5079. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5080. "position": {
  5081. "type": "list<double>",
  5082. "value": [
  5083. "0;2.9989502715308163,-2.0614175367215775%",
  5084. "0;97.10245274525994,99.97875053099682%"
  5085. ]
  5086. },
  5087. "orientation": {
  5088. "type": "double",
  5089. "value": "0;91.18118891332664"
  5090. },
  5091. "scale": {
  5092. "type": "list<double>",
  5093. "value": [
  5094. 1,
  5095. 1
  5096. ]
  5097. },
  5098. "arrow": "arrowTail",
  5099. "arrowType": "diamond-white",
  5100. "$linkDecoratorInfo": {
  5101. "type": "map<string,double>",
  5102. "value": {
  5103. "xratio": 1,
  5104. "yoffset": -5
  5105. }
  5106. }
  5107. },
  5108. "278": {
  5109. "segments": {
  5110. "type": "string",
  5111. "value": "m0,0 l20,8 l-20,8"
  5112. },
  5113. "style": {
  5114. "type": "map<string,string>",
  5115. "value": {
  5116. "stroke": "#000000",
  5117. "fill": "#000000",
  5118. "fill-opacity": 0,
  5119. "stroke-width": 1,
  5120. "opacity": 0
  5121. }
  5122. },
  5123. "mapper": {
  5124. "type": "code",
  5125. "value": ""
  5126. },
  5127. "parser": {
  5128. "type": "code",
  5129. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5130. },
  5131. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5132. "position": {
  5133. "type": "list<double>",
  5134. "value": [
  5135. "0;5.998312787460691,-2.0614175367215775%",
  5136. "0;97.16429527136154,99.97875053099682%"
  5137. ]
  5138. },
  5139. "orientation": {
  5140. "type": "double",
  5141. "value": "0;91.18118891332664"
  5142. },
  5143. "scale": {
  5144. "type": "list<double>",
  5145. "value": [
  5146. 1,
  5147. 1
  5148. ]
  5149. },
  5150. "arrow": "arrowTail",
  5151. "arrowType": "arrow-empty-large",
  5152. "$linkDecoratorInfo": {
  5153. "type": "map<string,double>",
  5154. "value": {
  5155. "xratio": 1,
  5156. "yoffset": -8
  5157. }
  5158. }
  5159. },
  5160. "279": {
  5161. "r": {
  5162. "type": "double",
  5163. "value": 5
  5164. },
  5165. "style": {
  5166. "type": "map<string,string>",
  5167. "value": {
  5168. "stroke": "#000000",
  5169. "fill": "#ffffff",
  5170. "opacity": 0,
  5171. "stroke-width": 1
  5172. }
  5173. },
  5174. "mapper": {
  5175. "type": "code",
  5176. "value": ""
  5177. },
  5178. "parser": {
  5179. "type": "code",
  5180. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5181. },
  5182. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  5183. "position": {
  5184. "type": "list<double>",
  5185. "value": [
  5186. "0;2.9989502715308163,-2.0614175367215775%",
  5187. "0;97.10245274525994,99.97875053099682%"
  5188. ]
  5189. },
  5190. "orientation": {
  5191. "type": "double",
  5192. "value": "0;91.18118891332664"
  5193. },
  5194. "scale": {
  5195. "type": "list<double>",
  5196. "value": [
  5197. 1,
  5198. 1
  5199. ]
  5200. },
  5201. "arrow": "arrowTail",
  5202. "arrowType": "circle-white",
  5203. "$linkDecoratorInfo": {
  5204. "type": "map<string,double>",
  5205. "value": {
  5206. "xratio": 1,
  5207. "yoffset": -5
  5208. }
  5209. }
  5210. },
  5211. "280": {
  5212. "segments": {
  5213. "type": "string",
  5214. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  5215. },
  5216. "style": {
  5217. "type": "map<string,string>",
  5218. "value": {
  5219. "stroke": "#000000",
  5220. "fill": "#ffffff",
  5221. "opacity": 0,
  5222. "stroke-width": 1
  5223. }
  5224. },
  5225. "mapper": {
  5226. "type": "code",
  5227. "value": ""
  5228. },
  5229. "parser": {
  5230. "type": "code",
  5231. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5232. },
  5233. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5234. "position": {
  5235. "type": "list<double>",
  5236. "value": [
  5237. "0;7.997887798080683,-2.0614175367215775%",
  5238. "0;97.20552362209594,99.97875053099682%"
  5239. ]
  5240. },
  5241. "orientation": {
  5242. "type": "double",
  5243. "value": "0;91.18118891332664"
  5244. },
  5245. "scale": {
  5246. "type": "list<double>",
  5247. "value": [
  5248. 1,
  5249. 1
  5250. ]
  5251. },
  5252. "arrow": "arrowTail",
  5253. "arrowType": "diamond-white-large",
  5254. "$linkDecoratorInfo": {
  5255. "type": "map<string,double>",
  5256. "value": {
  5257. "xratio": 1,
  5258. "yoffset": -10
  5259. }
  5260. }
  5261. },
  5262. "281": {
  5263. "segments": {
  5264. "type": "string",
  5265. "value": "m0,0 l10,4 l-10,4"
  5266. },
  5267. "style": {
  5268. "type": "map<string,string>",
  5269. "value": {
  5270. "stroke": "#000000",
  5271. "fill": "#000000",
  5272. "fill-opacity": 0,
  5273. "stroke-width": 1,
  5274. "opacity": 0
  5275. }
  5276. },
  5277. "mapper": {
  5278. "type": "code",
  5279. "value": ""
  5280. },
  5281. "parser": {
  5282. "type": "code",
  5283. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5284. },
  5285. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5286. "position": {
  5287. "type": "list<double>",
  5288. "value": [
  5289. "0;1.9991627662208202,-2.0614175367215775%",
  5290. "0;97.08183856989274,99.97875053099682%"
  5291. ]
  5292. },
  5293. "orientation": {
  5294. "type": "double",
  5295. "value": "0;91.18118891332664"
  5296. },
  5297. "scale": {
  5298. "type": "list<double>",
  5299. "value": [
  5300. 1,
  5301. 1
  5302. ]
  5303. },
  5304. "arrow": "arrowTail",
  5305. "arrowType": "arrow-empty",
  5306. "$linkDecoratorInfo": {
  5307. "type": "map<string,double>",
  5308. "value": {
  5309. "xratio": 1,
  5310. "yoffset": -4
  5311. }
  5312. }
  5313. },
  5314. "282": {
  5315. "segments": {
  5316. "type": "string",
  5317. "value": "m0,0 l10,5 l-10,5 z"
  5318. },
  5319. "style": {
  5320. "type": "map<string,string>",
  5321. "value": {
  5322. "stroke": "#000000",
  5323. "fill": "#ffffff",
  5324. "opacity": 0,
  5325. "stroke-width": 1
  5326. }
  5327. },
  5328. "mapper": {
  5329. "type": "code",
  5330. "value": ""
  5331. },
  5332. "parser": {
  5333. "type": "code",
  5334. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5335. },
  5336. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5337. "position": {
  5338. "type": "list<double>",
  5339. "value": [
  5340. "0;2.9989502715308163,-2.0614175367215775%",
  5341. "0;97.10245274525994,99.97875053099682%"
  5342. ]
  5343. },
  5344. "orientation": {
  5345. "type": "double",
  5346. "value": "0;91.18118891332664"
  5347. },
  5348. "scale": {
  5349. "type": "list<double>",
  5350. "value": [
  5351. 1,
  5352. 1
  5353. ]
  5354. },
  5355. "arrow": "arrowTail",
  5356. "arrowType": "triangle-white",
  5357. "$linkDecoratorInfo": {
  5358. "type": "map<string,double>",
  5359. "value": {
  5360. "xratio": 1,
  5361. "yoffset": -5
  5362. }
  5363. }
  5364. },
  5365. "283": {
  5366. "segments": {
  5367. "type": "string",
  5368. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  5369. },
  5370. "style": {
  5371. "type": "map<string,string>",
  5372. "value": {
  5373. "stroke": "#000000",
  5374. "fill": "#ffffff",
  5375. "opacity": 0,
  5376. "stroke-width": 1
  5377. }
  5378. },
  5379. "mapper": {
  5380. "type": "code",
  5381. "value": ""
  5382. },
  5383. "parser": {
  5384. "type": "code",
  5385. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5386. },
  5387. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5388. "position": {
  5389. "type": "list<double>",
  5390. "value": [
  5391. "0;6.998937526549867,0%",
  5392. "0;-96.89692912316389,0%"
  5393. ]
  5394. },
  5395. "orientation": {
  5396. "type": "double",
  5397. "value": "0;91.18118891332664"
  5398. },
  5399. "scale": {
  5400. "type": "list<double>",
  5401. "value": [
  5402. 1,
  5403. 1
  5404. ]
  5405. },
  5406. "arrow": "arrowHead",
  5407. "arrowType": "diamond-white",
  5408. "$linkDecoratorInfo": {
  5409. "type": "map<string,double>",
  5410. "value": {
  5411. "xratio": -1,
  5412. "yoffset": -5
  5413. }
  5414. }
  5415. },
  5416. "284": {
  5417. "segments": {
  5418. "type": "string",
  5419. "value": "m0,0 l-10,5 l10,5 z"
  5420. },
  5421. "style": {
  5422. "type": "map<string,string>",
  5423. "value": {
  5424. "stroke": "#000000",
  5425. "fill": "#ffffff",
  5426. "opacity": 0,
  5427. "stroke-width": 1
  5428. }
  5429. },
  5430. "mapper": {
  5431. "type": "code",
  5432. "value": ""
  5433. },
  5434. "parser": {
  5435. "type": "code",
  5436. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5437. },
  5438. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5439. "position": {
  5440. "type": "list<double>",
  5441. "value": [
  5442. "0;6.998937526549867,0%",
  5443. "0;-96.89692912316389,0%"
  5444. ]
  5445. },
  5446. "orientation": {
  5447. "type": "double",
  5448. "value": "0;91.18118891332664"
  5449. },
  5450. "scale": {
  5451. "type": "list<double>",
  5452. "value": [
  5453. 1,
  5454. 1
  5455. ]
  5456. },
  5457. "arrow": "arrowHead",
  5458. "arrowType": "triangle-white",
  5459. "$linkDecoratorInfo": {
  5460. "type": "map<string,double>",
  5461. "value": {
  5462. "xratio": -1,
  5463. "yoffset": -5
  5464. }
  5465. }
  5466. },
  5467. "285": {
  5468. "segments": {
  5469. "type": "string",
  5470. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  5471. },
  5472. "style": {
  5473. "type": "map<string,string>",
  5474. "value": {
  5475. "stroke": "#000000",
  5476. "fill": "#000000",
  5477. "opacity": 0,
  5478. "stroke-width": 1
  5479. }
  5480. },
  5481. "mapper": {
  5482. "type": "code",
  5483. "value": ""
  5484. },
  5485. "parser": {
  5486. "type": "code",
  5487. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5488. },
  5489. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5490. "position": {
  5491. "type": "list<double>",
  5492. "value": [
  5493. "0;6.998937526549867,0%",
  5494. "0;-96.89692912316389,0%"
  5495. ]
  5496. },
  5497. "orientation": {
  5498. "type": "double",
  5499. "value": "0;91.18118891332664"
  5500. },
  5501. "scale": {
  5502. "type": "list<double>",
  5503. "value": [
  5504. 1,
  5505. 1
  5506. ]
  5507. },
  5508. "arrow": "arrowHead",
  5509. "arrowType": "diamond-black",
  5510. "$linkDecoratorInfo": {
  5511. "type": "map<string,double>",
  5512. "value": {
  5513. "xratio": -1,
  5514. "yoffset": -5
  5515. }
  5516. }
  5517. },
  5518. "286": {
  5519. "r": {
  5520. "type": "double",
  5521. "value": 10
  5522. },
  5523. "style": {
  5524. "type": "map<string,string>",
  5525. "value": {
  5526. "stroke": "#000000",
  5527. "fill": "#000000",
  5528. "opacity": 0,
  5529. "stroke-width": 1
  5530. }
  5531. },
  5532. "mapper": {
  5533. "type": "code",
  5534. "value": ""
  5535. },
  5536. "parser": {
  5537. "type": "code",
  5538. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5539. },
  5540. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  5541. "position": {
  5542. "type": "list<double>",
  5543. "value": [
  5544. "0;11.997875053099733,0%",
  5545. "0;-96.79385824632789,0%"
  5546. ]
  5547. },
  5548. "orientation": {
  5549. "type": "double",
  5550. "value": "0;91.18118891332664"
  5551. },
  5552. "scale": {
  5553. "type": "list<double>",
  5554. "value": [
  5555. 1,
  5556. 1
  5557. ]
  5558. },
  5559. "arrow": "arrowHead",
  5560. "arrowType": "circle-black-large",
  5561. "$linkDecoratorInfo": {
  5562. "type": "map<string,double>",
  5563. "value": {
  5564. "xratio": -1,
  5565. "yoffset": -10
  5566. }
  5567. }
  5568. },
  5569. "287": {
  5570. "segments": {
  5571. "type": "string",
  5572. "value": "m0,0 l-20,8 l20,8 l-6,-8 z"
  5573. },
  5574. "style": {
  5575. "type": "map<string,string>",
  5576. "value": {
  5577. "stroke": "#000000",
  5578. "fill": "#000000",
  5579. "opacity": 0,
  5580. "stroke-width": 1
  5581. }
  5582. },
  5583. "mapper": {
  5584. "type": "code",
  5585. "value": ""
  5586. },
  5587. "parser": {
  5588. "type": "code",
  5589. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5590. },
  5591. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5592. "position": {
  5593. "type": "list<double>",
  5594. "value": [
  5595. "0;9.998300042479741,0%",
  5596. "0;-96.83508659706229,0%"
  5597. ]
  5598. },
  5599. "orientation": {
  5600. "type": "double",
  5601. "value": "0;91.18118891332664"
  5602. },
  5603. "scale": {
  5604. "type": "list<double>",
  5605. "value": [
  5606. 1,
  5607. 1
  5608. ]
  5609. },
  5610. "arrow": "arrowHead",
  5611. "arrowType": "arrow-black-large",
  5612. "$linkDecoratorInfo": {
  5613. "type": "map<string,double>",
  5614. "value": {
  5615. "xratio": -1,
  5616. "yoffset": -8
  5617. }
  5618. }
  5619. },
  5620. "288": {
  5621. "segments": {
  5622. "type": "string",
  5623. "value": "m0,0 l-10,4 l10,4 l-3,-4 z"
  5624. },
  5625. "style": {
  5626. "type": "map<string,string>",
  5627. "value": {
  5628. "stroke": "#000000",
  5629. "fill": "#000000",
  5630. "opacity": 0,
  5631. "stroke-width": 1
  5632. }
  5633. },
  5634. "mapper": {
  5635. "type": "code",
  5636. "value": ""
  5637. },
  5638. "parser": {
  5639. "type": "code",
  5640. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5641. },
  5642. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5643. "position": {
  5644. "type": "list<double>",
  5645. "value": [
  5646. "0;5.9991500212398705,0%",
  5647. "0;-96.91754329853109,0%"
  5648. ]
  5649. },
  5650. "orientation": {
  5651. "type": "double",
  5652. "value": "0;91.18118891332664"
  5653. },
  5654. "scale": {
  5655. "type": "list<double>",
  5656. "value": [
  5657. 1,
  5658. 1
  5659. ]
  5660. },
  5661. "arrow": "arrowHead",
  5662. "arrowType": "arrow-black",
  5663. "$linkDecoratorInfo": {
  5664. "type": "map<string,double>",
  5665. "value": {
  5666. "xratio": -1,
  5667. "yoffset": -4
  5668. }
  5669. }
  5670. },
  5671. "289": {
  5672. "segments": {
  5673. "type": "string",
  5674. "value": "m0,0 l-20,10 l20,10 z"
  5675. },
  5676. "style": {
  5677. "type": "map<string,string>",
  5678. "value": {
  5679. "stroke": "#000000",
  5680. "fill": "#ffffff",
  5681. "opacity": 0,
  5682. "stroke-width": 1
  5683. }
  5684. },
  5685. "mapper": {
  5686. "type": "code",
  5687. "value": ""
  5688. },
  5689. "parser": {
  5690. "type": "code",
  5691. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5692. },
  5693. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5694. "position": {
  5695. "type": "list<double>",
  5696. "value": [
  5697. "0;11.997875053099733,0%",
  5698. "0;-96.79385824632789,0%"
  5699. ]
  5700. },
  5701. "orientation": {
  5702. "type": "double",
  5703. "value": "0;91.18118891332664"
  5704. },
  5705. "scale": {
  5706. "type": "list<double>",
  5707. "value": [
  5708. 1,
  5709. 1
  5710. ]
  5711. },
  5712. "arrow": "arrowHead",
  5713. "arrowType": "triangle-white-large",
  5714. "$linkDecoratorInfo": {
  5715. "type": "map<string,double>",
  5716. "value": {
  5717. "xratio": -1,
  5718. "yoffset": -10
  5719. }
  5720. }
  5721. },
  5722. "290": {
  5723. "segments": {
  5724. "type": "string",
  5725. "value": "m0,0 l-20,10 l20,10 z"
  5726. },
  5727. "style": {
  5728. "type": "map<string,string>",
  5729. "value": {
  5730. "stroke": "#000000",
  5731. "fill": "#000000",
  5732. "opacity": 0,
  5733. "stroke-width": 1
  5734. }
  5735. },
  5736. "mapper": {
  5737. "type": "code",
  5738. "value": ""
  5739. },
  5740. "parser": {
  5741. "type": "code",
  5742. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5743. },
  5744. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5745. "position": {
  5746. "type": "list<double>",
  5747. "value": [
  5748. "0;11.997875053099733,0%",
  5749. "0;-96.79385824632789,0%"
  5750. ]
  5751. },
  5752. "orientation": {
  5753. "type": "double",
  5754. "value": "0;91.18118891332664"
  5755. },
  5756. "scale": {
  5757. "type": "list<double>",
  5758. "value": [
  5759. 1,
  5760. 1
  5761. ]
  5762. },
  5763. "arrow": "arrowHead",
  5764. "arrowType": "triangle-black-large",
  5765. "$linkDecoratorInfo": {
  5766. "type": "map<string,double>",
  5767. "value": {
  5768. "xratio": -1,
  5769. "yoffset": -10
  5770. }
  5771. }
  5772. },
  5773. "291": {
  5774. "r": {
  5775. "type": "double",
  5776. "value": 5
  5777. },
  5778. "style": {
  5779. "type": "map<string,string>",
  5780. "value": {
  5781. "stroke": "#000000",
  5782. "fill": "#000000",
  5783. "opacity": 0,
  5784. "stroke-width": 1
  5785. }
  5786. },
  5787. "mapper": {
  5788. "type": "code",
  5789. "value": ""
  5790. },
  5791. "parser": {
  5792. "type": "code",
  5793. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5794. },
  5795. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  5796. "position": {
  5797. "type": "list<double>",
  5798. "value": [
  5799. "0;6.998937526549867,0%",
  5800. "0;-96.89692912316389,0%"
  5801. ]
  5802. },
  5803. "orientation": {
  5804. "type": "double",
  5805. "value": "0;91.18118891332664"
  5806. },
  5807. "scale": {
  5808. "type": "list<double>",
  5809. "value": [
  5810. 1,
  5811. 1
  5812. ]
  5813. },
  5814. "arrow": "arrowHead",
  5815. "arrowType": "circle-black",
  5816. "$linkDecoratorInfo": {
  5817. "type": "map<string,double>",
  5818. "value": {
  5819. "xratio": -1,
  5820. "yoffset": -5
  5821. }
  5822. }
  5823. },
  5824. "292": {
  5825. "r": {
  5826. "type": "double",
  5827. "value": 5
  5828. },
  5829. "style": {
  5830. "type": "map<string,string>",
  5831. "value": {
  5832. "stroke": "#000000",
  5833. "fill": "#ffffff",
  5834. "opacity": 0,
  5835. "stroke-width": 1
  5836. }
  5837. },
  5838. "mapper": {
  5839. "type": "code",
  5840. "value": ""
  5841. },
  5842. "parser": {
  5843. "type": "code",
  5844. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5845. },
  5846. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  5847. "position": {
  5848. "type": "list<double>",
  5849. "value": [
  5850. "0;6.998937526549867,0%",
  5851. "0;-96.89692912316389,0%"
  5852. ]
  5853. },
  5854. "orientation": {
  5855. "type": "double",
  5856. "value": "0;91.18118891332664"
  5857. },
  5858. "scale": {
  5859. "type": "list<double>",
  5860. "value": [
  5861. 1,
  5862. 1
  5863. ]
  5864. },
  5865. "arrow": "arrowHead",
  5866. "arrowType": "circle-white",
  5867. "$linkDecoratorInfo": {
  5868. "type": "map<string,double>",
  5869. "value": {
  5870. "xratio": -1,
  5871. "yoffset": -5
  5872. }
  5873. }
  5874. },
  5875. "293": {
  5876. "r": {
  5877. "type": "double",
  5878. "value": 10
  5879. },
  5880. "style": {
  5881. "type": "map<string,string>",
  5882. "value": {
  5883. "stroke": "#000000",
  5884. "fill": "#ffffff",
  5885. "opacity": 0,
  5886. "stroke-width": 1
  5887. }
  5888. },
  5889. "mapper": {
  5890. "type": "code",
  5891. "value": ""
  5892. },
  5893. "parser": {
  5894. "type": "code",
  5895. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5896. },
  5897. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  5898. "position": {
  5899. "type": "list<double>",
  5900. "value": [
  5901. "0;11.997875053099733,0%",
  5902. "0;-96.79385824632789,0%"
  5903. ]
  5904. },
  5905. "orientation": {
  5906. "type": "double",
  5907. "value": "0;91.18118891332664"
  5908. },
  5909. "scale": {
  5910. "type": "list<double>",
  5911. "value": [
  5912. 1,
  5913. 1
  5914. ]
  5915. },
  5916. "arrow": "arrowHead",
  5917. "arrowType": "circle-white-large",
  5918. "$linkDecoratorInfo": {
  5919. "type": "map<string,double>",
  5920. "value": {
  5921. "xratio": -1,
  5922. "yoffset": -10
  5923. }
  5924. }
  5925. },
  5926. "294": {
  5927. "segments": {
  5928. "type": "string",
  5929. "value": "m0,0 l-20,8 l20,8"
  5930. },
  5931. "style": {
  5932. "type": "map<string,string>",
  5933. "value": {
  5934. "stroke": "#000000",
  5935. "fill": "#000000",
  5936. "fill-opacity": 0,
  5937. "stroke-width": 1,
  5938. "opacity": 0
  5939. }
  5940. },
  5941. "mapper": {
  5942. "type": "code",
  5943. "value": ""
  5944. },
  5945. "parser": {
  5946. "type": "code",
  5947. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5948. },
  5949. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5950. "position": {
  5951. "type": "list<double>",
  5952. "value": [
  5953. "0;9.998300042479741,0%",
  5954. "0;-96.83508659706229,0%"
  5955. ]
  5956. },
  5957. "orientation": {
  5958. "type": "double",
  5959. "value": "0;91.18118891332664"
  5960. },
  5961. "scale": {
  5962. "type": "list<double>",
  5963. "value": [
  5964. 1,
  5965. 1
  5966. ]
  5967. },
  5968. "arrow": "arrowHead",
  5969. "arrowType": "arrow-empty-large",
  5970. "$linkDecoratorInfo": {
  5971. "type": "map<string,double>",
  5972. "value": {
  5973. "xratio": -1,
  5974. "yoffset": -8
  5975. }
  5976. }
  5977. },
  5978. "295": {
  5979. "segments": {
  5980. "type": "string",
  5981. "value": "m0,0 l-10,4 l10,4"
  5982. },
  5983. "style": {
  5984. "type": "map<string,string>",
  5985. "value": {
  5986. "stroke": "#000000",
  5987. "fill": "#000000",
  5988. "fill-opacity": 0,
  5989. "stroke-width": 1,
  5990. "opacity": 0
  5991. }
  5992. },
  5993. "mapper": {
  5994. "type": "code",
  5995. "value": ""
  5996. },
  5997. "parser": {
  5998. "type": "code",
  5999. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  6000. },
  6001. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  6002. "position": {
  6003. "type": "list<double>",
  6004. "value": [
  6005. "0;5.9991500212398705,0%",
  6006. "0;-96.91754329853109,0%"
  6007. ]
  6008. },
  6009. "orientation": {
  6010. "type": "double",
  6011. "value": "0;91.18118891332664"
  6012. },
  6013. "scale": {
  6014. "type": "list<double>",
  6015. "value": [
  6016. 1,
  6017. 1
  6018. ]
  6019. },
  6020. "arrow": "arrowHead",
  6021. "arrowType": "arrow-empty",
  6022. "$linkDecoratorInfo": {
  6023. "type": "map<string,double>",
  6024. "value": {
  6025. "xratio": -1,
  6026. "yoffset": -4
  6027. }
  6028. }
  6029. },
  6030. "296": {
  6031. "segments": {
  6032. "type": "string",
  6033. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  6034. },
  6035. "style": {
  6036. "type": "map<string,string>",
  6037. "value": {
  6038. "stroke": "#000000",
  6039. "fill": "#000000",
  6040. "opacity": 0,
  6041. "stroke-width": 1
  6042. }
  6043. },
  6044. "mapper": {
  6045. "type": "code",
  6046. "value": ""
  6047. },
  6048. "parser": {
  6049. "type": "code",
  6050. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  6051. },
  6052. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  6053. "position": {
  6054. "type": "list<double>",
  6055. "value": [
  6056. "0;11.997875053099733,0%",
  6057. "0;-96.79385824632789,0%"
  6058. ]
  6059. },
  6060. "orientation": {
  6061. "type": "double",
  6062. "value": "0;91.18118891332664"
  6063. },
  6064. "scale": {
  6065. "type": "list<double>",
  6066. "value": [
  6067. 1,
  6068. 1
  6069. ]
  6070. },
  6071. "arrow": "arrowHead",
  6072. "arrowType": "diamond-black-large",
  6073. "$linkDecoratorInfo": {
  6074. "type": "map<string,double>",
  6075. "value": {
  6076. "xratio": -1,
  6077. "yoffset": -10
  6078. }
  6079. }
  6080. },
  6081. "297": {
  6082. "segments": {
  6083. "type": "string",
  6084. "value": "m0,0 l-10,4 l10,4 z"
  6085. },
  6086. "style": {
  6087. "type": "map<string,string>",
  6088. "value": {
  6089. "stroke": "#000000",
  6090. "fill": "#000000",
  6091. "opacity": 0,
  6092. "stroke-width": 1
  6093. }
  6094. },
  6095. "mapper": {
  6096. "type": "code",
  6097. "value": ""
  6098. },
  6099. "parser": {
  6100. "type": "code",
  6101. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  6102. },
  6103. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  6104. "position": {
  6105. "type": "list<double>",
  6106. "value": [
  6107. "0;5.9991500212398705,0%",
  6108. "0;-96.91754329853109,0%"
  6109. ]
  6110. },
  6111. "orientation": {
  6112. "type": "double",
  6113. "value": "0;91.18118891332664"
  6114. },
  6115. "scale": {
  6116. "type": "list<double>",
  6117. "value": [
  6118. 1,
  6119. 1
  6120. ]
  6121. },
  6122. "arrow": "arrowHead",
  6123. "arrowType": "triangle-black",
  6124. "$linkDecoratorInfo": {
  6125. "type": "map<string,double>",
  6126. "value": {
  6127. "xratio": -1,
  6128. "yoffset": -4
  6129. }
  6130. }
  6131. },
  6132. "298": {
  6133. "segments": {
  6134. "type": "string",
  6135. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  6136. },
  6137. "style": {
  6138. "type": "map<string,string>",
  6139. "value": {
  6140. "stroke": "#000000",
  6141. "fill": "#ffffff",
  6142. "opacity": 0,
  6143. "stroke-width": 1
  6144. }
  6145. },
  6146. "mapper": {
  6147. "type": "code",
  6148. "value": ""
  6149. },
  6150. "parser": {
  6151. "type": "code",
  6152. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  6153. },
  6154. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  6155. "position": {
  6156. "type": "list<double>",
  6157. "value": [
  6158. "0;11.997875053099733,0%",
  6159. "0;-96.79385824632789,0%"
  6160. ]
  6161. },
  6162. "orientation": {
  6163. "type": "double",
  6164. "value": "0;91.18118891332664"
  6165. },
  6166. "scale": {
  6167. "type": "list<double>",
  6168. "value": [
  6169. 1,
  6170. 1
  6171. ]
  6172. },
  6173. "arrow": "arrowHead",
  6174. "arrowType": "diamond-white-large",
  6175. "$linkDecoratorInfo": {
  6176. "type": "map<string,double>",
  6177. "value": {
  6178. "xratio": -1,
  6179. "yoffset": -10
  6180. }
  6181. }
  6182. }
  6183. },
  6184. "edges": []
  6185. }
  6186. },
  6187. "$asuri": {
  6188. "type": "string",
  6189. "value": "/Formalisms/__Transformations__/Transformation/MoTif/fail/98.instance"
  6190. },
  6191. "$segments": {
  6192. "type": "map<string,list<string>>",
  6193. "value": {
  6194. "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/ARuleIcon/94.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/failLink/98.instance": "M717,482L715,579",
  6195. "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/failLink/98.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/EndFailIcon/7.instance": "M714.9969135944569,579.1496906688369L713.000012744981,675.9993818684238"
  6196. }
  6197. },
  6198. "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/failLink"
  6199. }
  6200. },
  6201. "edges": [],
  6202. "metamodels": [
  6203. "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons",
  6204. "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons",
  6205. "/Formalisms/LCA-new/LCA.defaultIcons.pattern"
  6206. ]
  6207. },
  6208. "asm": {
  6209. "nodes": {
  6210. "0": {
  6211. "$type": "/Formalisms/__Transformations__/Transformation/MoTif/Start"
  6212. },
  6213. "6": {
  6214. "$type": "/Formalisms/__Transformations__/Transformation/MoTif/EndSuccess"
  6215. },
  6216. "7": {
  6217. "$type": "/Formalisms/__Transformations__/Transformation/MoTif/EndFail"
  6218. },
  6219. "94": {
  6220. "rule": {
  6221. "type": "string",
  6222. "value": "/Formalisms/LCA-new/lfrule/R_highlight.model"
  6223. },
  6224. "name": {
  6225. "type": "string",
  6226. "value": "highlight"
  6227. },
  6228. "alias": {
  6229. "type": "string",
  6230. "value": ""
  6231. },
  6232. "$type": "/Formalisms/__Transformations__/Transformation/MoTif/ARule"
  6233. },
  6234. "96": {
  6235. "$type": "/Formalisms/__Transformations__/Transformation/MoTif/initial"
  6236. },
  6237. "97": {
  6238. "$type": "/Formalisms/__Transformations__/Transformation/MoTif/success"
  6239. },
  6240. "98": {
  6241. "$type": "/Formalisms/__Transformations__/Transformation/MoTif/fail"
  6242. }
  6243. },
  6244. "edges": [
  6245. {
  6246. "src": "0",
  6247. "dest": "96"
  6248. },
  6249. {
  6250. "src": "96",
  6251. "dest": "94"
  6252. },
  6253. {
  6254. "src": "94",
  6255. "dest": "97"
  6256. },
  6257. {
  6258. "src": "97",
  6259. "dest": "6"
  6260. },
  6261. {
  6262. "src": "94",
  6263. "dest": "98"
  6264. },
  6265. {
  6266. "src": "98",
  6267. "dest": "7"
  6268. }
  6269. ],
  6270. "metamodels": [
  6271. "/Formalisms/__Transformations__/Transformation/MoTif",
  6272. "/Formalisms/__Transformations__/TransformationRule/TransformationRule",
  6273. "/Formalisms/LCA-new/LCA.pattern"
  6274. ]
  6275. }
  6276. }