save

diff --git a/jcfa/testJavaClass/output/test/TestJavaClass011.jcfa b/jcfa/testJavaClass/output/test/TestJavaClass011.jcfa
new file mode 100644 (file)
index 0000000..f069fa5
--- /dev/null
+++ b/jcfa/testJavaClass/output/test/TestJavaClass011.jcfa
@@ -0,0 +1,32 @@
+package test;
+
+/** TODO import func. is missing. */
+public class TestJavaClass011 {
+       /** Default constructor. */
+       public TestJavaClass011() {
+               /* 0: aload_0 */
+
+               /*
+                * 1: invokespecial java/lang/Object#<init>()V
+                */
+
+               /* 4: return */
+       }
+
+       /** Method. */
+       public void loopSample() {
+               /*
+                * 0: getstatic java.lang.System#out type:Ljava/io/PrintStream;
+                */
+
+               /*
+                * 3: ldc First if.
+                */
+
+               /*
+                * 5: invokevirtual java/io/PrintStream#println(Ljava/lang/String;)V
+                */
+
+               /* 8: return */
+       }
+}
\ No newline at end of file

diff --git a/jcfa/testJavaClass/output/test/TestJavaClass021.jcfa b/jcfa/testJavaClass/output/test/TestJavaClass021.jcfa
new file mode 100644 (file)
index 0000000..a94260f
--- /dev/null
+++ b/jcfa/testJavaClass/output/test/TestJavaClass021.jcfa
@@ -0,0 +1,44 @@
+package test;
+
+/** TODO import func. is missing. */
+public class TestJavaClass021 {
+       /** Default constructor. */
+       public TestJavaClass021() {
+               /* 0: aload_0 */
+
+               /*
+                * 1: invokespecial java/lang/Object#<init>()V
+                */
+
+               /* 4: return */
+       }
+
+       /** Method. */
+       public void loopSample() {
+               /* 0: iconst_0 */
+
+               /* 1: istore_1 */
+
+               /* 2: goto */
+
+               /*
+                * 5: getstatic java.lang.System#out type:Ljava/io/PrintStream;
+                */
+
+               /* 8: iload_1 */
+
+               /*
+                * 9: invokevirtual java/io/PrintStream#println(I)V
+                */
+
+               /* 12: iinc */
+
+               /* 15: iload_1 */
+
+               /* 16: bipush */
+
+               /* 18: if_icmplt */
+
+               /* 21: return */
+       }
+}
\ No newline at end of file

diff --git a/jcfa/testJavaClass/src/test/TestJavaClass011.java b/jcfa/testJavaClass/src/test/TestJavaClass011.java
new file mode 100644 (file)
index 0000000..cd56fc0
--- /dev/null
+++ b/jcfa/testJavaClass/src/test/TestJavaClass011.java
@@ -0,0 +1,9 @@
+package test;
+
+public class TestJavaClass011 {
+       public void loopSample() {
+               if (true) {
+                       System.out.println("First if.");
+               }
+       }
+}

diff --git a/jcfa/testJavaClass/src/test/TestJavaClass021.java b/jcfa/testJavaClass/src/test/TestJavaClass021.java
new file mode 100644 (file)
index 0000000..e83cb87
--- /dev/null
+++ b/jcfa/testJavaClass/src/test/TestJavaClass021.java
@@ -0,0 +1,9 @@
+package test;
+
+public class TestJavaClass021 {
+       public void loopSample() {
+               for (int i = 0; i < 10; i++) {
+                       System.out.println(i);
+               }
+       }
+}