aanpassing commentaar turn

This commit is contained in:
Leen Dereu
2018-03-07 20:11:30 +01:00
parent e9e6d14f0c
commit 3f87802dd6

View File

@@ -408,12 +408,15 @@ public class Worm {
* *
* @param angle * @param angle
* the angle that must be added to the orientation * the angle that must be added to the orientation
* @pre the angle to add must be between 0 and 2pi (including 0) * @pre the angle to add must be between 0 and 2pi (including 0)
* |0 <= angle < 2pi * |0 <= angle < 2pi
* @post the new orientation is the old orientation plus the given angle * @post the new orientation is the old orientation plus the given angle
* |new.getOrientation() = this.getOrientation() + angle * |new.getOrientation() = this.getOrientation() + angle
* @post the resulting angle (= the new orientation) must be between 0 and 2pi (including 0) * @post the resulting angle (= the new orientation) must be between 0 and 2pi (including 0)
* |0 <= new.getOrientation() < 2pi * |0 <= new.getOrientation() < 2pi
* @post current points of action points schould be reduced, for this there is another
* method with as parameter the given angle
* |substractPoints(angle)
*/ */
public void turn(double angle) { public void turn(double angle) {
assert 0 <= angle && angle < (2 * Math.PI); assert 0 <= angle && angle < (2 * Math.PI);