From f21a01e1d3ee2ce6ee43fd535e439fccd59eb17e Mon Sep 17 00:00:00 2001
From: Leen Dereu <leen.dereu@student.kuleuven.be>
Date: Wed, 23 May 2018 22:27:13 +0200
Subject: [PATCH] Documentatie GameObject

---
 OGP1718-Worms/src/worms/model/GameObject.java | 20 ++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

diff --git a/OGP1718-Worms/src/worms/model/GameObject.java b/OGP1718-Worms/src/worms/model/GameObject.java
index 1a3c4b4..53f823d 100644
--- a/OGP1718-Worms/src/worms/model/GameObject.java
+++ b/OGP1718-Worms/src/worms/model/GameObject.java
@@ -14,14 +14,13 @@ public abstract class GameObject {
      * @param world
      * @param location
      * @param radius
+     *
      * @post ...
-     * |setWorld(world)
+     *       |setWorld(world)
      * @post ...
-     * |world.add(this)
+     *       |setLocation(location)
      * @post ...
-     * |setLocation(location)
-     * @post ...
-     * |setRadius(radius)
+     *       |setRadius(radius)
      */
     protected GameObject(World world, double[] location, double radius) {
         this(world, Coordinate.create(location), radius);
@@ -32,14 +31,17 @@ public abstract class GameObject {
      * @param world
      * @param location
      * @param radius
+     *
      * @post ...
-     * |setWorld(world)
+     *       |setWorld(world)
      * @post ...
-     * |world.add(this)
+     *       |world.add(this)
      * @post ...
-     * |setLocation(location)
+     *       |setLocation(location)
      * @post ...
-     * |setRadius(radius)
+     *       |setRadius(radius)
+     *
+     * @throws todo?
      */
     protected GameObject(World world, Coordinate location, double radius) {
         if (!isValidLocation(location)) throw new IllegalArgumentException("Illegal location");