save

diff --git a/jcfa/src/jp/igapyon/jcfa/JavaClassFileAnalyzer.java b/jcfa/src/jp/igapyon/jcfa/JavaClassFileAnalyzer.java
index ff42296..e6e7033 100644 (file)
--- a/jcfa/src/jp/igapyon/jcfa/JavaClassFileAnalyzer.java
+++ b/jcfa/src/jp/igapyon/jcfa/JavaClassFileAnalyzer.java
@@ -177,8 +177,10 @@ public class JavaClassFileAnalyzer {
                        jcfaMethod.getCodeList().add(jcfaCode);\r
 \r
                        jcfaCode.setOpcode(JcfaUtil.byte2UnsignedByte(codes[pc]));\r
-                       jcfaCode.getComment().getCommentList()\r
-                                       .add("opcode: " + jcfaCode.getOpcode());\r
+                       jcfaCode.getComment()\r
+                                       .getCommentList()\r
+                                       .add("" + pc + ": "\r
+                                                       + Constants.OPCODE_NAMES[jcfaCode.getOpcode()]);\r
 \r
                        short operands = Constants.NO_OF_OPERANDS[jcfaCode.getOpcode()];\r
                        if (operands < 0) {\r

diff --git a/jcfa/src/jp/igapyon/jcfa/vo/JcfaCode.java b/jcfa/src/jp/igapyon/jcfa/vo/JcfaCode.java
new file mode 100644 (file)
index 0000000..39d11fc
--- /dev/null
+++ b/jcfa/src/jp/igapyon/jcfa/vo/JcfaCode.java
@@ -0,0 +1,13 @@
+package jp.igapyon.jcfa.vo;
+
+public class JcfaCode extends JcfaNode {
+       protected short opcode;
+
+       public short getOpcode() {
+               return opcode;
+       }
+
+       public void setOpcode(short opcode) {
+               this.opcode = opcode;
+       }
+}

diff --git a/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaClass.jcfa b/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaClass.jcfa
index b4715e1..1e73113 100644 (file)
--- a/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaClass.jcfa
+++ b/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaClass.jcfa
@@ -17,175 +17,175 @@ public class JcfaClass extends jp.igapyon.jcfa.vo.JcfaNode {
 
        /** Default constructor. */
        public JcfaClass() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 183 */
+               /* 1: invokespecial */
 
-               /* opcode: 42 */
+               /* 4: aload_0 */
 
-               /* opcode: 18 */
+               /* 5: ldc */
 
-               /* opcode: 181 */
+               /* 7: putfield */
 
-               /* opcode: 42 */
+               /* 10: aload_0 */
 
-               /* opcode: 4 */
+               /* 11: iconst_1 */
 
-               /* opcode: 181 */
+               /* 12: putfield */
 
-               /* opcode: 42 */
+               /* 15: aload_0 */
 
-               /* opcode: 187 */
+               /* 16: new */
 
-               /* opcode: 89 */
+               /* 19: dup */
 
-               /* opcode: 183 */
+               /* 20: invokespecial */
 
-               /* opcode: 181 */
+               /* 23: putfield */
 
-               /* opcode: 42 */
+               /* 26: aload_0 */
 
-               /* opcode: 187 */
+               /* 27: new */
 
-               /* opcode: 89 */
+               /* 30: dup */
 
-               /* opcode: 183 */
+               /* 31: invokespecial */
 
-               /* opcode: 181 */
+               /* 34: putfield */
 
-               /* opcode: 177 */
+               /* 37: return */
        }
 
        /** Method. */
        public java.lang.String getAccess() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /** Method. */
        public java.lang.String getExtendsName() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /** Method. */
        public java.util.List getFieldList() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /** Method. */
        public java.lang.String getLocalName() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 18 */
+               /* 4: ldc */
 
-               /* opcode: 182 */
+               /* 6: invokevirtual */
 
-               /* opcode: 76 */
+               /* 9: astore_1 */
 
-               /* opcode: 43 */
+               /* 10: aload_1 */
 
-               /* opcode: 43 */
+               /* 11: aload_1 */
 
-               /* opcode: 190 */
+               /* 12: arraylength */
 
-               /* opcode: 4 */
+               /* 13: iconst_1 */
 
-               /* opcode: 100 */
+               /* 14: isub */
 
-               /* opcode: 50 */
+               /* 15: aaload */
 
-               /* opcode: 176 */
+               /* 16: areturn */
        }
 
        /** Method. */
        public java.util.List getMethodList() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /** Method. */
        public java.lang.String getName() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /** Method. */
        public boolean isMainClass() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 172 */
+               /* 4: ireturn */
        }
 
        /**
         * Method. java.lang.String
         */
        public void setAccess(java.lang.String arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 43 */
+               /* 1: aload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 
        /**
         * Method. java.lang.String
         */
        public void setExtendsName(java.lang.String arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 43 */
+               /* 1: aload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 
        /**
         * Method. boolean
         */
        public void setMainClass(boolean arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 27 */
+               /* 1: iload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 
        /**
         * Method. java.lang.String
         */
        public void setName(java.lang.String arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 43 */
+               /* 1: aload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 }
\ No newline at end of file

diff --git a/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaCode.jcfa b/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaCode.jcfa
new file mode 100644 (file)
index 0000000..ab75194
--- /dev/null
+++ b/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaCode.jcfa
@@ -0,0 +1,38 @@
+package jp.igapyon.jcfa.vo;
+
+/** TODO import func. is missing. */
+public class JcfaCode extends jp.igapyon.jcfa.vo.JcfaNode {
+       /**  */
+       protected short opcode;
+
+       /** Default constructor. */
+       public JcfaCode() {
+               /* 0: aload_0 */
+
+               /* 1: invokespecial */
+
+               /* 4: return */
+       }
+
+       /** Method. */
+       public short getOpcode() {
+               /* 0: aload_0 */
+
+               /* 1: getfield */
+
+               /* 4: ireturn */
+       }
+
+       /**
+        * Method. short
+        */
+       public void setOpcode(short arg0) {
+               /* 0: aload_0 */
+
+               /* 1: iload_1 */
+
+               /* 2: putfield */
+
+               /* 5: return */
+       }
+}
\ No newline at end of file

diff --git a/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaComment.jcfa b/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaComment.jcfa
index 11f1c68..0c484f0 100644 (file)
--- a/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaComment.jcfa
+++ b/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaComment.jcfa
@@ -9,70 +9,70 @@ public class JcfaComment {
 
        /** Default constructor. */
        public JcfaComment() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 183 */
+               /* 1: invokespecial */
 
-               /* opcode: 42 */
+               /* 4: aload_0 */
 
-               /* opcode: 3 */
+               /* 5: iconst_0 */
 
-               /* opcode: 181 */
+               /* 6: putfield */
 
-               /* opcode: 42 */
+               /* 9: aload_0 */
 
-               /* opcode: 187 */
+               /* 10: new */
 
-               /* opcode: 89 */
+               /* 13: dup */
 
-               /* opcode: 183 */
+               /* 14: invokespecial */
 
-               /* opcode: 181 */
+               /* 17: putfield */
 
-               /* opcode: 177 */
+               /* 20: return */
        }
 
        /** Method. */
        public java.util.List getCommentList() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /** Method. */
        public boolean isJavaDoc() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 172 */
+               /* 4: ireturn */
        }
 
        /**
         * Method. java.util.List
         */
        public void setCommentList(java.util.List arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 43 */
+               /* 1: aload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 
        /**
         * Method. boolean
         */
        public void setJavaDoc(boolean arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 27 */
+               /* 1: iload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 }
\ No newline at end of file

diff --git a/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaField.jcfa b/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaField.jcfa
index d704ed5..3f9d529 100644 (file)
--- a/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaField.jcfa
+++ b/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaField.jcfa
@@ -13,98 +13,98 @@ public class JcfaField extends jp.igapyon.jcfa.vo.JcfaNode {
 
        /** Default constructor. */
        public JcfaField() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 183 */
+               /* 1: invokespecial */
 
-               /* opcode: 177 */
+               /* 4: return */
        }
 
        /** Method. */
        public java.lang.String getAccess() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /** Method. */
        public java.lang.String getConstantValue() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /** Method. */
        public java.lang.String getName() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /** Method. */
        public java.lang.String getType() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /**
         * Method. java.lang.String
         */
        public void setAccess(java.lang.String arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 43 */
+               /* 1: aload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 
        /**
         * Method. java.lang.String
         */
        public void setConstantValue(java.lang.String arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 43 */
+               /* 1: aload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 
        /**
         * Method. java.lang.String
         */
        public void setName(java.lang.String arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 43 */
+               /* 1: aload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 
        /**
         * Method. java.lang.String
         */
        public void setType(java.lang.String arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 43 */
+               /* 1: aload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 }
\ No newline at end of file

diff --git a/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaMethod.jcfa b/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaMethod.jcfa
index a5074c1..174348e 100644 (file)
--- a/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaMethod.jcfa
+++ b/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaMethod.jcfa
@@ -15,114 +15,114 @@ public class JcfaMethod extends jp.igapyon.jcfa.vo.JcfaNode {
 
        /** Default constructor. */
        public JcfaMethod() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 183 */
+               /* 1: invokespecial */
 
-               /* opcode: 42 */
+               /* 4: aload_0 */
 
-               /* opcode: 187 */
+               /* 5: new */
 
-               /* opcode: 89 */
+               /* 8: dup */
 
-               /* opcode: 183 */
+               /* 9: invokespecial */
 
-               /* opcode: 181 */
+               /* 12: putfield */
 
-               /* opcode: 42 */
+               /* 15: aload_0 */
 
-               /* opcode: 187 */
+               /* 16: new */
 
-               /* opcode: 89 */
+               /* 19: dup */
 
-               /* opcode: 183 */
+               /* 20: invokespecial */
 
-               /* opcode: 181 */
+               /* 23: putfield */
 
-               /* opcode: 177 */
+               /* 26: return */
        }
 
        /** Method. */
        public java.lang.String getAccess() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /** Method. */
        public java.util.List getArugumentTypeList() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /** Method. */
        public java.util.List getCodeList() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /** Method. */
        public java.lang.String getName() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /** Method. */
        public java.lang.String getType() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /**
         * Method. java.lang.String
         */
        public void setAccess(java.lang.String arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 43 */
+               /* 1: aload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 
        /**
         * Method. java.lang.String
         */
        public void setName(java.lang.String arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 43 */
+               /* 1: aload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 
        /**
         * Method. java.lang.String
         */
        public void setType(java.lang.String arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 43 */
+               /* 1: aload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 }
\ No newline at end of file

diff --git a/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaNode.jcfa b/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaNode.jcfa
index 1df4b1a..d91b964 100644 (file)
--- a/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaNode.jcfa
+++ b/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaNode.jcfa
@@ -7,42 +7,42 @@ public class JcfaNode {
 
        /** Default constructor. */
        public JcfaNode() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 183 */
+               /* 1: invokespecial */
 
-               /* opcode: 42 */
+               /* 4: aload_0 */
 
-               /* opcode: 187 */
+               /* 5: new */
 
-               /* opcode: 89 */
+               /* 8: dup */
 
-               /* opcode: 183 */
+               /* 9: invokespecial */
 
-               /* opcode: 181 */
+               /* 12: putfield */
 
-               /* opcode: 177 */
+               /* 15: return */
        }
 
        /** Method. */
        public jp.igapyon.jcfa.vo.JcfaComment getComment() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /**
         * Method. jp.igapyon.jcfa.vo.JcfaComment
         */
        public void setComment(jp.igapyon.jcfa.vo.JcfaComment arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 43 */
+               /* 1: aload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 }
\ No newline at end of file

diff --git a/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaUnit.jcfa b/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaUnit.jcfa
index 6d096da..d2d3126 100644 (file)
--- a/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaUnit.jcfa
+++ b/jcfa/testJavaClass/output/jp/igapyon/jcfa/vo/JcfaUnit.jcfa
@@ -11,73 +11,73 @@ public class JcfaUnit extends jp.igapyon.jcfa.vo.JcfaNode {
 
        /** Default constructor. */
        public JcfaUnit() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 183 */
+               /* 1: invokespecial */
 
-               /* opcode: 42 */
+               /* 4: aload_0 */
 
-               /* opcode: 187 */
+               /* 5: new */
 
-               /* opcode: 89 */
+               /* 8: dup */
 
-               /* opcode: 183 */
+               /* 9: invokespecial */
 
-               /* opcode: 181 */
+               /* 12: putfield */
 
-               /* opcode: 177 */
+               /* 15: return */
        }
 
        /** Method. */
        public java.util.List getClassList() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /** Method. */
        public java.lang.String getName() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /** Method. */
        public java.io.File getTargetFile() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 180 */
+               /* 1: getfield */
 
-               /* opcode: 176 */
+               /* 4: areturn */
        }
 
        /**
         * Method. java.lang.String
         */
        public void setName(java.lang.String arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 43 */
+               /* 1: aload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 
        /**
         * Method. java.io.File
         */
        public void setTargetFile(java.io.File arg0) {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 43 */
+               /* 1: aload_1 */
 
-               /* opcode: 181 */
+               /* 2: putfield */
 
-               /* opcode: 177 */
+               /* 5: return */
        }
 }
\ No newline at end of file

diff --git a/jcfa/testJavaClass/output/test/TestJavaClass001.jcfa b/jcfa/testJavaClass/output/test/TestJavaClass001.jcfa
index c632bd4..abb94e4 100644 (file)
--- a/jcfa/testJavaClass/output/test/TestJavaClass001.jcfa
+++ b/jcfa/testJavaClass/output/test/TestJavaClass001.jcfa
@@ -4,23 +4,23 @@ package test;
 public class TestJavaClass001 {
        /** Default constructor. */
        public TestJavaClass001() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 183 */
+               /* 1: invokespecial */
 
-               /* opcode: 177 */
+               /* 4: return */
        }
 
        /**
         * Method. java.lang.String[]
         */
        public void main(java.lang.String[] arg0) {
-               /* opcode: 178 */
+               /* 0: getstatic */
 
-               /* opcode: 18 */
+               /* 3: ldc */
 
-               /* opcode: 182 */
+               /* 5: invokevirtual */
 
-               /* opcode: 177 */
+               /* 8: return */
        }
 }
\ No newline at end of file

diff --git a/jcfa/testJavaClass/output/test/TestJavaClass002.jcfa b/jcfa/testJavaClass/output/test/TestJavaClass002.jcfa
index e1245c9..23f05ca 100644 (file)
--- a/jcfa/testJavaClass/output/test/TestJavaClass002.jcfa
+++ b/jcfa/testJavaClass/output/test/TestJavaClass002.jcfa
@@ -14,16 +14,16 @@ public class TestJavaClass002 {
 
        /** Default constructor. */
        public TestJavaClass002() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 183 */
+               /* 1: invokespecial */
 
-               /* opcode: 42 */
+               /* 4: aload_0 */
 
-               /* opcode: 6 */
+               /* 5: iconst_3 */
 
-               /* opcode: 181 */
+               /* 6: putfield */
 
-               /* opcode: 177 */
+               /* 9: return */
        }
 }
\ No newline at end of file

diff --git a/jcfa/testJavaClass/output/test/TestJavaClass003.jcfa b/jcfa/testJavaClass/output/test/TestJavaClass003.jcfa
index f672cb4..f697743 100644 (file)
--- a/jcfa/testJavaClass/output/test/TestJavaClass003.jcfa
+++ b/jcfa/testJavaClass/output/test/TestJavaClass003.jcfa
@@ -19,52 +19,52 @@ public class TestJavaClass003 {
 
        /** Default constructor. */
        public TestJavaClass003() {
-               /* opcode: 42 */
+               /* 0: aload_0 */
 
-               /* opcode: 183 */
+               /* 1: invokespecial */
 
-               /* opcode: 42 */
+               /* 4: aload_0 */
 
-               /* opcode: 4 */
+               /* 5: iconst_1 */
 
-               /* opcode: 181 */
+               /* 6: putfield */
 
-               /* opcode: 42 */
+               /* 9: aload_0 */
 
-               /* opcode: 5 */
+               /* 10: iconst_2 */
 
-               /* opcode: 181 */
+               /* 11: putfield */
 
-               /* opcode: 42 */
+               /* 14: aload_0 */
 
-               /* opcode: 6 */
+               /* 15: iconst_3 */
 
-               /* opcode: 181 */
+               /* 16: putfield */
 
-               /* opcode: 42 */
+               /* 19: aload_0 */
 
-               /* opcode: 7 */
+               /* 20: iconst_4 */
 
-               /* opcode: 181 */
+               /* 21: putfield */
 
-               /* opcode: 42 */
+               /* 24: aload_0 */
 
-               /* opcode: 8 */
+               /* 25: iconst_5 */
 
-               /* opcode: 181 */
+               /* 26: putfield */
 
-               /* opcode: 42 */
+               /* 29: aload_0 */
 
-               /* opcode: 16 */
+               /* 30: bipush */
 
-               /* opcode: 181 */
+               /* 32: putfield */
 
-               /* opcode: 42 */
+               /* 35: aload_0 */
 
-               /* opcode: 16 */
+               /* 36: bipush */
 
-               /* opcode: 181 */
+               /* 38: putfield */
 
-               /* opcode: 177 */
+               /* 41: return */
        }
 }
\ No newline at end of file