Changeset 832 for trunk

Timestamp:

09/20/12 09:42:35 (12 years ago)

Author:

sherbold

Message:

• corrected signature of JFCGUIElementSpec and MFCGUIElementSpec

Location:

trunk

Files:

• quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElementSpec.java (modified) (1 diff)
• quest-plugin-mfc/src/main/java/de/ugoe/cs/quest/plugin/mfc/guimodel/MFCGUIElementSpec.java (modified) (1 diff)

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

@@ -149 +149 @@
      */
     @Override
-    public boolean equals(IGUIElementSpec other) {
+    public boolean equals(Object other) {
         if (this == other)
         {

trunk/quest-plugin-mfc/src/main/java/de/ugoe/cs/quest/plugin/mfc/guimodel/MFCGUIElementSpec.java

@@ -310 +310 @@
      */
     @Override
-    public boolean equals(IGUIElementSpec other) {
+    public boolean equals(Object other) {
         
         if (this == other) {