Changeset 1764 for trunk


Ignore:
Timestamp:
09/26/14 10:42:53 (10 years ago)
Author:
pharms
Message:
  • improved model checking
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/treeimpl/Selection.java

    r1404 r1764  
    4646 
    4747    /* (non-Javadoc) 
    48      * @see de.ugoe.cs.autoquest.tasktrees.treeimpl.StructuringTemporalRelationship#clone() 
     48     * @see StructuringTemporalRelationship#clone() 
    4949     */ 
    5050    @Override 
     
    5454 
    5555    /* (non-Javadoc) 
    56      * @see de.ugoe.cs.autoquest.tasktrees.treeimpl.StructuringTemporalRelationship#addChild(ITask) 
     56     * @see StructuringTemporalRelationship#addChild(ITask) 
    5757     */ 
    5858    @Override 
    5959    void addChild(ITask newChild) { 
     60        if (newChild instanceof ISelection) { 
     61            throw new IllegalArgumentException("the child of a selection must not be a selection"); 
     62        } 
     63         
    6064        super.addChild(newChild); 
    6165    } 
    6266 
    6367    /* (non-Javadoc) 
    64      * @see de.ugoe.cs.autoquest.tasktrees.treeimpl.StructuringTemporalRelationship#addChild(int,ITask) 
     68     * @see StructuringTemporalRelationship#addChild(int,ITask) 
    6569     */ 
    6670    @Override 
    6771    void addChild(int index, ITask newChild) { 
     72        if (newChild instanceof ISelection) { 
     73            throw new IllegalArgumentException("the child of a selection must not be a selection"); 
     74        } 
     75 
    6876        super.addChild(index, newChild); 
    6977    } 
Note: See TracChangeset for help on using the changeset viewer.