Created
February 26, 2021 08:15
-
-
Save KristianKarl/ad74ff611f72c0ec65ddc39102a41b25 to your computer and use it in GitHub Desktop.
Model file for graphwalker issue 195
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "models": [ | |
| { | |
| "edges": [ | |
| { | |
| "id": "1b128750-7809-11eb-8b50-13ac081fda51", | |
| "name": "e_ZtoB", | |
| "sourceVertexId": "085ea030-7809-11eb-8b50-13ac081fda51", | |
| "targetVertexId": "097148b0-7809-11eb-8b50-13ac081fda51", | |
| "actions": [ | |
| "global.someVariable = false" | |
| ] | |
| }, | |
| { | |
| "id": "1bf7b730-7809-11eb-8b50-13ac081fda51", | |
| "name": "e_BtoZ", | |
| "sourceVertexId": "097148b0-7809-11eb-8b50-13ac081fda51", | |
| "targetVertexId": "085ea030-7809-11eb-8b50-13ac081fda51", | |
| "guard": "global.someVariable==false" | |
| } | |
| ], | |
| "generator": "random(edge_coverage(100))", | |
| "id": "ffdce430-7808-11eb-8b50-13ac081fda51", | |
| "name": "Model_3", | |
| "startElementId": "4984ca26-a57a-49b7-834b-4709c7406865", | |
| "vertices": [ | |
| { | |
| "id": "085ea030-7809-11eb-8b50-13ac081fda51", | |
| "name": "v_Z", | |
| "properties": { | |
| "x": 210, | |
| "y": 156 | |
| } | |
| }, | |
| { | |
| "id": "097148b0-7809-11eb-8b50-13ac081fda51", | |
| "name": "v_B", | |
| "properties": { | |
| "x": 201, | |
| "y": 317 | |
| }, | |
| "sharedState": "Beee" | |
| } | |
| ], | |
| "editor": { | |
| "elements": { | |
| "nodes": [ | |
| { | |
| "data": { | |
| "id": "097148b0-7809-11eb-8b50-13ac081fda51", | |
| "name": "v_B", | |
| "color": "Red", | |
| "sharedState": "Beee" | |
| }, | |
| "position": { | |
| "x": 201, | |
| "y": 317 | |
| }, | |
| "group": "nodes", | |
| "removed": false, | |
| "selected": false, | |
| "selectable": true, | |
| "locked": false, | |
| "grabbable": true, | |
| "pannable": false, | |
| "classes": "" | |
| }, | |
| { | |
| "data": { | |
| "id": "085ea030-7809-11eb-8b50-13ac081fda51", | |
| "name": "v_Z", | |
| "color": "LightSteelBlue" | |
| }, | |
| "position": { | |
| "x": 210, | |
| "y": 156 | |
| }, | |
| "group": "nodes", | |
| "removed": false, | |
| "selected": false, | |
| "selectable": true, | |
| "locked": false, | |
| "grabbable": true, | |
| "pannable": false, | |
| "classes": "" | |
| } | |
| ], | |
| "edges": [ | |
| { | |
| "data": { | |
| "id": "1b128750-7809-11eb-8b50-13ac081fda51", | |
| "name": "e_ZtoB", | |
| "source": "085ea030-7809-11eb-8b50-13ac081fda51", | |
| "target": "097148b0-7809-11eb-8b50-13ac081fda51", | |
| "color": "LightSteelBlue", | |
| "actions": [ | |
| "global.someVariable = false" | |
| ] | |
| }, | |
| "position": { | |
| "x": 0, | |
| "y": 0 | |
| }, | |
| "group": "edges", | |
| "removed": false, | |
| "selected": false, | |
| "selectable": true, | |
| "locked": false, | |
| "grabbable": true, | |
| "pannable": true, | |
| "classes": "" | |
| }, | |
| { | |
| "data": { | |
| "id": "1bf7b730-7809-11eb-8b50-13ac081fda51", | |
| "name": "e_BtoZ", | |
| "source": "097148b0-7809-11eb-8b50-13ac081fda51", | |
| "target": "085ea030-7809-11eb-8b50-13ac081fda51", | |
| "color": "LightSteelBlue", | |
| "guard": "global.someVariable==false" | |
| }, | |
| "position": { | |
| "x": 0, | |
| "y": 0 | |
| }, | |
| "group": "edges", | |
| "removed": false, | |
| "selected": false, | |
| "selectable": true, | |
| "locked": false, | |
| "grabbable": true, | |
| "pannable": true, | |
| "classes": "" | |
| } | |
| ] | |
| }, | |
| "style": [ | |
| { | |
| "selector": "core", | |
| "style": { | |
| "active-bg-size": "0px" | |
| } | |
| }, | |
| { | |
| "selector": "node", | |
| "style": { | |
| "label": "data(name)", | |
| "text-wrap": "wrap", | |
| "text-valign": "center", | |
| "text-halign": "center", | |
| "shape": "roundrectangle", | |
| "width": "label", | |
| "height": "label", | |
| "color": "rgb(0,0,0)", | |
| "background-color": "data(color)", | |
| "line-color": "data(color)", | |
| "padding": "10px" | |
| } | |
| }, | |
| { | |
| "selector": "edge", | |
| "style": { | |
| "label": "data(name)", | |
| "text-wrap": "wrap", | |
| "curve-style": "bezier", | |
| "text-rotation": "autorotate", | |
| "target-arrow-shape": "triangle", | |
| "width": "4px", | |
| "line-color": "data(color)", | |
| "target-arrow-color": "data(color)", | |
| "background-color": "data(color)" | |
| } | |
| }, | |
| { | |
| "selector": ":loop", | |
| "style": { | |
| "curve-style": "unbundled-bezier", | |
| "control-point-step-size": "60px" | |
| } | |
| }, | |
| { | |
| "selector": ":selected", | |
| "style": { | |
| "border-width": "4px", | |
| "border-color": "rgb(0,0,0)", | |
| "line-color": "rgb(0,0,0)", | |
| "target-arrow-color": "rgb(0,0,0)" | |
| } | |
| } | |
| ], | |
| "data": {}, | |
| "zoomingEnabled": true, | |
| "userZoomingEnabled": true, | |
| "zoom": 1, | |
| "minZoom": 1e-50, | |
| "maxZoom": 1e+50, | |
| "panningEnabled": true, | |
| "userPanningEnabled": true, | |
| "pan": { | |
| "x": 0, | |
| "y": 0 | |
| }, | |
| "boxSelectionEnabled": true, | |
| "renderer": { | |
| "name": "canvas" | |
| } | |
| } | |
| }, | |
| { | |
| "edges": [ | |
| { | |
| "id": "fddfdbb0-7808-11eb-8b50-13ac081fda51", | |
| "name": "e_BtoK", | |
| "sourceVertexId": "eeaeb2b0-7808-11eb-8b50-13ac081fda51", | |
| "targetVertexId": "ef33c130-7808-11eb-8b50-13ac081fda51" | |
| }, | |
| { | |
| "id": "feb81340-7808-11eb-8b50-13ac081fda51", | |
| "name": "e_KtoB", | |
| "sourceVertexId": "ef33c130-7808-11eb-8b50-13ac081fda51", | |
| "targetVertexId": "eeaeb2b0-7808-11eb-8b50-13ac081fda51" | |
| } | |
| ], | |
| "generator": "random(edge_coverage(100))", | |
| "id": "e8f601c0-7808-11eb-8b50-13ac081fda51", | |
| "name": "Model_2", | |
| "startElementId": "4984ca26-a57a-49b7-834b-4709c7406865", | |
| "vertices": [ | |
| { | |
| "id": "eeaeb2b0-7808-11eb-8b50-13ac081fda51", | |
| "name": "v_B", | |
| "properties": { | |
| "x": 206, | |
| "y": 198 | |
| }, | |
| "sharedState": "B" | |
| }, | |
| { | |
| "id": "ef33c130-7808-11eb-8b50-13ac081fda51", | |
| "name": "v_K", | |
| "properties": { | |
| "x": 207, | |
| "y": 375 | |
| } | |
| } | |
| ], | |
| "editor": { | |
| "elements": { | |
| "nodes": [ | |
| { | |
| "data": { | |
| "id": "ef33c130-7808-11eb-8b50-13ac081fda51", | |
| "name": "v_K", | |
| "color": "LightGreen" | |
| }, | |
| "position": { | |
| "x": 207, | |
| "y": 375 | |
| }, | |
| "group": "nodes", | |
| "removed": false, | |
| "selected": false, | |
| "selectable": true, | |
| "locked": false, | |
| "grabbable": true, | |
| "pannable": false, | |
| "classes": "" | |
| }, | |
| { | |
| "data": { | |
| "id": "eeaeb2b0-7808-11eb-8b50-13ac081fda51", | |
| "name": "v_B", | |
| "color": "LightGreen", | |
| "sharedState": "B" | |
| }, | |
| "position": { | |
| "x": 206, | |
| "y": 198 | |
| }, | |
| "group": "nodes", | |
| "removed": false, | |
| "selected": true, | |
| "selectable": true, | |
| "locked": false, | |
| "grabbable": true, | |
| "pannable": false, | |
| "classes": "" | |
| } | |
| ], | |
| "edges": [ | |
| { | |
| "data": { | |
| "id": "fddfdbb0-7808-11eb-8b50-13ac081fda51", | |
| "name": "e_BtoK", | |
| "source": "eeaeb2b0-7808-11eb-8b50-13ac081fda51", | |
| "target": "ef33c130-7808-11eb-8b50-13ac081fda51", | |
| "color": "LightGreen" | |
| }, | |
| "position": { | |
| "x": 0, | |
| "y": 0 | |
| }, | |
| "group": "edges", | |
| "removed": false, | |
| "selected": false, | |
| "selectable": true, | |
| "locked": false, | |
| "grabbable": true, | |
| "pannable": true, | |
| "classes": "" | |
| }, | |
| { | |
| "data": { | |
| "id": "feb81340-7808-11eb-8b50-13ac081fda51", | |
| "name": "e_KtoB", | |
| "source": "ef33c130-7808-11eb-8b50-13ac081fda51", | |
| "target": "eeaeb2b0-7808-11eb-8b50-13ac081fda51", | |
| "color": "LightGreen" | |
| }, | |
| "position": { | |
| "x": 0, | |
| "y": 0 | |
| }, | |
| "group": "edges", | |
| "removed": false, | |
| "selected": false, | |
| "selectable": true, | |
| "locked": false, | |
| "grabbable": true, | |
| "pannable": true, | |
| "classes": "" | |
| } | |
| ] | |
| }, | |
| "style": [ | |
| { | |
| "selector": "core", | |
| "style": { | |
| "active-bg-size": "0px" | |
| } | |
| }, | |
| { | |
| "selector": "node", | |
| "style": { | |
| "label": "data(name)", | |
| "text-wrap": "wrap", | |
| "text-valign": "center", | |
| "text-halign": "center", | |
| "shape": "roundrectangle", | |
| "width": "label", | |
| "height": "label", | |
| "color": "rgb(0,0,0)", | |
| "background-color": "data(color)", | |
| "line-color": "data(color)", | |
| "padding": "10px" | |
| } | |
| }, | |
| { | |
| "selector": "edge", | |
| "style": { | |
| "label": "data(name)", | |
| "text-wrap": "wrap", | |
| "curve-style": "bezier", | |
| "text-rotation": "autorotate", | |
| "target-arrow-shape": "triangle", | |
| "width": "4px", | |
| "line-color": "data(color)", | |
| "target-arrow-color": "data(color)", | |
| "background-color": "data(color)" | |
| } | |
| }, | |
| { | |
| "selector": ":loop", | |
| "style": { | |
| "curve-style": "unbundled-bezier", | |
| "control-point-step-size": "60px" | |
| } | |
| }, | |
| { | |
| "selector": ":selected", | |
| "style": { | |
| "border-width": "4px", | |
| "border-color": "rgb(0,0,0)", | |
| "line-color": "rgb(0,0,0)", | |
| "target-arrow-color": "rgb(0,0,0)" | |
| } | |
| } | |
| ], | |
| "data": {}, | |
| "zoomingEnabled": true, | |
| "userZoomingEnabled": true, | |
| "zoom": 1, | |
| "minZoom": 1e-50, | |
| "maxZoom": 1e+50, | |
| "panningEnabled": true, | |
| "userPanningEnabled": true, | |
| "pan": { | |
| "x": 0, | |
| "y": 0 | |
| }, | |
| "boxSelectionEnabled": true, | |
| "renderer": { | |
| "name": "canvas" | |
| } | |
| } | |
| }, | |
| { | |
| "name": "Model_1", | |
| "id": "cc4f389a-cd41-43df-94f4-9c895b9192f9", | |
| "generator": "random(edge_coverage(100))", | |
| "actions": [ | |
| "global.someVariable = false" | |
| ], | |
| "vertices": [ | |
| { | |
| "id": "4984ca26-a57a-49b7-834b-4709c7406865", | |
| "name": "v_A", | |
| "actions": [], | |
| "requirements": [], | |
| "properties": { | |
| "x": 320.921875, | |
| "y": 214.46875 | |
| } | |
| }, | |
| { | |
| "id": "09861e76-cb2d-40ef-a92a-00d5f95b7270", | |
| "name": "v_B", | |
| "sharedState": "B", | |
| "actions": [], | |
| "requirements": [], | |
| "properties": { | |
| "x": 317.921875, | |
| "y": 364.46875 | |
| } | |
| } | |
| ], | |
| "edges": [ | |
| { | |
| "id": "105b35ae-fe54-4689-80f0-1fbdaf337630", | |
| "name": "e_AtoB", | |
| "actions": [ | |
| "global.someVariable = true" | |
| ], | |
| "requirements": [], | |
| "properties": [], | |
| "sourceVertexId": "4984ca26-a57a-49b7-834b-4709c7406865", | |
| "targetVertexId": "09861e76-cb2d-40ef-a92a-00d5f95b7270" | |
| }, | |
| { | |
| "id": "6a247bcd-c5ce-48d1-9b48-df391612146b", | |
| "name": "e_BtoA", | |
| "guard": "global.someVariable == true", | |
| "actions": [], | |
| "requirements": [], | |
| "properties": [], | |
| "sourceVertexId": "09861e76-cb2d-40ef-a92a-00d5f95b7270", | |
| "targetVertexId": "4984ca26-a57a-49b7-834b-4709c7406865" | |
| } | |
| ], | |
| "startElementId": "4984ca26-a57a-49b7-834b-4709c7406865", | |
| "editor": { | |
| "elements": { | |
| "nodes": [ | |
| { | |
| "data": { | |
| "id": "09861e76-cb2d-40ef-a92a-00d5f95b7270", | |
| "name": "v_B", | |
| "color": "LightGreen", | |
| "sharedState": "B", | |
| "actions": [], | |
| "requirements": [] | |
| }, | |
| "position": { | |
| "x": 317.921875, | |
| "y": 364.46875 | |
| }, | |
| "group": "nodes", | |
| "removed": false, | |
| "selected": true, | |
| "selectable": true, | |
| "locked": false, | |
| "grabbable": true, | |
| "pannable": false, | |
| "classes": "" | |
| }, | |
| { | |
| "data": { | |
| "id": "4984ca26-a57a-49b7-834b-4709c7406865", | |
| "name": "v_A", | |
| "color": "LightGreen", | |
| "actions": [], | |
| "requirements": [] | |
| }, | |
| "position": { | |
| "x": 320.921875, | |
| "y": 214.46875 | |
| }, | |
| "group": "nodes", | |
| "removed": false, | |
| "selected": false, | |
| "selectable": true, | |
| "locked": false, | |
| "grabbable": true, | |
| "pannable": false, | |
| "classes": "" | |
| } | |
| ], | |
| "edges": [ | |
| { | |
| "data": { | |
| "id": "105b35ae-fe54-4689-80f0-1fbdaf337630", | |
| "name": "e_AtoB", | |
| "source": "4984ca26-a57a-49b7-834b-4709c7406865", | |
| "target": "09861e76-cb2d-40ef-a92a-00d5f95b7270", | |
| "color": "LightGreen", | |
| "actions": [ | |
| "global.someVariable = true" | |
| ] | |
| }, | |
| "position": { | |
| "x": 0, | |
| "y": 0 | |
| }, | |
| "group": "edges", | |
| "removed": false, | |
| "selected": false, | |
| "selectable": true, | |
| "locked": false, | |
| "grabbable": true, | |
| "pannable": true, | |
| "classes": "" | |
| }, | |
| { | |
| "data": { | |
| "id": "6a247bcd-c5ce-48d1-9b48-df391612146b", | |
| "name": "e_BtoA", | |
| "source": "09861e76-cb2d-40ef-a92a-00d5f95b7270", | |
| "target": "4984ca26-a57a-49b7-834b-4709c7406865", | |
| "color": "LightGreen", | |
| "guard": "global.someVariable == true", | |
| "actions": [] | |
| }, | |
| "position": { | |
| "x": 0, | |
| "y": 0 | |
| }, | |
| "group": "edges", | |
| "removed": false, | |
| "selected": false, | |
| "selectable": true, | |
| "locked": false, | |
| "grabbable": true, | |
| "pannable": true, | |
| "classes": "" | |
| } | |
| ] | |
| }, | |
| "style": [ | |
| { | |
| "selector": "core", | |
| "style": { | |
| "active-bg-size": "0px" | |
| } | |
| }, | |
| { | |
| "selector": "node", | |
| "style": { | |
| "label": "data(name)", | |
| "text-wrap": "wrap", | |
| "text-valign": "center", | |
| "text-halign": "center", | |
| "shape": "roundrectangle", | |
| "width": "label", | |
| "height": "label", | |
| "color": "rgb(0,0,0)", | |
| "background-color": "data(color)", | |
| "line-color": "data(color)", | |
| "padding": "10px" | |
| } | |
| }, | |
| { | |
| "selector": "edge", | |
| "style": { | |
| "label": "data(name)", | |
| "text-wrap": "wrap", | |
| "curve-style": "bezier", | |
| "text-rotation": "autorotate", | |
| "target-arrow-shape": "triangle", | |
| "width": "4px", | |
| "line-color": "data(color)", | |
| "target-arrow-color": "data(color)", | |
| "background-color": "data(color)" | |
| } | |
| }, | |
| { | |
| "selector": ":loop", | |
| "style": { | |
| "curve-style": "unbundled-bezier", | |
| "control-point-step-size": "60px" | |
| } | |
| }, | |
| { | |
| "selector": ":selected", | |
| "style": { | |
| "border-width": "4px", | |
| "border-color": "rgb(0,0,0)", | |
| "line-color": "rgb(0,0,0)", | |
| "target-arrow-color": "rgb(0,0,0)" | |
| } | |
| } | |
| ], | |
| "data": {}, | |
| "zoomingEnabled": true, | |
| "userZoomingEnabled": true, | |
| "zoom": 1, | |
| "minZoom": 1e-50, | |
| "maxZoom": 1e+50, | |
| "panningEnabled": true, | |
| "userPanningEnabled": true, | |
| "pan": { | |
| "x": 0, | |
| "y": 0 | |
| }, | |
| "boxSelectionEnabled": true, | |
| "renderer": { | |
| "name": "canvas" | |
| } | |
| } | |
| } | |
| ], | |
| "selectedModelIndex": 1, | |
| "selectedElementId": "ef33c130-7808-11eb-8b50-13ac081fda51" | |
| } |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment