T_sequenceTest.model 160 KB

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