Changeset 577
- Timestamp:
- 08/17/12 16:16:02 (12 years ago)
- Location:
- trunk/quest-core-tasktrees-test/src/test/java/de/ugoe/cs/quest/tasktrees/testutils
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/quest-core-tasktrees-test/src/test/java/de/ugoe/cs/quest/tasktrees/testutils/DummyGUIElement.java
r557 r577 28 28 */ 29 29 public DummyGUIElement(String name) { 30 super( );30 super(null); 31 31 this.name = name; 32 32 } -
trunk/quest-core-tasktrees-test/src/test/java/de/ugoe/cs/quest/tasktrees/testutils/TaskTreeChecker.java
r557 r577 217 217 { 218 218 out.print(" "); 219 out.print(((IGUIElement) ((IEventTask) node).getEventTarget()).get OriginalTypeInfo());219 out.print(((IGUIElement) ((IEventTask) node).getEventTarget()).getSpecification()); 220 220 } 221 221 }
Note: See TracChangeset
for help on using the changeset viewer.