Changeset 736 for trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElementSpec.java
- Timestamp:
- 08/31/12 15:16:13 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElementSpec.java
r714 r736 43 43 /** 44 44 * <p> 45 * hash code of the window elem t. Used as unique identifier during its existence.46 * </p> 47 */ 48 private int elementHash = -1;45 * hash code of the window element. Used as unique identifier during its existence. 46 * </p> 47 */ 48 private String elementHash = "-1"; 49 49 50 50 /** … … 53 53 * </p> 54 54 */ 55 private List< Integer> formerElementHashes = new ArrayList<Integer>();55 private List<String> formerElementHashes = new ArrayList<String>(); 56 56 57 57 /* (non-Javadoc) … … 87 87 // the same, then similarity is given. Therefore these are the first two comparisons 88 88 89 if (elementHash == otherSpec.elementHash) {89 if (elementHash.equals(otherSpec.elementHash)) { 90 90 return true; 91 91 } … … 163 163 ((type == otherSpec.type) || ((type != null) && (type.equals(otherSpec.type)))) && 164 164 ((icon == otherSpec.icon) || ((icon != null) && (icon.equals(otherSpec.icon)))) && 165 (index == otherSpec.index) && (elementHash == otherSpec.elementHash);165 (index == otherSpec.index) && (elementHash.equals(otherSpec.elementHash)); 166 166 } 167 167 … … 233 233 * @return the elementHash 234 234 */ 235 public intgetElementHash() {235 public String getElementHash() { 236 236 return elementHash; 237 237 } … … 275 275 * @param elementHash the elementHash to set 276 276 */ 277 public void setElementHash( intnewElementHash) {278 if ( (this.elementHash > -1) &&277 public void setElementHash(String newElementHash) { 278 if (!this.elementHash.equals("-1") && 279 279 !this.formerElementHashes.contains(this.elementHash)) 280 280 { … … 294 294 void update(JFCGUIElementSpec other) { 295 295 if (other != this) { 296 for ( intformerElementHash : other.formerElementHashes) {296 for (String formerElementHash : other.formerElementHashes) { 297 297 setElementHash(formerElementHash); 298 298 }
Note: See TracChangeset
for help on using the changeset viewer.