From c324656fc23dea60537c81858560b362d74ba7d4 Mon Sep 17 00:00:00 2001 From: Leen Dereu Date: Sat, 10 Mar 2018 15:49:30 +0100 Subject: [PATCH] invarianten toevoegen --- OGP1718-Worms/src/worms/model/Worm.java | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/OGP1718-Worms/src/worms/model/Worm.java b/OGP1718-Worms/src/worms/model/Worm.java index 0fe4b2d..9c40ea8 100644 --- a/OGP1718-Worms/src/worms/model/Worm.java +++ b/OGP1718-Worms/src/worms/model/Worm.java @@ -10,8 +10,17 @@ import static java.lang.Math.*; * a class with the specifications of the worm * * @invar the location of the worm must be a valid location - * |... - * @invar + * |isValidLocation(getLocation()) + * @invar the orientation of the worm must be a valid location + * |isValidOrientation(getOrientation()) + * @invar the radius of the worm mus be a valid radius + * |isValidMinRadis(getRadius()) + * @invar the mass of the worm must be a valid mass + * |isValidMass(getMass()) + * @invar the value of the action points of the worm must be a valid value for action points + * |isValidValueActionPoints(getActionPoints()) + * @invar the name of the worm must be a valid name + * |isValidName(getName()) * * @version 1.0 * @author Arthur Bols and Leen Dereu