OGP/worms
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

invarianten toevoegen

Browse Source
This commit is contained in:
Leen Dereu
2018-03-10 15:49:30 +01:00
parent 5e032793cb
commit c324656fc2
1 changed files with 11 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
OGP1718-Worms/src/worms/model/Worm.java
View File

@@ -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