canvasBehaviour.model 153 KB

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