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

Timestamp:

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

Author:

dmay

Message:

condense gui model before generating jacareto indices

File:

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

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);