Changeset 2251

Timestamp:

12/11/17 15:31:19 (7 years ago)

Author:

pharms

Message:

 

File:

• trunk/autoquest-ui-core/src/main/java/de/ugoe/cs/autoquest/commands/usability/CMDgetTaskModelCrossCoverage.java (modified) (3 diffs)

trunk/autoquest-ui-core/src/main/java/de/ugoe/cs/autoquest/commands/usability/CMDgetTaskModelCrossCoverage.java

@@ -1431 +1431 @@
             return true;
         }
+
+        /* (non-Javadoc)
+         * @see java.lang.Object#hashCode()
+         */
+        @Override
+        public int hashCode() {
+            return leftHandSide.hashCode();
+        }
         
     }
@@ -1486 +1494 @@
                 (this.rule.equals(((ProductionRulePosition) obj).rule)) &&
                 (this.position == ((ProductionRulePosition) obj).position);
+        }
+
+        /* (non-Javadoc)
+         * @see java.lang.Object#hashCode()
+         */
+        @Override
+        public int hashCode() {
+            return this.rule.hashCode() + this.position;
         }
 
@@ -1616 +1632 @@
                     (((Edge) obj).symbol.equals(this.symbol));
             }
+        }
+
+        /* (non-Javadoc)
+         * @see java.lang.Object#hashCode()
+         */
+        @Override
+        public int hashCode() {
+            return this.symbol.hashCode();
         }
     }