Simplify Examples

Author: rcosta358

src/main/java/com/tutorial/part1/exercise/Bank.java

@@ -13,4 +13,11 @@ public static int deposit(@Refinement("true") int balance, @Refinement("true") i
     public static int withdraw(@Refinement("true") int balance, @Refinement("true") int amount) {
         return balance - amount;
     }
+
+    public static void main(String[] args) {;
+        int b = 0;
+        b = Bank.deposit(b, 10);
+        b = Bank.withdraw(b, 20); // should be an error
+        System.out.println(b);
+    }
 }

src/main/java/com/tutorial/part1/exercise/BankExample.java

@@ -20,4 +20,13 @@ public void resume() {}
 
     @StateRefinement(from="true", to="true")
     public void stop() {}
+
+    public static void main(String[] args) {
+        MediaPlayer player = new MediaPlayer();
+        player.play();
+        player.pause();
+        player.resume();
+        player.stop();
+        player.resume(); // should be an error
+    }
 }