sota.gui.graph
Class ZoomManager

java.lang.Object
  extended by sota.gui.graph.ZoomManager

public class ZoomManager
extends java.lang.Object

Verwaltet die verschiedenen Zoom-Stufen der Darstellung des CFG.


Field Summary
private  int[] arrowXScale
           
private  int[] arrowYScale
           
private  int[] condHeight
           
private  int[] condWidth
           
private  int[] condYDist
           
private  int[] condYOffset
           
private  int maxZoomLevel
           
private  int[] nodeHeight
           
private  int[] nodeWidth
           
private  int[] padding
           
private  int zoomLevel
           
 
Constructor Summary
ZoomManager()
           
 
Method Summary
 int getArrowXScale()
           
 int getArrowYScale()
           
 int getCondHeight()
           
 int getCondWidth()
           
 int getCondYDist()
           
 int getCondYOffset()
           
 int getMaxZoomLevel()
           
 int getNodeHeight()
           
 int getNodeWidth()
           
 int getPadding()
           
 int getZoomLevel()
           
 boolean showButtonText()
           
 boolean zoomIn()
           
 boolean zoomOut()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

ZoomManager

public ZoomManager()
Method Detail

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()