Subversion Repositories general

Compare Revisions

Ignore whitespace Rev 787 → Rev 788

/sun/xmleditor/trunk/src/plugins/regionEditorPlugin/Region.java
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;
}
}