PN.defaultIcons.pattern.metamodel 141 KB

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