changes.

[IRC.git] / Robust / src / Benchmarks / SSJava / JavaNator / TestSensorInput.java

diff --git a/Robust/src/Benchmarks/SSJava/JavaNator/TestSensorInput.java b/Robust/src/Benchmarks/SSJava/JavaNator/TestSensorInput.java
index 2f9319c300a2efe971c9fe54dad39d0d0cd24b88..a6b3d378f2c8a390e5b64fd9adb8f1768235e035 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/JavaNator/TestSensorInput.java
+++ b/Robust/src/Benchmarks/SSJava/JavaNator/TestSensorInput.java
@@ -1,17 +1,26 @@
 public class TestSensorInput {
 
   private static FileInputStream inputFile;
+  private static int idx=0;
 
+  @TRUST
   public static void init() {
     inputFile = new FileInputStream("input.dat");
   }
 
+  @TRUST
   public static byte getCommand() {
     String in = inputFile.readLine();
     if (in == null) {
-      return (byte) -1;
+       return (byte) -1;
     }
+    // DEBUG_OUTPUT();
     return (byte) Integer.parseInt(in);
   }
+  
+  public static DEBUG_OUTPUT(){
+    idx++;
+    System.out.println(idx);
+  }
 
 }