gui.parts
Class ARInterval

java.lang.Object
  extended by gui.parts.Part
      extended by gui.parts.ARInterval

public class ARInterval
extends Part

Trida pro zobrazeni intervalu v aritmeticke kompresi.


Field Summary
static int BOX_HEIGHT
          Sirka obdelniku
static int BOX_WIDTH
          Sirka obdelniku
static int X_OFFSET
          odsazeni od leveho okraje
static int X_SPACING
          sirka mezi dvema objekty
static int Y_OFFSET
          odsazeni shora
 
Fields inherited from class gui.parts.Part
x, y
 
Constructor Summary
ARInterval(double from, double to)
          Vytvori interval s danou horni a dolni hranici.
 
Method Summary
 java.awt.Rectangle getBounds()
          This method returns ... rectangle.
 double getFrom()
           
 double getTo()
           
 void paintPart(java.awt.Graphics g)
          Vykresleni objektu.
 void setHighlighted(boolean b)
           
 void setNext(ARInterval next)
           
 void setUnits(java.util.Collection<ARCharInfo> c)
          odsazeni zleva
 
Methods inherited from class gui.parts.Part
addSizeChangeEventListener, drawConnectingCurve, fireSizeChangeEvent, getX, getY, move, moveTo, removeSizeChangeEventListener
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

BOX_WIDTH

public static final int BOX_WIDTH
Sirka obdelniku

See Also:
Constant Field Values

BOX_HEIGHT

public static final int BOX_HEIGHT
Sirka obdelniku

See Also:
Constant Field Values

X_SPACING

public static final int X_SPACING
sirka mezi dvema objekty

See Also:
Constant Field Values

Y_OFFSET

public static final int Y_OFFSET
odsazeni shora

See Also:
Constant Field Values

X_OFFSET

public static final int X_OFFSET
odsazeni od leveho okraje

See Also:
Constant Field Values
Constructor Detail

ARInterval

public ARInterval(double from,
                  double to)
Vytvori interval s danou horni a dolni hranici.

Parameters:
from - dolni mez
to - horni mez
Method Detail

paintPart

public void paintPart(java.awt.Graphics g)
Vykresleni objektu.

Specified by:
paintPart in class Part
Parameters:
g - objekt, na ktery se kresli

setUnits

public void setUnits(java.util.Collection<ARCharInfo> c)
odsazeni zleva


getBounds

public java.awt.Rectangle getBounds()
Description copied from class: Part
This method returns ... rectangle.

Specified by:
getBounds in class Part
Returns:
Rectangle bounds.

getFrom

public double getFrom()

getTo

public double getTo()

setNext

public void setNext(ARInterval next)

setHighlighted

public void setHighlighted(boolean b)