Changeset 1010 for trunk/autoquest-core-events/src/main/java/de/ugoe/cs/autoquest/eventcore/guimodel/AbstractDefaultGUIElement.java
- Timestamp:
- 12/11/12 19:06:51 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-core-events/src/main/java/de/ugoe/cs/autoquest/eventcore/guimodel/AbstractDefaultGUIElement.java
r927 r1010 58 58 */ 59 59 private final IGUIElement parent; 60 61 /** 62 * <p> 63 * Boolean that indicates if a GUIElement was used during a session. 64 * </p> 65 */ 66 boolean usageObserved; 60 67 61 68 /** … … 72 79 this.specification = specification; 73 80 this.parent = parent; 81 this.usageObserved = false; 74 82 } 75 83 … … 128 136 return equalGUIElementManager.hashCode(this); 129 137 } 138 139 @Override 140 public boolean getUsageObserved() { 141 return usageObserved; 142 } 143 144 /** 145 * <p> 146 * Marks a GUI element as used. 147 * </p> 148 */ 149 public void markAsUsed(){ 150 this.usageObserved = true; 151 } 130 152 131 153 /**
Note: See TracChangeset
for help on using the changeset viewer.