commentaar setLocation

2018-03-07 18:23:28 +01:00
parent d7426ca4f8
commit 5cb39b9c06
1 changed files with 6 additions and 2 deletions
--- a/OGP1718-Worms/src/Worm.java
+++ b/OGP1718-Worms/src/Worm.java
@@ -115,11 +115,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 {