Changeset 1674 for trunk/autoquest-plugin-jfc/src/main/java/de/ugoe

Timestamp:

08/13/14 16:49:46 (10 years ago)

Author:

dmay

Message:

include a function to generate jacareto source strings

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 @@
      * @see java.lang.Object#toString()
      */
+    public String getJacaretoHierarchy() {
+        String str = getElementDescriptor() + "_(" + getIndex() + ")";
+        if (getParent() != null) {
+            return ((JFCGUIElement) getParent()).getJacaretoHierarchy() + "." + str;
+        }
+        return str;
+    }
+    
+    /*
+     * (non-Javadoc)
+     * 
+     * @see java.lang.Object#toString()
+     */
     @Override
     public String toString() {