T_highlight.model 156 KB

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