4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.3 $ |
* @version $Revision: 1.4 $ |
* |
* Last modification: $Date: 2003/07/23 19:42:52 $ |
* $Id: Region.java,v 1.3 2003/07/23 19:42:52 ioklasse Exp $ |
* Last modification: $Date: 2003/07/23 23:39:27 $ |
* $Id: Region.java,v 1.4 2003/07/23 23:39:27 ioklasse Exp $ |
*/ |
|
package src.plugins.regionEditorPlugin; |
28,6 → 28,9 |
/** Stores coordinates of region. */ |
private Rectangle rect; |
|
/** Stores name of node for the region.*/ |
private String savedNameOfNode; |
|
/** Creates empty region with coordinates and name. */ |
public Region() |
{ |
45,7 → 48,7 |
} |
|
/** Returns the name of the region. |
* |
* |
* @return the name of the region. |
*/ |
public String getName() |
54,7 → 57,7 |
} |
|
/** Sets the name of the region. |
* |
* |
* @param name: The name of the region. |
*/ |
public void setName(String name) |
63,7 → 66,7 |
} |
|
/** Returns the coordinates of the region. |
* |
* |
* @return the coordinates of the region. |
*/ |
public Rectangle getRect() |
72,7 → 75,7 |
} |
|
/** Sets the coordinates of the region. |
* |
* |
* @param rect: The coordinates of the region. |
*/ |
public void setRect(Rectangle rect) |
79,4 → 82,22 |
{ |
this.rect = rect; |
} |
|
/** Returns the saved name of node for the region. |
* |
* @return the saved name of node for the region. |
*/ |
public String getSavedNameOfNode() |
{ |
return savedNameOfNode; |
} |
|
/** Sets the saved name of node for the region. |
* |
* @param name: The saved name of node for the region. |
*/ |
public void setSavedNameOfNode(String name) |
{ |
this.savedNameOfNode = name; |
} |
} |