{ "csm": { "nodes": { "0": { "typename": { "type": "string", "value": "LHSIcon" }, "position": { "type": "list", "value": [ 383, 164 ] }, "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": [ 760, 164 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$contents": { "type": "map", "value": { "nodes": { "7": { "segments": { "type": "string", "value": "m0,0 l450,0 l0,500 l-450,0 l100,-250z" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "stroke-width": 2, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/RHS/1.instance" }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/RHSIcon" }, "2": { "typename": { "type": "string", "value": "CarIcon" }, "position": { "type": "list", "value": [ 464, 329 ] }, "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": { "5": { "src": { "type": "string", "value": "/Formalisms/RaceCar/Icons/racecar.png" }, "width": { "type": "double", "value": 183 }, "height": { "type": "double", "value": 72 }, "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": [ 1, 2 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "6": { "textContent": { "type": "string", "value": "name" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "12px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none", "text-anchor": "middle" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are 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": [ 90, 48 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "7": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 48.88071412763202, 29.32499990929705 ] }, "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": "5", "dest": "7" }, { "src": "7", "dest": "6" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/RaceCar/Race.pattern/__pCar/2.instance" }, "$type": "/Formalisms/RaceCar/Race.defaultIcons.pattern/__pCarIcon" }, "3": { "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": [ 470.09735847208105, 265.11433960093234 ] }, "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/3.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/LHSIcon/0.instance--/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/3.instance": "M384,164L470.09735847208105,265.11433960093234", "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/3.instance--/Formalisms/RaceCar/Race.defaultIcons.pattern/__pCarIcon/2.instance": "M470.0972115159524,265.1141670129208L555.9997062354562,365.9996549974543" } }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink" }, "4": { "typename": { "type": "string", "value": "CarIcon" }, "position": { "type": "list", "value": [ 915, 342 ] }, "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": { "5": { "src": { "type": "string", "value": "/Formalisms/RaceCar/Icons/racecar.png" }, "width": { "type": "double", "value": 183 }, "height": { "type": "double", "value": 72 }, "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": [ 1, 2 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "6": { "textContent": { "type": "string", "value": "name" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "12px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none", "text-anchor": "middle" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are 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": [ 90, 48 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "7": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 48.88071412763202, 29.32499990929705 ] }, "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": "5", "dest": "7" }, { "src": "7", "dest": "6" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/RaceCar/Race.pattern/__pCar/4.instance" }, "$type": "/Formalisms/RaceCar/Race.defaultIcons.pattern/__pCarIcon" }, "5": { "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": [ 883.6133027381654, 271.59862384091326 ] }, "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/5.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/RHSIcon/1.instance--/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/5.instance": "M760,164L883.6133027381654,271.59862384091326", "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/5.instance--/Formalisms/RaceCar/Race.defaultIcons.pattern/__pCarIcon/4.instance": "M883.5564434794418,271.54913096388657L1006.9993766965837,378.99945744844325" } }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink" }, "6": { "typename": { "type": "string", "value": "StartIcon" }, "position": { "type": "list", "value": [ 688, 209 ] }, "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": { "24": { "src": { "type": "string", "value": "/Formalisms/RaceCar/icons/start.png" }, "width": { "type": "double", "value": 12 }, "height": { "type": "double", "value": 404 }, "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": [ 6, 5 ] }, "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/RaceCar/Race.pattern/__pStart/6.instance" }, "$type": "/Formalisms/RaceCar/Race.defaultIcons.pattern/__pStartIcon" }, "7": { "link-style": { "type": "map", "value": { "stroke": "#00ff00", "stroke-dasharray": "", "stroke-opacity": 0.2, "stroke-width": 1, "arrow-start": "none", "arrow-end": "classic-wide-long" } }, "typename": { "type": "string", "value": "PatternContentsLink" }, "position": { "type": "list", "value": [ 540.5, 288.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/7.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/LHSIcon/0.instance--/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/7.instance": "M384,164L540.5,288.75", "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/7.instance--/Formalisms/RaceCar/Race.defaultIcons.pattern/__pStartIcon/6.instance": "M540.5585114362883,288.7966409052841L696.9994720765937,413.49957917926565" } }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink" }, "8": { "typename": { "type": "string", "value": "StartIcon" }, "position": { "type": "list", "value": [ 1140, 239 ] }, "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": { "24": { "src": { "type": "string", "value": "/Formalisms/RaceCar/icons/start.png" }, "width": { "type": "double", "value": 12 }, "height": { "type": "double", "value": 404 }, "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": [ 6, 5 ] }, "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/RaceCar/Race.pattern/__pStart/8.instance" }, "$type": "/Formalisms/RaceCar/Race.defaultIcons.pattern/__pStartIcon" }, "9": { "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": [ 954.6218162768457, 303.83752609094705 ] }, "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/9.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/RHSIcon/1.instance--/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/9.instance": "M760,164L954.6218162768457,303.83752609094705", "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/9.instance--/Formalisms/RaceCar/Race.defaultIcons.pattern/__pStartIcon/8.instance": "M954.561264925157,303.79401939995216L1148.999542426392,443.4996712292458" } }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink" } }, "edges": [], "metamodels": [ "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons", "/Formalisms/RaceCar/Race.defaultIcons.pattern" ] }, "asm": { "nodes": { "0": { "Condition": { "type": "code", "value": "result = True" }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/LHS" }, "1": { "Action": { "type": "code", "value": "carPos=getAttr('position','0')\nstartPos=getAttr('position','1')\nsetAttr('position',[startPos[0]-175,carPos[1]],'0')" }, "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/RHS" }, "2": { "__pLabel": { "type": "string", "value": "0" }, "__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/RaceCar/Race.pattern/__pCar" }, "3": { "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents" }, "4": { "__pLabel": { "type": "string", "value": "0" }, "__pPivotIn": { "type": "string", "value": "" }, "__pPivotOut": { "type": "string", "value": "" }, "__pMatchSubtypes": { "type": "boolean" }, "name": { "type": "code", "value": "result = getAttr()" }, "position": { "type": "code", "value": "result = getAttr()" }, "$type": "/Formalisms/RaceCar/Race.pattern/__pCar" }, "5": { "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents" }, "6": { "__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/RaceCar/Race.pattern/__pStart" }, "7": { "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents" }, "8": { "__pLabel": { "type": "string", "value": "1" }, "__pPivotIn": { "type": "string", "value": "" }, "__pPivotOut": { "type": "string", "value": "" }, "__pMatchSubtypes": { "type": "boolean" }, "name": { "type": "code", "value": "result = getAttr()" }, "position": { "type": "code", "value": "result = getAttr()" }, "$type": "/Formalisms/RaceCar/Race.pattern/__pStart" }, "9": { "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents" } }, "edges": [ { "src": "0", "dest": "3" }, { "src": "3", "dest": "2" }, { "src": "1", "dest": "5" }, { "src": "5", "dest": "4" }, { "src": "0", "dest": "7" }, { "src": "7", "dest": "6" }, { "src": "1", "dest": "9" }, { "src": "9", "dest": "8" } ], "metamodels": [ "/Formalisms/__Transformations__/TransformationRule/TransformationRule", "/Formalisms/RaceCar/Race.pattern" ] } }