Merge branch 'master' of gitlab.principis.be:OGP/worms

OGP1718-Worms/src/Worm.java

@@ -121,11 +121,15 @@ public class Worm {
     }
 
     /**
-     * sets the location of the worm to the given location
+     * set the location of the worm to the given location
      * 
      * @param location
-     * 		  
+     * 		  the new location for the worm
+     * @post the new location of the worm is equal to the given location
+     * 		 |new.getLocation() == location 
      * @throws IllegalArgumentException
+     * 		   the given location is not a valid location for a worm
+     * 		   |! isValidLocation(location)
      */
     private void setLocation(Tuple<Double, Double> location) throws IllegalArgumentException {
 
@@ -158,7 +162,8 @@ public class Worm {
     
     /**
      * Return the orientation of the worm
-     * 			
+     * 		the orientation of a worm expresses the direction in which
+     * 		the worm is looking		
      */
     @Basic
     public double getOrientation() {