Robust/src/ClassLibrary/MGC/Scanner.java

   1 public class Scanner implements Iterator {\r
   2   private String sourcename;\r
   3 \r
   4   public Scanner (final String source)  {\r
   5     this.sourcename = source;\r
   6   }\r
   7 \r
   8   public void close () {\r
   9   }\r
  10 \r
  11   public native double nextDouble ();\r
  12 \r
  13   public native int nextInt ();\r
  14 }