diff --git a/OGP1718-Worms/src/Worm.java b/OGP1718-Worms/src/Worm.java index ef61c2a..dbe5654 100644 --- a/OGP1718-Worms/src/Worm.java +++ b/OGP1718-Worms/src/Worm.java @@ -404,16 +404,16 @@ public class Worm { //=================================================================================== /** + * turns the worm with the given angle + * * @param angle * the angle that must be added to the orientation - * * @pre the angle to add must be between 0 and 2pi (including 0) * |0 <= angle < 2pi - * * @post the new orientation is the old orientation plus the given angle - * |new.orientation = orientation + angle + * |new.getOrientation() = this.getOrientation() + angle * @post the resulting angle (= the new orientation) must be between 0 and 2pi (including 0) - * |0 <= new.orientation < 2pi + * |0 <= new.getOrientation() < 2pi */ public void turn(double angle) { assert 0 <= angle && angle < (2 * Math.PI);