Changeset 1722 for trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElement.java

Timestamp:

09/04/14 16:38:21 (10 years ago)

Author:

dmay

Message:

Implement new command, that generates Jacareto indices. Also, get rid of all previous index hacks.

File:

• trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElement.java (modified) (1 diff)

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

@@ -157 +157 @@
         // get the Java classname, ignore the package hierarchy if present
         String[] parts = getSpecification().getType().split("\\.");
-        String name = parts[parts.length - 1];
 
         // find the correct Jacareto index
         // jacareto indices start at 1
-        int jacIndex = getIndex() + 1;
-
-        // FIXME: some class specific hacks
-        if (name.equals("JFrame")) {
-            jacIndex++;
-        }
-        else if (name.equals("JLayeredPane")) {
-            jacIndex--;
-        }
-        else if (name.equals("JTextField")) {
-            jacIndex = 1;
-        }
-
+        int jacIndex = ((JFCGUIElementSpec) getSpecification()).getAltIndex() + 1;
         str = parts[parts.length - 1] + "_(" + jacIndex + ")";