From 5cb39b9c069c459368dee0769522144de277adb2 Mon Sep 17 00:00:00 2001
From: Leen Dereu <leen.dereu@student.kuleuven.be>
Date: Wed, 7 Mar 2018 18:23:28 +0100
Subject: [PATCH] commentaar setLocation

---
 OGP1718-Worms/src/Worm.java | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/OGP1718-Worms/src/Worm.java b/OGP1718-Worms/src/Worm.java
index 63a7eca..6a8330d 100644
--- 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 {