Changeset 1764 for trunk

Timestamp:

09/26/14 10:42:53 (10 years ago)

Author:

pharms

Message:

• improved model checking

File:

• trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/treeimpl/Selection.java (modified) (2 diffs)

trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/treeimpl/Selection.java

@@ -46 +46 @@
 
     /* (non-Javadoc)
-     * @see de.ugoe.cs.autoquest.tasktrees.treeimpl.StructuringTemporalRelationship#clone()
+     * @see StructuringTemporalRelationship#clone()
      */
     @Override
@@ -54 +54 @@
 
     /* (non-Javadoc)
-     * @see de.ugoe.cs.autoquest.tasktrees.treeimpl.StructuringTemporalRelationship#addChild(ITask)
+     * @see StructuringTemporalRelationship#addChild(ITask)
      */
     @Override
     void addChild(ITask newChild) {
+        if (newChild instanceof ISelection) {
+            throw new IllegalArgumentException("the child of a selection must not be a selection");
+        }
+        
         super.addChild(newChild);
     }
 
     /* (non-Javadoc)
-     * @see de.ugoe.cs.autoquest.tasktrees.treeimpl.StructuringTemporalRelationship#addChild(int,ITask)
+     * @see StructuringTemporalRelationship#addChild(int,ITask)
      */
     @Override
     void addChild(int index, ITask newChild) {
+        if (newChild instanceof ISelection) {
+            throw new IllegalArgumentException("the child of a selection must not be a selection");
+        }
+
         super.addChild(index, newChild);
     }