{ "csm": { "nodes": { "0": { "typename": { "type": "string", "value": "LHSIcon" }, "position": { "type": "list", "value": [ 649, 325 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$contents": { "type": "map", "value": { "nodes": { "4": { "segments": { "type": "string", "value": "m0,0 l350,0 l100,250 l-100,250 l-350,0z" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "stroke-width": 2, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 1, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/LHS/0.instance" }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/LHSIcon" }, "1": { "typename": { "type": "string", "value": "RHSIcon" }, "position": { "type": "list", "value": [ 1143, 332 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$contents": { "type": "map", "value": { "nodes": { "7": { "segments": { "type": "string", "value": "m0,0 l450,0 l0,500 l-450,0 l100,-250z" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "stroke-width": 2, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/RHS/1.instance" }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/RHSIcon" }, "2": { "typename": { "type": "string", "value": "GridNodeIcon" }, "position": { "type": "list", "value": [ 801, 444 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$contents": { "type": "map", "value": { "nodes": { "35": { "width": { "type": "double", "value": 100 }, "height": { "type": "double", "value": 100 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#C0C0C0", "fill-opacity": 1, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 2, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "69": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 3, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "75": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 10.610866770773328, 10.104345196021995 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "76": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 3, 70 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "77": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 10, 43.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "78": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 71, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "80": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 43.5, 10 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "81": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 71, 70 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "82": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 43.5, 43.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "__pLabelText": { "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "textContent": { "type": "string", "value": "0" }, "style": { "type": "map", "value": { "stroke": "#6000ff", "fill": "#6000ff", "font-size": "15px", "opacity": "1" } }, "mapper": { "type": "code", "value": "({'textContent':getAttr('__pLabel')})" }, "parser": { "type": "code", "value": "({'__pLabel':getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text" } }, "edges": [ { "src": "35", "dest": "75" }, { "src": "75", "dest": "69" }, { "src": "35", "dest": "77" }, { "src": "77", "dest": "76" }, { "src": "35", "dest": "80" }, { "src": "80", "dest": "78" }, { "src": "35", "dest": "82" }, { "src": "82", "dest": "81" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__pGridNode/2.instance" }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon" }, "3": { "typename": { "type": "string", "value": "GridNodeIcon" }, "position": { "type": "list", "value": [ 801, 569 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$contents": { "type": "map", "value": { "nodes": { "35": { "width": { "type": "double", "value": 100 }, "height": { "type": "double", "value": 100 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#C0C0C0", "fill-opacity": 1, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 2, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "69": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 3, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "75": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 10.610866770773328, 10.104345196021995 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "76": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 3, 70 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "77": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 10, 43.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "78": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 71, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "80": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 43.5, 10 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "81": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 71, 70 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "82": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 43.5, 43.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "__pLabelText": { "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "textContent": { "type": "string", "value": "1" }, "style": { "type": "map", "value": { "stroke": "#6000ff", "fill": "#6000ff", "font-size": "15px", "opacity": "1" } }, "mapper": { "type": "code", "value": "({'textContent':getAttr('__pLabel')})" }, "parser": { "type": "code", "value": "({'__pLabel':getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text" } }, "edges": [ { "src": "35", "dest": "75" }, { "src": "75", "dest": "69" }, { "src": "35", "dest": "77" }, { "src": "77", "dest": "76" }, { "src": "35", "dest": "80" }, { "src": "80", "dest": "78" }, { "src": "35", "dest": "82" }, { "src": "82", "dest": "81" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__pGridNode/3.instance" }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon" }, "4": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "topLink" }, "position": { "type": "list", "value": [ 890.4965909325697, 557.1499989669422 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$contents": { "type": "map", "value": { "nodes": { "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;3.5023918819996425,-2.272140535327988%", "0;21.94020586934687,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "268": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;9.50084289526933,-2.272140535327988%", "0;22.076534301466495,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "269": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;9.50084289526933,-2.272140535327988%", "0;22.076534301466495,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "270": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;9.50084289526933,-2.272140535327988%", "0;22.076534301466495,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "271": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;4.502133717544552,-2.272140535327988%", "0;21.962927274700178,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "272": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4.502133717544552,-2.272140535327988%", "0;21.962927274700178,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "273": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;9.50084289526933,-2.272140535327988%", "0;22.076534301466495,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "274": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;3.5023918819996425,-2.272140535327988%", "0;21.94020586934687,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "275": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8 l6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;7.501359224179396,-2.272140535327988%", "0;22.03109149075999,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "276": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;9.50084289526933,-2.272140535327988%", "0;22.076534301466495,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "277": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4.502133717544552,-2.272140535327988%", "0;21.962927274700178,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "278": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;7.501359224179396,-2.272140535327988%", "0;22.03109149075999,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "279": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;4.502133717544552,-2.272140535327988%", "0;21.962927274700178,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "280": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;9.50084289526933,-2.272140535327988%", "0;22.076534301466495,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "281": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;3.5023918819996425,-2.272140535327988%", "0;21.94020586934687,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "282": { "segments": { "type": "string", "value": "m0,0 l10,5 l-10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4.502133717544552,-2.272140535327988%", "0;21.962927274700178,99.9741835544943%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257805" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "283": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;5.502118245154975,0%", "0;-22.036391940175804,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "284": { "segments": { "type": "string", "value": "m0,0 l-10,5 l10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;5.502118245154975,0%", "0;-22.036391940175804,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "285": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;5.502118245154975,0%", "0;-22.036391940175804,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "286": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;10.500827422879752,0%", "0;-21.922784913409373,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "287": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8 l-6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;8.501343751789818,0%", "0;-21.968227724115877,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "288": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 l-3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4.502376409610065,0%", "0;-22.059113345529113,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "289": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10.500827422879752,0%", "0;-21.922784913409373,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "290": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10.500827422879752,0%", "0;-21.922784913409373,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "291": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;5.502118245154975,0%", "0;-22.036391940175804,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "292": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;5.502118245154975,0%", "0;-22.036391940175804,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "293": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;10.500827422879752,0%", "0;-21.922784913409373,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "294": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;8.501343751789818,0%", "0;-21.968227724115877,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "295": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4.502376409610065,0%", "0;-22.059113345529113,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "296": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10.500827422879752,0%", "0;-21.922784913409373,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "297": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4.502376409610065,0%", "0;-22.059113345529113,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "298": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10.500827422879752,0%", "0;-21.922784913409373,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257866" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "__pLabelText": { "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "textContent": { "type": "string", "value": "2" }, "style": { "type": "map", "value": { "stroke": "#6000ff", "fill": "#6000ff", "font-size": "15px", "opacity": "1" } }, "mapper": { "type": "code", "value": "({'textContent':getAttr('__pLabel')})" }, "parser": { "type": "code", "value": "({'__pLabel':getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text" } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__ptop/4.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/2.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__ptopLink/4.instance": "M891,535L890.4965909325696,557.1499989669422", "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__ptopLink/4.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/3.instance": "M890.4983032053747,557.0746589635298L890.0000154723896,578.999319214876" } }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__ptopLink" }, "7": { "link-style": { "type": "map", "value": { "stroke": "#00ff00", "stroke-dasharray": "", "stroke-opacity": 0.2, "stroke-width": 1, "arrow-start": "none", "arrow-end": "classic-wide-long" } }, "typename": { "type": "string", "value": "PatternContentsLink" }, "position": { "type": "list", "value": [ 751.115209103267, 409.8466729851671 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents/7.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/LHSIcon/0.instance--/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/7.instance": "M650,325L751.115209103267,409.8466729851672", "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/7.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/2.instance": "M751.1150338803636,409.8465259540676L851.999649731657,494.4997060867121" } }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink" }, "8": { "link-style": { "type": "map", "value": { "stroke": "#00ff00", "stroke-dasharray": "", "stroke-opacity": 0.2, "stroke-width": 1, "arrow-start": "none", "arrow-end": "classic-wide-long" } }, "typename": { "type": "string", "value": "PatternContentsLink" }, "position": { "type": "list", "value": [ 751.0848739407006, 472.373739482853 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents/8.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/LHSIcon/0.instance--/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/8.instance": "M650,325L751.0848739407006,472.373739482853", "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/8.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/3.instance": "M751.0422943283977,472.3116617807582L851.9995723038598,619.4993764529044" } }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink" }, "9": { "typename": { "type": "string", "value": "GridNodeIcon" }, "position": { "type": "list", "value": [ 1390, 455 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$contents": { "type": "map", "value": { "nodes": { "35": { "width": { "type": "double", "value": 100 }, "height": { "type": "double", "value": 100 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#C0C0C0", "fill-opacity": 1, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 2, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "69": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 3, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "75": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 10.610866770773328, 10.104345196021995 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "76": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 3, 70 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "77": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 10, 43.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "78": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 71, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "80": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 43.5, 10 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "81": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 71, 70 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "82": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 43.5, 43.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "__pLabelText": { "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "textContent": { "type": "string", "value": "0" }, "style": { "type": "map", "value": { "stroke": "#6000ff", "fill": "#6000ff", "font-size": "15px", "opacity": "1" } }, "mapper": { "type": "code", "value": "({'textContent':getAttr('__pLabel')})" }, "parser": { "type": "code", "value": "({'__pLabel':getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text" } }, "edges": [ { "src": "35", "dest": "75" }, { "src": "75", "dest": "69" }, { "src": "35", "dest": "77" }, { "src": "77", "dest": "76" }, { "src": "35", "dest": "80" }, { "src": "80", "dest": "78" }, { "src": "35", "dest": "82" }, { "src": "82", "dest": "81" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__pGridNode/9.instance" }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon" }, "11": { "typename": { "type": "string", "value": "GridNodeIcon" }, "position": { "type": "list", "value": [ 1390, 580 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$contents": { "type": "map", "value": { "nodes": { "35": { "width": { "type": "double", "value": 100 }, "height": { "type": "double", "value": 100 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#C0C0C0", "fill-opacity": 1, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 2, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "69": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 3, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "75": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 10.610866770773328, 10.104345196021995 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "76": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 3, 70 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "77": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 10, 43.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "78": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 71, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "80": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 43.5, 10 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "81": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 71, 70 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "82": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 43.5, 43.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "__pLabelText": { "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "textContent": { "type": "string", "value": "1" }, "style": { "type": "map", "value": { "stroke": "#6000ff", "fill": "#6000ff", "font-size": "15px", "opacity": "1" } }, "mapper": { "type": "code", "value": "({'textContent':getAttr('__pLabel')})" }, "parser": { "type": "code", "value": "({'__pLabel':getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text" } }, "edges": [ { "src": "35", "dest": "75" }, { "src": "75", "dest": "69" }, { "src": "35", "dest": "77" }, { "src": "77", "dest": "76" }, { "src": "35", "dest": "80" }, { "src": "80", "dest": "78" }, { "src": "35", "dest": "82" }, { "src": "82", "dest": "81" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__pGridNode/11.instance" }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon" }, "13": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "topLink" }, "position": { "type": "list", "value": [ 1479.4965909325697, 568.1499989669422 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$contents": { "type": "map", "value": { "nodes": { "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;3.5023918819995288,-2.272140535329564%", "0;21.940205869346983,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "268": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;9.500842895268988,-2.272140535329564%", "0;22.076534301466722,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "269": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;9.500842895268988,-2.272140535329564%", "0;22.076534301466722,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "270": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;9.500842895268988,-2.272140535329564%", "0;22.076534301466722,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "271": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;4.502133717544439,-2.272140535329564%", "0;21.962927274700178,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "272": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4.502133717544439,-2.272140535329564%", "0;21.962927274700178,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "273": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;9.500842895268988,-2.272140535329564%", "0;22.076534301466722,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "274": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;3.5023918819995288,-2.272140535329564%", "0;21.940205869346983,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "275": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8 l6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;7.5013592241791685,-2.272140535329564%", "0;22.031091490760105,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "276": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;9.500842895268988,-2.272140535329564%", "0;22.076534301466722,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "277": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4.502133717544439,-2.272140535329564%", "0;21.962927274700178,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "278": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;7.5013592241791685,-2.272140535329564%", "0;22.031091490760105,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "279": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;4.502133717544439,-2.272140535329564%", "0;21.962927274700178,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "280": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;9.500842895268988,-2.272140535329564%", "0;22.076534301466722,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "281": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;3.5023918819995288,-2.272140535329564%", "0;21.940205869346983,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "282": { "segments": { "type": "string", "value": "m0,0 l10,5 l-10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4.502133717544439,-2.272140535329564%", "0;21.962927274700178,99.97418355449426%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257896" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "283": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;5.5021182451550885,0%", "0;-22.036391940175804,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "284": { "segments": { "type": "string", "value": "m0,0 l-10,5 l10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;5.5021182451550885,0%", "0;-22.036391940175804,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "285": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;5.5021182451550885,0%", "0;-22.036391940175804,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "286": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;10.500827422879638,0%", "0;-21.922784913409373,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "287": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8 l-6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;8.501343751789818,0%", "0;-21.96822772411599,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "288": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 l-3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4.502376409610179,0%", "0;-22.059113345529113,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "289": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10.500827422879638,0%", "0;-21.922784913409373,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "290": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10.500827422879638,0%", "0;-21.922784913409373,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "291": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;5.5021182451550885,0%", "0;-22.036391940175804,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "292": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;5.5021182451550885,0%", "0;-22.036391940175804,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "293": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;10.500827422879638,0%", "0;-21.922784913409373,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "294": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;8.501343751789818,0%", "0;-21.96822772411599,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "295": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4.502376409610179,0%", "0;-22.059113345529113,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "296": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10.500827422879638,0%", "0;-21.922784913409373,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "297": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4.502376409610179,0%", "0;-22.059113345529113,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "298": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10.500827422879638,0%", "0;-21.922784913409373,0%" ] }, "orientation": { "type": "double", "value": "0;91.30195267257838" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "__pLabelText": { "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "textContent": { "type": "string", "value": "2" }, "style": { "type": "map", "value": { "stroke": "#6000ff", "fill": "#6000ff", "font-size": "15px", "opacity": "1" } }, "mapper": { "type": "code", "value": "({'textContent':getAttr('__pLabel')})" }, "parser": { "type": "code", "value": "({'__pLabel':getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text" } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__ptop/13.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/9.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__ptopLink/13.instance": "M1480,546L1479.4965909325697,568.1499989669422", "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__ptopLink/13.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/11.instance": "M1479.4983032053747,568.0746589635298L1479.0000154723894,589.999319214876" } }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__ptopLink" }, "17": { "link-style": { "type": "map", "value": { "stroke": "#00ff00", "stroke-dasharray": "", "stroke-opacity": 0.2, "stroke-width": 1, "arrow-start": "none", "arrow-end": "classic-wide-long" } }, "typename": { "type": "string", "value": "PatternContentsLink" }, "position": { "type": "list", "value": [ 1292, 418.75 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents/17.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/RHSIcon/1.instance--/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/17.instance": "M1143,332L1292,418.75", "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/17.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/9.instance": "M1292.0647442856416,418.78769507905645L1440.9993204669677,505.4996043658351" } }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink" }, "18": { "link-style": { "type": "map", "value": { "stroke": "#00ff00", "stroke-dasharray": "", "stroke-opacity": 0.2, "stroke-width": 1, "arrow-start": "none", "arrow-end": "classic-wide-long" } }, "typename": { "type": "string", "value": "PatternContentsLink" }, "position": { "type": "list", "value": [ 1292, 481.25 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents/18.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/RHSIcon/1.instance--/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/18.instance": "M1143,332L1292,481.25", "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/18.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/11.instance": "M1292.0529365656057,481.3030253853468L1440.999546257487,630.4995454961742" } }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink" }, "21": { "typename": { "type": "string", "value": "NACIcon" }, "position": { "type": "list", "value": [ 175, 326 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$contents": { "type": "map", "value": { "nodes": { "1": { "width": { "type": "double", "value": "400" }, "height": { "type": "double", "value": "500" }, "cornerRadius": { "type": "double", "value": "0" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "- .", "fill": "#ffffff", "fill-opacity": 0.75, "stroke-width": 2 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 0, -1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/NAC/21.instance" }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/NACIcon" }, "22": { "typename": { "type": "string", "value": "PacmanIcon" }, "position": { "type": "list", "value": [ 843, 608 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$contents": { "type": "map", "value": { "nodes": { "2": { "src": { "type": "string", "value": "http://upload.wikimedia.org/wikipedia/commons/1/19/Pac-Man.svg" }, "width": { "type": "double", "value": 48 }, "height": { "type": "double", "value": 48 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 2, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "__pLabelText": { "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "textContent": { "type": "string", "value": "3" }, "style": { "type": "map", "value": { "stroke": "#6000ff", "fill": "#6000ff", "font-size": "15px", "opacity": "1" } }, "mapper": { "type": "code", "value": "({'textContent':getAttr('__pLabel')})" }, "parser": { "type": "code", "value": "({'__pLabel':getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text" } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__pPacman/22.instance" }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPacmanIcon" }, "23": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "PoGLink" }, "position": { "type": "list", "value": [ 834.5, 601.25 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$contents": { "type": "map", "value": { "nodes": { "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.27392122490278,72.04196957091892%", "0;29.368097652253596,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "268": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;40.4351514075812,72.04196957091892%", "0;25.045579477998444,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "269": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;40.4351514075812,72.04196957091892%", "0;25.045579477998444,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "270": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;40.4351514075812,72.04196957091892%", "0;25.045579477998444,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "271": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;36.96745958868257,72.04196957091892%", "0;28.647677956544385,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "272": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.96745958868257,72.04196957091892%", "0;28.647677956544385,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "273": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;40.4351514075812,72.04196957091892%", "0;25.045579477998444,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "274": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.27392122490278,72.04196957091892%", "0;29.368097652253596,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "275": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8 l6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;39.04807468002173,72.04196957091892%", "0;26.486418869416866,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "276": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;40.4351514075812,72.04196957091892%", "0;25.045579477998444,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "277": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.96745958868257,72.04196957091892%", "0;28.647677956544385,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "278": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;39.04807468002173,72.04196957091892%", "0;26.486418869416866,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "279": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;36.96745958868257,72.04196957091892%", "0;28.647677956544385,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "280": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;40.4351514075812,72.04196957091892%", "0;25.045579477998444,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "281": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.27392122490278,72.04196957091892%", "0;29.368097652253596,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "282": { "segments": { "type": "string", "value": "m0,0 l10,5 l-10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.96745958868257,72.04196957091892%", "0;28.647677956544385,69.35383637797402%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010342" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "283": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-30.032308181101257,0%", "0;-35.85209847854594,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "284": { "segments": { "type": "string", "value": "m0,0 l-10,5 l10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-30.032308181101257,0%", "0;-35.85209847854594,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "285": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-30.032308181101257,0%", "0;-35.85209847854594,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "286": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-26.564616362202628,0%", "0;-39.45419695709188,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "287": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8 l-6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-27.951693089762102,0%", "0;-38.01335756567346,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "288": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 l-3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-30.72584654488105,0%", "0;-35.13167878283673,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "289": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-26.564616362202628,0%", "0;-39.45419695709188,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "290": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-26.564616362202628,0%", "0;-39.45419695709188,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "291": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-30.032308181101257,0%", "0;-35.85209847854594,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "292": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-30.032308181101257,0%", "0;-35.85209847854594,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "293": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-26.564616362202628,0%", "0;-39.45419695709188,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "294": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-27.951693089762102,0%", "0;-38.01335756567346,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "295": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-30.72584654488105,0%", "0;-35.13167878283673,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "296": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-26.564616362202628,0%", "0;-39.45419695709188,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "297": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-30.72584654488105,0%", "0;-35.13167878283673,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "298": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-26.564616362202628,0%", "0;-39.45419695709188,0%" ] }, "orientation": { "type": "double", "value": "0;43.91085783010349" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "__pLabelText": { "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "textContent": { "type": "string", "value": "4" }, "style": { "type": "map", "value": { "stroke": "#6000ff", "fill": "#6000ff", "font-size": "15px", "opacity": "1" } }, "mapper": { "type": "code", "value": "({'textContent':getAttr('__pLabel')})" }, "parser": { "type": "code", "value": "({'__pLabel':getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text" } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__pPoG/23.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/3.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPoGLink/23.instance": "M801,569L834.5,601.25", "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPoGLink/23.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPacmanIcon/22.instance": "M834.5539160389701,601.301904246471L867.9997677697838,633.4997764350903" } }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPoGLink" }, "24": { "typename": { "type": "string", "value": "PacmanIcon" }, "position": { "type": "list", "value": [ 1429, 467 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$contents": { "type": "map", "value": { "nodes": { "2": { "src": { "type": "string", "value": "http://upload.wikimedia.org/wikipedia/commons/1/19/Pac-Man.svg" }, "width": { "type": "double", "value": 48 }, "height": { "type": "double", "value": 48 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 2, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "__pLabelText": { "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "textContent": { "type": "string", "value": "5" }, "style": { "type": "map", "value": { "stroke": "#6000ff", "fill": "#6000ff", "font-size": "15px", "opacity": "1" } }, "mapper": { "type": "code", "value": "({'textContent':getAttr('__pLabel')})" }, "parser": { "type": "code", "value": "({'__pLabel':getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text" } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__pPacman/24.instance" }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPacmanIcon" }, "25": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "PoGLink" }, "position": { "type": "list", "value": [ 1422.129729413855, 473.8260133284307 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$contents": { "type": "map", "value": { "nodes": { "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;33.89210628185765,86.27993603111845%", "0;15.222583973479004,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "268": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.925385282951765,86.27993603111845%", "0;10.045787811611888,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "269": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;36.925385282951765,86.27993603111845%", "0;10.045787811611888,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "270": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;36.925385282951765,86.27993603111845%", "0;10.045787811611888,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "271": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;34.39765278204004,86.27993603111845%", "0;14.359784613167847,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "272": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;34.39765278204004,86.27993603111845%", "0;14.359784613167847,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "273": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.925385282951765,86.27993603111845%", "0;10.045787811611888,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "274": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;33.89210628185765,86.27993603111845%", "0;15.222583973479004,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "275": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8 l6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;35.914292282586985,86.27993603111845%", "0;11.77138653223426,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "276": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.925385282951765,86.27993603111845%", "0;10.045787811611888,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "277": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;34.39765278204004,86.27993603111845%", "0;14.359784613167847,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "278": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;35.914292282586985,86.27993603111845%", "0;11.77138653223426,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "279": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;34.39765278204004,86.27993603111845%", "0;14.359784613167847,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "280": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.925385282951765,86.27993603111845%", "0;10.045787811611888,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "281": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;33.89210628185765,86.27993603111845%", "0;15.222583973479004,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "282": { "segments": { "type": "string", "value": "m0,0 l10,5 l-10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;34.39765278204004,86.27993603111845%", "0;14.359784613167847,50.554650018233815%" ] }, "orientation": { "type": "double", "value": "0;30.367636984148717" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "283": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-29.601996912943378,0%", "0;-23.14001012998665,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "284": { "segments": { "type": "string", "value": "m0,0 l-10,5 l10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-29.601996912943378,0%", "0;-23.14001012998665,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "285": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-29.601996912943378,0%", "0;-23.14001012998665,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "286": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-27.074264412031653,0%", "0;-27.45400693154255,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "287": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8 l-6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-28.085357412396434,0%", "0;-25.72840821092018,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "288": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 l-3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-30.107543413125768,0%", "0;-22.277210769675435,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "289": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-27.074264412031653,0%", "0;-27.45400693154255,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "290": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-27.074264412031653,0%", "0;-27.45400693154255,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "291": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-29.601996912943378,0%", "0;-23.14001012998665,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "292": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-29.601996912943378,0%", "0;-23.14001012998665,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "293": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-27.074264412031653,0%", "0;-27.45400693154255,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "294": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-28.085357412396434,0%", "0;-25.72840821092018,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "295": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-30.107543413125768,0%", "0;-22.277210769675435,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "296": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-27.074264412031653,0%", "0;-27.45400693154255,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "297": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-30.107543413125768,0%", "0;-22.277210769675435,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "298": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-27.074264412031653,0%", "0;-27.45400693154255,0%" ] }, "orientation": { "type": "double", "value": "0;30.3676369841485" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "__pLabelText": { "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "textContent": { "type": "string", "value": "6" }, "style": { "type": "map", "value": { "stroke": "#6000ff", "fill": "#6000ff", "font-size": "15px", "opacity": "1" } }, "mapper": { "type": "code", "value": "({'textContent':getAttr('__pLabel')})" }, "parser": { "type": "code", "value": "({'__pLabel':getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text" } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__pPoG/25.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/9.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPoGLink/25.instance": "M1390,455L1422.129729413855,473.8260133284307", "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPoGLink/25.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPacmanIcon/24.instance": "M1422.0646895152543,473.78790401284425L1453.9996496949834,492.49979474315444" } }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPoGLink" }, "26": { "typename": { "type": "string", "value": "GridNodeIcon" }, "position": { "type": "list", "value": [ 326, 503 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$contents": { "type": "map", "value": { "nodes": { "35": { "width": { "type": "double", "value": 100 }, "height": { "type": "double", "value": 100 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#C0C0C0", "fill-opacity": 1, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 2, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "69": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 3, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "75": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 10.610866770773328, 10.104345196021995 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "76": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 3, 70 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "77": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 10, 43.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "78": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 71, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "80": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 43.5, 10 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "81": { "width": { "type": "double", "value": 30 }, "height": { "type": "double", "value": 30 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 71, 70 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "82": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 43.5, 43.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "__pLabelText": { "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "textContent": { "type": "string", "value": "0" }, "style": { "type": "map", "value": { "stroke": "#6000ff", "fill": "#6000ff", "font-size": "15px", "opacity": "1" } }, "mapper": { "type": "code", "value": "({'textContent':getAttr('__pLabel')})" }, "parser": { "type": "code", "value": "({'__pLabel':getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text" } }, "edges": [ { "src": "35", "dest": "75" }, { "src": "75", "dest": "69" }, { "src": "35", "dest": "77" }, { "src": "77", "dest": "76" }, { "src": "35", "dest": "80" }, { "src": "80", "dest": "78" }, { "src": "35", "dest": "82" }, { "src": "82", "dest": "81" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__pGridNode/26.instance" }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon" }, "27": { "typename": { "type": "string", "value": "GhostIcon" }, "position": { "type": "list", "value": [ 371, 525 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$contents": { "type": "map", "value": { "nodes": { "40": { "src": { "type": "string", "value": "http://clipart.nicubunu.ro/png/pacman/base.svg.png" }, "width": { "type": "double", "value": 48 }, "height": { "type": "double", "value": 48 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 1, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "__pLabelText": { "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "textContent": { "type": "string", "value": "7" }, "style": { "type": "map", "value": { "stroke": "#6000ff", "fill": "#6000ff", "font-size": "15px", "opacity": "1" } }, "mapper": { "type": "code", "value": "({'textContent':getAttr('__pLabel')})" }, "parser": { "type": "code", "value": "({'__pLabel':getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text" } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__pGhost/27.instance" }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGhostIcon" }, "28": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "GoGLink" }, "position": { "type": "list", "value": [ 360.87560216654106, 526.3340359819304 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$contents": { "type": "map", "value": { "nodes": { "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.848412551322156,83.11292506269803%", "0;19.841244681475814,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "268": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;40.18488824808372,83.11292506269803%", "0;14.854469177714009,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "269": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;40.18488824808372,83.11292506269803%", "0;14.854469177714009,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "270": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;40.18488824808372,83.11292506269803%", "0;14.854469177714009,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "271": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;37.40449183411573,83.11292506269803%", "0;19.010115430848828,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "272": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;37.40449183411573,83.11292506269803%", "0;19.010115430848828,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "273": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;40.18488824808372,83.11292506269803%", "0;14.854469177714009,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "274": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.848412551322156,83.11292506269803%", "0;19.841244681475814,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "275": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8 l6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;39.072729682496515,83.11292506269803%", "0;16.516727678967868,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "276": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;40.18488824808372,83.11292506269803%", "0;14.854469177714009,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "277": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;37.40449183411573,83.11292506269803%", "0;19.010115430848828,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "278": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;39.072729682496515,83.11292506269803%", "0;16.516727678967868,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "279": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;37.40449183411573,83.11292506269803%", "0;19.010115430848828,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "280": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;40.18488824808372,83.11292506269803%", "0;14.854469177714009,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "281": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.848412551322156,83.11292506269803%", "0;19.841244681475814,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "282": { "segments": { "type": "string", "value": "m0,0 l10,5 l-10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;37.40449183411573,83.11292506269803%", "0;19.010115430848828,55.607928279359065%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534641" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "283": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-32.09520575257312,0%", "0;-27.48968223506529,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "284": { "segments": { "type": "string", "value": "m0,0 l-10,5 l10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-32.09520575257312,0%", "0;-27.48968223506529,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "285": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-32.09520575257312,0%", "0;-27.48968223506529,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "286": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-29.31480933860513,0%", "0;-31.645328488200107,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "287": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8 l-6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-30.426967904192338,0%", "0;-29.983069986946248,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "288": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 l-3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-32.6512850353667,0%", "0;-26.658552984438302,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "289": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-29.31480933860513,0%", "0;-31.645328488200107,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "290": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-29.31480933860513,0%", "0;-31.645328488200107,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "291": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-32.09520575257312,0%", "0;-27.48968223506529,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "292": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-32.09520575257312,0%", "0;-27.48968223506529,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "293": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-29.31480933860513,0%", "0;-31.645328488200107,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "294": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-30.426967904192338,0%", "0;-29.983069986946248,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "295": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-32.6512850353667,0%", "0;-26.658552984438302,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "296": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-29.31480933860513,0%", "0;-31.645328488200107,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "297": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-32.6512850353667,0%", "0;-26.658552984438302,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "298": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-29.31480933860513,0%", "0;-31.645328488200107,0%" ] }, "orientation": { "type": "double", "value": "0;33.78508531534644" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "__pLabelText": { "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "textContent": { "type": "string", "value": "8" }, "style": { "type": "map", "value": { "stroke": "#6000ff", "fill": "#6000ff", "font-size": "15px", "opacity": "1" } }, "mapper": { "type": "code", "value": "({'textContent':getAttr('__pLabel')})" }, "parser": { "type": "code", "value": "({'__pLabel':getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text" } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__pGoG/28.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/26.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGoGLink/28.instance": "M326,503L360.87560216654106,526.3340359819304", "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGoGLink/28.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGhostIcon/27.instance": "M360.8126498464469,526.2919168037379L395.49969758668885,549.4997976659141" } }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGoGLink" }, "29": { "link-style": { "type": "map", "value": { "stroke": "#00ff00", "stroke-dasharray": "", "stroke-opacity": 0.2, "stroke-width": 1, "arrow-start": "none", "arrow-end": "classic-wide-long" } }, "typename": { "type": "string", "value": "PatternContentsLink" }, "position": { "type": "list", "value": [ 276.09967103825153, 439.3627466942598 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents/29.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/NACIcon/21.instance--/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/29.instance": "M175,325L276.09967103825153,439.3627466942598", "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/29.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/26.instance": "M276.04963880535666,439.30615082685154L376.99941023071307,553.4993328599897" } }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink" } }, "edges": [], "metamodels": [ "/Formalisms/Pacman/Pacman.defaultIcons.pattern", "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons" ] }, "asm": { "nodes": { "0": { "Condition": { "type": "code", "value": "result = True" }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/LHS" }, "1": { "Action": { "type": "code", "value": "" }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/RHS" }, "2": { "__pLabel": { "type": "string", "value": "0" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "position": { "type": "code", "value": "result = True" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pGridNode" }, "3": { "__pLabel": { "type": "string", "value": "1" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "position": { "type": "code", "value": "result = True" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pGridNode" }, "4": { "__pLabel": { "type": "string", "value": "2" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "$type": "/Formalisms/Pacman/Pacman.pattern/__ptop" }, "7": { "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents" }, "8": { "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents" }, "9": { "__pLabel": { "type": "string", "value": "0" }, "__pMatchSubtypes": { "type": "boolean" }, "position": { "type": "code", "value": "result = getAttr()" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pGridNode" }, "11": { "__pLabel": { "type": "string", "value": "1" }, "__pMatchSubtypes": { "type": "boolean" }, "position": { "type": "code", "value": "result = getAttr()" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pGridNode" }, "13": { "__pLabel": { "type": "string", "value": "2" }, "__pMatchSubtypes": { "type": "boolean" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__ptop" }, "17": { "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents" }, "18": { "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents" }, "21": { "name": { "type": "string", "value": "NAC_" }, "Condition": { "type": "code", "value": "result = True" }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/NAC" }, "22": { "__pLabel": { "type": "string", "value": "3" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "name": { "type": "code", "value": "result = True" }, "position": { "type": "code", "value": "result = True" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pPacman" }, "23": { "__pLabel": { "type": "string", "value": "4" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pPoG" }, "24": { "__pLabel": { "type": "string", "value": "5" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "name": { "type": "code", "value": "result = getAttr()" }, "position": { "type": "code", "value": "result = getAttr()" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pPacman" }, "25": { "__pLabel": { "type": "string", "value": "6" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pPoG" }, "26": { "__pLabel": { "type": "string", "value": "0" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "position": { "type": "code", "value": "result = True" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pGridNode" }, "27": { "__pLabel": { "type": "string", "value": "7" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "type": { "type": "code", "value": "result = True" }, "position": { "type": "code", "value": "result = True" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pGhost" }, "28": { "__pLabel": { "type": "string", "value": "8" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pGoG" }, "29": { "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents" } }, "edges": [ { "src": "2", "dest": "4" }, { "src": "4", "dest": "3" }, { "src": "0", "dest": "7" }, { "src": "7", "dest": "2" }, { "src": "0", "dest": "8" }, { "src": "8", "dest": "3" }, { "src": "9", "dest": "13" }, { "src": "13", "dest": "11" }, { "src": "1", "dest": "17" }, { "src": "17", "dest": "9" }, { "src": "1", "dest": "18" }, { "src": "18", "dest": "11" }, { "src": "3", "dest": "23" }, { "src": "23", "dest": "22" }, { "src": "9", "dest": "25" }, { "src": "25", "dest": "24" }, { "src": "26", "dest": "28" }, { "src": "28", "dest": "27" }, { "src": "21", "dest": "29" }, { "src": "29", "dest": "26" } ], "metamodels": [ "/Formalisms/Pacman/Pacman.pattern", "/Formalisms/__Transformations__/TransformationRule/TransformationRule" ] } }