sota.gui.graph
Class ZoomManager
java.lang.Object
sota.gui.graph.ZoomManager
public class ZoomManager
- extends java.lang.Object
Verwaltet die verschiedenen Zoom-Stufen der Darstellung des CFG.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
arrowXScale
private int[] arrowXScale
arrowYScale
private int[] arrowYScale
condHeight
private int[] condHeight
condWidth
private int[] condWidth
condYDist
private int[] condYDist
condYOffset
private int[] condYOffset
maxZoomLevel
private int maxZoomLevel
nodeHeight
private int[] nodeHeight
nodeWidth
private int[] nodeWidth
padding
private int[] padding
zoomLevel
private int zoomLevel
ZoomManager
public ZoomManager()
getArrowXScale
public int getArrowXScale()
getArrowYScale
public int getArrowYScale()
getCondHeight
public int getCondHeight()
getCondWidth
public int getCondWidth()
getCondYDist
public int getCondYDist()
getCondYOffset
public int getCondYOffset()
getMaxZoomLevel
public int getMaxZoomLevel()
getNodeHeight
public int getNodeHeight()
getNodeWidth
public int getNodeWidth()
getPadding
public int getPadding()
getZoomLevel
public int getZoomLevel()
showButtonText
public boolean showButtonText()
zoomIn
public boolean zoomIn()
zoomOut
public boolean zoomOut()