stan/jdk-24
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

8294066: IGV: Graph changes when deleting a graph in the same group with smaller index

Browse Source 
Reviewed-by: rcastanedalo, tholenstein
This commit is contained in:
Koichi Sakata 2023-01-30 09:50:09 +00:00 committed by Tobias Holenstein
parent 3db558b67b
commit 08b24ac7aa
1 changed files with 33 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
src/utils/IdealGraphVisualizer/Coordinator/src/main/java/com/sun/hotspot/igv/coordinator/actions/GraphRemoveCookie.java
View File

@ -1,5 +1,5 @@
/*
* Copyright (c) 2011, 2015, Oracle and/or its affiliates. All rights reserved.
* Copyright (c) 2011, 2023, Oracle and/or its affiliates. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
@ -24,6 +24,12 @@
package com.sun.hotspot.igv.coordinator.actions;
import com.sun.hotspot.igv.data.InputGraph;
import com.sun.hotspot.igv.view.DiagramViewModel;
import com.sun.hotspot.igv.view.EditorTopComponent;
import java.util.List;
import org.openide.windows.Mode;
import org.openide.windows.TopComponent;
import org.openide.windows.WindowManager;
public class GraphRemoveCookie implements RemoveCookie {
private final InputGraph graph;
@ -34,6 +40,32 @@ public class GraphRemoveCookie implements RemoveCookie {
@Override
public void remove() {
List<InputGraph> list = graph.getGroup().getGraphs();
WindowManager manager = WindowManager.getDefault();
for (Mode m : manager.getModes()) {
for (TopComponent t : manager.getOpenedTopComponents(m)) {
if (t instanceof EditorTopComponent) {
DiagramViewModel model = ((EditorTopComponent) t).getModel();
if (!model.getGroup().getGraphs().contains(graph)) {
continue;
}
int firstPosition = model.getFirstPosition();
int secondPosition = model.getSecondPosition();
int targetPosition = list.indexOf(graph);
if (targetPosition == firstPosition || targetPosition == secondPosition) {
t.close();
continue;
}
if (targetPosition < firstPosition) {
firstPosition--;
}
if (targetPosition < secondPosition) {
secondPosition--;
}
model.setPositions(firstPosition, secondPosition);
}
}
}
graph.getGroup().removeElement(graph);
}
}