Changeset 835 for trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCShape.java
- Timestamp:
- 09/20/12 10:36:09 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCShape.java
r655 r835 1 1 2 package de.ugoe.cs.quest.plugin.jfc.guimodel; 2 3 … … 4 5 5 6 /** 6 * TODO comment 7 * <p> 8 * Class that represents shapes in JFC GUIs. 9 * </p> 7 10 * 8 * @version $Revision: $ $Date: 13.05.2012$9 * @author 2012, last modified by $Author: patrick$11 * @version 1.0 12 * @author Patrick Harms 10 13 */ 11 14 public class JFCShape extends JFCGUIElement implements IShape { 12 15 13 /** */ 16 /** 17 * <p> 18 * Id for object serialization. 19 * </p> 20 */ 14 21 private static final long serialVersionUID = 1L; 15 22 16 23 /** 17 * TODO: comment 24 * <p> 25 * Constructor. Creates a new JFCShape. 26 * </p> 18 27 * 19 * @param name20 * @param type21 * @param icon22 * @param index23 * @param hashCode28 * @param specification 29 * specification of created GUI element 30 * @param parent 31 * parent of the created GUI element; null means that the element is a top-level 32 * window 24 33 */ 25 34 public JFCShape(JFCGUIElementSpec specification, JFCGUIElement parent) { … … 27 36 } 28 37 38 /* 39 * (non-Javadoc) 40 * 41 * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 42 */ 29 43 @Override 30 44 protected String getElementDescriptor() {
Note: See TracChangeset
for help on using the changeset viewer.