T_arule.model 156 KB

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