From e5a115d3deaaad857c7c244b445350d7084ed563 Mon Sep 17 00:00:00 2001 From: Morten Hartvigsen Date: Sat, 25 Feb 2023 05:48:35 +0100 Subject: [PATCH] Removed the contains deadlock option from the context menu in ComponentController --- .../ecdar/controllers/ComponentController.java | 17 ----------------- 1 file changed, 17 deletions(-) diff --git a/src/main/java/ecdar/controllers/ComponentController.java b/src/main/java/ecdar/controllers/ComponentController.java index a3d2b795..a9cce850 100644 --- a/src/main/java/ecdar/controllers/ComponentController.java +++ b/src/main/java/ecdar/controllers/ComponentController.java @@ -371,23 +371,6 @@ private void initializeContextMenu() { }, "Added inconsistent location '" + newLocation + "' to component '" + component.getName() + "'", "add-circle"); }); - contextMenu.addSpacerElement(); - - contextMenu.addClickableListElement("Contains deadlock?", event -> { - // Generate the query - final String deadlockQuery = BackendHelper.getExistDeadlockQuery(getComponent()); - - // Add proper comment - final String deadlockComment = "Does " + component.getName() + " contain a deadlock?"; - - // Add new query for this component - final Query query = new Query(deadlockQuery, deadlockComment, QueryState.UNKNOWN); - query.setType(QueryType.REACHABILITY); - Ecdar.getProject().getQueries().add(query); - Ecdar.getQueryExecutor().executeQuery(query); - contextMenu.hide(); - }); - contextMenu.addSpacerElement(); contextMenu.addColorPicker(component, component::dye); };