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 location) throws IllegalArgumentException {