{ "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" }, "62": { "typename": { "type": "string", "value": "GridNodeIcon" }, "position": { "type": "list", "value": [ 792, 550 ] }, "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/62.instance" }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon" }, "63": { "typename": { "type": "string", "value": "PacmanIcon" }, "position": { "type": "list", "value": [ 806, 595 ] }, "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": "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": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__pPacman/63.instance" }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPacmanIcon" }, "64": { "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": [ 811.5, 585.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;22.99995350951474,48.4061385167265%", "0;33.31342426597166,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;28.250157764021196,48.4061385167265%", "0;30.40905595496804,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;28.250157764021196,48.4061385167265%", "0;30.40905595496804,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;28.250157764021196,48.4061385167265%", "0;30.40905595496804,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;23.874987551932463,48.4061385167265%", "0;32.8293628808043,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;23.874987551932463,48.4061385167265%", "0;32.8293628808043,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;28.250157764021196,48.4061385167265%", "0;30.40905595496804,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;22.99995350951474,48.4061385167265%", "0;33.31342426597166,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;26.50008967918575,48.4061385167265%", "0;31.377178725302542,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;28.250157764021196,48.4061385167265%", "0;30.40905595496804,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;23.874987551932463,48.4061385167265%", "0;32.8293628808043,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;26.50008967918575,48.4061385167265%", "0;31.377178725302542,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;23.874987551932463,48.4061385167265%", "0;32.8293628808043,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;28.250157764021196,48.4061385167265%", "0;30.40905595496804,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;22.99995350951474,48.4061385167265%", "0;33.31342426597166,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;23.874987551932463,48.4061385167265%", "0;32.8293628808043,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;-15.124829787911267,0%", "0;-37.67030692583637,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-15.124829787911267,0%", "0;-37.67030692583637,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-15.124829787911267,0%", "0;-37.67030692583637,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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.749659575822534,0%", "0;-40.09061385167263,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-12.499727660657982,0%", "0;-39.122491081338126,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-15.99986383032899,0%", "0;-37.18624554066912,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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.749659575822534,0%", "0;-40.09061385167263,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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.749659575822534,0%", "0;-40.09061385167263,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-15.124829787911267,0%", "0;-37.67030692583637,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-15.124829787911267,0%", "0;-37.67030692583637,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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.749659575822534,0%", "0;-40.09061385167263,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-12.499727660657982,0%", "0;-39.122491081338126,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-15.99986383032899,0%", "0;-37.18624554066912,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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.749659575822534,0%", "0;-40.09061385167263,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-15.99986383032899,0%", "0;-37.18624554066912,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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.749659575822534,0%", "0;-40.09061385167263,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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/__pPoG/64.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/62.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPoGLink/64.instance": "M792,550L811.5,585.25", "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPoGLink/64.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPacmanIcon/63.instance": "M811.5364710748495,585.3159284814587L830.9998173398437,620.4996698066407" } }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPoGLink" }, "66": { "typename": { "type": "string", "value": "ScoreboardIcon" }, "position": { "type": "list", "value": [ 799, 457 ] }, "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": { "23": { "width": { "type": "double", "value": 100 }, "height": { "type": "double", "value": 50 }, "cornerRadius": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#4C6500", "stroke-dasharray": "", "fill": "#B9FFA8", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 5, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "24": { "textContent": { "type": "string", "value": "Score" }, "style": { "type": "map", "value": { "font-family": "Colonna MT", "stroke": "#000000", "stroke-dasharray": "", "fill": "#085500", "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/Text", "position": { "type": "list", "value": [ 15, 17 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "25": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 26.130247748546935, 16.577124547887706 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "arrow-start": "none", "arrow-end": "classic-wide-long" } } }, "__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": [ { "src": "23", "dest": "25" }, { "src": "25", "dest": "24" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__pScoreboard/66.instance" }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pScoreboardIcon" }, "67": { "typename": { "type": "string", "value": "FoodIcon" }, "position": { "type": "list", "value": [ 873, 593 ] }, "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": { "38": { "r": { "type": "double", "value": 7 }, "style": { "type": "map", "value": { "stroke": "#FFFC4C", "stroke-dasharray": "", "fill": "#FF8800", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ 3, 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": "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/__pFood/67.instance" }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pFoodIcon" }, "68": { "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": "FoGLink" }, "position": { "type": "list", "value": [ 836.8803396420149, 575.8249999057405 ] }, "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;46.6143835399198,86.67493272270445%", "0;22.207857248543064,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;49.606847697608714,86.67493272270445%", "0;17.007361285180764,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;49.606847697608714,86.67493272270445%", "0;17.007361285180764,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;49.606847697608714,86.67493272270445%", "0;17.007361285180764,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;47.11312756620123,86.67493272270445%", "0;21.341107921316052,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;47.11312756620123,86.67493272270445%", "0;21.341107921316052,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;49.606847697608714,86.67493272270445%", "0;17.007361285180764,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;46.6143835399198,86.67493272270445%", "0;22.207857248543064,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;48.60935964504574,86.67493272270445%", "0;18.740859939634902,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;49.606847697608714,86.67493272270445%", "0;17.007361285180764,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;47.11312756620123,86.67493272270445%", "0;21.341107921316052,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;48.60935964504574,86.67493272270445%", "0;18.740859939634902,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;47.11312756620123,86.67493272270445%", "0;21.341107921316052,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;49.606847697608714,86.67493272270445%", "0;17.007361285180764,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;46.6143835399198,86.67493272270445%", "0;22.207857248543064,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;47.11312756620123,86.67493272270445%", "0;21.341107921316052,49.8744026281484%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670117" }, "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;-42.38661951060749,0%", "0;-30.158746541875644,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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;-42.38661951060749,0%", "0;-30.158746541875644,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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;-42.38661951060749,0%", "0;-30.158746541875644,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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;-39.8928993792,0%", "0;-34.49249317801093,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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;-40.890387431762974,0%", "0;-32.758994523556794,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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;-42.88536353688892,0%", "0;-29.29199721464863,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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;-39.8928993792,0%", "0;-34.49249317801093,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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;-39.8928993792,0%", "0;-34.49249317801093,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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;-42.38661951060749,0%", "0;-30.158746541875644,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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;-42.38661951060749,0%", "0;-30.158746541875644,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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;-39.8928993792,0%", "0;-34.49249317801093,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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;-40.890387431762974,0%", "0;-32.758994523556794,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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;-42.88536353688892,0%", "0;-29.29199721464863,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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;-39.8928993792,0%", "0;-34.49249317801093,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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;-42.88536353688892,0%", "0;-29.29199721464863,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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;-39.8928993792,0%", "0;-34.49249317801093,0%" ] }, "orientation": { "type": "double", "value": "0;29.916940177670178" }, "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": "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/__pFoG/68.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/62.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pFoGLink/68.instance": "M792,550L836.8803396420149,575.8249999057405", "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pFoGLink/68.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pFoodIcon/67.instance": "M836.8150433390545,575.7874271727521L881.4997470768087,601.4998544631917" } }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pFoGLink" }, "69": { "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": [ 746.5, 462.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/69.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/LHSIcon/0.instance--/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/69.instance": "M650,325L746.5,462.75", "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/69.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/62.instance": "M746.542926497466,462.81127590700464L842.9995386994922,600.4993415114512" } }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink" }, "70": { "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": [ 750.75, 404.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/70.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/LHSIcon/0.instance--/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/70.instance": "M650,325L750.75,404.25", "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/70.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pScoreboardIcon/66.instance": "M750.867881903582,404.3427259638598L851.4996312346458,483.4997099289894" } }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink" }, "71": { "typename": { "type": "string", "value": "GridNodeIcon" }, "position": { "type": "list", "value": [ 1372, 551 ] }, "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/71.instance" }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon" }, "72": { "typename": { "type": "string", "value": "PacmanIcon" }, "position": { "type": "list", "value": [ 1386, 596 ] }, "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": "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": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__pPacman/72.instance" }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPacmanIcon" }, "73": { "typename": { "type": "string", "value": "ScoreboardIcon" }, "position": { "type": "list", "value": [ 1379, 458 ] }, "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": { "23": { "width": { "type": "double", "value": 100 }, "height": { "type": "double", "value": 50 }, "cornerRadius": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#4C6500", "stroke-dasharray": "", "fill": "#B9FFA8", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 5, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "24": { "textContent": { "type": "string", "value": "Score" }, "style": { "type": "map", "value": { "font-family": "Colonna MT", "stroke": "#000000", "stroke-dasharray": "", "fill": "#085500", "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/Text", "position": { "type": "list", "value": [ 15, 17 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "25": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 26.130247748546935, 16.577124547887706 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "arrow-start": "none", "arrow-end": "classic-wide-long" } } }, "__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": [ { "src": "23", "dest": "25" }, { "src": "25", "dest": "24" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/Pacman/Pacman.pattern/__pScoreboard/73.instance" }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pScoreboardIcon" }, "76": { "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": [ 1391.5, 586.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;22.999953509514626,48.4061385167265%", "0;33.31342426597166,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;28.250157764021196,48.4061385167265%", "0;30.40905595496804,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;28.250157764021196,48.4061385167265%", "0;30.40905595496804,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;28.250157764021196,48.4061385167265%", "0;30.40905595496804,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;23.874987551932463,48.4061385167265%", "0;32.8293628808043,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;23.874987551932463,48.4061385167265%", "0;32.8293628808043,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;28.250157764021196,48.4061385167265%", "0;30.40905595496804,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;22.999953509514626,48.4061385167265%", "0;33.31342426597166,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;26.50008967918575,48.4061385167265%", "0;31.377178725302542,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;28.250157764021196,48.4061385167265%", "0;30.40905595496804,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;23.874987551932463,48.4061385167265%", "0;32.8293628808043,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;26.50008967918575,48.4061385167265%", "0;31.377178725302542,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;23.874987551932463,48.4061385167265%", "0;32.8293628808043,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;28.250157764021196,48.4061385167265%", "0;30.40905595496804,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;22.999953509514626,48.4061385167265%", "0;33.31342426597166,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;23.874987551932463,48.4061385167265%", "0;32.8293628808043,87.503404241775%" ] }, "orientation": { "type": "double", "value": "0;61.049004792533246" }, "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;-15.124829787911267,0%", "0;-37.67030692583637,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-15.124829787911267,0%", "0;-37.67030692583637,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-15.124829787911267,0%", "0;-37.67030692583637,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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.749659575822534,0%", "0;-40.09061385167263,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-12.499727660657982,0%", "0;-39.122491081338126,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-15.999863830329105,0%", "0;-37.18624554066912,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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.749659575822534,0%", "0;-40.09061385167263,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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.749659575822534,0%", "0;-40.09061385167263,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-15.124829787911267,0%", "0;-37.67030692583637,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-15.124829787911267,0%", "0;-37.67030692583637,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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.749659575822534,0%", "0;-40.09061385167263,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-12.499727660657982,0%", "0;-39.122491081338126,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-15.999863830329105,0%", "0;-37.18624554066912,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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.749659575822534,0%", "0;-40.09061385167263,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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;-15.999863830329105,0%", "0;-37.18624554066912,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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.749659575822534,0%", "0;-40.09061385167263,0%" ] }, "orientation": { "type": "double", "value": "0;61.0490047925332" }, "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/__pPoG/76.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/71.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPoGLink/76.instance": "M1372,551L1391.5,586.25", "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPoGLink/76.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPacmanIcon/72.instance": "M1391.5364710748495,586.3159284814587L1410.9998173398437,621.4996698066407" } }, "$type": "/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pPoGLink" }, "77": { "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": [ 1283, 466.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/77.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/RHSIcon/1.instance--/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/77.instance": "M1143,332L1283,466.75", "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/77.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pGridNodeIcon/71.instance": "M1283.053956317231,466.8019329553351L1422.99949808009,601.4995169020866" } }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink" }, "78": { "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": [ 1287.25, 408.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/78.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/RHSIcon/1.instance--/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/78.instance": "M1143,332L1287.25,408.25", "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/78.instance--/Formalisms/Pacman/Pacman.defaultIcons.pattern/__pScoreboardIcon/73.instance": "M1287.3161283806426,408.28495520987184L1431.4992674996079,484.4996128030857" } }, "$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": "setAttr(\"score\", getAttr(\"score\", \"3\") + int(getAttr(\"points\", \"4\")), \"3\")" }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/RHS" }, "62": { "__pLabel": { "type": "string", "value": "0" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "position": { "type": "code", "value": "result = True" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pGridNode" }, "63": { "__pLabel": { "type": "string", "value": "1" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "name": { "type": "code", "value": "result = True" }, "position": { "type": "code", "value": "result = True" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pPacman" }, "64": { "__pLabel": { "type": "string", "value": "2" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pPoG" }, "66": { "__pLabel": { "type": "string", "value": "3" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "score": { "type": "code", "value": "result = True" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pScoreboard" }, "67": { "__pLabel": { "type": "string", "value": "4" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "points": { "type": "code", "value": "result = True" }, "position": { "type": "code", "value": "result = True" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pFood" }, "68": { "__pLabel": { "type": "string", "value": "5" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pFoG" }, "69": { "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents" }, "70": { "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents" }, "71": { "__pLabel": { "type": "string", "value": "0" }, "__pMatchSubtypes": { "type": "boolean" }, "position": { "type": "code", "value": "result = getAttr()" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pGridNode" }, "72": { "__pLabel": { "type": "string", "value": "1" }, "__pMatchSubtypes": { "type": "boolean" }, "name": { "type": "code", "value": "result = getAttr()" }, "position": { "type": "code", "value": "result = getAttr()" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pPacman" }, "73": { "__pLabel": { "type": "string", "value": "3" }, "__pMatchSubtypes": { "type": "boolean" }, "score": { "type": "code", "value": "result = getAttr()" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pScoreboard" }, "76": { "__pLabel": { "type": "string", "value": "2" }, "__pMatchSubtypes": { "type": "boolean" }, "$type": "/Formalisms/Pacman/Pacman.pattern/__pPoG" }, "77": { "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents" }, "78": { "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents" } }, "edges": [ { "src": "62", "dest": "64" }, { "src": "64", "dest": "63" }, { "src": "62", "dest": "68" }, { "src": "68", "dest": "67" }, { "src": "0", "dest": "69" }, { "src": "69", "dest": "62" }, { "src": "0", "dest": "70" }, { "src": "70", "dest": "66" }, { "src": "71", "dest": "76" }, { "src": "76", "dest": "72" }, { "src": "1", "dest": "77" }, { "src": "77", "dest": "71" }, { "src": "1", "dest": "78" }, { "src": "78", "dest": "73" } ], "metamodels": [ "/Formalisms/Pacman/Pacman.pattern", "/Formalisms/__Transformations__/TransformationRule/TransformationRule" ] } }