fix some fs4j erros

LarsDepuydt · May 21, 2022 · 8573dec · 8573dec
1 parent 3be3370
commit 8573dec
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 5 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,5 @@
 /out
 /.idea
 .classpath
-.project
+.project
+*.zip
diff --git a/src/breakout/radioactivity/Alpha.java b/src/breakout/radioactivity/Alpha.java
@@ -12,7 +12,7 @@
  * 
  * @invar | getLocation() != null
  * @invar | getVelocity() != null
- * @invar | getLinkedBalls != null
+ * @invar | getLinkedBalls() != null
  * @invar | Arrays.stream(getLinkedBalls()).allMatch(Objects::nonNull)
  */
 public class Alpha {

diff --git a/src/breakout/radioactivity/Ball.java b/src/breakout/radioactivity/Ball.java
@@ -66,9 +66,6 @@ public int getEcharge() {
 
 	/**
 	 * Calculate the charge of the ball that is dependant of linkedAlphas().
-	 * 
-	 * @post | eCharge != 0 (of mss is invar al genoeg?)
-	 * @post | ...
 	 */
 	private void calculateCharge() {
 		var linkedSize = this.getLinkedAlphas().size();