An error occurred while loading the file. Please try again.
-
Pierre-Antoine Rouby authoredeb6d218b
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
# -*- coding: utf-8 -*-
from copy import deepcopy
from tools import trace, timer
from PyQt5.QtCore import (
QPointF,
)
from PyQt5.QtWidgets import (
QMessageBox, QUndoCommand, QUndoStack,
)
from Model.Network.Node import Node
from Model.Network.Edge import Edge
from Model.Network.Graph import Graph
class AddNodeCommand(QUndoCommand):
def __init__(self, graph, node):
QUndoCommand.__init__(self)
self._graph = graph
self._node = node
def undo(self):
self._graph.remove_node(self._node.name)
def redo(self):
self._graph.insert_node(self._node)
class SetNodePosCommand(QUndoCommand):
def __init__(self, node, new, old):
QUndoCommand.__init__(self)
self._node = node
self._new = new
self._old = old
def undo(self):
self._node.node.setPos(self._old[0], self._old[1])
def redo(self):
self._node.node.setPos(self._new[0], self._new[1])
class DelNodeCommand(QUndoCommand):
def __init__(self, graph, node):
QUndoCommand.__init__(self)
self._graph = graph
self._node = node
self._edges = []
def undo(self):
for edge in self._edges:
self._graph.insert_edge(edge)
self._graph.insert_node(self._node)
def redo(self):
self._edges = list(
filter(
lambda e: (e.node1 == self._node or
e.node2 == self._node),
self._graph.edges()
)
)
for edge in self._edges:
self._graph.remove_edge(edge.name)
self._graph.remove_node(self._node.name)
class AddEdgeCommand(QUndoCommand):
def __init__(self, graph, edge):
QUndoCommand.__init__(self)
self._graph = graph
self._edge = edge
def undo(self):
self._graph.remove_edge(self._edge.name)
def redo(self):
self._graph.insert_edge(self._edge)
class DelEdgeCommand(QUndoCommand):
def __init__(self, graph, edge):
QUndoCommand.__init__(self)
self._graph = graph
self._edge = edge
def undo(self):
self._graph.insert_edge(self._edge)
def redo(self):
self._graph.remove_edge(self._edge.name)
class SetCommand(QUndoCommand):
def __init__(self, element, column, new_value):
QUndoCommand.__init__(self)
self._el = element
self._column = column
self._old = self._el[self._column]
self._new = new_value
def undo(self):
self._el[self._column] = self._old
def redo(self):
self._el[self._column] = self._new
class SetNodeCommand(QUndoCommand):
def __init__(self, graph, element, column, new_value):
QUndoCommand.__init__(self)
self._el = element
self._column = column
self._old = graph.node(self._el[self._column])
self._new = new_value
def undo(self):
self._el[self._column] = self._old
def redo(self):
self._el[self._column] = self._new
class EnableEdgeCommand(QUndoCommand):
def __init__(self, edge, enable):
QUndoCommand.__init__(self)
self._edge = edge
self._old = self._edge._enable
self._enable = enable
def undo(self):
self._edge.enable(enable = self._old)
def redo(self):
self._edge.enable(enable = self._enable)
class ReverseEdgeCommand(QUndoCommand):
def __init__(self, edge):
QUndoCommand.__init__(self)
self._edge = edge
def undo(self):
self._edge.reverse()
def redo(self):
self._edge.reverse()