Changeset 1902 for trunk/autoquest-plugin-jfc/src/main/java

Timestamp:

03/09/15 15:29:22 (10 years ago)

Author:

dmay

Message:

condense gui model before generating jacareto indices

Location:

trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/commands

Files:

• CMDparseJFCDirwithJacaretoIndices.java (modified) (1 diff)
• CMDparseJFCwithJacaretoIndices.java (modified) (1 diff)

trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/commands/CMDparseJFCDirwithJacaretoIndices.java

@@ -98 +98 @@
 
         GUIModel targets = parser.getGuiModel();
+        targets.condenseModel();
 
         generateJacaretoIndices(targets.getRootElements(), targets);

trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/commands/CMDparseJFCwithJacaretoIndices.java

@@ -76 +76 @@
         Collection<List<Event>> sequences = parser.getSequences();
         GUIModel targets = parser.getGuiModel();
+        targets.condenseModel();
 
         generateJacaretoIndices(targets.getRootElements(), targets);