T_handleTokens.model 173 KB

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