Make grid snapping account for zoom

TAPAAL · Dec 14, 2023 · b3c28ce · b3c28ce
1 parent 0d63205
commit b3c28ce
Show file tree

Hide file tree

Showing 9 changed files with 48 additions and 43 deletions.
diff --git a/src/main/java/pipe/gui/canvas/DrawingSurfaceImpl.java b/src/main/java/pipe/gui/canvas/DrawingSurfaceImpl.java
@@ -322,8 +322,8 @@ public Point adjustPointToZoom(Point p, int zoom) {
     }
 
     public Point adjustPointToGrid(Point p) {
-        int x = Grid.getModifiedX(p.x);
-        int y = Grid.getModifiedY(p.y);
+        int x = Grid.align(p.x, getZoom());
+        int y = Grid.align(p.y, getZoom());
 
         return new Point(x, y);
     }

diff --git a/src/main/java/pipe/gui/canvas/Grid.java b/src/main/java/pipe/gui/canvas/Grid.java
@@ -4,17 +4,9 @@
 import java.awt.Container;
 import java.awt.Graphics;
 import java.awt.Graphics2D;
-import java.awt.Point;
 import java.awt.geom.GeneralPath;
-import java.util.ArrayList;
 
-import net.tapaal.gui.petrinet.undo.Command;
-import net.tapaal.gui.petrinet.undo.MovePlaceTransitionObjectCommand;
 import pipe.gui.Constants;
-import pipe.gui.TAPAALGUI;
-import pipe.gui.petrinet.graphicElements.PetriNetObject;
-import pipe.gui.petrinet.graphicElements.PlaceTransitionObject;
-import pipe.gui.petrinet.undo.UndoManager;
 
 /**
  * @author Peter Kyme
@@ -88,19 +80,12 @@ public static void drawGrid(Graphics g) {
 		g2d.draw(gridDisplay);
 	}
 
-	public static int getModifiedX(double x) {
+	public static int align(int x, int zoom) {
 		if (!enabled) {
-			return (int) x;
+			return x;
 		}
-		return (int) (Math.round(x / gridSpacing) * gridSpacing);
-
-	}
-
-	public static int getModifiedY(double y) {
-		if (!enabled) {
-			return (int) y;
-		}
-		return (int) (Math.round(y / gridSpacing) * gridSpacing);
+        double unzoomed = Zoomer.getUnzoomedValue(x, zoom);
+		double adjusted = Math.round(unzoomed / gridSpacing) * gridSpacing;
+        return Math.round(Zoomer.getZoomedValue(adjusted, zoom));
 	}
-
 }
diff --git a/src/main/java/pipe/gui/petrinet/PetriNetTab.java b/src/main/java/pipe/gui/petrinet/PetriNetTab.java
@@ -1584,8 +1584,8 @@ public void alignToGrid() {
 
         for (PetriNetObject object : petriNetObjects) {
             PlaceTransitionObject ptobject = (PlaceTransitionObject) object;
-            int x = Grid.getModifiedX(ptobject.getPositionX());
-            int y = Grid.getModifiedY(ptobject.getPositionY());
+            int x = Grid.align(ptobject.getPositionX(), drawingSurface.getZoom());
+            int y = Grid.align(ptobject.getPositionY(), drawingSurface.getZoom());
             Point point = new Point(x, y);
             Command command = new MovePlaceTransitionObjectCommand(ptobject, point, drawingSurface);
             command.redo();
@@ -2602,8 +2602,8 @@ private void pnoDragged(PetriNetObject pno, MouseEvent e) {
             }
 
             // Calculate translation in mouse
-            int transX = Grid.getModifiedX(e.getX() - dragInit.x);
-            int transY = Grid.getModifiedY(e.getY() - dragInit.y);
+            int transX = Grid.align(e.getX() - dragInit.x, canvas.getZoom());
+            int transY = Grid.align(e.getY() - dragInit.y, canvas.getZoom());
             canvas.getSelectionObject().translateSelection(transX, transY);
 
             //Only register the actual distance and direction moved (in case of dragging past edge)

diff --git a/src/main/java/pipe/gui/petrinet/graphicElements/AnnotationNote.java b/src/main/java/pipe/gui/petrinet/graphicElements/AnnotationNote.java
@@ -290,7 +290,7 @@ public void mousePressed(MouseEvent e) {
 		public void mouseDragged(MouseEvent e) {
 			if(TAPAALGUI.getCurrentTab().isInAnimationMode()) return;
 
-			myPoint.drag(Grid.getModifiedX(e.getX() - start.x), Grid.getModifiedY(e.getY() - start.y));
+			myPoint.drag(Grid.align(e.getX() - start.x, getZoom()), Grid.align(e.getY() - start.y, getZoom()));
 			myPoint.myNote.updateBounds();
 			myPoint.repaint();
 		}

diff --git a/src/main/java/pipe/gui/petrinet/graphicElements/Arc.java b/src/main/java/pipe/gui/petrinet/graphicElements/Arc.java
@@ -147,8 +147,8 @@ public void setTarget(PlaceTransitionObject targetInput) {
 	protected void setLabelPosition() {
 
 		getNameLabel().setPosition(
-				Grid.getModifiedX(myPath.midPoint.x + Zoomer.getZoomedValue(getNameOffsetX(), getZoom())),
-				Grid.getModifiedY(myPath.midPoint.y + Zoomer.getZoomedValue(getNameOffsetY(), getZoom()))
+				Grid.align((int)myPath.midPoint.x + Zoomer.getZoomedValue(getNameOffsetX(), getZoom()), getZoom()),
+				Grid.align((int)myPath.midPoint.y + Zoomer.getZoomedValue(getNameOffsetY(), getZoom()), getZoom())
 		);
 
 	}

diff --git a/src/main/java/pipe/gui/petrinet/graphicElements/ArcPathPoint.java b/src/main/java/pipe/gui/petrinet/graphicElements/ArcPathPoint.java
@@ -103,7 +103,29 @@ public Point2D.Double getPoint() {
 		return new Point2D.Double(getPositionX(), getPositionY());
 	}
 
-	public void setPointLocation(int x, int y) {
+    @Override
+    public void setOriginalX(int positionXInput) {
+        if (myArcPath != null && !isEndPoint()) {
+            // Snap to grid
+            super.setOriginalX(positionXInput);
+        } else {
+            originalX = positionXInput;
+            positionX = Zoomer.getZoomedValue(originalX, getZoom());
+        }
+    }
+
+    @Override
+    public void setOriginalY(int positionYInput) {
+        if (myArcPath != null && !isEndPoint()) {
+            // Snap to grid
+            super.setOriginalY(positionYInput);
+        } else {
+            originalY = positionYInput;
+            positionY = Zoomer.getZoomedValue(originalY, getZoom());
+        }
+    }
+
+    public void setPointLocation(int x, int y) {
 		setPositionX(x);
 		setPositionY(y);
 		updateOnMoveOrZoom();

diff --git a/src/main/java/pipe/gui/petrinet/graphicElements/PetriNetObject.java b/src/main/java/pipe/gui/petrinet/graphicElements/PetriNetObject.java
@@ -6,6 +6,7 @@
 
 import net.tapaal.gui.petrinet.TAPNLens;
 import net.tapaal.TAPAAL;
+import pipe.gui.canvas.Grid;
 import pipe.gui.petrinet.dataLayer.DataLayer;
 import pipe.gui.TAPAALGUI;
 import pipe.gui.canvas.DrawingSurfaceImpl;
@@ -198,12 +199,11 @@ public void translate(int x, int y) {}
 	 *            Double value for X-axis position
 	 */
     public void setOriginalX(int positionXInput) {
-        originalX = positionXInput;
-        positionX = Zoomer.getZoomedValue(positionXInput, getZoom());
+        originalX = Grid.align(positionXInput, 100);
+        positionX = Zoomer.getZoomedValue(originalX, getZoom());
     }
     public void setPositionX(int positionXInput) {
-        positionX = positionXInput;
-        originalX = Zoomer.getUnzoomedValue(positionX, getZoom());
+        setOriginalX(Zoomer.getUnzoomedValue(positionXInput, getZoom()));
     }
 
 	//XXX: pushed down from Placetransition object, might be dublicated //kyrke 2019-09-20
