An error occurred while loading the file. Please try again.
-
Pierre-Antoine Rouby authoredddf59412
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
# -*- coding: utf-8 -*-
from copy import deepcopy
from tools import trace, timer
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 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()