Robust/src/ClassLibrary/SSJavaInfer/Enumeration.java

   1 public class Enumeration {
   2
   3   public Enumeration() {
   4   }
   5
   6   public boolean hasMoreElements() {
   7     return false;
   8   }
   9
  10   public Object nextElement() {
  11     return null;
  12   }
  13 }