{ "types": { "__pStartIcon": [ { "name": "typename", "type": "string", "default": "StartIcon" }, { "name": "position", "type": "list", "default": [ 58, 97 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, { "name": "parser", "type": "code", "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, { "name": "$contents", "type": "map", "default": { "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": "#" }, "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": [] } }, { "name": "$asuri", "type": "string", "default": "-1" } ], "__pFinishIcon": [ { "name": "typename", "type": "string", "default": "FinishIcon" }, { "name": "position", "type": "list", "default": [ 386, 159 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, { "name": "parser", "type": "code", "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, { "name": "$contents", "type": "map", "default": { "nodes": { "25": { "src": { "type": "string", "value": "/Formalisms/RaceCar/icons/finish.png" }, "width": { "type": "double", "value": 200 }, "height": { "type": "double", "value": 495 }, "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": [ 5, 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": "#" }, "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": [] } }, { "name": "$asuri", "type": "string", "default": "-1" } ], "__pCarIcon": [ { "name": "typename", "type": "string", "default": "CarIcon" }, { "name": "position", "type": "list", "default": [ 725, 215 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, { "name": "parser", "type": "code", "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, { "name": "$contents", "type": "map", "default": { "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": "#" }, "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" } ] } }, { "name": "$asuri", "type": "string", "default": "-1" } ], "__pCupIcon": [ { "name": "typename", "type": "string", "default": "CupIcon" }, { "name": "position", "type": "list", "default": [ 950, 236 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, { "name": "parser", "type": "code", "default": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, { "name": "$contents", "type": "map", "default": { "nodes": { "29": { "width": { "type": "double", "value": 400 }, "height": { "type": "double", "value": 400 }, "cornerRadius": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "parser": { "type": "code", "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 6, 7 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "32": { "src": { "type": "string", "value": "/Formalisms/RaceCar/Icons/cup.png" }, "width": { "type": "double", "value": 256 }, "height": { "type": "double", "value": 256 }, "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": [ 89, 84 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "35": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 111.6080204610389, 110.10443684384802 ] }, "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 } } }, "37": { "textContent": { "type": "string", "value": "name" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "yellow", "fill-opacity": 1, "font-size": "40px", "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": [ 175, 345 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "38": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 131, 189.75 ] }, "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 } } }, "39": { "textContent": { "type": "string", "value": "Winner is:" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "30px", "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": [ 168, 48 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "40": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 119.89583329782226, 35.78557691441381 ] }, "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": "#" }, "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": "29", "dest": "35" }, { "src": "35", "dest": "32" }, { "src": "29", "dest": "38" }, { "src": "38", "dest": "37" }, { "src": "29", "dest": "40" }, { "src": "40", "dest": "39" } ] } }, { "name": "$asuri", "type": "string", "default": "-1" } ], "__pElementIcon": [ { "name": "typename", "type": "string", "default": "__pElementIcon" }, { "name": "position", "type": "list", "default": [ 0, 0 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "" }, { "name": "parser", "type": "code", "default": "" }, { "name": "$contents", "type": "map", "default": { "nodes": { "text": { "textContent": { "type": "string", "value": "__pElementIcon" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": "1", "font-size": "13px" } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 10, 76 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "rect": { "width": { "type": "double", "value": 75 }, "height": { "type": "double", "value": 75 }, "cornerRadius": { "type": "double", "value": 15 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "fill-opacity": 0.75 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "textBelowRect": { "distance": { "type": "double", "value": 10 }, "alignment": { "type": "ENUM(\"right\",\"left\",\"center\")", "value": "center" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Below", "position": { "type": "list", "value": [ 5, 38 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ff00", "stroke-dasharray": "", "stroke-opacity": 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": "#" }, "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": "text", "dest": "textBelowRect" }, { "src": "textBelowRect", "dest": "rect" } ] } }, { "name": "$asuri", "type": "string", "default": "-1" } ], "__pPositionableIcon": [ { "name": "typename", "type": "string", "default": "__pPositionableIcon" }, { "name": "position", "type": "list", "default": [ 0, 0 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "" }, { "name": "parser", "type": "code", "default": "" }, { "name": "$contents", "type": "map", "default": { "nodes": { "text": { "textContent": { "type": "string", "value": "__pPositionableIcon" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": "1", "font-size": "13px" } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 10, 76 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "rect": { "width": { "type": "double", "value": 75 }, "height": { "type": "double", "value": 75 }, "cornerRadius": { "type": "double", "value": 15 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "fill-opacity": 0.75 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "textBelowRect": { "distance": { "type": "double", "value": 10 }, "alignment": { "type": "ENUM(\"right\",\"left\",\"center\")", "value": "center" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Below", "position": { "type": "list", "value": [ 5, 38 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ff00", "stroke-dasharray": "", "stroke-opacity": 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": "#" }, "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": "text", "dest": "textBelowRect" }, { "src": "textBelowRect", "dest": "rect" } ] } }, { "name": "$asuri", "type": "string", "default": "-1" } ] }, "constraints": [], "actions": [], "cardinalities": { "__pStartIcon": [], "__pFinishIcon": [], "__pCarIcon": [], "__pCupIcon": [], "__pElementIcon": [], "__pPositionableIcon": [] }, "legalConnections": {}, "connectorTypes": {}, "types2parentTypes": { "__pStartIcon": [], "__pFinishIcon": [], "__pCarIcon": [], "__pCupIcon": [], "__pElementIcon": [], "__pPositionableIcon": [] } }