diff --git a/OGP1718-Worms/src/Worm.java b/OGP1718-Worms/src/Worm.java index c471446..e5072e0 100644 --- a/OGP1718-Worms/src/Worm.java +++ b/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 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() {