Changeset 835 for trunk


Ignore:
Timestamp:
09/20/12 10:36:09 (12 years ago)
Author:
sherbold
Message:
  • code documentation and clean-up
Location:
trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc
Files:
25 edited

Legend:

Unmodified
Added
Removed

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/eventcore/JFCEventId.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.eventcore; 
    23 
    … …  
    67 
    78/** 
    8  * TODO comment 
     9 * <p> 
     10 * Enumeration to deal with JFC event ids. 
     11 * </p> 
    912 *  
    10  * @version $Revision: $ $Date: $ 
    11  * @author 2011, last modified by $Author: $ 
     13 * @version 1.0 
     14 * @author Patrick Harms 
    1215 */ 
    1316public enum JFCEventId { 
    14      
    15     MOUSE_CLICKED(MouseEvent.MOUSE_CLICKED), 
    16     MOUSE_PRESSED(MouseEvent.MOUSE_PRESSED), 
    17     MOUSE_RELEASED(MouseEvent.MOUSE_RELEASED), 
    18     MOUSE_MOVED(MouseEvent.MOUSE_MOVED), 
    19     MOUSE_ENTERED(MouseEvent.MOUSE_ENTERED), 
    20     MOUSE_EXITED(MouseEvent.MOUSE_EXITED), 
    21     MOUSE_DRAGGED(MouseEvent.MOUSE_DRAGGED), 
    22     MOUSE_WHEEL(MouseEvent.MOUSE_WHEEL), 
    23     FOCUS_GAINED(FocusEvent.FOCUS_GAINED), 
    24     FOCUS_LOST(FocusEvent.FOCUS_LOST), 
    25     KEY_TYPED(KeyEvent.KEY_TYPED), 
    26     KEY_PRESSED(KeyEvent.KEY_PRESSED), 
    27     KEY_RELEASED(KeyEvent.KEY_RELEASED); 
    2817 
    29     /** the numerical representation of the event type */ 
     18    MOUSE_CLICKED(MouseEvent.MOUSE_CLICKED), MOUSE_PRESSED(MouseEvent.MOUSE_PRESSED), 
     19    MOUSE_RELEASED(MouseEvent.MOUSE_RELEASED), MOUSE_MOVED(MouseEvent.MOUSE_MOVED), MOUSE_ENTERED( 
     20        MouseEvent.MOUSE_ENTERED), MOUSE_EXITED(MouseEvent.MOUSE_EXITED), MOUSE_DRAGGED( 
     21        MouseEvent.MOUSE_DRAGGED), MOUSE_WHEEL(MouseEvent.MOUSE_WHEEL), FOCUS_GAINED( 
     22        FocusEvent.FOCUS_GAINED), FOCUS_LOST(FocusEvent.FOCUS_LOST), KEY_TYPED(KeyEvent.KEY_TYPED), 
     23    KEY_PRESSED(KeyEvent.KEY_PRESSED), KEY_RELEASED(KeyEvent.KEY_RELEASED); 
     24 
     25    /** 
     26     * <p> 
     27     * Numerical representation of the event type. 
     28     * </p> 
     29     */ 
    3030    private int mNumber; 
    3131 
    3232    /** 
     33     * <p> 
     34     * Constructor. Creates a new JFCEventId. 
     35     * </p> 
     36     *  
    3337     * @param number 
     38     *            numerical representation of the event type. 
    3439     */ 
    3540    JFCEventId(int number) { 
    … …  
    3843 
    3944    /** 
    40      * @return Returns the number. 
     45     * <p> 
     46     * Returns the numerical representation of the event type. 
     47     * </p> 
     48     *  
     49     * @return the numerical representation 
    4150     */ 
    4251    public int getNumber() { 
    … …  
    4554 
    4655    /** 
    47      * 
     56     * <p> 
     57     * Parses an {@link String} and returns the respective JFCEventId if possible. 
     58     * </p> 
     59     *  
     60     * @param numberString 
     61     *            String representation of the event type 
     62     * @return created JFCEventId 
     63     * @throws IllegalArgumentException 
     64     *             thrown if there is no JFCEventId that correlates to numberString 
    4865     */ 
    49     public static JFCEventId parseEventId(String numberString) { 
     66    public static JFCEventId parseEventId(String numberString) throws IllegalArgumentException { 
    5067        try { 
    5168            int number = Integer.parseInt(numberString); 
    … …  
    5875 
    5976    /** 
    60      * 
     77     * <p> 
     78     * Returns the JFCEventId associated with an integer. 
     79     * </p> 
     80     *  
     81     * @param number 
     82     *            integer to which the according JFCEventId is returned 
     83     * @return the JFCEventId 
     84     * @throws IllegalArgumentException 
     85     *             thrown if there is no JFCEventId that correlates to number 
    6186     */ 
    62     public static JFCEventId valueOf(int number) { 
     87    public static JFCEventId valueOf(int number) throws IllegalArgumentException { 
    6388        for (JFCEventId type : JFCEventId.values()) { 
    6489            if (type.mNumber == number) { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCButton.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents buttons in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCButton extends JFCGUIElement implements IButton { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCButton. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCButton(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCCanvas.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents canvas' in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCCanvas extends JFCGUIElement implements ICanvas { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCCanvas. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCCanvas(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCCheckBox.java

    r742 r835  
    44// Creation  : 2012 by pharms 
    55// Copyright : Patrick Harms, 2012 
     6 
    67package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    78 
    … …  
    1011/** 
    1112 * <p> 
    12  * TODO comment 
     13 * Class that represents check boxes in JFC GUIs. 
    1314 * </p> 
    1415 *  
    15  * @version $Revision: $ $Date: 03.09.2012$ 
    16  * @author 2012, last modified by $Author: pharms$ 
     16 * @version 1.0 
     17 * @author Patrick Harms 
    1718 */ 
    1819public class JFCCheckBox extends JFCGUIElement implements ICheckBox { 
    1920 
    20     /**  */ 
     21    /** 
     22     * <p> 
     23     * Id for object serialization. 
     24     * </p> 
     25     */ 
    2126    private static final long serialVersionUID = 1L; 
    2227 
    2328    /** 
    2429     * <p> 
    25      * TODO: comment 
     30     * Constructor. Creates a new JFCCheckBox. 
    2631     * </p> 
    27      * 
     32     *  
    2833     * @param specification 
     34     *            specification of created GUI element 
    2935     * @param parent 
     36     *            parent of the created GUI element; null means that the element is a top-level 
     37     *            window 
    3038     */ 
    3139    public JFCCheckBox(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    3341    } 
    3442 
     43    /* 
     44     * (non-Javadoc) 
     45     *  
     46     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     47     */ 
    3548    @Override 
    3649    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCComboBox.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents combo boxes in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCComboBox extends JFCGUIElement implements IComboBox { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCComboBox. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCComboBox(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCDialog.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents dialogs in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCDialog extends JFCGUIElement implements IFrame { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCDialog. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCDialog(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCFrame.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents frames in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCFrame extends JFCGUIElement implements IFrame { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCFrame. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCFrame(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElement.java

    r778 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    56 
    67/** 
    7  * TODO comment 
     8 * <p> 
     9 * Base class for all JFC GUI elements. 
     10 * </p> 
    811 *  
    9  * @version $Revision: $ $Date: $ 
    10  * @author 2011, last modified by $Author: $ 
     12 * @version 1.0 
     13 * @author Patrick Harms 
    1114 */ 
    1215public class JFCGUIElement extends AbstractDefaultGUIElement { 
    13      
     16 
    1417    /** 
    1518     * <p> 
    … …  
    1922    private static final long serialVersionUID = 1L; 
    2023 
    21     /** the specification of the GUI Element */ 
     24    /** 
     25     * <p> 
     26     * Specification of the GUI Element 
     27     * </p> 
     28     */ 
    2229    private JFCGUIElementSpec specification; 
    2330 
    2431    /** 
    25      * @param name 
    26      * @param id 
    27      * @param isModal 
     32     * <p> 
     33     * Constructor. Creates a new JFCGUIElement. 
     34     * </p> 
     35     *  
     36     * @param specification 
     37     *            specification of created GUI element 
     38     * @param parent 
     39     *            parent of the created GUI element; null means that the element is a top-level 
     40     *            window 
    2841     */ 
    2942    public JFCGUIElement(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    3245    } 
    3346 
    34     /* (non-Javadoc) 
     47    /* 
     48     * (non-Javadoc) 
     49     *  
    3550     * @see de.ugoe.cs.quest.eventcore.IEventTarget#getPlatform() 
    3651     */ 
    … …  
    4156 
    4257    /** 
    43      * TODO: comment 
     58     * <p> 
     59     * Returns the type of the GUI element, i.e., the name of its Java class. 
     60     * </p> 
    4461     *  
    45      * @return 
     62     * @return the Java class name 
    4663     */ 
    4764    public String getJavaType() { 
    … …  
    5067 
    5168    /** 
    52      * @return Returns the name. 
     69     * <p> 
     70     * Returns the name of the GUI element. 
     71     * </p> 
     72     *  
     73     * @return the name 
    5374     */ 
    5475    String getName() { 
    … …  
    5778 
    5879    /** 
     80     * <p> 
     81     * Returns the icon of the GUI element. 
     82     * </p> 
     83     *  
    5984     * @return the icon 
    6085     */ 
    … …  
    6489 
    6590    /** 
     91     * <p> 
     92     * Returns the index of the GUI element. 
     93     * </p> 
     94     *  
    6695     * @return the index 
    6796     */ 
    … …  
    71100 
    72101    /** 
    73      * @return the hashCode 
     102     * <p> 
     103     * Returns the object hash of the GUI element. 
     104     * </p> 
     105     *  
     106     * @return the object hash 
    74107     */ 
    75108    int getElementHash() { 
    … …  
    77110    } 
    78111 
    79     /** 
    80      * <p> 
    81      * TODO comment 
    82      * </p> 
     112    /* 
     113     * (non-Javadoc) 
     114     *  
     115     * @see 
     116     * de.ugoe.cs.quest.eventcore.guimodel.IGUIElement#updateSpecification(de.ugoe.cs.quest.eventcore 
     117     * .guimodel.IGUIElementSpec) 
    83118     */ 
    84119    @Override 
    … …  
    88123        } 
    89124    } 
    90      
     125 
    91126    /* 
    92127     * (non-Javadoc) 
    … …  
    97132    public String getStringIdentifier() { 
    98133        String str = this.toString(); 
    99         if( getParent()!=null ) { 
     134        if (getParent() != null) { 
    100135            return getParent().getStringIdentifier() + "->" + str; 
    101136        } 
    102137        return str; 
    103138    } 
    104      
     139 
    105140    /* 
    106141     * (non-Javadoc) 
    … …  
    110145    @Override 
    111146    public String toString() { 
    112         String str = getElementDescriptor() + "(" + getName() + "," + getElementHash() + "," + 
    113             getIcon() + "," + getIndex() +")"; 
     147        String str = 
     148            getElementDescriptor() + "(" + getName() + "," + getElementHash() + "," + getIcon() + 
     149                "," + getIndex() + ")"; 
    114150        return str; 
    115151    } 
    116      
     152 
     153    /** 
     154     * <p> 
     155     * A short string describing the GUI element, e.g., Button, Canvas, or ScrollBar. 
     156     * </p> 
     157     *  
     158     * @return short element descriptor 
     159     */ 
    117160    protected String getElementDescriptor() { 
    118161        return "Default"; 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElementSpec.java

    r832 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    67import org.apache.commons.collections15.CollectionUtils; 
    78 
     9import de.ugoe.cs.quest.eventcore.guimodel.IGUIElement; 
    810import de.ugoe.cs.quest.eventcore.guimodel.IGUIElementSpec; 
    911 
    1012/** 
    1113 * <p> 
    12  * TODO comment 
     14 * Implements the specification of {@link IGUIElement} for {@link JFCGUIElement}s. 
    1315 * </p> 
    1416 *  
    15  * @version $Revision: $ $Date: 17.08.2012$ 
    16  * @author 2012, last modified by $Author: pharms$ 
     17 * @version 1.0 
     18 * @author Patrick Harms 
    1719 */ 
    1820public class JFCGUIElementSpec implements IGUIElementSpec { 
    1921 
    20     /**  */ 
     22    /** 
     23     * <p> 
     24     * Id for object serialization. 
     25     * </p> 
     26     */ 
    2127    private static final long serialVersionUID = 1L; 
    2228 
    2329    /** 
    2430     * <p> 
    25      * current name of the GUI element 
     31     * Current name of the GUI element 
    2632     * </p> 
    2733     */ 
    … …  
    3036    /** 
    3137     * <p> 
    32      * previous names of the GUI element as it may have changed over time. 
     38     * Previous names of the GUI element as it may have changed over time. 
    3339     * </p> 
    3440     */ 
    3541    private List<String> formerNames = new ArrayList<String>(); 
    3642 
    37     /** */ 
     43    /** 
     44     * <p> 
     45     * Type of the GUI element, i.e., its Java class. 
     46     * </p> 
     47     */ 
    3848    private String type = null; 
    39      
    40     /** */ 
     49 
     50    /** 
     51     * <p> 
     52     * Icon associated with the GUI element. 
     53     * </p> 
     54     */ 
    4155    private String icon = null; 
    42      
    43     /** */ 
     56 
     57    /** 
     58     * <p> 
     59     * Index of the GUI element in its parent element. 
     60     * </p> 
     61     */ 
    4462    private int index = -1; 
    45      
    46     /** 
    47      * <p> 
    48      * hash code of the window element. Used as unique identifier during its existence. 
     63 
     64    /** 
     65     * <p> 
     66     * Hash code of the window element. Used as unique identifier during its existence. 
    4967     * </p> 
    5068     */ 
    … …  
    5371    /** 
    5472     * <p> 
    55      * previous handles of the window as the window may have been destroyed and recreated 
     73     * Previous hashes of the window as the window may have been destroyed and recreated. 
    5674     * </p> 
    5775     */ 
    5876    private List<Integer> formerElementHashes = new ArrayList<Integer>(); 
    5977 
    60     /* (non-Javadoc) 
    61      * @see de.ugoe.cs.quest.eventcore.guimodel.IGUIElementSpec#getSecificationSimilarity(IGUIElementSpec) 
     78    /* 
     79     * (non-Javadoc) 
     80     *  
     81     * @see 
     82     * de.ugoe.cs.quest.eventcore.guimodel.IGUIElementSpec#getSecificationSimilarity(IGUIElementSpec 
     83     * ) 
    6284     */ 
    6385    @Override 
    6486    public boolean getSimilarity(IGUIElementSpec other) { 
    65         if (this == other) 
    66         { 
    67             return true; 
    68         } 
    69          
    70         if (!(other instanceof JFCGUIElementSpec)) 
    71         { 
     87        if (this == other) { 
     88            return true; 
     89        } 
     90 
     91        if (!(other instanceof JFCGUIElementSpec)) { 
    7292            return false; 
    7393        } 
    74          
     94 
    7595        JFCGUIElementSpec otherSpec = (JFCGUIElementSpec) other; 
    76          
     96 
    7797        if ((type != otherSpec.type) && ((type != null) && (!type.equals(otherSpec.type)))) { 
    7898            return false; 
    … …  
    89109        // a new element is added or another one is removed. If the element hash or the name stay 
    90110        // the same, then similarity is given. Therefore these are the first two comparisons 
    91          
     111 
    92112        if (elementHash == otherSpec.elementHash) { 
    93113            return true; 
    94114        } 
    95          
     115 
    96116        if ((name != null) && (name.equals(otherSpec.name))) { 
    97117            return true; 
    98118        } 
    99          
    100         if ((((name == null) && (otherSpec.name == null)) || 
    101              (("".equals(name)) && ("".equals(otherSpec.name)))) && 
    102             (formerNames.size() == 0) && (otherSpec.formerNames.size() == 0)) 
     119 
     120        if ((((name == null) && (otherSpec.name == null)) || (("".equals(name)) && ("" 
     121            .equals(otherSpec.name)))) && 
     122            (formerNames.size() == 0) && 
     123            (otherSpec.formerNames.size() == 0)) 
    103124        { 
    104125            return true; 
    105126        } 
    106          
     127 
    107128        // if the id and the name did not stay the same, then the name should be checked first. 
    108129        // One of all known names of one of the specs must be equal to one of the known names of the 
    … …  
    117138            return index == otherSpec.index; 
    118139        } 
    119          
     140 
    120141        if (CollectionUtils.containsAny(formerNames, otherSpec.formerNames)) { 
    121142            return index == otherSpec.index; 
    122143        } 
    123          
     144 
    124145        // ok. Even the names do not match. This is usually a clear indication, that the elements 
    125146        // are distinct. However, we check, if the former ids matched. This is very unlikely 
    … …  
    135156            return index == otherSpec.index; 
    136157        } 
    137          
     158 
    138159        if (CollectionUtils.containsAny(formerElementHashes, otherSpec.formerElementHashes)) { 
    139160            return index == otherSpec.index; 
    140161        } 
    141          
     162 
    142163        // now we can be really sure, that the GUI elements differ 
    143          
     164 
    144165        return false; 
    145166    } 
    146167 
    147     /* (non-Javadoc) 
     168    /* 
     169     * (non-Javadoc) 
     170     *  
    148171     * @see de.ugoe.cs.quest.eventcore.guimodel.IGUIElementSpec#equals(IGUIElementSpec) 
    149172     */ 
    150173    @Override 
    151174    public boolean equals(Object other) { 
    152         if (this == other) 
    153         { 
    154             return true; 
    155         } 
    156          
    157         if (!(other instanceof JFCGUIElementSpec)) 
    158         { 
     175        if (this == other) { 
     176            return true; 
     177        } 
     178 
     179        if (!(other instanceof JFCGUIElementSpec)) { 
    159180            return false; 
    160181        } 
    161          
     182 
    162183        JFCGUIElementSpec otherSpec = (JFCGUIElementSpec) other; 
    163          
    164         return 
    165             ((name == otherSpec.name) || ((name != null) && (name.equals(otherSpec.name)))) && 
     184 
     185        return ((name == otherSpec.name) || ((name != null) && (name.equals(otherSpec.name)))) && 
    166186            ((type == otherSpec.type) || ((type != null) && (type.equals(otherSpec.type)))) && 
    167187            ((icon == otherSpec.icon) || ((icon != null) && (icon.equals(otherSpec.icon)))) && 
    … …  
    169189    } 
    170190 
    171     /* (non-Javadoc) 
     191    /* 
     192     * (non-Javadoc) 
     193     *  
    172194     * @see java.lang.Object#hashCode() 
    173195     */ 
    … …  
    178200 
    179201    /** 
     202     * <p> 
     203     * Returns the name of the specified GUI element. 
     204     * </p> 
     205     *  
    180206     * @return the name 
    181207     */ 
    182208    public String getName() { 
    183209        StringBuffer names = new StringBuffer(); 
    184          
     210 
    185211        if (name != null) { 
    186212            names.append('"'); 
    … …  
    191217            names.append("NOT_SET"); 
    192218        } 
    193          
     219 
    194220        if (formerNames.size() > 0) { 
    195              
     221 
    196222            names.append(" (aka "); 
    197              
     223 
    198224            for (int i = 0; i < formerNames.size(); i++) { 
    199225                if (i > 0) { 
    … …  
    205231                names.append('"'); 
    206232            } 
    207              
     233 
    208234            names.append(")"); 
    209235        } 
    210          
     236 
    211237        return names.toString(); 
    212238    } 
    213239 
    214240    /** 
     241     * <p> 
     242     * Returns the title of the specified GUI element. 
     243     * </p> 
     244     *  
    215245     * @return the title 
    216246     */ 
    … …  
    220250 
    221251    /** 
     252     * <p> 
     253     * Returns the icon associated with the specified GUI element. 
     254     * </p> 
     255     *  
    222256     * @return the icon 
    223257     */ 
    … …  
    227261 
    228262    /** 
     263     * <p> 
     264     * Returns the index of the specified GUI element in its parent element. 
     265     * </p> 
     266     *  
    229267     * @return the index 
    230268     */ 
    … …  
    234272 
    235273    /** 
     274     * <p> 
     275     * Returns the object hash of the specified GUI element. 
     276     * </p> 
     277     *  
    236278     * @return the elementHash 
    237279     */ 
    … …  
    241283 
    242284    /** 
    243      * @param name the name to set 
     285     * <p> 
     286     * Sets the name of the specified GUI element. 
     287     * </p> 
     288     *  
     289     * @param name 
     290     *            the name 
    244291     */ 
    245292    public void setName(String newName) { 
    246         if ((this.name != null) && 
    247             (!this.name.equals(newName)) && 
     293        if ((this.name != null) && (!this.name.equals(newName)) && 
    248294            (!this.formerNames.contains(this.name))) 
    249295        { 
    250296            this.formerNames.add(this.name); 
    251297        } 
    252          
     298 
    253299        this.name = newName; 
    254300    } 
    255301 
    256302    /** 
    257      * @param title the title to set 
     303     * <p> 
     304     * Sets the type of the specified GUI element. 
     305     * </p> 
     306     *  
     307     * @param title 
     308     *            the title 
    258309     */ 
    259310    public void setType(String type) { 
    … …  
    262313 
    263314    /** 
    264      * @param icon the icon to set 
     315     * <p> 
     316     * Sets the icon associated with the specified GUI element. 
     317     * </p> 
     318     *  
     319     * @param icon 
     320     *            the icon 
    265321     */ 
    266322    public void setIcon(String icon) { 
    … …  
    269325 
    270326    /** 
    271      * @param index the index to set 
     327     * <p> 
     328     * Sets the index in its parent element of the specified GUI element. 
     329     * </p> 
     330     *  
     331     * @param index 
     332     *            the index 
    272333     */ 
    273334    public void setIndex(int index) { 
    … …  
    276337 
    277338    /** 
    278      * @param elementHash the elementHash to set 
     339     * <p> 
     340     * Sets the object hash of the specified GUI element. 
     341     * </p> 
     342     *  
     343     * @param elementHash 
     344     *            the elementHash 
    279345     */ 
    280346    public void setElementHash(int newElementHash) { 
    281         if ((this.elementHash > -1) && 
    282             !this.formerElementHashes.contains(this.elementHash)) 
    283         { 
     347        if ((this.elementHash > -1) && !this.formerElementHashes.contains(this.elementHash)) { 
    284348            this.formerElementHashes.add(this.elementHash); 
    285349        } 
    286          
     350 
    287351        this.elementHash = newElementHash; 
    288352    } 
    289      
    290     /** 
    291      * <p> 
    292      * TODO: comment 
    293      * </p> 
    294      * 
     353 
     354    /** 
     355     * <p> 
     356     * Updates the specification with another specification. 
     357     * </p> 
     358     *  
    295359     * @param furtherSpec 
     360     *            specification used to update the current specification 
    296361     */ 
    297362    void update(JFCGUIElementSpec other) { 
    … …  
    309374            } 
    310375 
    311             if ((name != other.name) && (name != null) && (!name.equals(other.name))) 
    312             { 
     376            if ((name != other.name) && (name != null) && (!name.equals(other.name))) { 
    313377                setName(other.name); 
    314378            } 
    … …  
    316380    } 
    317381 
     382    /* 
     383     * (non-Javadoc) 
     384     *  
     385     * @see java.lang.Object#toString() 
     386     */ 
    318387    public String toString() { 
    319         return "[" + getName() + ";\"" + type + "\";\"" + icon + "\";" + index + ";" + 
    320                 elementHash + "]"; 
     388        return "[" + getName() + ";\"" + type + "\";\"" + icon + "\";" + index + ";" + elementHash + 
     389            "]"; 
    321390    } 
    322391 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCListBox.java

    r742 r835  
    44// Creation  : 2012 by pharms 
    55// Copyright : Patrick Harms, 2012 
     6 
    67package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    78 
    … …  
    1011/** 
    1112 * <p> 
    12  * TODO comment 
     13 * Class that represents list boxes in JFC GUIs. 
    1314 * </p> 
    1415 *  
    15  * @version $Revision: $ $Date: 03.09.2012$ 
    16  * @author 2012, last modified by $Author: pharms$ 
     16 * @version 1.0 
     17 * @author Patrick Harms 
    1718 */ 
    1819public class JFCListBox extends JFCGUIElement implements IListBox { 
    1920 
    20     /**  */ 
     21    /** 
     22     * <p> 
     23     * Id for object serialization. 
     24     * </p> 
     25     */ 
    2126    private static final long serialVersionUID = 1L; 
    2227 
    2328    /** 
    2429     * <p> 
    25      * TODO: comment 
     30     * Constructor. Creates a new JFCListBox. 
    2631     * </p> 
    27      * 
     32     *  
    2833     * @param specification 
     34     *            specification of created GUI element 
    2935     * @param parent 
     36     *            parent of the created GUI element; null means that the element is a top-level 
     37     *            window 
    3038     */ 
    3139    public JFCListBox(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    3341    } 
    3442 
     43    /* 
     44     * (non-Javadoc) 
     45     *  
     46     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     47     */ 
    3548    @Override 
    3649    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCMenu.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents menus in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCMenu extends JFCGUIElement implements IMenu { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCMenu. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCMenu(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCMenuBar.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that menu bar buttons in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCMenuBar extends JFCMenu implements IMenuBar { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCMenuBar. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCMenuBar(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCMenu#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCMenuButton.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents menu buttons in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCMenuButton extends JFCButton implements IMenuButton { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCMenuButton. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCMenuButton(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCButton#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCPanel.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents panels in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCPanel extends JFCGUIElement implements IPanel { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCPanel. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCPanel(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCRadioButton.java

    r742 r835  
    44// Creation  : 2012 by pharms 
    55// Copyright : Patrick Harms, 2012 
     6 
    67package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    78 
    … …  
    1011/** 
    1112 * <p> 
    12  * TODO comment 
     13 * Class that represents radio buttons in JFC GUIs. 
    1314 * </p> 
    1415 *  
    15  * @version $Revision: $ $Date: 03.09.2012$ 
    16  * @author 2012, last modified by $Author: pharms$ 
     16 * @version 1.0 
     17 * @author Patrick Harms 
    1718 */ 
    1819public class JFCRadioButton extends JFCGUIElement implements IRadioButton { 
    1920 
    20     /**  */ 
     21    /** 
     22     * <p> 
     23     * Id for object serialization. 
     24     * </p> 
     25     */ 
    2126    private static final long serialVersionUID = 1L; 
    2227 
    2328    /** 
    2429     * <p> 
    25      * TODO: comment 
     30     * Constructor. Creates a new JFCRadioButton. 
    2631     * </p> 
    27      * 
     32     *  
    2833     * @param specification 
     34     *            specification of created GUI element 
    2935     * @param parent 
     36     *            parent of the created GUI element; null means that the element is a top-level 
     37     *            window 
    3038     */ 
    3139    public JFCRadioButton(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    3341    } 
    3442 
     43    /* 
     44     * (non-Javadoc) 
     45     *  
     46     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     47     */ 
    3548    @Override 
    3649    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCScrollBar.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents scroll bars in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCScrollBar extends JFCGUIElement implements IScrollBar { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCScrollBar. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCScrollBar(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCScrollPane.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents scroll panes in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCScrollPane extends JFCGUIElement implements IScrollPane { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCScrollPane. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCScrollPane(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCShape.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents shapes in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCShape extends JFCGUIElement implements IShape { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCShape. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCShape(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCSplitPane.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents split panes in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCSplitPane extends JFCGUIElement implements ISplitPane { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCSplitPane. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCSplitPane(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCTabbedPane.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents tabbed panes in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCTabbedPane extends JFCGUIElement implements ITabbedPane { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCTabbedPane. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCTabbedPane(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCTable.java

    r742 r835  
    44// Creation  : 2012 by pharms 
    55// Copyright : Patrick Harms, 2012 
     6 
    67package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    78 
    … …  
    1011/** 
    1112 * <p> 
    12  * TODO comment 
     13 * Class that represents tables in JFC GUIs. 
    1314 * </p> 
    1415 *  
    15  * @version $Revision: $ $Date: 03.09.2012$ 
    16  * @author 2012, last modified by $Author: pharms$ 
     16 * @version 1.0 
     17 * @author Patrick Harms 
    1718 */ 
    1819public class JFCTable extends JFCGUIElement implements ITable { 
    1920 
    20     /**  */ 
     21    /** 
     22     * <p> 
     23     * Id for object serialization. 
     24     * </p> 
     25     */ 
    2126    private static final long serialVersionUID = 1L; 
    2227 
    2328    /** 
    2429     * <p> 
    25      * TODO: comment 
     30     * Constructor. Creates a new JFCTable. 
    2631     * </p> 
    27      * 
     32     *  
    2833     * @param specification 
     34     *            specification of created GUI element 
    2935     * @param parent 
     36     *            parent of the created GUI element; null means that the element is a top-level 
     37     *            window 
    3038     */ 
    3139    public JFCTable(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    3341    } 
    3442 
     43    /* 
     44     * (non-Javadoc) 
     45     *  
     46     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     47     */ 
    3548    @Override 
    3649    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCTextArea.java

    r742 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents text areas in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCTextArea extends JFCGUIElement implements ITextField { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCTextArea. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCTextArea(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCTextField.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents text fields in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCTextField extends JFCGUIElement implements ITextField { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCTextField. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCTextField(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCToolBar.java

    r655 r835  
     1 
    12package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    23 
    … …  
    45 
    56/** 
    6  * TODO comment 
     7 * <p> 
     8 * Class that represents toolbars in JFC GUIs. 
     9 * </p> 
    710 *  
    8  * @version $Revision: $ $Date: 13.05.2012$ 
    9  * @author 2012, last modified by $Author: patrick$ 
     11 * @version 1.0 
     12 * @author Patrick Harms 
    1013 */ 
    1114public class JFCToolBar extends JFCGUIElement implements IToolBar { 
    1215 
    13     /**  */ 
     16    /** 
     17     * <p> 
     18     * Id for object serialization. 
     19     * </p> 
     20     */ 
    1421    private static final long serialVersionUID = 1L; 
    1522 
    1623    /** 
    17      * TODO: comment 
     24     * <p> 
     25     * Constructor. Creates a new JFCToolBar. 
     26     * </p> 
    1827     *  
    19      * @param name 
    20      * @param type 
    21      * @param icon 
    22      * @param index 
    23      * @param hashCode 
     28     * @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 
    2433     */ 
    2534    public JFCToolBar(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    … …  
    2736    } 
    2837 
     38    /* 
     39     * (non-Javadoc) 
     40     *  
     41     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     42     */ 
    2943    @Override 
    3044    protected String getElementDescriptor() { 

  • trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCTree.java

    r742 r835  
    44// Creation  : 2012 by pharms 
    55// Copyright : Patrick Harms, 2012 
     6 
    67package de.ugoe.cs.quest.plugin.jfc.guimodel; 
    78 
    … …  
    1011/** 
    1112 * <p> 
    12  * TODO comment 
     13 * Class that represents trees in JFC GUIs. 
    1314 * </p> 
    1415 *  
    15  * @version $Revision: $ $Date: 03.09.2012$ 
    16  * @author 2012, last modified by $Author: pharms$ 
     16 * @version 1.0 
     17 * @author Patrick Harms 
    1718 */ 
    1819public class JFCTree extends JFCGUIElement implements ITree { 
    1920 
    20     /**  */ 
     21    /** 
     22     * <p> 
     23     * Id for object serialization. 
     24     * </p> 
     25     */ 
    2126    private static final long serialVersionUID = 1L; 
    2227 
    2328    /** 
    2429     * <p> 
    25      * TODO: comment 
     30     * Constructor. Creates a new JFCTree. 
    2631     * </p> 
    27      * 
     32     *  
    2833     * @param specification 
     34     *            specification of created GUI element 
    2935     * @param parent 
     36     *            parent of the created GUI element; null means that the element is a top-level 
     37     *            window 
    3038     */ 
    3139    public JFCTree(JFCGUIElementSpec specification, JFCGUIElement parent) { 
    3240        super(specification, parent); 
    33         // TODO Auto-generated constructor stub 
    3441    } 
    3542 
     43    /* 
     44     * (non-Javadoc) 
     45     *  
     46     * @see de.ugoe.cs.quest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() 
     47     */ 
    3648    @Override 
    3749    protected String getElementDescriptor() { 
Note: See TracChangeset for help on using the changeset viewer.