2019-09-18 19:25:33 +01:00
|
|
|
import logging
|
2019-09-15 23:20:00 +01:00
|
|
|
import tkinter as tk
|
2020-04-21 08:38:36 +01:00
|
|
|
from copy import deepcopy
|
2020-04-19 23:47:07 +01:00
|
|
|
from tkinter import BooleanVar
|
2020-03-27 05:24:23 +00:00
|
|
|
from typing import TYPE_CHECKING, Tuple
|
2019-09-15 23:20:00 +01:00
|
|
|
|
2019-12-04 21:40:35 +00:00
|
|
|
from PIL import Image, ImageTk
|
2019-11-14 20:58:27 +00:00
|
|
|
|
2019-10-05 00:52:07 +01:00
|
|
|
from core.api.grpc import core_pb2
|
2019-12-19 17:30:21 +00:00
|
|
|
from core.gui.dialogs.shapemod import ShapeDialog
|
|
|
|
from core.gui.graph import tags
|
2020-04-14 18:47:42 +01:00
|
|
|
from core.gui.graph.edges import (
|
|
|
|
EDGE_WIDTH,
|
|
|
|
CanvasEdge,
|
|
|
|
CanvasWirelessEdge,
|
2020-04-14 23:51:28 +01:00
|
|
|
arc_edges,
|
2020-04-14 18:47:42 +01:00
|
|
|
create_edge_token,
|
|
|
|
)
|
2019-12-19 17:30:21 +00:00
|
|
|
from core.gui.graph.enums import GraphMode, ScaleOption
|
|
|
|
from core.gui.graph.node import CanvasNode
|
|
|
|
from core.gui.graph.shape import Shape
|
|
|
|
from core.gui.graph.shapeutils import ShapeType, is_draw_shape, is_marker
|
2020-02-13 20:15:56 +00:00
|
|
|
from core.gui.images import ImageEnum, Images, TypeToImage
|
2020-04-14 18:47:42 +01:00
|
|
|
from core.gui.nodeutils import NodeUtils
|
2019-10-04 00:50:49 +01:00
|
|
|
|
2020-01-14 19:06:52 +00:00
|
|
|
if TYPE_CHECKING:
|
2020-01-14 19:59:44 +00:00
|
|
|
from core.gui.app import Application
|
2020-01-14 19:06:52 +00:00
|
|
|
from core.gui.coreclient import CoreClient
|
|
|
|
|
2019-12-10 22:33:52 +00:00
|
|
|
ZOOM_IN = 1.1
|
|
|
|
ZOOM_OUT = 0.9
|
2020-01-28 00:27:21 +00:00
|
|
|
ICON_SIZE = 48
|
2019-12-10 22:33:52 +00:00
|
|
|
|
2019-09-15 23:20:00 +01:00
|
|
|
|
2020-04-19 23:47:07 +01:00
|
|
|
class ShowVar(BooleanVar):
|
|
|
|
def __init__(self, canvas: "CanvasGraph", tag: str, value: bool) -> None:
|
|
|
|
super().__init__(value=value)
|
|
|
|
self.canvas = canvas
|
|
|
|
self.tag = tag
|
|
|
|
|
|
|
|
def state(self) -> str:
|
|
|
|
return tk.NORMAL if self.get() else tk.HIDDEN
|
|
|
|
|
2020-05-15 22:46:35 +01:00
|
|
|
def click_handler(self) -> None:
|
2020-04-19 23:47:07 +01:00
|
|
|
self.canvas.itemconfigure(self.tag, state=self.state())
|
|
|
|
|
|
|
|
|
2019-09-15 23:20:00 +01:00
|
|
|
class CanvasGraph(tk.Canvas):
|
2020-05-15 22:46:35 +01:00
|
|
|
def __init__(self, master: tk.Widget, app: "Application", core: "CoreClient"):
|
2019-12-12 19:06:52 +00:00
|
|
|
super().__init__(master, highlightthickness=0, background="#cccccc")
|
2020-05-03 07:51:42 +01:00
|
|
|
self.app = app
|
2019-12-10 22:33:52 +00:00
|
|
|
self.core = core
|
2019-09-15 23:20:00 +01:00
|
|
|
self.mode = GraphMode.SELECT
|
2019-11-28 00:39:48 +00:00
|
|
|
self.annotation_type = None
|
2019-12-05 21:13:35 +00:00
|
|
|
self.selection = {}
|
2019-12-11 22:42:00 +00:00
|
|
|
self.select_box = None
|
2019-09-15 23:20:00 +01:00
|
|
|
self.selected = None
|
2019-11-21 07:16:04 +00:00
|
|
|
self.node_draw = None
|
2019-09-15 23:20:00 +01:00
|
|
|
self.nodes = {}
|
|
|
|
self.edges = {}
|
2019-11-28 00:39:48 +00:00
|
|
|
self.shapes = {}
|
2019-11-27 23:40:54 +00:00
|
|
|
self.wireless_edges = {}
|
2020-02-18 23:58:18 +00:00
|
|
|
|
|
|
|
# map wireless/EMANE node to the set of MDRs connected to that node
|
|
|
|
self.wireless_network = {}
|
|
|
|
|
2019-09-15 23:20:00 +01:00
|
|
|
self.drawing_edge = None
|
2020-05-03 07:51:42 +01:00
|
|
|
self.rect = None
|
2019-12-03 00:05:10 +00:00
|
|
|
self.shape_drawing = False
|
2020-05-15 22:46:35 +01:00
|
|
|
width = self.app.guiconfig.preferences.width
|
|
|
|
height = self.app.guiconfig.preferences.height
|
2019-12-12 19:06:52 +00:00
|
|
|
self.default_dimensions = (width, height)
|
|
|
|
self.current_dimensions = self.default_dimensions
|
2019-12-10 22:33:52 +00:00
|
|
|
self.ratio = 1.0
|
|
|
|
self.offset = (0, 0)
|
|
|
|
self.cursor = (0, 0)
|
2019-12-18 17:49:45 +00:00
|
|
|
self.marker_tool = None
|
2019-12-20 00:15:29 +00:00
|
|
|
self.to_copy = []
|
2019-09-30 18:11:29 +01:00
|
|
|
|
2019-11-14 19:26:20 +00:00
|
|
|
# background related
|
|
|
|
self.wallpaper_id = None
|
|
|
|
self.wallpaper = None
|
|
|
|
self.wallpaper_drawn = None
|
|
|
|
self.wallpaper_file = ""
|
|
|
|
self.scale_option = tk.IntVar(value=1)
|
2019-11-14 20:58:27 +00:00
|
|
|
self.adjust_to_dim = tk.BooleanVar(value=False)
|
2019-11-14 19:26:20 +00:00
|
|
|
|
2019-12-27 05:32:30 +00:00
|
|
|
# throughput related
|
|
|
|
self.throughput_threshold = 250.0
|
|
|
|
self.throughput_width = 10
|
|
|
|
self.throughput_color = "#FF0000"
|
|
|
|
|
2020-04-19 23:47:07 +01:00
|
|
|
# drawing related
|
|
|
|
self.show_node_labels = ShowVar(self, tags.NODE_LABEL, value=True)
|
|
|
|
self.show_link_labels = ShowVar(self, tags.LINK_LABEL, value=True)
|
|
|
|
self.show_grid = ShowVar(self, tags.GRIDLINE, value=True)
|
2020-04-19 23:57:59 +01:00
|
|
|
self.show_annotations = ShowVar(self, tags.ANNOTATION, value=True)
|
2020-04-19 23:47:07 +01:00
|
|
|
self.show_interface_names = BooleanVar(value=False)
|
|
|
|
self.show_ip4s = BooleanVar(value=True)
|
|
|
|
self.show_ip6s = BooleanVar(value=True)
|
|
|
|
|
2019-12-10 22:33:52 +00:00
|
|
|
# bindings
|
|
|
|
self.setup_bindings()
|
|
|
|
|
2019-12-09 20:07:42 +00:00
|
|
|
# draw base canvas
|
|
|
|
self.draw_canvas()
|
|
|
|
self.draw_grid()
|
|
|
|
|
2020-01-14 19:59:44 +00:00
|
|
|
def draw_canvas(self, dimensions: Tuple[int, int] = None):
|
2020-05-03 07:51:42 +01:00
|
|
|
if self.rect is not None:
|
|
|
|
self.delete(self.rect)
|
2019-12-12 19:06:52 +00:00
|
|
|
if not dimensions:
|
|
|
|
dimensions = self.default_dimensions
|
|
|
|
self.current_dimensions = dimensions
|
2020-05-03 07:51:42 +01:00
|
|
|
self.rect = self.create_rectangle(
|
2019-12-09 20:07:42 +00:00
|
|
|
0,
|
|
|
|
0,
|
2019-12-12 19:06:52 +00:00
|
|
|
*dimensions,
|
2019-12-09 20:07:42 +00:00
|
|
|
outline="#000000",
|
|
|
|
fill="#ffffff",
|
|
|
|
width=1,
|
|
|
|
tags="rectangle",
|
|
|
|
)
|
2019-12-12 19:06:52 +00:00
|
|
|
self.configure(scrollregion=self.bbox(tk.ALL))
|
2019-12-09 20:07:42 +00:00
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def reset_and_redraw(self, session: core_pb2.Session):
|
2019-10-19 00:42:00 +01:00
|
|
|
"""
|
2019-11-01 17:45:47 +00:00
|
|
|
Reset the private variables CanvasGraph object, redraw nodes given the new grpc
|
|
|
|
client.
|
2020-01-16 19:00:57 +00:00
|
|
|
:param session: session to draw
|
2019-10-19 00:42:00 +01:00
|
|
|
"""
|
2020-05-01 22:13:44 +01:00
|
|
|
# reset view options to default state
|
|
|
|
self.show_node_labels.set(True)
|
|
|
|
self.show_link_labels.set(True)
|
|
|
|
self.show_grid.set(True)
|
|
|
|
self.show_annotations.set(True)
|
|
|
|
self.show_interface_names.set(False)
|
|
|
|
self.show_ip4s.set(True)
|
|
|
|
self.show_ip6s.set(True)
|
|
|
|
|
2019-10-19 00:42:00 +01:00
|
|
|
# delete any existing drawn items
|
2020-05-16 22:12:08 +01:00
|
|
|
for tag in tags.RESET_TAGS:
|
2019-12-06 00:37:48 +00:00
|
|
|
self.delete(tag)
|
2019-10-19 00:42:00 +01:00
|
|
|
|
|
|
|
# set the private variables to default value
|
|
|
|
self.mode = GraphMode.SELECT
|
2019-12-09 16:53:54 +00:00
|
|
|
self.annotation_type = None
|
2019-11-16 07:31:41 +00:00
|
|
|
self.node_draw = None
|
2019-10-19 00:42:00 +01:00
|
|
|
self.selected = None
|
2019-11-04 06:58:45 +00:00
|
|
|
self.nodes.clear()
|
|
|
|
self.edges.clear()
|
2019-12-05 18:12:31 +00:00
|
|
|
self.shapes.clear()
|
2019-11-27 23:40:54 +00:00
|
|
|
self.wireless_edges.clear()
|
2020-02-20 19:16:26 +00:00
|
|
|
self.wireless_network.clear()
|
2019-10-19 00:42:00 +01:00
|
|
|
self.drawing_edge = None
|
2019-11-15 18:22:30 +00:00
|
|
|
self.draw_session(session)
|
2019-10-19 00:42:00 +01:00
|
|
|
|
2019-10-04 00:50:49 +01:00
|
|
|
def setup_bindings(self):
|
|
|
|
"""
|
|
|
|
Bind any mouse events or hot keys to the matching action
|
|
|
|
"""
|
|
|
|
self.bind("<ButtonPress-1>", self.click_press)
|
|
|
|
self.bind("<ButtonRelease-1>", self.click_release)
|
|
|
|
self.bind("<B1-Motion>", self.click_motion)
|
2019-11-07 21:23:02 +00:00
|
|
|
self.bind("<Delete>", self.press_delete)
|
2019-12-03 00:05:10 +00:00
|
|
|
self.bind("<Control-1>", self.ctrl_click)
|
2019-12-04 00:18:00 +00:00
|
|
|
self.bind("<Double-Button-1>", self.double_click)
|
2019-12-10 22:33:52 +00:00
|
|
|
self.bind("<MouseWheel>", self.zoom)
|
|
|
|
self.bind("<Button-4>", lambda e: self.zoom(e, ZOOM_IN))
|
|
|
|
self.bind("<Button-5>", lambda e: self.zoom(e, ZOOM_OUT))
|
|
|
|
self.bind("<ButtonPress-3>", lambda e: self.scan_mark(e.x, e.y))
|
|
|
|
self.bind("<B3-Motion>", lambda e: self.scan_dragto(e.x, e.y, gain=1))
|
2019-10-02 00:25:26 +01:00
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def get_actual_coords(self, x: float, y: float) -> [float, float]:
|
2019-12-12 19:06:52 +00:00
|
|
|
actual_x = (x - self.offset[0]) / self.ratio
|
|
|
|
actual_y = (y - self.offset[1]) / self.ratio
|
|
|
|
return actual_x, actual_y
|
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def get_scaled_coords(self, x: float, y: float) -> [float, float]:
|
2019-12-12 19:06:52 +00:00
|
|
|
scaled_x = (x * self.ratio) + self.offset[0]
|
|
|
|
scaled_y = (y * self.ratio) + self.offset[1]
|
|
|
|
return scaled_x, scaled_y
|
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def inside_canvas(self, x: float, y: float) -> [bool, bool]:
|
2020-05-03 07:51:42 +01:00
|
|
|
x1, y1, x2, y2 = self.bbox(self.rect)
|
2019-12-13 05:33:51 +00:00
|
|
|
valid_x = x1 <= x <= x2
|
|
|
|
valid_y = y1 <= y <= y2
|
|
|
|
return valid_x and valid_y
|
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def valid_position(self, x1: int, y1: int, x2: int, y2: int) -> [bool, bool]:
|
2019-12-13 17:28:51 +00:00
|
|
|
valid_topleft = self.inside_canvas(x1, y1)
|
|
|
|
valid_bottomright = self.inside_canvas(x2, y2)
|
|
|
|
return valid_topleft and valid_bottomright
|
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def set_throughputs(self, throughputs_event: core_pb2.ThroughputsEvent):
|
2019-12-27 08:32:10 +00:00
|
|
|
for interface_throughput in throughputs_event.interface_throughputs:
|
|
|
|
node_id = interface_throughput.node_id
|
|
|
|
interface_id = interface_throughput.interface_id
|
|
|
|
throughput = interface_throughput.throughput
|
|
|
|
interface_to_edge_id = (node_id, interface_id)
|
|
|
|
token = self.core.interface_to_edge.get(interface_to_edge_id)
|
|
|
|
if not token:
|
|
|
|
continue
|
|
|
|
edge = self.edges.get(token)
|
|
|
|
if edge:
|
|
|
|
edge.set_throughput(throughput)
|
|
|
|
else:
|
|
|
|
del self.core.interface_to_edge[interface_to_edge_id]
|
|
|
|
|
2019-12-09 20:07:42 +00:00
|
|
|
def draw_grid(self):
|
2019-09-30 18:11:29 +01:00
|
|
|
"""
|
2019-12-10 22:33:52 +00:00
|
|
|
Create grid.
|
2019-09-30 18:11:29 +01:00
|
|
|
"""
|
2019-12-09 20:07:42 +00:00
|
|
|
width, height = self.width_and_height()
|
|
|
|
width = int(width)
|
|
|
|
height = int(height)
|
2019-09-30 18:11:29 +01:00
|
|
|
for i in range(0, width, 27):
|
2019-12-09 22:13:21 +00:00
|
|
|
self.create_line(i, 0, i, height, dash=(2, 4), tags=tags.GRIDLINE)
|
2019-09-30 18:11:29 +01:00
|
|
|
for i in range(0, height, 27):
|
2019-12-09 22:13:21 +00:00
|
|
|
self.create_line(0, i, width, i, dash=(2, 4), tags=tags.GRIDLINE)
|
|
|
|
self.tag_lower(tags.GRIDLINE)
|
2020-05-03 07:51:42 +01:00
|
|
|
self.tag_lower(self.rect)
|
2019-09-15 23:20:00 +01:00
|
|
|
|
2020-04-14 23:51:28 +01:00
|
|
|
def add_wireless_edge(
|
2020-04-15 20:41:09 +01:00
|
|
|
self, src: CanvasNode, dst: CanvasNode, link: core_pb2.Link
|
|
|
|
) -> None:
|
|
|
|
network_id = link.network_id if link.network_id else None
|
2020-04-14 23:51:28 +01:00
|
|
|
token = create_edge_token(src.id, dst.id, network_id)
|
2020-04-15 01:08:42 +01:00
|
|
|
if token in self.wireless_edges:
|
2020-04-15 20:41:09 +01:00
|
|
|
logging.warning("ignoring link that already exists: %s", link)
|
2020-04-15 01:08:42 +01:00
|
|
|
return
|
2020-04-14 18:47:42 +01:00
|
|
|
src_pos = self.coords(src.id)
|
|
|
|
dst_pos = self.coords(dst.id)
|
|
|
|
edge = CanvasWirelessEdge(self, src.id, dst.id, src_pos, dst_pos, token)
|
2020-04-15 20:41:09 +01:00
|
|
|
if link.label:
|
|
|
|
edge.middle_label_text(link.label)
|
2020-04-15 23:41:37 +01:00
|
|
|
if link.color:
|
|
|
|
edge.color = link.color
|
2019-11-27 23:40:54 +00:00
|
|
|
self.wireless_edges[token] = edge
|
|
|
|
src.wireless_edges.add(edge)
|
|
|
|
dst.wireless_edges.add(edge)
|
|
|
|
self.tag_raise(src.id)
|
|
|
|
self.tag_raise(dst.id)
|
2020-04-14 23:51:28 +01:00
|
|
|
# update arcs when there are multiple links
|
|
|
|
common_edges = list(src.wireless_edges & dst.wireless_edges)
|
|
|
|
arc_edges(common_edges)
|
2019-11-27 23:40:54 +00:00
|
|
|
|
2020-04-14 23:51:28 +01:00
|
|
|
def delete_wireless_edge(
|
2020-04-15 20:41:09 +01:00
|
|
|
self, src: CanvasNode, dst: CanvasNode, link: core_pb2.Link
|
|
|
|
) -> None:
|
|
|
|
network_id = link.network_id if link.network_id else None
|
2020-04-14 23:51:28 +01:00
|
|
|
token = create_edge_token(src.id, dst.id, network_id)
|
2020-04-15 01:08:42 +01:00
|
|
|
if token not in self.wireless_edges:
|
|
|
|
return
|
2019-11-27 23:40:54 +00:00
|
|
|
edge = self.wireless_edges.pop(token)
|
|
|
|
edge.delete()
|
|
|
|
src.wireless_edges.remove(edge)
|
|
|
|
dst.wireless_edges.remove(edge)
|
2020-04-14 23:51:28 +01:00
|
|
|
# update arcs when there are multiple links
|
|
|
|
common_edges = list(src.wireless_edges & dst.wireless_edges)
|
|
|
|
arc_edges(common_edges)
|
2019-11-27 23:40:54 +00:00
|
|
|
|
2020-04-15 20:41:09 +01:00
|
|
|
def update_wireless_edge(
|
|
|
|
self, src: CanvasNode, dst: CanvasNode, link: core_pb2.Link
|
|
|
|
) -> None:
|
|
|
|
if not link.label:
|
|
|
|
return
|
|
|
|
network_id = link.network_id if link.network_id else None
|
|
|
|
token = create_edge_token(src.id, dst.id, network_id)
|
2020-04-21 21:22:21 +01:00
|
|
|
if token not in self.wireless_edges:
|
|
|
|
self.add_wireless_edge(src, dst, link)
|
|
|
|
else:
|
|
|
|
edge = self.wireless_edges[token]
|
|
|
|
edge.middle_label_text(link.label)
|
2020-04-15 20:41:09 +01:00
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def draw_session(self, session: core_pb2.Session):
|
2019-09-30 18:11:29 +01:00
|
|
|
"""
|
2019-11-15 18:22:30 +00:00
|
|
|
Draw existing session.
|
2019-09-30 18:11:29 +01:00
|
|
|
"""
|
2019-11-15 18:22:30 +00:00
|
|
|
# draw existing nodes
|
|
|
|
for core_node in session.nodes:
|
2020-02-03 20:18:29 +00:00
|
|
|
logging.debug("drawing node %s", core_node)
|
2019-10-05 00:52:07 +01:00
|
|
|
# peer to peer node is not drawn on the GUI
|
2019-11-25 23:40:09 +00:00
|
|
|
if NodeUtils.is_ignore_node(core_node.type):
|
2019-11-15 18:22:30 +00:00
|
|
|
continue
|
2020-02-17 19:10:13 +00:00
|
|
|
image = NodeUtils.node_image(
|
|
|
|
core_node, self.app.guiconfig, self.app.app_scale
|
|
|
|
)
|
2020-01-28 00:27:21 +00:00
|
|
|
# if the gui can't find node's image, default to the "edit-node" image
|
|
|
|
if not image:
|
2020-02-17 19:10:13 +00:00
|
|
|
image = Images.get(
|
|
|
|
ImageEnum.EDITNODE, int(ICON_SIZE * self.app.app_scale)
|
|
|
|
)
|
2019-12-12 19:06:52 +00:00
|
|
|
x = core_node.position.x
|
|
|
|
y = core_node.position.y
|
2020-05-03 07:51:42 +01:00
|
|
|
node = CanvasNode(self.app, x, y, core_node, image)
|
2019-11-15 18:22:30 +00:00
|
|
|
self.nodes[node.id] = node
|
|
|
|
self.core.canvas_nodes[core_node.id] = node
|
2019-10-11 01:02:28 +01:00
|
|
|
|
2019-10-05 00:52:07 +01:00
|
|
|
# draw existing links
|
|
|
|
for link in session.links:
|
2020-02-03 20:18:29 +00:00
|
|
|
logging.debug("drawing link: %s", link)
|
2019-11-15 18:22:30 +00:00
|
|
|
canvas_node_one = self.core.canvas_nodes[link.node_one_id]
|
2019-11-20 18:59:30 +00:00
|
|
|
node_one = canvas_node_one.core_node
|
2019-11-15 18:22:30 +00:00
|
|
|
canvas_node_two = self.core.canvas_nodes[link.node_two_id]
|
2019-11-20 18:59:30 +00:00
|
|
|
node_two = canvas_node_two.core_node
|
2020-04-14 18:47:42 +01:00
|
|
|
token = create_edge_token(canvas_node_one.id, canvas_node_two.id)
|
2019-12-19 06:09:00 +00:00
|
|
|
|
2019-11-22 00:41:38 +00:00
|
|
|
if link.type == core_pb2.LinkType.WIRELESS:
|
2020-04-21 17:34:30 +01:00
|
|
|
self.add_wireless_edge(canvas_node_one, canvas_node_two, link)
|
2019-11-22 00:41:38 +00:00
|
|
|
else:
|
2019-12-19 06:09:00 +00:00
|
|
|
if token not in self.edges:
|
2020-04-14 18:47:42 +01:00
|
|
|
src_pos = (node_one.position.x, node_one.position.y)
|
|
|
|
dst_pos = (node_two.position.x, node_two.position.y)
|
|
|
|
edge = CanvasEdge(self, canvas_node_one.id, src_pos, dst_pos)
|
2019-12-19 06:09:00 +00:00
|
|
|
edge.token = token
|
|
|
|
edge.dst = canvas_node_two.id
|
|
|
|
edge.set_link(link)
|
|
|
|
edge.check_wireless()
|
|
|
|
canvas_node_one.edges.add(edge)
|
|
|
|
canvas_node_two.edges.add(edge)
|
|
|
|
self.edges[edge.token] = edge
|
|
|
|
self.core.links[edge.token] = edge
|
|
|
|
if link.HasField("interface_one"):
|
2020-05-17 07:35:19 +01:00
|
|
|
interface_one = link.interface_one
|
2020-05-15 07:07:21 +01:00
|
|
|
self.core.interface_to_edge[
|
2020-05-17 07:35:19 +01:00
|
|
|
(node_one.id, interface_one.id)
|
2020-05-15 07:07:21 +01:00
|
|
|
] = token
|
2020-05-17 07:35:19 +01:00
|
|
|
canvas_node_one.interfaces[interface_one.id] = interface_one
|
|
|
|
edge.src_interface = interface_one
|
2019-12-19 06:09:00 +00:00
|
|
|
if link.HasField("interface_two"):
|
2020-05-17 07:35:19 +01:00
|
|
|
interface_two = link.interface_two
|
2020-05-15 07:07:21 +01:00
|
|
|
self.core.interface_to_edge[
|
2020-05-17 07:35:19 +01:00
|
|
|
(node_two.id, interface_two.id)
|
2020-05-15 07:07:21 +01:00
|
|
|
] = edge.token
|
2020-05-17 07:35:19 +01:00
|
|
|
canvas_node_two.interfaces[interface_two.id] = interface_two
|
|
|
|
edge.dst_interface = interface_two
|
2019-12-19 06:09:00 +00:00
|
|
|
elif link.options.unidirectional:
|
|
|
|
edge = self.edges[token]
|
|
|
|
edge.asymmetric_link = link
|
|
|
|
else:
|
|
|
|
logging.error("duplicate link received: %s", link)
|
2019-10-11 01:02:28 +01:00
|
|
|
|
2019-12-27 08:32:10 +00:00
|
|
|
def stopped_session(self):
|
|
|
|
# clear wireless edges
|
|
|
|
for edge in self.wireless_edges.values():
|
|
|
|
edge.delete()
|
|
|
|
src_node = self.nodes[edge.src]
|
|
|
|
src_node.wireless_edges.remove(edge)
|
|
|
|
dst_node = self.nodes[edge.dst]
|
|
|
|
dst_node.wireless_edges.remove(edge)
|
|
|
|
self.wireless_edges.clear()
|
|
|
|
|
|
|
|
# clear all middle edge labels
|
|
|
|
for edge in self.edges.values():
|
|
|
|
edge.reset()
|
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def canvas_xy(self, event: tk.Event) -> [float, float]:
|
2019-09-30 18:11:29 +01:00
|
|
|
"""
|
|
|
|
Convert window coordinate to canvas coordinate
|
|
|
|
"""
|
2019-09-15 23:20:00 +01:00
|
|
|
x = self.canvasx(event.x)
|
|
|
|
y = self.canvasy(event.y)
|
|
|
|
return x, y
|
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def get_selected(self, event: tk.Event) -> int:
|
2019-09-30 18:11:29 +01:00
|
|
|
"""
|
|
|
|
Retrieve the item id that is on the mouse position
|
|
|
|
"""
|
2019-12-10 22:33:52 +00:00
|
|
|
x, y = self.canvas_xy(event)
|
|
|
|
overlapping = self.find_overlapping(x, y, x, y)
|
2019-09-15 23:20:00 +01:00
|
|
|
selected = None
|
|
|
|
for _id in overlapping:
|
|
|
|
if self.drawing_edge and self.drawing_edge.id == _id:
|
|
|
|
continue
|
|
|
|
|
2019-11-27 22:25:29 +00:00
|
|
|
if _id in self.nodes:
|
2019-09-15 23:20:00 +01:00
|
|
|
selected = _id
|
|
|
|
break
|
|
|
|
|
2019-12-03 00:05:10 +00:00
|
|
|
if _id in self.shapes:
|
|
|
|
selected = _id
|
|
|
|
|
2019-09-15 23:20:00 +01:00
|
|
|
return selected
|
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def click_release(self, event: tk.Event):
|
2019-09-30 18:11:29 +01:00
|
|
|
"""
|
|
|
|
Draw a node or finish drawing an edge according to the current graph mode
|
|
|
|
"""
|
2019-12-11 22:42:00 +00:00
|
|
|
logging.debug("click release")
|
2019-12-13 05:33:51 +00:00
|
|
|
x, y = self.canvas_xy(event)
|
|
|
|
if not self.inside_canvas(x, y):
|
|
|
|
return
|
2020-05-02 17:20:36 +01:00
|
|
|
if self.mode == GraphMode.ANNOTATION:
|
|
|
|
self.focus_set()
|
|
|
|
if self.shape_drawing:
|
|
|
|
shape = self.shapes[self.selected]
|
|
|
|
shape.shape_complete(x, y)
|
|
|
|
self.shape_drawing = False
|
|
|
|
elif self.mode == GraphMode.SELECT:
|
|
|
|
self.focus_set()
|
|
|
|
if self.select_box:
|
|
|
|
x0, y0, x1, y1 = self.coords(self.select_box.id)
|
|
|
|
inside = [
|
|
|
|
x
|
|
|
|
for x in self.find_enclosed(x0, y0, x1, y1)
|
|
|
|
if "node" in self.gettags(x) or "shape" in self.gettags(x)
|
|
|
|
]
|
|
|
|
for i in inside:
|
|
|
|
self.select_object(i, True)
|
|
|
|
self.select_box.disappear()
|
|
|
|
self.select_box = None
|
2019-10-30 20:33:22 +00:00
|
|
|
else:
|
2020-05-02 17:20:36 +01:00
|
|
|
self.focus_set()
|
|
|
|
self.selected = self.get_selected(event)
|
|
|
|
logging.debug(f"click release selected({self.selected}) mode({self.mode})")
|
|
|
|
if self.mode == GraphMode.EDGE:
|
|
|
|
self.handle_edge_release(event)
|
|
|
|
elif self.mode == GraphMode.NODE:
|
|
|
|
self.add_node(x, y)
|
|
|
|
elif self.mode == GraphMode.PICKNODE:
|
|
|
|
self.mode = GraphMode.NODE
|
2019-12-04 00:18:00 +00:00
|
|
|
self.selected = None
|
2019-09-15 23:20:00 +01:00
|
|
|
|
2020-04-21 17:34:30 +01:00
|
|
|
def handle_edge_release(self, _event: tk.Event):
|
2019-09-15 23:20:00 +01:00
|
|
|
edge = self.drawing_edge
|
|
|
|
self.drawing_edge = None
|
|
|
|
|
|
|
|
# not drawing edge return
|
|
|
|
if edge is None:
|
|
|
|
return
|
|
|
|
|
|
|
|
# edge dst must be a node
|
2019-12-19 19:32:59 +00:00
|
|
|
logging.debug("current selected: %s", self.selected)
|
2019-11-22 20:51:58 +00:00
|
|
|
dst_node = self.nodes.get(self.selected)
|
|
|
|
if not dst_node:
|
2019-09-15 23:20:00 +01:00
|
|
|
edge.delete()
|
|
|
|
return
|
|
|
|
|
|
|
|
# edge dst is same as src, delete edge
|
|
|
|
if edge.src == self.selected:
|
|
|
|
edge.delete()
|
2019-11-15 18:22:30 +00:00
|
|
|
return
|
2019-09-15 23:20:00 +01:00
|
|
|
|
2019-12-06 00:37:48 +00:00
|
|
|
# ignore repeated edges
|
2020-04-14 18:47:42 +01:00
|
|
|
token = create_edge_token(edge.src, self.selected)
|
2019-12-06 00:37:48 +00:00
|
|
|
if token in self.edges:
|
2019-09-15 23:20:00 +01:00
|
|
|
edge.delete()
|
2019-12-06 00:37:48 +00:00
|
|
|
return
|
|
|
|
|
|
|
|
# set dst node and snap edge to center
|
|
|
|
edge.complete(self.selected)
|
|
|
|
|
|
|
|
self.edges[edge.token] = edge
|
|
|
|
node_src = self.nodes[edge.src]
|
|
|
|
node_src.edges.add(edge)
|
|
|
|
node_dst = self.nodes[edge.dst]
|
|
|
|
node_dst.edges.add(edge)
|
2019-12-19 00:51:05 +00:00
|
|
|
self.core.create_link(edge, node_src, node_dst)
|
2019-09-15 23:20:00 +01:00
|
|
|
|
2020-01-14 19:59:44 +00:00
|
|
|
def select_object(self, object_id: int, choose_multiple: bool = False):
|
2019-12-05 21:13:35 +00:00
|
|
|
"""
|
|
|
|
create a bounding box when a node is selected
|
|
|
|
"""
|
|
|
|
if not choose_multiple:
|
|
|
|
self.clear_selection()
|
|
|
|
|
|
|
|
# draw a bounding box if node hasn't been selected yet
|
|
|
|
if object_id not in self.selection:
|
|
|
|
x0, y0, x1, y1 = self.bbox(object_id)
|
|
|
|
selection_id = self.create_rectangle(
|
|
|
|
(x0 - 6, y0 - 6, x1 + 6, y1 + 6),
|
|
|
|
activedash=True,
|
|
|
|
dash="-",
|
2019-12-09 22:13:21 +00:00
|
|
|
tags=tags.SELECTION,
|
2019-12-05 21:13:35 +00:00
|
|
|
)
|
|
|
|
self.selection[object_id] = selection_id
|
|
|
|
else:
|
|
|
|
selection_id = self.selection.pop(object_id)
|
|
|
|
self.delete(selection_id)
|
|
|
|
|
|
|
|
def clear_selection(self):
|
|
|
|
"""
|
|
|
|
Clear current selection boxes.
|
|
|
|
"""
|
|
|
|
for _id in self.selection.values():
|
|
|
|
self.delete(_id)
|
|
|
|
self.selection.clear()
|
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def move_selection(self, object_id: int, x_offset: float, y_offset: float):
|
2019-12-05 21:13:35 +00:00
|
|
|
select_id = self.selection.get(object_id)
|
|
|
|
if select_id is not None:
|
2019-12-10 22:33:52 +00:00
|
|
|
self.move(select_id, x_offset, y_offset)
|
2019-12-05 21:13:35 +00:00
|
|
|
|
2020-03-27 05:24:23 +00:00
|
|
|
def delete_selected_objects(self) -> None:
|
2019-12-05 21:13:35 +00:00
|
|
|
edges = set()
|
|
|
|
nodes = []
|
|
|
|
for object_id in self.selection:
|
2019-12-06 01:01:48 +00:00
|
|
|
# delete selection box
|
|
|
|
selection_id = self.selection[object_id]
|
|
|
|
self.delete(selection_id)
|
|
|
|
|
|
|
|
# delete node and related edges
|
2019-12-05 21:13:35 +00:00
|
|
|
if object_id in self.nodes:
|
|
|
|
canvas_node = self.nodes.pop(object_id)
|
2019-12-06 01:01:48 +00:00
|
|
|
canvas_node.delete()
|
2019-12-05 21:13:35 +00:00
|
|
|
nodes.append(canvas_node)
|
|
|
|
is_wireless = NodeUtils.is_wireless_node(canvas_node.core_node.type)
|
|
|
|
# delete related edges
|
|
|
|
for edge in canvas_node.edges:
|
|
|
|
if edge in edges:
|
|
|
|
continue
|
|
|
|
edges.add(edge)
|
2020-05-02 07:36:33 +01:00
|
|
|
del self.edges[edge.token]
|
2019-12-06 01:01:48 +00:00
|
|
|
edge.delete()
|
|
|
|
# update node connected to edge being deleted
|
2019-12-05 21:13:35 +00:00
|
|
|
other_id = edge.src
|
|
|
|
other_interface = edge.src_interface
|
|
|
|
if edge.src == object_id:
|
|
|
|
other_id = edge.dst
|
|
|
|
other_interface = edge.dst_interface
|
|
|
|
other_node = self.nodes[other_id]
|
|
|
|
other_node.edges.remove(edge)
|
2020-05-17 07:35:19 +01:00
|
|
|
if other_interface:
|
|
|
|
del other_node.interfaces[other_interface.id]
|
2019-12-05 21:13:35 +00:00
|
|
|
if is_wireless:
|
2019-12-06 00:37:48 +00:00
|
|
|
other_node.delete_antenna()
|
2019-12-06 01:01:48 +00:00
|
|
|
|
|
|
|
# delete shape
|
2019-12-05 21:13:35 +00:00
|
|
|
if object_id in self.shapes:
|
2019-12-06 01:01:48 +00:00
|
|
|
shape = self.shapes.pop(object_id)
|
|
|
|
shape.delete()
|
2019-12-05 21:13:35 +00:00
|
|
|
|
|
|
|
self.selection.clear()
|
2020-05-02 07:36:33 +01:00
|
|
|
self.core.deleted_graph_nodes(nodes)
|
|
|
|
self.core.deleted_graph_edges(edges)
|
|
|
|
|
|
|
|
def delete_edge(self, edge: CanvasEdge):
|
|
|
|
edge.delete()
|
|
|
|
del self.edges[edge.token]
|
|
|
|
src_node = self.nodes[edge.src]
|
|
|
|
src_node.edges.discard(edge)
|
2020-05-17 07:35:19 +01:00
|
|
|
if edge.src_interface:
|
|
|
|
del src_node.interfaces[edge.src_interface.id]
|
2020-05-02 07:36:33 +01:00
|
|
|
dst_node = self.nodes[edge.dst]
|
|
|
|
dst_node.edges.discard(edge)
|
2020-05-17 07:35:19 +01:00
|
|
|
if edge.dst_interface:
|
|
|
|
del dst_node.interfaces[edge.dst_interface.id]
|
2020-05-02 07:36:33 +01:00
|
|
|
src_wireless = NodeUtils.is_wireless_node(src_node.core_node.type)
|
|
|
|
if src_wireless:
|
|
|
|
dst_node.delete_antenna()
|
|
|
|
dst_wireless = NodeUtils.is_wireless_node(dst_node.core_node.type)
|
|
|
|
if dst_wireless:
|
|
|
|
src_node.delete_antenna()
|
2020-05-02 07:47:37 +01:00
|
|
|
self.core.deleted_graph_edges([edge])
|
2019-12-05 21:13:35 +00:00
|
|
|
|
2020-01-14 19:59:44 +00:00
|
|
|
def zoom(self, event: tk.Event, factor: float = None):
|
2019-12-10 22:33:52 +00:00
|
|
|
if not factor:
|
|
|
|
factor = ZOOM_IN if event.delta > 0 else ZOOM_OUT
|
|
|
|
event.x, event.y = self.canvasx(event.x), self.canvasy(event.y)
|
2019-12-12 19:06:52 +00:00
|
|
|
self.scale(tk.ALL, event.x, event.y, factor, factor)
|
|
|
|
self.configure(scrollregion=self.bbox(tk.ALL))
|
2019-12-10 22:33:52 +00:00
|
|
|
self.ratio *= float(factor)
|
|
|
|
self.offset = (
|
|
|
|
self.offset[0] * factor + event.x * (1 - factor),
|
|
|
|
self.offset[1] * factor + event.y * (1 - factor),
|
|
|
|
)
|
2020-05-15 22:46:35 +01:00
|
|
|
logging.debug("ratio: %s", self.ratio)
|
|
|
|
logging.debug("offset: %s", self.offset)
|
|
|
|
zoom_label = f"{self.ratio * 100:.0f}%"
|
|
|
|
self.app.statusbar.zoom.config(text=zoom_label)
|
2019-12-11 03:25:00 +00:00
|
|
|
if self.wallpaper:
|
|
|
|
self.redraw_wallpaper()
|
2019-12-10 22:33:52 +00:00
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def click_press(self, event: tk.Event):
|
2019-09-30 18:11:29 +01:00
|
|
|
"""
|
|
|
|
Start drawing an edge if mouse click is on a node
|
|
|
|
"""
|
2019-12-10 22:33:52 +00:00
|
|
|
x, y = self.canvas_xy(event)
|
2019-12-13 05:33:51 +00:00
|
|
|
if not self.inside_canvas(x, y):
|
|
|
|
return
|
|
|
|
|
2019-12-10 22:33:52 +00:00
|
|
|
self.cursor = x, y
|
2019-09-15 23:20:00 +01:00
|
|
|
selected = self.get_selected(event)
|
2019-12-12 19:06:52 +00:00
|
|
|
logging.debug("click press(%s): %s", self.cursor, selected)
|
|
|
|
x_check = self.cursor[0] - self.offset[0]
|
|
|
|
y_check = self.cursor[1] - self.offset[1]
|
2020-01-30 00:08:36 +00:00
|
|
|
logging.debug("click press offset(%s, %s)", x_check, y_check)
|
2019-12-05 21:13:35 +00:00
|
|
|
is_node = selected in self.nodes
|
2019-09-15 23:20:00 +01:00
|
|
|
if self.mode == GraphMode.EDGE and is_node:
|
2020-04-14 18:47:42 +01:00
|
|
|
pos = self.coords(selected)
|
|
|
|
self.drawing_edge = CanvasEdge(self, selected, pos, pos)
|
2020-05-16 22:12:08 +01:00
|
|
|
self.organize()
|
2019-12-06 17:03:21 +00:00
|
|
|
|
2019-12-19 16:46:21 +00:00
|
|
|
if self.mode == GraphMode.ANNOTATION:
|
2019-12-18 17:49:45 +00:00
|
|
|
if is_marker(self.annotation_type):
|
|
|
|
r = self.app.toolbar.marker_tool.radius
|
|
|
|
self.create_oval(
|
|
|
|
x - r,
|
|
|
|
y - r,
|
|
|
|
x + r,
|
|
|
|
y + r,
|
|
|
|
fill=self.app.toolbar.marker_tool.color,
|
|
|
|
outline="",
|
2020-04-19 23:57:59 +01:00
|
|
|
tags=(tags.MARKER, tags.ANNOTATION),
|
|
|
|
state=self.show_annotations.state(),
|
2019-12-18 17:49:45 +00:00
|
|
|
)
|
2019-12-19 16:46:21 +00:00
|
|
|
return
|
|
|
|
if selected is None:
|
2019-12-18 17:49:45 +00:00
|
|
|
shape = Shape(self.app, self, self.annotation_type, x, y)
|
|
|
|
self.selected = shape.id
|
|
|
|
self.shape_drawing = True
|
|
|
|
self.shapes[shape.id] = shape
|
2019-12-06 17:03:21 +00:00
|
|
|
|
2019-12-10 22:33:52 +00:00
|
|
|
if selected is not None:
|
|
|
|
if selected not in self.selection:
|
2019-12-05 21:13:35 +00:00
|
|
|
if selected in self.shapes:
|
|
|
|
shape = self.shapes[selected]
|
2019-12-10 22:33:52 +00:00
|
|
|
self.select_object(shape.id)
|
2019-12-04 23:08:05 +00:00
|
|
|
self.selected = selected
|
2019-12-10 22:33:52 +00:00
|
|
|
elif selected in self.nodes:
|
|
|
|
node = self.nodes[selected]
|
|
|
|
self.select_object(node.id)
|
|
|
|
self.selected = selected
|
2020-02-03 20:01:10 +00:00
|
|
|
logging.debug(
|
2020-01-30 00:08:36 +00:00
|
|
|
"selected node(%s), coords: (%s, %s)",
|
|
|
|
node.core_node.name,
|
2019-12-12 19:06:52 +00:00
|
|
|
node.core_node.position.x,
|
|
|
|
node.core_node.position.y,
|
|
|
|
)
|
2019-12-10 22:33:52 +00:00
|
|
|
else:
|
2019-12-11 22:42:00 +00:00
|
|
|
if self.mode == GraphMode.SELECT:
|
|
|
|
shape = Shape(self.app, self, ShapeType.RECTANGLE, x, y)
|
|
|
|
self.select_box = shape
|
2019-12-10 22:33:52 +00:00
|
|
|
self.clear_selection()
|
2019-12-03 00:05:10 +00:00
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def ctrl_click(self, event: tk.Event):
|
2019-12-10 22:33:52 +00:00
|
|
|
# update cursor location
|
|
|
|
x, y = self.canvas_xy(event)
|
2019-12-13 05:33:51 +00:00
|
|
|
if not self.inside_canvas(x, y):
|
|
|
|
return
|
|
|
|
|
2019-12-10 22:33:52 +00:00
|
|
|
self.cursor = x, y
|
|
|
|
|
|
|
|
# handle multiple selections
|
2019-12-05 21:13:35 +00:00
|
|
|
logging.debug("control left click: %s", event)
|
2019-12-03 00:05:10 +00:00
|
|
|
selected = self.get_selected(event)
|
2019-12-04 23:12:31 +00:00
|
|
|
if (
|
2019-12-10 22:33:52 +00:00
|
|
|
selected not in self.selection
|
2019-12-05 21:13:35 +00:00
|
|
|
and selected in self.shapes
|
2019-12-10 22:33:52 +00:00
|
|
|
or selected in self.nodes
|
2019-12-04 23:12:31 +00:00
|
|
|
):
|
2019-12-05 21:13:35 +00:00
|
|
|
self.select_object(selected, choose_multiple=True)
|
2019-09-15 23:20:00 +01:00
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def click_motion(self, event: tk.Event):
|
2019-09-30 18:11:29 +01:00
|
|
|
"""
|
|
|
|
Redraw drawing edge according to the current position of the mouse
|
|
|
|
"""
|
2019-12-10 22:33:52 +00:00
|
|
|
x, y = self.canvas_xy(event)
|
2019-12-13 05:33:51 +00:00
|
|
|
if not self.inside_canvas(x, y):
|
2019-12-13 17:28:51 +00:00
|
|
|
if self.select_box:
|
|
|
|
self.select_box.delete()
|
|
|
|
self.select_box = None
|
|
|
|
if is_draw_shape(self.annotation_type) and self.shape_drawing:
|
|
|
|
shape = self.shapes.pop(self.selected)
|
|
|
|
shape.delete()
|
|
|
|
self.shape_drawing = False
|
2019-12-13 05:33:51 +00:00
|
|
|
return
|
|
|
|
|
2019-12-10 22:33:52 +00:00
|
|
|
x_offset = x - self.cursor[0]
|
|
|
|
y_offset = y - self.cursor[1]
|
|
|
|
self.cursor = x, y
|
|
|
|
|
2019-09-15 23:20:00 +01:00
|
|
|
if self.mode == GraphMode.EDGE and self.drawing_edge is not None:
|
2020-04-15 20:51:35 +01:00
|
|
|
self.drawing_edge.move_dst(self.cursor)
|
2019-11-28 00:39:48 +00:00
|
|
|
if self.mode == GraphMode.ANNOTATION:
|
2019-12-06 22:01:03 +00:00
|
|
|
if is_draw_shape(self.annotation_type) and self.shape_drawing:
|
2019-12-07 06:10:27 +00:00
|
|
|
shape = self.shapes[self.selected]
|
|
|
|
shape.shape_motion(x, y)
|
2019-12-18 17:49:45 +00:00
|
|
|
elif is_marker(self.annotation_type):
|
2019-12-19 16:46:21 +00:00
|
|
|
r = self.app.toolbar.marker_tool.radius
|
2019-12-18 17:49:45 +00:00
|
|
|
self.create_oval(
|
|
|
|
x - r,
|
|
|
|
y - r,
|
|
|
|
x + r,
|
|
|
|
y + r,
|
|
|
|
fill=self.app.toolbar.marker_tool.color,
|
|
|
|
outline="",
|
2020-04-19 23:57:59 +01:00
|
|
|
tags=(tags.MARKER, tags.ANNOTATION),
|
2019-12-18 17:49:45 +00:00
|
|
|
)
|
2019-12-19 16:46:21 +00:00
|
|
|
return
|
2019-12-10 22:33:52 +00:00
|
|
|
|
|
|
|
if self.mode == GraphMode.EDGE:
|
|
|
|
return
|
|
|
|
|
|
|
|
# move selected objects
|
2019-12-13 05:33:51 +00:00
|
|
|
if self.selection:
|
2019-12-11 22:42:00 +00:00
|
|
|
for selected_id in self.selection:
|
|
|
|
if selected_id in self.shapes:
|
|
|
|
shape = self.shapes[selected_id]
|
|
|
|
shape.motion(x_offset, y_offset)
|
|
|
|
|
|
|
|
if selected_id in self.nodes:
|
|
|
|
node = self.nodes[selected_id]
|
|
|
|
node.motion(x_offset, y_offset, update=self.core.is_runtime())
|
|
|
|
else:
|
|
|
|
if self.select_box and self.mode == GraphMode.SELECT:
|
|
|
|
self.select_box.shape_motion(x, y)
|
2019-09-15 23:20:00 +01:00
|
|
|
|
2020-04-21 17:34:30 +01:00
|
|
|
def press_delete(self, _event: tk.Event):
|
2019-11-07 23:19:01 +00:00
|
|
|
"""
|
|
|
|
delete selected nodes and any data that relates to it
|
|
|
|
"""
|
2019-12-03 00:05:10 +00:00
|
|
|
logging.debug("press delete key")
|
2020-02-24 20:51:47 +00:00
|
|
|
if not self.app.core.is_runtime():
|
2020-03-27 05:24:23 +00:00
|
|
|
self.delete_selected_objects()
|
2020-02-24 19:17:06 +00:00
|
|
|
else:
|
2020-05-15 22:46:35 +01:00
|
|
|
logging.debug("node deletion is disabled during runtime state")
|
2019-11-07 21:23:02 +00:00
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def double_click(self, event: tk.Event):
|
2019-12-04 00:18:00 +00:00
|
|
|
selected = self.get_selected(event)
|
2019-12-05 21:13:35 +00:00
|
|
|
if selected is not None and selected in self.shapes:
|
|
|
|
shape = self.shapes[selected]
|
2020-05-05 06:50:59 +01:00
|
|
|
dialog = ShapeDialog(self.app, shape)
|
2019-12-05 21:13:35 +00:00
|
|
|
dialog.show()
|
2019-12-04 00:18:00 +00:00
|
|
|
|
2020-05-05 20:55:25 +01:00
|
|
|
def add_node(self, x: float, y: float) -> None:
|
|
|
|
if self.selected is not None and self.selected not in self.shapes:
|
|
|
|
return
|
|
|
|
actual_x, actual_y = self.get_actual_coords(x, y)
|
|
|
|
core_node = self.core.create_node(
|
|
|
|
actual_x, actual_y, self.node_draw.node_type, self.node_draw.model
|
|
|
|
)
|
|
|
|
if not core_node:
|
|
|
|
return
|
|
|
|
try:
|
|
|
|
self.node_draw.image = Images.get(
|
|
|
|
self.node_draw.image_enum, int(ICON_SIZE * self.app.app_scale)
|
2019-11-16 07:31:41 +00:00
|
|
|
)
|
2020-05-05 20:55:25 +01:00
|
|
|
except AttributeError:
|
|
|
|
self.node_draw.image = Images.get_custom(
|
|
|
|
self.node_draw.image_file, int(ICON_SIZE * self.app.app_scale)
|
|
|
|
)
|
|
|
|
node = CanvasNode(self.app, x, y, core_node, self.node_draw.image)
|
|
|
|
self.core.canvas_nodes[core_node.id] = node
|
|
|
|
self.nodes[node.id] = node
|
2019-09-15 23:20:00 +01:00
|
|
|
|
2019-11-14 20:58:27 +00:00
|
|
|
def width_and_height(self):
|
|
|
|
"""
|
|
|
|
retrieve canvas width and height in pixels
|
|
|
|
"""
|
2020-05-03 07:51:42 +01:00
|
|
|
x0, y0, x1, y1 = self.coords(self.rect)
|
2019-11-14 20:58:27 +00:00
|
|
|
canvas_w = abs(x0 - x1)
|
|
|
|
canvas_h = abs(y0 - y1)
|
|
|
|
return canvas_w, canvas_h
|
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def get_wallpaper_image(self) -> Image.Image:
|
2019-12-11 03:25:00 +00:00
|
|
|
width = int(self.wallpaper.width * self.ratio)
|
|
|
|
height = int(self.wallpaper.height * self.ratio)
|
|
|
|
image = self.wallpaper.resize((width, height), Image.ANTIALIAS)
|
|
|
|
return image
|
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def draw_wallpaper(
|
2020-01-14 19:59:44 +00:00
|
|
|
self, image: ImageTk.PhotoImage, x: float = None, y: float = None
|
2020-01-13 20:03:13 +00:00
|
|
|
):
|
2019-12-11 03:25:00 +00:00
|
|
|
if x is None and y is None:
|
2020-05-03 07:51:42 +01:00
|
|
|
x1, y1, x2, y2 = self.bbox(self.rect)
|
2019-12-11 03:25:00 +00:00
|
|
|
x = (x1 + x2) / 2
|
|
|
|
y = (y1 + y2) / 2
|
|
|
|
self.wallpaper_id = self.create_image((x, y), image=image, tags=tags.WALLPAPER)
|
2019-12-11 00:31:01 +00:00
|
|
|
self.wallpaper_drawn = image
|
|
|
|
|
2019-11-14 20:58:27 +00:00
|
|
|
def wallpaper_upper_left(self):
|
|
|
|
self.delete(self.wallpaper_id)
|
2019-12-11 00:31:01 +00:00
|
|
|
|
2019-12-11 03:25:00 +00:00
|
|
|
# create new scaled image, cropped if needed
|
2019-12-11 00:31:01 +00:00
|
|
|
width, height = self.width_and_height()
|
2019-12-11 03:25:00 +00:00
|
|
|
image = self.get_wallpaper_image()
|
|
|
|
cropx = image.width
|
|
|
|
cropy = image.height
|
|
|
|
if image.width > width:
|
|
|
|
cropx = image.width
|
|
|
|
if image.height > height:
|
|
|
|
cropy = image.height
|
|
|
|
cropped = image.crop((0, 0, cropx, cropy))
|
2019-12-11 00:31:01 +00:00
|
|
|
image = ImageTk.PhotoImage(cropped)
|
2019-12-11 03:25:00 +00:00
|
|
|
|
|
|
|
# draw on canvas
|
2020-05-03 07:51:42 +01:00
|
|
|
x1, y1, _, _ = self.bbox(self.rect)
|
2019-12-11 03:25:00 +00:00
|
|
|
x = (cropx / 2) + x1
|
|
|
|
y = (cropy / 2) + y1
|
|
|
|
self.draw_wallpaper(image, x, y)
|
2019-11-14 20:58:27 +00:00
|
|
|
|
|
|
|
def wallpaper_center(self):
|
|
|
|
"""
|
|
|
|
place the image at the center of canvas
|
|
|
|
"""
|
|
|
|
self.delete(self.wallpaper_id)
|
2019-12-11 00:31:01 +00:00
|
|
|
|
|
|
|
# dimension of the cropped image
|
|
|
|
width, height = self.width_and_height()
|
2019-12-11 03:25:00 +00:00
|
|
|
image = self.get_wallpaper_image()
|
2019-12-11 00:31:01 +00:00
|
|
|
cropx = 0
|
2019-12-11 03:25:00 +00:00
|
|
|
if image.width > width:
|
|
|
|
cropx = (image.width - width) / 2
|
2019-12-11 00:31:01 +00:00
|
|
|
cropy = 0
|
2019-12-11 03:25:00 +00:00
|
|
|
if image.height > height:
|
|
|
|
cropy = (image.height - height) / 2
|
2019-12-11 00:31:01 +00:00
|
|
|
x1 = 0 + cropx
|
|
|
|
y1 = 0 + cropy
|
2019-12-11 03:25:00 +00:00
|
|
|
x2 = image.width - cropx
|
|
|
|
y2 = image.height - cropy
|
|
|
|
cropped = image.crop((x1, y1, x2, y2))
|
2019-12-11 00:31:01 +00:00
|
|
|
image = ImageTk.PhotoImage(cropped)
|
|
|
|
self.draw_wallpaper(image)
|
2019-11-14 20:58:27 +00:00
|
|
|
|
|
|
|
def wallpaper_scaled(self):
|
|
|
|
"""
|
|
|
|
scale image based on canvas dimension
|
|
|
|
"""
|
2019-12-11 00:31:01 +00:00
|
|
|
self.delete(self.wallpaper_id)
|
2019-11-14 20:58:27 +00:00
|
|
|
canvas_w, canvas_h = self.width_and_height()
|
2019-12-11 03:25:00 +00:00
|
|
|
image = self.wallpaper.resize((int(canvas_w), int(canvas_h)), Image.ANTIALIAS)
|
|
|
|
image = ImageTk.PhotoImage(image)
|
2019-12-11 00:31:01 +00:00
|
|
|
self.draw_wallpaper(image)
|
2019-11-14 20:58:27 +00:00
|
|
|
|
|
|
|
def resize_to_wallpaper(self):
|
|
|
|
self.delete(self.wallpaper_id)
|
2019-12-11 00:31:01 +00:00
|
|
|
image = ImageTk.PhotoImage(self.wallpaper)
|
2019-12-12 19:06:52 +00:00
|
|
|
self.redraw_canvas((image.width(), image.height()))
|
2019-12-11 00:31:01 +00:00
|
|
|
self.draw_wallpaper(image)
|
2019-11-14 20:58:27 +00:00
|
|
|
|
2020-01-14 19:06:52 +00:00
|
|
|
def redraw_canvas(self, dimensions: Tuple[int, int] = None):
|
2020-05-15 22:46:35 +01:00
|
|
|
logging.debug("redrawing canvas to dimensions: %s", dimensions)
|
2019-11-14 20:58:27 +00:00
|
|
|
|
2019-12-12 19:06:52 +00:00
|
|
|
# reset scale and move back to original position
|
2020-05-15 22:46:35 +01:00
|
|
|
logging.debug("resetting scaling: %s %s", self.ratio, self.offset)
|
2019-12-12 19:06:52 +00:00
|
|
|
factor = 1 / self.ratio
|
|
|
|
self.scale(tk.ALL, self.offset[0], self.offset[1], factor, factor)
|
|
|
|
self.move(tk.ALL, -self.offset[0], -self.offset[1])
|
|
|
|
|
|
|
|
# reset ratio and offset
|
|
|
|
self.ratio = 1.0
|
|
|
|
self.offset = (0, 0)
|
|
|
|
|
|
|
|
# redraw canvas rectangle
|
|
|
|
self.draw_canvas(dimensions)
|
2019-11-14 20:58:27 +00:00
|
|
|
|
2019-12-09 20:07:42 +00:00
|
|
|
# redraw gridlines to new canvas size
|
2019-12-09 22:13:21 +00:00
|
|
|
self.delete(tags.GRIDLINE)
|
2019-12-09 20:07:42 +00:00
|
|
|
self.draw_grid()
|
2020-04-19 23:47:07 +01:00
|
|
|
self.app.canvas.show_grid.click_handler()
|
2019-11-14 20:58:27 +00:00
|
|
|
|
2019-12-11 00:31:01 +00:00
|
|
|
def redraw_wallpaper(self):
|
2019-11-14 20:58:27 +00:00
|
|
|
if self.adjust_to_dim.get():
|
2020-05-15 22:46:35 +01:00
|
|
|
logging.debug("drawing wallpaper to canvas dimensions")
|
2019-11-14 20:58:27 +00:00
|
|
|
self.resize_to_wallpaper()
|
|
|
|
else:
|
|
|
|
option = ScaleOption(self.scale_option.get())
|
2020-05-15 22:46:35 +01:00
|
|
|
logging.debug("drawing canvas using scaling option: %s", option)
|
2019-11-14 20:58:27 +00:00
|
|
|
if option == ScaleOption.UPPER_LEFT:
|
|
|
|
self.wallpaper_upper_left()
|
|
|
|
elif option == ScaleOption.CENTERED:
|
|
|
|
self.wallpaper_center()
|
|
|
|
elif option == ScaleOption.SCALED:
|
|
|
|
self.wallpaper_scaled()
|
|
|
|
elif option == ScaleOption.TILED:
|
|
|
|
logging.warning("tiled background not implemented yet")
|
2020-05-16 22:12:08 +01:00
|
|
|
self.organize()
|
2019-11-14 20:58:27 +00:00
|
|
|
|
2020-05-16 22:12:08 +01:00
|
|
|
def organize(self) -> None:
|
|
|
|
for tag in tags.ORGANIZE_TAGS:
|
|
|
|
self.tag_raise(tag)
|
2019-12-09 20:07:42 +00:00
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def set_wallpaper(self, filename: str):
|
2020-02-03 20:18:29 +00:00
|
|
|
logging.debug("setting wallpaper: %s", filename)
|
2019-12-12 19:06:52 +00:00
|
|
|
if filename:
|
2019-12-04 21:40:35 +00:00
|
|
|
img = Image.open(filename)
|
|
|
|
self.wallpaper = img
|
|
|
|
self.wallpaper_file = filename
|
2019-12-11 00:31:01 +00:00
|
|
|
self.redraw_wallpaper()
|
2019-12-04 21:40:35 +00:00
|
|
|
else:
|
|
|
|
if self.wallpaper_id is not None:
|
|
|
|
self.delete(self.wallpaper_id)
|
|
|
|
self.wallpaper = None
|
|
|
|
self.wallpaper_file = None
|
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def is_selection_mode(self) -> bool:
|
2019-12-03 00:05:10 +00:00
|
|
|
return self.mode == GraphMode.SELECT
|
2019-12-11 22:42:00 +00:00
|
|
|
|
2020-01-13 20:03:13 +00:00
|
|
|
def create_edge(self, source: CanvasNode, dest: CanvasNode):
|
2019-12-11 22:42:00 +00:00
|
|
|
"""
|
|
|
|
create an edge between source node and destination node
|
|
|
|
"""
|
2020-04-14 18:47:42 +01:00
|
|
|
token = create_edge_token(source.id, dest.id)
|
|
|
|
if token not in self.edges:
|
|
|
|
pos = (source.core_node.position.x, source.core_node.position.y)
|
|
|
|
edge = CanvasEdge(self, source.id, pos, pos)
|
2019-12-11 22:42:00 +00:00
|
|
|
edge.complete(dest.id)
|
|
|
|
self.edges[edge.token] = edge
|
|
|
|
self.nodes[source.id].edges.add(edge)
|
|
|
|
self.nodes[dest.id].edges.add(edge)
|
2019-12-19 00:51:05 +00:00
|
|
|
self.core.create_link(edge, source, dest)
|
2019-12-20 00:15:29 +00:00
|
|
|
|
|
|
|
def copy(self):
|
2020-04-21 07:20:39 +01:00
|
|
|
if self.core.is_runtime():
|
2020-05-15 22:46:35 +01:00
|
|
|
logging.debug("copy is disabled during runtime state")
|
2020-02-24 20:51:47 +00:00
|
|
|
return
|
|
|
|
if self.selection:
|
2020-05-15 22:46:35 +01:00
|
|
|
logging.debug("to copy nodes: %s", self.selection)
|
2020-04-21 07:20:39 +01:00
|
|
|
self.to_copy.clear()
|
|
|
|
for node_id in self.selection.keys():
|
|
|
|
canvas_node = self.nodes[node_id]
|
|
|
|
self.to_copy.append(canvas_node)
|
2019-12-20 00:15:29 +00:00
|
|
|
|
|
|
|
def paste(self):
|
2020-04-21 07:20:39 +01:00
|
|
|
if self.core.is_runtime():
|
2020-05-15 22:46:35 +01:00
|
|
|
logging.debug("paste is disabled during runtime state")
|
2020-02-24 20:51:47 +00:00
|
|
|
return
|
2019-12-20 00:15:29 +00:00
|
|
|
# maps original node canvas id to copy node canvas id
|
|
|
|
copy_map = {}
|
|
|
|
# the edges that will be copy over
|
|
|
|
to_copy_edges = []
|
2020-04-21 07:20:39 +01:00
|
|
|
for canvas_node in self.to_copy:
|
|
|
|
core_node = canvas_node.core_node
|
2019-12-20 00:15:29 +00:00
|
|
|
actual_x = core_node.position.x + 50
|
|
|
|
actual_y = core_node.position.y + 50
|
|
|
|
scaled_x, scaled_y = self.get_scaled_coords(actual_x, actual_y)
|
|
|
|
copy = self.core.create_node(
|
|
|
|
actual_x, actual_y, core_node.type, core_node.model
|
|
|
|
)
|
2020-05-05 20:55:25 +01:00
|
|
|
if not copy:
|
|
|
|
continue
|
2020-05-03 07:51:42 +01:00
|
|
|
node = CanvasNode(self.app, scaled_x, scaled_y, copy, canvas_node.image)
|
2020-02-03 18:35:25 +00:00
|
|
|
|
2020-04-21 18:31:20 +01:00
|
|
|
# copy configurations and services
|
|
|
|
node.core_node.services[:] = canvas_node.core_node.services
|
2020-04-21 19:13:41 +01:00
|
|
|
node.core_node.config_services[:] = canvas_node.core_node.config_services
|
2020-04-21 08:38:36 +01:00
|
|
|
node.emane_model_configs = deepcopy(canvas_node.emane_model_configs)
|
2020-04-21 17:34:30 +01:00
|
|
|
node.wlan_config = deepcopy(canvas_node.wlan_config)
|
|
|
|
node.mobility_config = deepcopy(canvas_node.mobility_config)
|
2020-04-21 18:31:20 +01:00
|
|
|
node.service_configs = deepcopy(canvas_node.service_configs)
|
|
|
|
node.service_file_configs = deepcopy(canvas_node.service_file_configs)
|
2020-04-21 19:13:41 +01:00
|
|
|
node.config_service_configs = deepcopy(canvas_node.config_service_configs)
|
2020-04-21 08:38:36 +01:00
|
|
|
|
2020-04-21 07:20:39 +01:00
|
|
|
copy_map[canvas_node.id] = node.id
|
2019-12-20 00:15:29 +00:00
|
|
|
self.core.canvas_nodes[copy.id] = node
|
|
|
|
self.nodes[node.id] = node
|
2020-04-21 07:20:39 +01:00
|
|
|
for edge in canvas_node.edges:
|
2019-12-20 00:15:29 +00:00
|
|
|
if edge.src not in self.to_copy or edge.dst not in self.to_copy:
|
2020-04-21 07:20:39 +01:00
|
|
|
if canvas_node.id == edge.src:
|
|
|
|
dst_node = self.nodes[edge.dst]
|
|
|
|
self.create_edge(node, dst_node)
|
|
|
|
elif canvas_node.id == edge.dst:
|
|
|
|
src_node = self.nodes[edge.src]
|
|
|
|
self.create_edge(src_node, node)
|
2019-12-20 00:15:29 +00:00
|
|
|
else:
|
2020-01-06 22:20:20 +00:00
|
|
|
to_copy_edges.append(edge)
|
2020-04-21 07:20:39 +01:00
|
|
|
|
2020-01-06 22:20:20 +00:00
|
|
|
# copy link and link config
|
|
|
|
for edge in to_copy_edges:
|
2020-04-21 07:20:39 +01:00
|
|
|
src_node_id = copy_map[edge.token[0]]
|
|
|
|
dst_node_id = copy_map[edge.token[1]]
|
|
|
|
src_node_copy = self.nodes[src_node_id]
|
|
|
|
dst_node_copy = self.nodes[dst_node_id]
|
|
|
|
self.create_edge(src_node_copy, dst_node_copy)
|
|
|
|
token = create_edge_token(src_node_copy.id, dst_node_copy.id)
|
|
|
|
copy_edge = self.edges[token]
|
2020-01-06 22:20:20 +00:00
|
|
|
copy_link = copy_edge.link
|
|
|
|
options = edge.link.options
|
|
|
|
copy_link.options.CopyFrom(options)
|
|
|
|
interface_one = None
|
|
|
|
if copy_link.HasField("interface_one"):
|
|
|
|
interface_one = copy_link.interface_one.id
|
|
|
|
interface_two = None
|
|
|
|
if copy_link.HasField("interface_two"):
|
|
|
|
interface_two = copy_link.interface_two.id
|
|
|
|
if not options.unidirectional:
|
|
|
|
copy_edge.asymmetric_link = None
|
|
|
|
else:
|
|
|
|
asym_interface_one = None
|
|
|
|
if interface_one:
|
|
|
|
asym_interface_one = core_pb2.Interface(id=interface_one)
|
|
|
|
asym_interface_two = None
|
|
|
|
if interface_two:
|
|
|
|
asym_interface_two = core_pb2.Interface(id=interface_two)
|
|
|
|
copy_edge.asymmetric_link = core_pb2.Link(
|
|
|
|
node_one_id=copy_link.node_two_id,
|
|
|
|
node_two_id=copy_link.node_one_id,
|
|
|
|
interface_one=asym_interface_one,
|
|
|
|
interface_two=asym_interface_two,
|
|
|
|
options=edge.asymmetric_link.options,
|
|
|
|
)
|
|
|
|
self.itemconfig(
|
|
|
|
copy_edge.id,
|
|
|
|
width=self.itemcget(edge.id, "width"),
|
|
|
|
fill=self.itemcget(edge.id, "fill"),
|
|
|
|
)
|
2020-05-02 01:28:28 +01:00
|
|
|
self.tag_raise(tags.NODE)
|
2020-02-13 20:15:56 +00:00
|
|
|
|
|
|
|
def scale_graph(self):
|
|
|
|
for nid, canvas_node in self.nodes.items():
|
2020-02-17 20:56:19 +00:00
|
|
|
img = None
|
2020-02-17 23:14:52 +00:00
|
|
|
if NodeUtils.is_custom(
|
|
|
|
canvas_node.core_node.type, canvas_node.core_node.model
|
|
|
|
):
|
2020-05-08 08:16:25 +01:00
|
|
|
for custom_node in self.app.guiconfig.nodes:
|
|
|
|
if custom_node.name == canvas_node.core_node.model:
|
2020-02-17 20:56:19 +00:00
|
|
|
img = Images.get_custom(
|
2020-05-08 08:16:25 +01:00
|
|
|
custom_node.image, int(ICON_SIZE * self.app.app_scale)
|
2020-02-17 20:56:19 +00:00
|
|
|
)
|
|
|
|
else:
|
|
|
|
image_enum = TypeToImage.get(
|
|
|
|
canvas_node.core_node.type, canvas_node.core_node.model
|
|
|
|
)
|
|
|
|
img = Images.get(image_enum, int(ICON_SIZE * self.app.app_scale))
|
|
|
|
|
2020-02-13 20:15:56 +00:00
|
|
|
self.itemconfig(nid, image=img)
|
|
|
|
canvas_node.image = img
|
|
|
|
canvas_node.scale_text()
|
2020-02-17 23:14:52 +00:00
|
|
|
canvas_node.scale_antennas()
|
2020-02-14 21:34:00 +00:00
|
|
|
|
|
|
|
for edge_id in self.find_withtag(tags.EDGE):
|
2020-02-17 19:10:13 +00:00
|
|
|
self.itemconfig(edge_id, width=int(EDGE_WIDTH * self.app.app_scale))
|