{ "csm": { "nodes": { "0": { "typename": { "type": "string", "value": "LHSIcon" }, "position": { "type": "list", "value": [ 332, 215 ] }, "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": [ 734, 213 ] }, "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" }, "23": { "typename": { "type": "string", "value": "UnitTrackIcon" }, "position": { "type": "list", "value": [ 506, 426 ] }, "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": { "4": { "src": { "type": "string", "value": "/Formalisms/Race/icons/unittrack.png" }, "width": { "type": "double", "value": 75 }, "height": { "type": "double", "value": 100 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 2, 2 ] }, "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": "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": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/Race/Race.pattern/__pUnitTrack/23.instance" }, "$type": "/Formalisms/Race/Race.defaultIcons.pattern/__pUnitTrackIcon" }, "24": { "typename": { "type": "string", "value": "CarIcon" }, "position": { "type": "list", "value": [ 510, 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": { "6": { "src": { "type": "string", "value": "/Formalisms/Race/icons/car.png" }, "width": { "type": "double", "value": 50 }, "height": { "type": "double", "value": 25 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/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/Race/Race.pattern/__pCar/24.instance" }, "$type": "/Formalisms/Race/Race.defaultIcons.pattern/__pCarIcon" }, "25": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "onTrackLink" }, "position": { "type": "list", "value": [ 521.0833329522939, 449.1277771935173 ] }, "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;18.26680117412468,54.626778054692394%", "0;20.686679017526615,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;23.292464755156402,54.626778054692394%", "0;17.40907233424508,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;23.292464755156402,54.626778054692394%", "0;17.40907233424508,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;23.292464755156402,54.626778054692394%", "0;17.40907233424508,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;19.10441177096334,54.626778054692394%", "0;20.14041123697973,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;19.10441177096334,54.626778054692394%", "0;20.14041123697973,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;23.292464755156402,54.626778054692394%", "0;17.40907233424508,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;18.26680117412468,54.626778054692394%", "0;20.686679017526615,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;21.6172435614792,54.626778054692394%", "0;18.501607895338907,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;23.292464755156402,54.626778054692394%", "0;17.40907233424508,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;19.10441177096334,54.626778054692394%", "0;20.14041123697973,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;21.6172435614792,54.626778054692394%", "0;18.501607895338907,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;19.10441177096334,54.626778054692394%", "0;20.14041123697973,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;23.292464755156402,54.626778054692394%", "0;17.40907233424508,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;18.26680117412468,54.626778054692394%", "0;20.686679017526615,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;19.10441177096334,54.626778054692394%", "0;20.14041123697973,83.76105968386132%" ] }, "orientation": { "type": "double", "value": "0;56.88865803962786" }, "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;-10.895279968100795,0%", "0;-25.85911609625191,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "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;-10.895279968100795,0%", "0;-25.85911609625191,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "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;-10.895279968100795,0%", "0;-25.85911609625191,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "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;-6.707226983907731,0%", "0;-28.590454998986502,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "287": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8 l-6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-8.382448177584934,0%", "0;-27.497919437892676,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "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;-11.732890564939453,0%", "0;-25.312848315705025,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "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;-6.707226983907731,0%", "0;-28.590454998986502,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "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;-6.707226983907731,0%", "0;-28.590454998986502,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "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;-10.895279968100795,0%", "0;-25.85911609625191,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "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;-10.895279968100795,0%", "0;-25.85911609625191,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "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;-6.707226983907731,0%", "0;-28.590454998986502,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "294": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-8.382448177584934,0%", "0;-27.497919437892676,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "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;-11.732890564939453,0%", "0;-25.312848315705025,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "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;-6.707226983907731,0%", "0;-28.590454998986502,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "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;-11.732890564939453,0%", "0;-25.312848315705025,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "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;-6.707226983907731,0%", "0;-28.590454998986502,0%" ] }, "orientation": { "type": "double", "value": "0;56.888658039628055" }, "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/Race/Race.pattern/__ponTrack/25.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/Race/Race.defaultIcons.pattern/__pUnitTrackIcon/23.instance--/Formalisms/Race/Race.defaultIcons.pattern/__ponTrackLink/25.instance": "M506,426L521.0833329522939,449.1277771935173", "/Formalisms/Race/Race.defaultIcons.pattern/__ponTrackLink/25.instance--/Formalisms/Race/Race.defaultIcons.pattern/__pCarIcon/24.instance": "M521.0415122985764,449.0636521911505L535.9996917390641,471.99952733323164" } }, "$type": "/Formalisms/Race/Race.defaultIcons.pattern/__ponTrackLink" }, "26": { "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": [ 438.75, 346 ] }, "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/26.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/LHSIcon/0.instance--/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/26.instance": "M333,215L438.75,346", "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/26.instance--/Formalisms/Race/Race.defaultIcons.pattern/__pUnitTrackIcon/23.instance": "M438.79704121354445,346.0582732763529L544.4994944815678,476.9993737785851" } }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink" } }, "edges": [], "metamodels": [ "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons", "/Formalisms/Race/Race.defaultIcons.pattern" ] }, "asm": { "nodes": { "0": { "Condition": { "type": "code", "value": "result = True" }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/LHS" }, "1": { "Action": { "type": "code", "value": "" }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/RHS" }, "23": { "__pLabel": { "type": "string", "value": "0" }, "__pPivotIn": { "type": "string", "value": "" }, "__pPivotOut": { "type": "string", "value": "" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "position": { "type": "code", "value": "result = True" }, "$type": "/Formalisms/Race/Race.pattern/__pUnitTrack" }, "24": { "__pLabel": { "type": "string", "value": "1" }, "__pPivotIn": { "type": "string", "value": "" }, "__pPivotOut": { "type": "string", "value": "" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "name": { "type": "code", "value": "result = True" }, "position": { "type": "code", "value": "result = True" }, "$type": "/Formalisms/Race/Race.pattern/__pCar" }, "25": { "__pLabel": { "type": "string", "value": "2" }, "__pPivotIn": { "type": "string", "value": "" }, "__pPivotOut": { "type": "string", "value": "" }, "__pMatchSubtypes": { "type": "boolean", "value": false }, "$type": "/Formalisms/Race/Race.pattern/__ponTrack" }, "26": { "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents" } }, "edges": [ { "src": "23", "dest": "25" }, { "src": "25", "dest": "24" }, { "src": "0", "dest": "26" }, { "src": "26", "dest": "23" } ], "metamodels": [ "/Formalisms/__Transformations__/TransformationRule/TransformationRule", "/Formalisms/Race/Race.pattern" ] } }