Robust/src/ClassLibrary/MGC/Scanner.java

   1 public class Scanner implements Iterator {\r
   2   private String sourcename;\r
   3   private int currentpos;\r
   4 \r
   5   public Scanner (final String source)  {\r
   6     this.sourcename = source;\r
   7     this.currentpos = 0;\r
   8   }\r
   9 \r
  10   public void close () {\r
  11   }\r
  12 \r
  13   public double nextDouble () {\r
  14       return Double.parseDouble(new String(next()));\r
  15   }\r
  16 \r
  17   public int nextInt () {\r
  18       return Integer.parseInt(new String(next()));\r
  19   }\r
  20   \r
  21   private native char[] next();\r
  22 }\r