123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409 |
- {
- "types": {
- "__pVisualisationIcon": [
- {
- "name": "typename",
- "type": "string",
- "default": "VisualisationIcon"
- },
- {
- "name": "position",
- "type": "list<double>",
- "default": [
- 249,
- 194
- ]
- },
- {
- "name": "orientation",
- "type": "double",
- "default": 0
- },
- {
- "name": "scale",
- "type": "list<double>",
- "default": [
- 1,
- 1
- ]
- },
- {
- "name": "mapper",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "parser",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "$contents",
- "type": "map<string,*>",
- "default": {
- "nodes": {
- "44": {
- "rx": {
- "type": "double",
- "value": 40
- },
- "ry": {
- "type": "double",
- "value": 80
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#ffffff",
- "fill-opacity": 1,
- "font-size": "20px",
- "stroke-width": 1,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Ellipse",
- "position": {
- "type": "list<double>",
- "value": [
- 13,
- 10.569400000000002
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "49": {
- "r": {
- "type": "double",
- "value": 20
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#ff0000",
- "fill-opacity": 1,
- "font-size": "20px",
- "stroke-width": 3,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
- "position": {
- "type": "list<double>",
- "value": [
- 33,
- 25.5694
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "50": {
- "r": {
- "type": "double",
- "value": 20
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#00ff00",
- "fill-opacity": 1,
- "font-size": "20px",
- "stroke-width": 3,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
- "position": {
- "type": "list<double>",
- "value": [
- 33,
- 115.56939999999997
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "51": {
- "r": {
- "type": "double",
- "value": 20
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#ffff00",
- "fill-opacity": 1,
- "font-size": "20px",
- "stroke-width": 3,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
- "position": {
- "type": "list<double>",
- "value": [
- 33,
- 70.56939999999997
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "52": {
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
- "position": {
- "type": "list<double>",
- "value": [
- 33.08353805641718,
- 28.168456133586773
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "link-style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#00ffff",
- "stroke-dasharray": "",
- "stroke-opacity": 0.1,
- "stroke-width": 1
- }
- }
- },
- "53": {
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
- "position": {
- "type": "list<double>",
- "value": [
- 33.016031975960914,
- 73.21252965978692
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "link-style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#00ffff",
- "stroke-dasharray": "",
- "stroke-opacity": 0.1,
- "stroke-width": 1
- }
- }
- },
- "54": {
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
- "position": {
- "type": "list<double>",
- "value": [
- 33.03767834763403,
- 50.704231233713784
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "link-style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#00ffff",
- "stroke-dasharray": "",
- "stroke-opacity": 0.1,
- "stroke-width": 1
- }
- }
- },
- "__pLabelText": {
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "textContent": {
- "type": "string",
- "value": "#"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#6000ff",
- "fill": "#6000ff",
- "font-size": "15px",
- "opacity": "1"
- }
- },
- "mapper": {
- "type": "code",
- "value": "({'textContent':getAttr('__pLabel')})"
- },
- "parser": {
- "type": "code",
- "value": "({'__pLabel':getAttr('textContent')})"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
- }
- },
- "edges": [
- {
- "src": "44",
- "dest": "52"
- },
- {
- "src": "52",
- "dest": "49"
- },
- {
- "src": "44",
- "dest": "53"
- },
- {
- "src": "53",
- "dest": "50"
- },
- {
- "src": "44",
- "dest": "54"
- },
- {
- "src": "54",
- "dest": "51"
- }
- ]
- }
- },
- {
- "name": "$asuri",
- "type": "string",
- "default": "-1"
- }
- ],
- "__pInterruptIcon": [
- {
- "name": "typename",
- "type": "string",
- "default": "InterruptIcon"
- },
- {
- "name": "position",
- "type": "list<double>",
- "default": [
- 839,
- 220
- ]
- },
- {
- "name": "orientation",
- "type": "double",
- "default": 0
- },
- {
- "name": "scale",
- "type": "list<double>",
- "default": [
- 1,
- 1
- ]
- },
- {
- "name": "mapper",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "parser",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "$contents",
- "type": "map<string,*>",
- "default": {
- "nodes": {
- "27": {
- "width": {
- "type": "double",
- "value": 100
- },
- "height": {
- "type": "double",
- "value": 69
- },
- "cornerRadius": {
- "type": "double",
- "value": 1
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#99ff99",
- "fill-opacity": 0.5,
- "font-size": "20px",
- "stroke-width": 1,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle",
- "position": {
- "type": "list<double>",
- "value": [
- 7,
- 6
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "29": {
- "textContent": {
- "type": "string",
- "value": "T..."
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#0000ff",
- "fill-opacity": 1,
- "font-size": "15px",
- "stroke-width": 0,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
- "position": {
- "type": "list<double>",
- "value": [
- 15,
- 14
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "30": {
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
- "position": {
- "type": "list<double>",
- "value": [
- 30.5,
- 16.25
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "link-style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#00ffff",
- "stroke-dasharray": "",
- "stroke-opacity": 0.1,
- "stroke-width": 1
- }
- }
- },
- "31": {
- "textContent": {
- "type": "string",
- "value": "T..."
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#000000",
- "fill-opacity": 1,
- "font-size": "15px",
- "stroke-width": 0,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
- "position": {
- "type": "list<double>",
- "value": [
- 16,
- 41
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "32": {
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
- "position": {
- "type": "list<double>",
- "value": [
- 29.104761552828222,
- 29.858332969401772
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "link-style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#00ffff",
- "stroke-dasharray": "",
- "stroke-opacity": 0.1,
- "stroke-width": 1
- }
- }
- },
- "__pLabelText": {
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "textContent": {
- "type": "string",
- "value": "#"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#6000ff",
- "fill": "#6000ff",
- "font-size": "15px",
- "opacity": "1"
- }
- },
- "mapper": {
- "type": "code",
- "value": "({'textContent':getAttr('__pLabel')})"
- },
- "parser": {
- "type": "code",
- "value": "({'__pLabel':getAttr('textContent')})"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
- }
- },
- "edges": [
- {
- "src": "27",
- "dest": "30"
- },
- {
- "src": "30",
- "dest": "29"
- },
- {
- "src": "27",
- "dest": "32"
- },
- {
- "src": "32",
- "dest": "31"
- }
- ]
- }
- },
- {
- "name": "$asuri",
- "type": "string",
- "default": "-1"
- }
- ],
- "__pTimeIcon": [
- {
- "name": "typename",
- "type": "string",
- "default": "TimeIcon"
- },
- {
- "name": "position",
- "type": "list<double>",
- "default": [
- 814,
- 451
- ]
- },
- {
- "name": "orientation",
- "type": "double",
- "default": 0
- },
- {
- "name": "scale",
- "type": "list<double>",
- "default": [
- 1,
- 1
- ]
- },
- {
- "name": "mapper",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "parser",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "$contents",
- "type": "map<string,*>",
- "default": {
- "nodes": {
- "34": {
- "rx": {
- "type": "double",
- "value": 50
- },
- "ry": {
- "type": "double",
- "value": 30
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#9999ff",
- "fill-opacity": 0.75,
- "font-size": "20px",
- "stroke-width": 1,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Ellipse",
- "position": {
- "type": "list<double>",
- "value": [
- 7,
- 26
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "36": {
- "textContent": {
- "type": "string",
- "value": "T..."
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#000000",
- "fill-opacity": 1,
- "font-size": "20px",
- "stroke-width": 0,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
- "position": {
- "type": "list<double>",
- "value": [
- 29,
- 44
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "37": {
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
- "position": {
- "type": "list<double>",
- "value": [
- 25.46270269242143,
- 40.75
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "link-style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#00ffff",
- "stroke-dasharray": "",
- "stroke-opacity": 0.1,
- "stroke-width": 1
- }
- }
- },
- "38": {
- "textContent": {
- "type": "string",
- "value": "Time"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#ffffff",
- "fill-opacity": 0.75,
- "font-size": "20px",
- "stroke-width": 1,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
- "position": {
- "type": "list<double>",
- "value": [
- 33,
- 3
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "__pLabelText": {
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "textContent": {
- "type": "string",
- "value": "#"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#6000ff",
- "fill": "#6000ff",
- "font-size": "15px",
- "opacity": "1"
- }
- },
- "mapper": {
- "type": "code",
- "value": "({'textContent':getAttr('__pLabel')})"
- },
- "parser": {
- "type": "code",
- "value": "({'__pLabel':getAttr('textContent')})"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
- }
- },
- "edges": [
- {
- "src": "34",
- "dest": "37"
- },
- {
- "src": "37",
- "dest": "36"
- }
- ]
- }
- },
- {
- "name": "$asuri",
- "type": "string",
- "default": "-1"
- }
- ],
- "__pTimedTransitionLink": [
- {
- "name": "link-style",
- "type": "map<string,string>",
- "default": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "stroke-opacity": 1,
- "stroke-width": 2
- }
- },
- {
- "name": "arrowHead",
- "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
- "default": "custom"
- },
- {
- "name": "arrowTail",
- "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
- "default": "arrow-black"
- },
- {
- "name": "typename",
- "type": "string",
- "default": "TimedTransitionLink"
- },
- {
- "name": "position",
- "type": "list<double>",
- "default": [
- 538,
- 210
- ]
- },
- {
- "name": "orientation",
- "type": "double",
- "default": 0
- },
- {
- "name": "scale",
- "type": "list<double>",
- "default": [
- 1,
- 1
- ]
- },
- {
- "name": "mapper",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "parser",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "$contents",
- "type": "map<string,*>",
- "default": {
- "nodes": {
- "9": {
- "textContent": {
- "type": "string",
- "value": "T..."
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#0000ff",
- "stroke-dasharray": "",
- "fill": "#0000ff",
- "fill-opacity": 1,
- "font-size": "20px",
- "stroke-width": 0,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "$linkDecoratorInfo": {
- "type": "map<string,double>",
- "value": {
- "xratio": 0.49693251533742333,
- "yoffset": -26.5
- }
- }
- },
- "267": {
- "segments": {
- "type": "string",
- "value": "m0,0 l10,4 l-10,4 l3,-4 z"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "fill": "#000000",
- "opacity": 1,
- "stroke-width": 1
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "$linkDecoratorInfo": {
- "type": "map<string,double>",
- "value": {
- "xratio": 1,
- "yoffset": -4
- }
- }
- },
- "__pLabelText": {
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "textContent": {
- "type": "string",
- "value": "#"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#6000ff",
- "fill": "#6000ff",
- "font-size": "15px",
- "opacity": "1"
- }
- },
- "mapper": {
- "type": "code",
- "value": "({'textContent':getAttr('__pLabel')})"
- },
- "parser": {
- "type": "code",
- "value": "({'__pLabel':getAttr('textContent')})"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
- }
- },
- "edges": []
- }
- },
- {
- "name": "$asuri",
- "type": "string",
- "default": "-1"
- },
- {
- "name": "$segments",
- "type": "map<string,list<string>>",
- "default": {}
- }
- ],
- "__pInterruptTransitionLink": [
- {
- "name": "link-style",
- "type": "map<string,string>",
- "default": {
- "stroke": "#00ff00",
- "stroke-dasharray": "",
- "stroke-opacity": 1,
- "stroke-width": 2
- }
- },
- {
- "name": "arrowHead",
- "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
- "default": "custom"
- },
- {
- "name": "arrowTail",
- "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
- "default": "arrow-black"
- },
- {
- "name": "typename",
- "type": "string",
- "default": "InterruptTransitionLink"
- },
- {
- "name": "position",
- "type": "list<double>",
- "default": [
- 529,
- 447
- ]
- },
- {
- "name": "orientation",
- "type": "double",
- "default": 0
- },
- {
- "name": "scale",
- "type": "list<double>",
- "default": [
- 1,
- 1
- ]
- },
- {
- "name": "mapper",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "parser",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "$contents",
- "type": "map<string,*>",
- "default": {
- "nodes": {
- "11": {
- "textContent": {
- "type": "string",
- "value": "T..."
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#000000",
- "fill-opacity": 1,
- "font-size": "20px",
- "stroke-width": 0,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "$linkDecoratorInfo": {
- "type": "map<string,double>",
- "value": {
- "xratio": 0.5030674846625767,
- "yoffset": -27.5
- }
- }
- },
- "267": {
- "segments": {
- "type": "string",
- "value": "m0,0 l10,4 l-10,4 l3,-4 z"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "fill": "#000000",
- "opacity": 1,
- "stroke-width": 1
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "$linkDecoratorInfo": {
- "type": "map<string,double>",
- "value": {
- "xratio": 1,
- "yoffset": -4
- }
- }
- },
- "__pLabelText": {
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "textContent": {
- "type": "string",
- "value": "#"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#6000ff",
- "fill": "#6000ff",
- "font-size": "15px",
- "opacity": "1"
- }
- },
- "mapper": {
- "type": "code",
- "value": "({'textContent':getAttr('__pLabel')})"
- },
- "parser": {
- "type": "code",
- "value": "({'__pLabel':getAttr('textContent')})"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
- }
- },
- "edges": []
- }
- },
- {
- "name": "$asuri",
- "type": "string",
- "default": "-1"
- },
- {
- "name": "$segments",
- "type": "map<string,list<string>>",
- "default": {}
- }
- ],
- "__pNextLink": [
- {
- "name": "link-style",
- "type": "map<string,string>",
- "default": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "stroke-opacity": 1,
- "stroke-width": 2
- }
- },
- {
- "name": "arrowHead",
- "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
- "default": "custom"
- },
- {
- "name": "arrowTail",
- "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
- "default": "arrow-black"
- },
- {
- "name": "typename",
- "type": "string",
- "default": "NextLink"
- },
- {
- "name": "position",
- "type": "list<double>",
- "default": [
- 1064,
- 443
- ]
- },
- {
- "name": "orientation",
- "type": "double",
- "default": 0
- },
- {
- "name": "scale",
- "type": "list<double>",
- "default": [
- 1,
- 1
- ]
- },
- {
- "name": "mapper",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "parser",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "$contents",
- "type": "map<string,*>",
- "default": {
- "nodes": {
- "267": {
- "segments": {
- "type": "string",
- "value": "m0,0 l10,4 l-10,4 l3,-4 z"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "fill": "#000000",
- "opacity": 1,
- "stroke-width": 1
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "$linkDecoratorInfo": {
- "type": "map<string,double>",
- "value": {
- "xratio": 1,
- "yoffset": -4
- }
- }
- },
- "__pLabelText": {
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "textContent": {
- "type": "string",
- "value": "#"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#6000ff",
- "fill": "#6000ff",
- "font-size": "15px",
- "opacity": "1"
- }
- },
- "mapper": {
- "type": "code",
- "value": "({'textContent':getAttr('__pLabel')})"
- },
- "parser": {
- "type": "code",
- "value": "({'__pLabel':getAttr('textContent')})"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
- }
- },
- "edges": []
- }
- },
- {
- "name": "$asuri",
- "type": "string",
- "default": "-1"
- },
- {
- "name": "$segments",
- "type": "map<string,list<string>>",
- "default": {}
- }
- ],
- "__pEndIcon": [
- {
- "name": "typename",
- "type": "string",
- "default": "EndIcon"
- },
- {
- "name": "position",
- "type": "list<double>",
- "default": [
- 1079,
- 227
- ]
- },
- {
- "name": "orientation",
- "type": "double",
- "default": 0
- },
- {
- "name": "scale",
- "type": "list<double>",
- "default": [
- 1,
- 1
- ]
- },
- {
- "name": "mapper",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "parser",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "$contents",
- "type": "map<string,*>",
- "default": {
- "nodes": {
- "62": {
- "r": {
- "type": "double",
- "value": 10
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#ffffff",
- "fill-opacity": 0.75,
- "font-size": "20px",
- "stroke-width": 6,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
- "position": {
- "type": "list<double>",
- "value": [
- 10,
- 9
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "__pLabelText": {
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "textContent": {
- "type": "string",
- "value": "#"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#6000ff",
- "fill": "#6000ff",
- "font-size": "15px",
- "opacity": "1"
- }
- },
- "mapper": {
- "type": "code",
- "value": "({'textContent':getAttr('__pLabel')})"
- },
- "parser": {
- "type": "code",
- "value": "({'__pLabel':getAttr('textContent')})"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
- }
- },
- "edges": []
- }
- },
- {
- "name": "$asuri",
- "type": "string",
- "default": "-1"
- }
- ],
- "__pAbstractInterruptIcon": [
- {
- "name": "typename",
- "type": "string",
- "default": "__pAbstractInterruptIcon"
- },
- {
- "name": "position",
- "type": "list<double>",
- "default": [
- 0,
- 0
- ]
- },
- {
- "name": "orientation",
- "type": "double",
- "default": 0
- },
- {
- "name": "scale",
- "type": "list<double>",
- "default": [
- 1,
- 1
- ]
- },
- {
- "name": "mapper",
- "type": "code",
- "default": ""
- },
- {
- "name": "parser",
- "type": "code",
- "default": ""
- },
- {
- "name": "$contents",
- "type": "map<string,*>",
- "default": {
- "nodes": {
- "text": {
- "textContent": {
- "type": "string",
- "value": "__pAbstractInterruptIcon"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#000000",
- "fill-opacity": "1",
- "font-size": "13px"
- }
- },
- "mapper": {
- "type": "code",
- "value": ""
- },
- "parser": {
- "type": "code",
- "value": ""
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
- "position": {
- "type": "list<double>",
- "value": [
- 10,
- 76
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "rect": {
- "width": {
- "type": "double",
- "value": 75
- },
- "height": {
- "type": "double",
- "value": 75
- },
- "cornerRadius": {
- "type": "double",
- "value": 15
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "fill": "#ffffff",
- "fill-opacity": 0.75
- }
- },
- "mapper": {
- "type": "code",
- "value": ""
- },
- "parser": {
- "type": "code",
- "value": ""
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle",
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "textBelowRect": {
- "distance": {
- "type": "double",
- "value": 10
- },
- "alignment": {
- "type": "ENUM(\"right\",\"left\",\"center\")",
- "value": "center"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Below",
- "position": {
- "type": "list<double>",
- "value": [
- 5,
- 38
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "link-style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#00ff00",
- "stroke-dasharray": "",
- "stroke-opacity": 1,
- "arrow-start": "none",
- "arrow-end": "classic-wide-long"
- }
- }
- },
- "__pLabelText": {
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "textContent": {
- "type": "string",
- "value": "#"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#6000ff",
- "fill": "#6000ff",
- "font-size": "15px",
- "opacity": "1"
- }
- },
- "mapper": {
- "type": "code",
- "value": "({'textContent':getAttr('__pLabel')})"
- },
- "parser": {
- "type": "code",
- "value": "({'__pLabel':getAttr('textContent')})"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
- }
- },
- "edges": [
- {
- "src": "text",
- "dest": "textBelowRect"
- },
- {
- "src": "textBelowRect",
- "dest": "rect"
- }
- ]
- }
- },
- {
- "name": "$asuri",
- "type": "string",
- "default": "-1"
- }
- ],
- "__pStateIcon": [
- {
- "name": "typename",
- "type": "string",
- "default": "StateIcon"
- },
- {
- "name": "position",
- "type": "list<double>",
- "default": [
- 246,
- 421.1562
- ]
- },
- {
- "name": "orientation",
- "type": "double",
- "default": 0
- },
- {
- "name": "scale",
- "type": "list<double>",
- "default": [
- 1,
- 1
- ]
- },
- {
- "name": "mapper",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "parser",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "$contents",
- "type": "map<string,*>",
- "default": {
- "nodes": {
- "56": {
- "r": {
- "type": "double",
- "value": 20
- },
- "rays": {
- "type": "int",
- "value": 5
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#ffff00",
- "fill-opacity": 0,
- "font-size": "20px",
- "stroke-width": 0,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Star",
- "position": {
- "type": "list<double>",
- "value": [
- 9,
- 7.045099999999991
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "75": {
- "textContent": {
- "type": "string",
- "value": "state"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#000000",
- "fill-opacity": 1,
- "font-size": "20px",
- "stroke-width": 0,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
- "position": {
- "type": "list<double>",
- "value": [
- 26,
- 81.36449999999996
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "84": {
- "r": {
- "type": "double",
- "value": 25
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "stroke-dasharray": "",
- "fill": "#ffffff",
- "fill-opacity": 0.75,
- "font-size": "20px",
- "stroke-width": 2,
- "arrow-start": "none",
- "arrow-end": "none"
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
- "position": {
- "type": "list<double>",
- "value": [
- 24,
- 34.360971374511735
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- }
- },
- "__pLabelText": {
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "textContent": {
- "type": "string",
- "value": "#"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#6000ff",
- "fill": "#6000ff",
- "font-size": "15px",
- "opacity": "1"
- }
- },
- "mapper": {
- "type": "code",
- "value": "({'textContent':getAttr('__pLabel')})"
- },
- "parser": {
- "type": "code",
- "value": "({'__pLabel':getAttr('textContent')})"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
- }
- },
- "edges": []
- }
- },
- {
- "name": "$asuri",
- "type": "string",
- "default": "-1"
- }
- ],
- "__pVisualisedByLink": [
- {
- "name": "link-style",
- "type": "map<string,string>",
- "default": {
- "stroke": "#000000",
- "stroke-dasharray": "-",
- "stroke-opacity": 1,
- "stroke-width": 1
- }
- },
- {
- "name": "arrowHead",
- "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
- "default": "custom"
- },
- {
- "name": "arrowTail",
- "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
- "default": "arrow-black"
- },
- {
- "name": "typename",
- "type": "string",
- "default": "VisualisedByLink"
- },
- {
- "name": "position",
- "type": "list<double>",
- "default": [
- 231,
- 682.0034713745117
- ]
- },
- {
- "name": "orientation",
- "type": "double",
- "default": 0
- },
- {
- "name": "scale",
- "type": "list<double>",
- "default": [
- 1,
- 1
- ]
- },
- {
- "name": "mapper",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "parser",
- "type": "code",
- "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- {
- "name": "$contents",
- "type": "map<string,*>",
- "default": {
- "nodes": {
- "267": {
- "segments": {
- "type": "string",
- "value": "m0,0 l10,4 l-10,4 l3,-4 z"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#000000",
- "fill": "#000000",
- "opacity": 1,
- "stroke-width": 1
- }
- },
- "mapper": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "parser": {
- "type": "code",
- "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "$linkDecoratorInfo": {
- "type": "map<string,double>",
- "value": {
- "xratio": 1,
- "yoffset": -4
- }
- }
- },
- "__pLabelText": {
- "position": {
- "type": "list<double>",
- "value": [
- 0,
- 0
- ]
- },
- "orientation": {
- "type": "double",
- "value": 0
- },
- "scale": {
- "type": "list<double>",
- "value": [
- 1,
- 1
- ]
- },
- "textContent": {
- "type": "string",
- "value": "#"
- },
- "style": {
- "type": "map<string,string>",
- "value": {
- "stroke": "#6000ff",
- "fill": "#6000ff",
- "font-size": "15px",
- "opacity": "1"
- }
- },
- "mapper": {
- "type": "code",
- "value": "({'textContent':getAttr('__pLabel')})"
- },
- "parser": {
- "type": "code",
- "value": "({'__pLabel':getAttr('textContent')})"
- },
- "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
- }
- },
- "edges": []
- }
- },
- {
- "name": "$asuri",
- "type": "string",
- "default": "-1"
- },
- {
- "name": "$segments",
- "type": "map<string,list<string>>",
- "default": {}
- }
- ]
- },
- "constraints": [],
- "actions": [],
- "cardinalities": {
- "__pVisualisationIcon": [],
- "__pInterruptIcon": [],
- "__pTimeIcon": [],
- "__pTimedTransitionLink": [],
- "__pInterruptTransitionLink": [],
- "__pNextLink": [],
- "__pEndIcon": [],
- "__pAbstractInterruptIcon": [],
- "__pStateIcon": [],
- "__pVisualisedByLink": []
- },
- "legalConnections": {},
- "connectorTypes": {},
- "types2parentTypes": {
- "__pVisualisationIcon": [],
- "__pInterruptIcon": [],
- "__pTimeIcon": [],
- "__pTimedTransitionLink": [],
- "__pInterruptTransitionLink": [],
- "__pNextLink": [],
- "__pEndIcon": [],
- "__pAbstractInterruptIcon": [],
- "__pStateIcon": [],
- "__pVisualisedByLink": []
- }
- }
|