{ "types": { "AtomicDEVSIcon": [ { "name": "typename", "type": "string", "default": "AtomicDEVSIcon" }, { "name": "position", "type": "list", "default": [ 47, 144 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': getAttr('position'), 'scale': getAttr('scale')})" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position'), 'scale': getAttr('scale')})" }, { "name": "$contents", "type": "map", "default": { "nodes": { "14": { "width": { "type": "double", "value": 250 }, "height": { "type": "double", "value": 250 }, "cornerRadius": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 8, 28 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "16": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 8, 7 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "117": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar filenames = getAttr('attribute_values').map(\n function(attr)\n {\n var s = attr['name'] + ' = ' + attr['val'];\n return s;\n });\n\n({'textContent': filenames.join(', ')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 13, 34 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "118": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 30.10809182833816, 37.052173584285356 ] }, "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 } } }, "137": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('time_next')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 208, 8 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "138": { "src": { "type": "string", "value": "/Formalisms/ParallelDEVS/icons/clock.png" }, "width": { "type": "double", "value": 20 }, "height": { "type": "double", "value": 20 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 185, 4 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [ { "src": "14", "dest": "118" }, { "src": "118", "dest": "117" } ] } }, { "name": "$asuri", "type": "string", "default": "-1" } ], "StateIcon": [ { "name": "typename", "type": "string", "default": "StateIcon" }, { "name": "position", "type": "list", "default": [ 697, 194 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, { "name": "$contents", "type": "map", "default": { "nodes": { "34": { "r": { "type": "double", "value": 25 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar style = {\n \"stroke\": \"#000000\",\n \"stroke-dasharray\": \"\",\n \"fill\": \"#ffffff\",\n \"fill-opacity\": 0.75,\n \"font-size\": \"20px\",\n \"stroke-width\": 1,\n \"arrow-start\": \"none\",\n \"arrow-end\": \"none\"\n};\nif (getAttr('initial')) {\n style[\"stroke-width\"] = 2;\n}\nif (getAttr('current')) {\n style['fill'] = 'green';\n}\n({'style': style})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ 4, 21 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "37": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "green", "fill-opacity": 1, "font-size": "12px", "font-weight": "bold", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 5, 6 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "40": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('time_advance').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent })" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 79, 57 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "42": { "src": { "type": "string", "value": "/Formalisms/ParallelDEVS/icons/clock.png" }, "width": { "type": "double", "value": 20 }, "height": { "type": "double", "value": 20 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 56, 53 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "44": { "src": { "type": "string", "value": "/Formalisms/ParallelDEVS/icons/arrow_up.png" }, "width": { "type": "double", "value": 20 }, "height": { "type": "double", "value": 20 }, "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": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar width = 20,\n height = 20;\nif (getAttr('output') == \"\") {\n width = 0;\n height = 0;\n}\n({'width': width, 'height': height})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 55, 18 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "46": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('output').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent })" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 77, 23 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, { "name": "$asuri", "type": "string", "default": "-1" } ], "OutputPortIcon": [ { "name": "typename", "type": "string", "default": "OutputPortIcon" }, { "name": "position", "type": "list", "default": [ 697, 369 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': [getAttr('position')[0], getAttr('position')[1]]})" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position')})" }, { "name": "$contents", "type": "map", "default": { "nodes": { "48": { "r": { "type": "double", "value": 7 }, "sides": { "type": "int", "value": 4 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "purple", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Polygon", "position": { "type": "list", "value": [ 4, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "50": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 4, 21 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, { "name": "$asuri", "type": "string", "default": "-1" } ], "EventInstanceIcon": [ { "name": "typename", "type": "string", "default": "EventInstanceIcon" }, { "name": "position", "type": "list", "default": [ 922, 194 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': [getAttr('position')[0], getAttr('position')[1]]})" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position')})" }, { "name": "$contents", "type": "map", "default": { "nodes": { "123": { "width": { "type": "double", "value": 75 }, "height": { "type": "double", "value": 15 }, "cornerRadius": { "type": "double", "value": 25 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#FAE233", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1.5, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 6, 5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "126": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "10px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('event_type')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 11, 8 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "129": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 20.234375, 4.25 ] }, "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 } } } }, "edges": [ { "src": "123", "dest": "129" }, { "src": "129", "dest": "126" } ] } }, { "name": "$asuri", "type": "string", "default": "-1" } ], "SimulationInstanceIcon": [ { "name": "typename", "type": "string", "default": "SimulationInstanceIcon" }, { "name": "position", "type": "list", "default": [ 1140, 369 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, { "name": "$contents", "type": "map", "default": { "nodes": { "65": { "width": { "type": "double", "value": 200 }, "height": { "type": "double", "value": 50 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#2BAFD4", "fill-opacity": 0.5, "font-size": "20px", "stroke-width": 3, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 6, 5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "69": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('simulation_time').toFixed(2)})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 14, 18 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "72": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 21.31768296950213, 13.063635584495046 ] }, "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 } } } }, "edges": [ { "src": "65", "dest": "72" }, { "src": "72", "dest": "69" } ] } }, { "name": "$asuri", "type": "string", "default": "-1" } ], "InternalTransitionLink": [ { "name": "link-style", "type": "map", "default": { "stroke": "blue", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, { "name": "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)", "default": "custom" }, { "name": "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)", "default": "arrow-black" }, { "name": "typename", "type": "string", "default": "InternalTransitionLink" }, { "name": "position", "type": "list", "default": [ 44, 717 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, { "name": "$contents", "type": "map", "default": { "nodes": { "77": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('condition').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': '[' + textContent + ']'})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4294478527607362, "yoffset": -31.5 } } }, "78": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('action').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4294478527607362, "yoffset": 2.5 } } }, "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } } }, "edges": [] } }, { "name": "$asuri", "type": "string", "default": "-1" }, { "name": "$segments", "type": "map>", "default": {} } ], "submodelsLink": [ { "name": "link-style", "type": "map", "default": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 0, "stroke-width": 0 } }, { "name": "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)", "default": "custom" }, { "name": "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)", "default": "arrow-black" }, { "name": "typename", "type": "string", "default": "submodelsLink" }, { "name": "position", "type": "list", "default": [ 44, 517 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, { "name": "$contents", "type": "map", "default": { "nodes": {}, "edges": [] } }, { "name": "$asuri", "type": "string", "default": "-1" }, { "name": "$segments", "type": "map>", "default": {} } ], "ExternalTransitionLink": [ { "name": "link-style", "type": "map", "default": { "stroke": "red", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, { "name": "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)", "default": "custom" }, { "name": "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)", "default": "arrow-black" }, { "name": "typename", "type": "string", "default": "ExternalTransitionLink" }, { "name": "position", "type": "list", "default": [ 319, 742 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, { "name": "$contents", "type": "map", "default": { "nodes": { "73": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('condition').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': '[' + textContent + ']'})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4110429447852761, "yoffset": -33.5 } } }, "75": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('action').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4233128834355828, "yoffset": 2.5 } } }, "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } } }, "edges": [] } }, { "name": "$asuri", "type": "string", "default": "-1" }, { "name": "$segments", "type": "map>", "default": {} } ], "portsLink": [ { "name": "link-style", "type": "map", "default": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 0 } }, { "name": "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)", "default": "custom" }, { "name": "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)", "default": "arrow-black" }, { "name": "typename", "type": "string", "default": "portsLink" }, { "name": "position", "type": "list", "default": [ 594, 567 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, { "name": "$contents", "type": "map", "default": { "nodes": {}, "edges": [] } }, { "name": "$asuri", "type": "string", "default": "-1" }, { "name": "$segments", "type": "map>", "default": {} } ], "statesLink": [ { "name": "link-style", "type": "map", "default": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 0, "stroke-width": 0 } }, { "name": "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)", "default": "custom" }, { "name": "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)", "default": "arrow-black" }, { "name": "typename", "type": "string", "default": "statesLink" }, { "name": "position", "type": "list", "default": [ 319, 542 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, { "name": "$contents", "type": "map", "default": { "nodes": {}, "edges": [] } }, { "name": "$asuri", "type": "string", "default": "-1" }, { "name": "$segments", "type": "map>", "default": {} } ], "channelLink": [ { "name": "link-style", "type": "map", "default": { "stroke": "#000000", "stroke-dasharray": "- ", "stroke-opacity": 1, "stroke-width": 2 } }, { "name": "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)", "default": "custom" }, { "name": "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)", "default": "arrow-black" }, { "name": "typename", "type": "string", "default": "channelLink" }, { "name": "position", "type": "list", "default": [ 869, 592 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, { "name": "$contents", "type": "map", "default": { "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": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } } }, "edges": [] } }, { "name": "$asuri", "type": "string", "default": "-1" }, { "name": "$segments", "type": "map>", "default": {} } ], "CoupledDEVSIcon": [ { "name": "typename", "type": "string", "default": "CoupledDEVSIcon" }, { "name": "position", "type": "list", "default": [ 372, 169 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': getAttr('position'), 'scale': getAttr('scale')})" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position'), 'scale': getAttr('scale')})" }, { "name": "$contents", "type": "map", "default": { "nodes": { "30": { "width": { "type": "double", "value": 250 }, "height": { "type": "double", "value": 250 }, "cornerRadius": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.07, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 8, 28 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "31": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 8, 7 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "114": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar filenames = getAttr('attribute_values').map(\n function(attr)\n {\n var s = attr['name'] + ' = ' + attr['val'];\n return s;\n });\n\n({'textContent': filenames.join(', ')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 11, 33 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "116": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 28.96484375, 36.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 } } } }, "edges": [ { "src": "30", "dest": "116" }, { "src": "116", "dest": "114" } ] } }, { "name": "$asuri", "type": "string", "default": "-1" } ], "InputPortIcon": [ { "name": "typename", "type": "string", "default": "InputPortIcon" }, { "name": "position", "type": "list", "default": [ 922, 369 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': getAttr('position')})" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position')})" }, { "name": "$contents", "type": "map", "default": { "nodes": { "54": { "r": { "type": "double", "value": 7 }, "sides": { "type": "int", "value": 4 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "green", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Polygon", "position": { "type": "list", "value": [ 5, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "55": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 4, 21 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, { "name": "$asuri", "type": "string", "default": "-1" } ], "StateInstanceIcon": [ { "name": "typename", "type": "string", "default": "StateInstanceIcon" }, { "name": "position", "type": "list", "default": [ 1200, 175 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, { "name": "$contents", "type": "map", "default": { "nodes": { "82": { "width": { "type": "double", "value": 200 }, "height": { "type": "double", "value": 125 }, "cornerRadius": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "orange", "fill-opacity": 0.75, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 5, 5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "85": { "segments": { "type": "string", "value": "m0,0l197,0" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 7, 38 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "86": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 54.75, 22 ] }, "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 } } }, "90": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "var filenames = getAttr('attribute_values').map(\n function(attr)\n {\n var s = '+ '+attr['name'] + ' = ' + attr['val'];\n return s;\n });\n\n({'textContent': filenames.join('\\n')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 10, 43 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "92": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 19.1796875, 28 ] }, "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 } } }, "93": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 9, 11 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "94": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 26.607941766118074, 14.05333298216732 ] }, "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 } } } }, "edges": [ { "src": "82", "dest": "86" }, { "src": "86", "dest": "85" }, { "src": "82", "dest": "92" }, { "src": "92", "dest": "90" }, { "src": "82", "dest": "94" }, { "src": "94", "dest": "93" } ] } }, { "name": "$asuri", "type": "string", "default": "-1" } ], "stateLink": [ { "name": "link-style", "type": "map", "default": { "stroke": "#000000", "stroke-dasharray": "- ", "stroke-opacity": 1, "stroke-width": 1 } }, { "name": "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)", "default": "custom" }, { "name": "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)", "default": "arrow-black" }, { "name": "typename", "type": "string", "default": "stateLink" }, { "name": "position", "type": "list", "default": [ 869, 792 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, { "name": "$contents", "type": "map", "default": { "nodes": { "271": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } } }, "edges": [] } }, { "name": "$asuri", "type": "string", "default": "-1" }, { "name": "$segments", "type": "map>", "default": {} } ], "ConfluentTransitionLink": [ { "name": "link-style", "type": "map", "default": { "stroke": "purple", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, { "name": "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)", "default": "custom" }, { "name": "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)", "default": "arrow-black" }, { "name": "typename", "type": "string", "default": "ConfluentTransitionLink" }, { "name": "position", "type": "list", "default": [ 594, 767 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, { "name": "$contents", "type": "map", "default": { "nodes": { "99": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('condition').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': '[' + textContent + ']'})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4110429447852761, "yoffset": -33.5 } } }, "100": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('action').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4233128834355828, "yoffset": 2.5 } } }, "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } } }, "edges": [] } }, { "name": "$asuri", "type": "string", "default": "-1" }, { "name": "$segments", "type": "map>", "default": {} } ], "injectLocationLink": [ { "name": "link-style", "type": "map", "default": { "stroke": "green", "stroke-dasharray": "- ", "stroke-opacity": 1, "stroke-width": 2 } }, { "name": "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)", "default": "custom" }, { "name": "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)", "default": "arrow-black" }, { "name": "typename", "type": "string", "default": "injectLocationLink" }, { "name": "position", "type": "list", "default": [ 1147, 623 ] }, { "name": "orientation", "type": "double", "default": 0 }, { "name": "scale", "type": "list", "default": [ 1, 1 ] }, { "name": "mapper", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, { "name": "parser", "type": "code", "default": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, { "name": "$contents", "type": "map", "default": { "nodes": { "214": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar time = getAttr('time');\nif (time == -1) {\n time = 'now';\n} else {\n time = time.toString();\n}\n({'textContent': 'injection time: ' + time})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 0, 0 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.39263803680981596, "yoffset": -18.5 } } } }, "edges": [] } }, { "name": "$asuri", "type": "string", "default": "-1" }, { "name": "$segments", "type": "map>", "default": {} } ] }, "constraints": [], "actions": [], "cardinalities": { "AtomicDEVSIcon": [], "StateIcon": [], "OutputPortIcon": [], "EventInstanceIcon": [], "SimulationInstanceIcon": [], "InternalTransitionLink": [], "submodelsLink": [], "ExternalTransitionLink": [], "portsLink": [], "statesLink": [], "channelLink": [], "CoupledDEVSIcon": [], "InputPortIcon": [], "StateInstanceIcon": [], "stateLink": [], "ConfluentTransitionLink": [], "injectLocationLink": [] }, "legalConnections": {}, "connectorTypes": {}, "types2parentTypes": { "AtomicDEVSIcon": [], "StateIcon": [], "OutputPortIcon": [], "EventInstanceIcon": [], "SimulationInstanceIcon": [], "InternalTransitionLink": [], "submodelsLink": [], "ExternalTransitionLink": [], "portsLink": [], "statesLink": [], "channelLink": [], "CoupledDEVSIcon": [], "InputPortIcon": [], "StateInstanceIcon": [], "stateLink": [], "ConfluentTransitionLink": [], "injectLocationLink": [] } }