@@ -214,12 +214,11 @@ public void setPositionX(int positionXInput) {
 	 *            Double value for Y-axis position
 	 */
 	public void setOriginalY(int positionYInput) {
-        originalY = positionYInput;
-        positionY = Zoomer.getZoomedValue(positionYInput, getZoom());
+        originalY = Grid.align(positionYInput, 100);
+        positionY = Zoomer.getZoomedValue(originalY, getZoom());
 	}
     public void setPositionY(int positionYInput) {
-        positionY = positionYInput;
-        originalY = Zoomer.getUnzoomedValue(positionY, getZoom());
+        setOriginalY(Zoomer.getUnzoomedValue(positionYInput, getZoom()));
     }
 
 	//XXX: pushed down from Placetransition object, might be dublicated //kyrke 2019-09-20

diff --git a/src/main/java/pipe/gui/petrinet/graphicElements/PetriNetObjectWithLabel.java b/src/main/java/pipe/gui/petrinet/graphicElements/PetriNetObjectWithLabel.java
@@ -37,14 +37,13 @@ protected void setLabelHandler() {
         getNameLabel().addMouseListener(labelHandler);
         getNameLabel().addMouseMotionListener(labelHandler);
         getNameLabel().addMouseWheelListener(labelHandler);
-
     }
 
     protected void updateLabelLocation(boolean alignToGrid) {
         if(alignToGrid) {
             this.getNameLabel().setPosition(
-                    Grid.getModifiedX(positionX + Zoomer.getZoomedValue(nameOffsetX, getZoom())),
-                    Grid.getModifiedY(positionY + Zoomer.getZoomedValue(nameOffsetY, getZoom()))
+                    Grid.align(positionX + Zoomer.getZoomedValue(nameOffsetX, getZoom()), 100),
+                    Grid.align(positionY + Zoomer.getZoomedValue(nameOffsetY, getZoom()), 100)
             );
         } else {
             this.getNameLabel().setPosition(

diff --git a/src/main/java/pipe/gui/petrinet/graphicElements/tapn/TimedOutputArcComponent.java b/src/main/java/pipe/gui/petrinet/graphicElements/tapn/TimedOutputArcComponent.java
@@ -50,8 +50,8 @@ public TimedOutputArcComponent(TimedOutputArcComponent arc) {
 		this.setNameOffsetX(arc.getNameOffsetX());
 		this.setNameOffsetY(arc.getNameOffsetY());
 		this.getNameLabel().setPosition(
-				Grid.getModifiedX((int) (arc.getNameLabel().getXPosition() + Zoomer.getZoomedValue(getNameOffsetX(), getZoom()))),
-				Grid.getModifiedY((int) (arc.getNameLabel().getYPosition() + Zoomer.getZoomedValue(getNameOffsetY(), getZoom())))
+				Grid.align((int) (arc.getNameLabel().getXPosition() + Zoomer.getZoomedValue(getNameOffsetX(), getZoom())), getZoom()),
+				Grid.align((int) (arc.getNameLabel().getYPosition() + Zoomer.getZoomedValue(getNameOffsetY(), getZoom())), getZoom())
         );
 		this.lens = arc.lens;
 	}