reformat benchmark source codes to meet the requirements of the annotation generation.

[IRC.git] / Robust / src / ClassLibrary / SSJavaInfer / Enumeration.java

diff --git a/Robust/src/ClassLibrary/SSJavaInfer/Enumeration.java b/Robust/src/ClassLibrary/SSJavaInfer/Enumeration.java
new file mode 100644 (file)
index 0000000..e8da9fe
--- /dev/null
+++ b/Robust/src/ClassLibrary/SSJavaInfer/Enumeration.java
@@ -0,0 +1,13 @@
+public class Enumeration {
+
+  public Enumeration() {
+  }
+
+  public boolean hasMoreElements() {
+    return false;
+  }
+
+  public Object nextElement() {
+    return null;
+  }
+}