lauantain fiksailut

Harjoitus 1/src/Kps.java

@@ -55,6 +55,9 @@ public class Kps {
 	
 	/**
 	 * Tarkistaa voittiko pelaaja x vastapelaajan y. Palauttaa true jos voitti ja false jos tasapeli tai häviö.
+	 * 
+	 * @.pre true
+	 * @.post RESULT = IF pelaaja voitti THEN true ELSE false
 	 */
 	public boolean voittikoPelaaja(Pelimerkit x, Pelimerkit y) {
 		

Harjoitus 1/src/tehtava11a.java

-
+// Tekijät: Eemeli Eronen ja Elias Ervelä
 public class tehtava11a {
 
 	/**
@@ -17,7 +17,7 @@ public class tehtava11a {
 	 * Ottaa syötteeksi kaksi merkkijonoa ja palauttaa pidemmän niistä.
 	 * 
 	 * @.pre a =! null && b =! null &&
-	 * 		 a.lenght() > 0 && b.lenght() > 0
+	 * 		 a.length() > 0 && b.length() > 0
 	 * @.post RESULT = a || RESULT = b
 	 * 
 	 */

Harjoitus 1/src/tehtava11b.java

-
+// Tekijät: Eemeli Eronen ja Elias Ervelä
 public class tehtava11b {
 
 	/**
@@ -7,9 +7,9 @@ public class tehtava11b {
 	 * @.pre a =! null &&
 	 * 		 a.length > 0
 	 * 		 FORALL( 0 <= i < a.length()
-	 * 		 char.at(i) =! 'Å' 
-	 * 		 char.at(i) =! 'Ä'
-	 * 		 char.at(i) =! 'Ä' )
+	 * 		 char.at(i) != 'Å' 
+	 * 		 char.at(i) != 'Ä'
+	 * 		 char.at(i) != 'Ä' )
 	 * @.post if (FORALL( 0 <= i < a.length()); char.at(i)<91 && char.at(i)>64) 
 	 *          RESULT == true;)
 	 *        if (EXISTS( 0 <= i < a.length()); char.at(i)<65 || char.at(i)>90)   

Harjoitus 1/src/tehtava11c.java

-
+// Tekijät: Eemeli Eronen ja Elias Ervelä
 public class tehtava11c {
 
 	

Harjoitus 1/src/tehtava12ab.java

@@ -7,8 +7,8 @@ public class tehtava12ab {
 	 * Ottaa syötteenä kokonaislukulistan ja palauttaa true jos lista on lajiteltu
 	 * nousevaan järjestykseen. Muutoin palauttaa false.
 	 * 
-	 * @.pre list != null
-	 * @.post RESULT == lajiteltu
+	 * @.pre list != [] && list != null
+	 * @.post RESULT = true || false
 	 */
 	public static boolean onkoLajiteltu(int[] list) {
 		boolean lajiteltu = true;
@@ -23,8 +23,10 @@ public class tehtava12ab {
 	 * Ottaa syötteenä kokonaislukulistan ja palauttaa arvon 1 jos lista on aidosti kasvava,
 	 * -1 jos aidosti vähenevä tai 0 muulloin.
 	 * 
-	 * @.pre list != null
-	 * @.post true
+	 * @.pre list != null && list != []
+	 * @.post RESULT = IF aidostikasvava == true THEN 1
+	 * 		  ELSE IF aidostivaheneva == true THEN -1
+	 * 		  ELSE 0
 	 */
 	public static int monotonisuusTesti(int[] list) {
 		boolean aidostikasvava = true;