Changeset 835 for trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCTree.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/JFCTree.java
r742 r835 4 4 // Creation : 2012 by pharms 5 5 // Copyright : Patrick Harms, 2012 6 6 7 package de.ugoe.cs.quest.plugin.jfc.guimodel; 7 8 … … 10 11 /** 11 12 * <p> 12 * TODO comment13 * Class that represents trees in JFC GUIs. 13 14 * </p> 14 15 * 15 * @version $Revision: $ $Date: 03.09.2012$16 * @author 2012, last modified by $Author: pharms$16 * @version 1.0 17 * @author Patrick Harms 17 18 */ 18 19 public class JFCTree extends JFCGUIElement implements ITree { 19 20 20 /** */ 21 /** 22 * <p> 23 * Id for object serialization. 24 * </p> 25 */ 21 26 private static final long serialVersionUID = 1L; 22 27 23 28 /** 24 29 * <p> 25 * TODO: comment30 * Constructor. Creates a new JFCTree. 26 31 * </p> 27 * 32 * 28 33 * @param specification 34 * specification of created GUI element 29 35 * @param parent 36 * parent of the created GUI element; null means that the element is a top-level 37 * window 30 38 */ 31 39 public JFCTree(JFCGUIElementSpec specification, JFCGUIElement parent) { 32 40 super(specification, parent); 33 // TODO Auto-generated constructor stub34 41 } 35 42 43 /* 44 * (non-Javadoc) 45 * 46 * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 47 */ 36 48 @Override 37 49 protected String getElementDescriptor() {
Note: See TracChangeset
for help on using the changeset viewer.