Changeset 960 for trunk

Timestamp:

10/30/12 14:01:20 (12 years ago)

Author:

pharms

Message:

• made event final, so that it can't be derived of
• added support for adding further event parameters

File:

• trunk/autoquest-plugin-html-test/src/test/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogParserTest.java (modified) (3 diffs)

trunk/autoquest-plugin-html-test/src/test/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogParserTest.java

@@ -28 +28 @@
 import de.ugoe.cs.autoquest.eventcore.guimodel.GUIModel;
 import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElement;
-import de.ugoe.cs.autoquest.plugin.html.eventcore.HTMLEvent;
 import de.ugoe.cs.autoquest.plugin.html.guimodel.HTMLGUIElement;
 import de.ugoe.cs.util.console.TextConsole;
@@ -69 +68 @@
             for (Event event : session) {
                 System.err.print("    ");
-                assertTrue(event instanceof HTMLEvent);
+                assertTrue(event instanceof Event);
                 System.err.print(event);
                 System.err.println(",");
@@ -80 +79 @@
         GUIModel guiModel = parser.getGuiModel();
         assertNotNull(guiModel);
+        guiModel.condenseModel();
 
         for (IGUIElement root : guiModel.getRootElements()) {