public interface AreaTopology
| Modifier and Type | Method and Description |
|---|---|
void |
drawLayout(OutputDisplay disp)
Graphically displays the topology on a graphical output device.
|
int |
getHeight()
Deprecated.
Use
getPosition(Area).getHeight() instead. |
int |
getMaxIndent()
Deprecated.
|
int |
getMinIndent()
Deprecated.
|
Area |
getNextOnLine()
Deprecated.
|
Rectangular |
getPosition()
Deprecated.
Use
getPosition(Area) instead. |
Rectangular |
getPosition(Area area)
Obtains the position of the given area within this topology.
|
Area |
getPreviousOnLine()
Deprecated.
|
int |
getTopologyHeight()
Obtains the total height of the topology used for placing the child
areas within this area.
|
Rectangular |
getTopologyPosition()
Obtains the absolute position of the whole topology within the page.
|
int |
getTopologyWidth()
Obtains the total width of the topology used for placing the child
areas within this area.
|
int |
getWidth()
Deprecated.
Use
getPosition(Area).getWidth() instead. |
void |
setPosition(Area area,
Rectangular gp)
Sets the position of the given area in this topology.
|
void |
update()
Recomputes the topology.
|
int getTopologyWidth()
int getTopologyHeight()
Rectangular getTopologyPosition()
Rectangular getPosition(Area area)
area - The area whose position we want to obtain.null when the area position is not described by this topology.void setPosition(Area area, Rectangular gp)
area - The area whose position we want to set.gp - The new position.void update()
int getWidth()
getPosition(Area).getWidth() instead.int getHeight()
getPosition(Area).getHeight() instead.Rectangular getPosition()
getPosition(Area) instead.Area getPreviousOnLine()
Area getNextOnLine()
int getMinIndent()
int getMaxIndent()
void drawLayout(OutputDisplay disp)
disp - the ouptut display to be usedCopyright © 2018. All rights reserved.