ReliabilitySimulation.git

			@@ -100,7 +100,7 @@
			},
			"size": {
			"width": 60,
			"height": 60
			"height": 40
			},
			"attrs": {
			"text": {
			@@ -222,8 +222,8 @@
			"y": 0
			},
			"size": {
			"width": 100,
			"height": 60
			"width": 60,
			"height": 40
			},
			"attrs": {
			"text": {
			@@ -345,7 +345,7 @@
			},
			"size": {
			"width": 60,
			"height": 60
			"height": 40
			},
			"attrs": {
			"text": {
			@@ -711,416 +711,6 @@
			group: 'left',
			},
			],
			},
			initJson: {
			"cells": [
			{
			"position": {
			"x": -600,
			"y": 0
			},
			"size": {
			"width": 60,
			"height": 60
			},
			"attrs": {
			"text": {
			"refY": "100%",
			"textVerticalAnchor": "top",
			"text": "start",
			"refY2": 4
			},
			"image": {
			"xlink:href": "/modelImg/start.svg"
			}
			},
			"visible": true,
			"shape": "image",
			"id": "10000",
			"data": {
			"type": "imageNodes",
			"endNodeId": "20000",
			"dataId": "",
			"nodeType": "start",
			"nodeTypeExt": "",
			"voteNum": ""
			},
			"ports": {
			"groups": {
			"top": {
			"position": {
			"name": "top"
			},
			"attrs": {
			"circle": {
			"r": 4,
			"magnet": true,
			"stroke": "#5F95FF",
			"strokeWidth": 1,
			"fill": "#fff",
			"style": {
			"visibility": "hidden"
			}
			}
			}
			},
			"right": {
			"position": {
			"name": "right"
			},
			"attrs": {
			"circle": {
			"r": 4,
			"magnet": true,
			"stroke": "#5F95FF",
			"strokeWidth": 1,
			"fill": "#fff",
			"style": {
			"visibility": "hidden"
			}
			}
			}
			},
			"bottom": {
			"position": {
			"name": "bottom"
			},
			"attrs": {
			"circle": {
			"r": 4,
			"magnet": true,
			"stroke": "#5F95FF",
			"strokeWidth": 1,
			"fill": "#fff",
			"style": {
			"visibility": "hidden"
			}
			}
			}
			},
			"left": {
			"position": {
			"name": "left"
			},
			"attrs": {
			"circle": {
			"r": 4,
			"magnet": true,
			"stroke": "#5F95FF",
			"strokeWidth": 1,
			"fill": "#fff",
			"style": {
			"visibility": "hidden"
			}
			}
			}
			}
			},
			"items": [
			{
			"id": "top1",
			"group": "top"
			},
			{
			"id": "right1",
			"group": "right"
			},
			{
			"id": "bottom1",
			"group": "bottom"
			},
			{
			"id": "left1",
			"group": "left"
			}
			]
			},
			"zIndex": 1
			},
			{
			"position": {
			"x": 0,
			"y": 0
			},
			"size": {
			"width": 100,
			"height": 60
			},
			"attrs": {
			"text": {
			"refY": "100%",
			"textVerticalAnchor": "top",
			"text": "dashedBox",
			"refY2": 4
			},
			"image": {
			"xlink:href": "/modelImg/dashedBox.svg"
			}
			},
			"visible": true,
			"shape": "image",
			"id": 15000,
			"data": {
			"type": "imageNodes",
			"dataId": "",
			"nodeType": "dashedBox",
			"nodeTypeExt": "",
			"voteNum": ""
			},
			"ports": {
			"groups": {
			"top": {
			"position": {
			"name": "top"
			},
			"attrs": {
			"circle": {
			"r": 4,
			"magnet": true,
			"stroke": "#5F95FF",
			"strokeWidth": 1,
			"fill": "#fff",
			"style": {
			"visibility": "hidden"
			}
			}
			}
			},
			"right": {
			"position": {
			"name": "right"
			},
			"attrs": {
			"circle": {
			"r": 4,
			"magnet": true,
			"stroke": "#5F95FF",
			"strokeWidth": 1,
			"fill": "#fff",
			"style": {
			"visibility": "hidden"
			}
			}
			}
			},
			"bottom": {
			"position": {
			"name": "bottom"
			},
			"attrs": {
			"circle": {
			"r": 4,
			"magnet": true,
			"stroke": "#5F95FF",
			"strokeWidth": 1,
			"fill": "#fff",
			"style": {
			"visibility": "hidden"
			}
			}
			}
			},
			"left": {
			"position": {
			"name": "left"
			},
			"attrs": {
			"circle": {
			"r": 4,
			"magnet": true,
			"stroke": "#5F95FF",
			"strokeWidth": 1,
			"fill": "#fff",
			"style": {
			"visibility": "hidden"
			}
			}
			}
			}
			},
			"items": [
			{
			"id": "top1",
			"group": "top"
			},
			{
			"id": "right1",
			"group": "right"
			},
			{
			"id": "bottom1",
			"group": "bottom"
			},
			{
			"id": "left1",
			"group": "left"
			}
			]
			},
			"zIndex": 2
			},
			{
			"position": {
			"x": 600,
			"y": 0
			},
			"size": {
			"width": 60,
			"height": 60
			},
			"attrs": {
			"text": {
			"refY": "100%",
			"textVerticalAnchor": "top",
			"text": "end",
			"refY2": 4
			},
			"image": {
			"xlink:href": "/modelImg/end.svg"
			}
			},
			"visible": true,
			"shape": "image",
			"id": "20000",
			"data": {
			"type": "imageNodes",
			"startNodeId": "10000",
			"dataId": "",
			"nodeType": "end",
			"nodeTypeExt": "",
			"voteNum": ""
			},
			"ports": {
			"groups": {
			"top": {
			"position": {
			"name": "top"
			},
			"attrs": {
			"circle": {
			"r": 4,
			"magnet": true,
			"stroke": "#5F95FF",
			"strokeWidth": 1,
			"fill": "#fff",
			"style": {
			"visibility": "hidden"
			}
			}
			}
			},
			"right": {
			"position": {
			"name": "right"
			},
			"attrs": {
			"circle": {
			"r": 4,
			"magnet": true,
			"stroke": "#5F95FF",
			"strokeWidth": 1,
			"fill": "#fff",
			"style": {
			"visibility": "hidden"
			}
			}
			}
			},
			"bottom": {
			"position": {
			"name": "bottom"
			},
			"attrs": {
			"circle": {
			"r": 4,
			"magnet": true,
			"stroke": "#5F95FF",
			"strokeWidth": 1,
			"fill": "#fff",
			"style": {
			"visibility": "hidden"
			}
			}
			}
			},
			"left": {
			"position": {
			"name": "left"
			},
			"attrs": {
			"circle": {
			"r": 4,
			"magnet": true,
			"stroke": "#5F95FF",
			"strokeWidth": 1,
			"fill": "#fff",
			"style": {
			"visibility": "hidden"
			}
			}
			}
			}
			},
			"items": [
			{
			"id": "top1",
			"group": "top"
			},
			{
			"id": "right1",
			"group": "right"
			},
			{
			"id": "bottom1",
			"group": "bottom"
			},
			{
			"id": "left1",
			"group": "left"
			}
			]
			},
			"zIndex": 3
			},
			{
			"shape": "edge",
			"id": "66c81c68-0827-4a3c-8343-e2c453d3e9e7",
			"router": {
			"name": "manhattan"
			},
			"connector": {
			"name": "rounded"
			},
			"source": {
			"cell": "10000",
			"port": "right1"
			},
			"target": {
			"cell": 15000,
			"port": "left1"
			},
			"zIndex": 4
			},
			{
			"shape": "edge",
			"id": "a0f3cf90-6d37-4ee0-a254-90b4ec2b6a7f",
			"router": {
			"name": "manhattan"
			},
			"connector": {
			"name": "rounded"
			},
			"source": {
			"cell": 15000,
			"port": "right1"
			},
			"target": {
			"cell": "20000",
			"port": "left1"
			},
			"zIndex": 5
			}
			]
			}
			}
			},
			@@ -1240,9 +830,10 @@
			return new Shape.Edge({
			attrs: {
			line: {
			// sourceMarker: 'block', // 实心箭头
			stroke: '#A2B1C3',
			strokeWidth: 2,
			targetMarker: {fill: 'none'}
			targetMarker: null
			}
			},
			labels: [{
			@@ -1305,7 +896,7 @@
			getDropNode: (node) => {
			const {width, height} = node.size()
			if (node.getData().type && node.getData().nodeType === 'dashedBox') {
			return node.clone().size(100, 60)
			return node.clone().size(60, 40)
			}
			if (node.getData().type && node.getData().type === 'imageNodes2') {
			return node.clone({keepId: true})
			@@ -1466,6 +1057,10 @@
			stencil.load(imageNodes, 'group1')
			stencil.load(imageNodes2, 'group2')

			this.graph.bindKey(['meta+c', 'ctrl+up'], () => {
			console.log('按了小键盘的UP键')
			})

			this.graph.bindKey(['meta+c', 'ctrl+c'], () => {
			const cells = this.graph.getSelectedCells()
			if (cells.length) {
			@@ -1516,7 +1111,7 @@
			})

			this.graph.on('blank:click', ({cell}) => {
			this.reset()
			// this.reset()
			// this.type.value = "grid"
			this.type = 'grid'
			// this.id = cell.id
			@@ -1568,16 +1163,16 @@
			})
			//单击边节点
			this.graph.on('edge:click', ({edge}) => {
			this.reset()
			edge.attr('line/stroke', 'orange')
			edge.prop('labels/0', {
			attrs: {
			body: {
			stroke: 'orange',
			},
			},

			})
			// this.reset()
			// edge.attr('line/stroke', 'orange')
			// edge.prop('labels/0', {
			// attrs: {
			// body: {
			// stroke: 'orange',
			// },
			// },
			//
			// })
			})
			// 单击node节点
			this.graph.on('node:click', ({node}) => {
			@@ -2087,8 +1682,8 @@
			width = 60
			height = 60
			} else if (dragNodeType === 'dashedBox') {
			width = 100
			height = 60
			width = 60
			height = 40
			} else if (dragNodeType === 'bridgeConnection') {
			width = 550
			height = 175
			@@ -2245,11 +1840,11 @@
			const rightTopDashedBox = this.createDashedBox(x + 380, y)

			const leftConnectNode = this.createConnectNode(x, y + 87)
			const alignCenterDashedBox = this.createDashedBox(x + 210, y + 87)
			const alignCenterDashedBox = this.createDashedBox(x + 209, y + 87)
			const rightConnectNode = this.createBridgeNode(x + 530, y + 87)

			const leftBottomDashedBox = this.createDashedBox(x + 50, y + 160)
			const rightBottomDashedBox = this.createDashedBox(x + 370, y + 160)
			const leftBottomDashedBox = this.createDashedBox(x + 40, y + 160)
			const rightBottomDashedBox = this.createDashedBox(x + 380, y + 160)

			rightConnectNode.setData({startNodeId: leftConnectNode.id})
			leftConnectNode.setData({endNodeId: rightConnectNode.id})
			@@ -2269,39 +1864,39 @@
			source: {cell: leftConnectNode, port: 'right1'},
			target: {cell: leftTopDashedBox, port: 'left1'},
			router: {name: 'manhattan'},
			connector: {name: 'rounded'}
			connector: {name: 'rounded'},
			})
			this.graph.addEdge({
			source: {cell: leftConnectNode, port: 'right1'},
			target: {cell: leftBottomDashedBox, port: 'left1'},
			router: {name: 'manhattan'},
			connector: {name: 'rounded'}
			connector: {name: 'rounded'},
			})

			let edgeTop = this.graph.addEdge({
			source: {cell: leftTopDashedBox, port: 'right1'},
			target: {cell: rightTopDashedBox, port: 'left1'},
			router: {name: 'manhattan'},
			connector: {name: 'rounded'}
			connector: {name: 'rounded'},
			})
			let edgeBottom = this.graph.addEdge({
			source: {cell: leftBottomDashedBox, port: 'right1'},
			target: {cell: rightBottomDashedBox, port: 'left1'},
			router: {name: 'manhattan'},
			connector: {name: 'rounded'}
			connector: {name: 'rounded'},
			})

			this.graph.addEdge({
			source: {cell: rightTopDashedBox, port: 'right1'},
			target: {cell: rightConnectNode, port: 'left1'},
			router: {name: 'manhattan'},
			connector: {name: 'rounded'}
			connector: {name: 'rounded'},
			})
			this.graph.addEdge({
			source: {cell: rightBottomDashedBox, port: 'right1'},
			target: {cell: rightConnectNode, port: 'left1'},
			router: {name: 'manhattan'},
			connector: {name: 'rounded'}
			connector: {name: 'rounded'},
			})

			this.graph.addEdge({
			@@ -2324,8 +1919,8 @@
			let dashedBox = this.graph.addNode({
			shape: 'image',
			// imageUrl: require('/public/modelImg/' + item.imgPath + '.png'),
			width: 100,
			height: 60,
			width: 60,
			height: 40,
			id: dashId,
			data: {
			isSelfCreated: true,