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

comments

Browse Source
This commit is contained in:
Arthur Bols
2018-03-11 21:06:34 +01:00
parent fe410b0643
commit e99123fb7c
1 changed files with 12 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -7,23 +7,28 @@ import worms.util.IllegalNameException;
import static java.lang.Math.*;
/**
* a class with the specifications of the worm
* A class with the specifications of the worm
*
* @invar the location of the worm must be a valid location
* @invar The location of the worm must be a valid location.
* |isValidLocation(getLocation())
* @invar the orientation of the worm must be a valid location
* @invar The orientation of the worm must be a valid location.
* |isValidOrientation(getOrientation())
* @invar the radius of the worm mus be a valid radius
* @invar The radius of the worm mus be a valid radius.
* |isValidMinRadius(getRadius())
* @invar the mass of the worm must be a valid mass
* @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
* @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
* @invar The name of the worm must be a valid name.
* |isValidName(getName())
*
* @version 1.0
* @author Arthur Bols and Leen Dereu
*
* Arthur Bols 1e bachelor Informatica
* Leen Dereu 1e bachelor Informatica
*
* URL: TODO
*/
public class Worm {