|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcz.cuni.jagrlib.gui.PlugGUI
cz.cuni.jagrlib.gui.PlugGUIImproved
public class PlugGUIImproved
Concrete class for visual representation of a plug.
| Field Summary | |
|---|---|
static int |
PGI_ORIENTATION_EAST
Other orientation of plug - east. |
static int |
PGI_ORIENTATION_NORTH
Other orientation of plug - north. |
static int |
PGI_ORIENTATION_WEST
Other orientation of plug - west. |
| Fields inherited from class cz.cuni.jagrlib.gui.PlugGUI |
|---|
info, maxX, maxY, PGI_ORIENTATION_SOUTH |
| Constructor Summary | |
|---|---|
PlugGUIImproved(InfoPlug _infoP)
Creates new PlugGUIImproved. |
|
| Method Summary | |
|---|---|
boolean |
contains(int px,
int py)
Tests whether the given point lies on the plug. |
java.lang.String |
getToolTipText()
Tooltip text for the plug. |
int |
getX()
Gets relative x-coordinate of the plug. |
int |
getY()
Gets relative y-coordinate of the plug. |
void |
movePlug(int nx,
int ny)
Moves the Plug. |
void |
paintItem(java.awt.Graphics g)
Paint bonus graphics on module panel. |
void |
resize(int nx,
int ny)
The Plug's module was resized. |
void |
setOrientation(int _o)
Sets orientation of the plug. |
| Methods inherited from class cz.cuni.jagrlib.gui.PlugGUI |
|---|
getOrientaion |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final int PGI_ORIENTATION_WEST
public static final int PGI_ORIENTATION_NORTH
public static final int PGI_ORIENTATION_EAST
| Constructor Detail |
|---|
public PlugGUIImproved(InfoPlug _infoP)
_infoP - Information about plug.| Method Detail |
|---|
public boolean contains(int px,
int py)
contains in class PlugGUIpx - x-coordinate.py - y-coordinate.
true if point lies on the plug.public java.lang.String getToolTipText()
getToolTipText in class PlugGUIpublic int getX()
getX in class PlugGUIpublic int getY()
getY in class PlugGUIpublic void setOrientation(int _o)
_o - New orientation.
public void movePlug(int nx,
int ny)
movePlug in class PlugGUInx - X-coordinate offset (relative coordinate).ny - Y-coordinate offset (relative coordinate).
public void resize(int nx,
int ny)
resize in class PlugGUInx - New module width.ny - New module height.public void paintItem(java.awt.Graphics g)
paintItem in class PlugGUI
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||