Robust/src/Benchmarks/SSJava/JavaNator/TestSensorInput.java

   1 public class TestSensorInput {
   2
   3   private static FileInputStream inputFile;
   4
   5   @TRUST
   6   public static void init() {
   7     inputFile = new FileInputStream("input.dat");
   8   }
   9
  10   @TRUST
  11   public static byte getCommand() {
  12     String in = inputFile.readLine();
  13     if (in == null) {
  14       return (byte) -1;
  15     }
  16     return (byte) Integer.parseInt(in);
  17   }
  18
  19 }