save

diff --git a/jcfa/src/jp/igapyon/jcfa/JcfaParser.java b/jcfa/src/jp/igapyon/jcfa/JcfaParser.java
index 48ec20e..227278a 100644 (file)
--- a/jcfa/src/jp/igapyon/jcfa/JcfaParser.java
+++ b/jcfa/src/jp/igapyon/jcfa/JcfaParser.java
@@ -202,7 +202,8 @@ public class JcfaParser {
                                                .add("  TODO skipping bytes: " + (diff2));
 
                                operands += (lookupOp - pc);
-                               break;
+                               return Constants.UNPREDICTABLE;
+                               // break;
                        }
                        case Constants.WIDE: {
                                jcfaCode.getComment().getCommentList()

diff --git a/jcfa/src/jp/igapyon/jcfa/util/JcfaWriteUtil.java b/jcfa/src/jp/igapyon/jcfa/util/JcfaWriteUtil.java
index 6c9251b..f8798b8 100644 (file)
--- a/jcfa/src/jp/igapyon/jcfa/util/JcfaWriteUtil.java
+++ b/jcfa/src/jp/igapyon/jcfa/util/JcfaWriteUtil.java
@@ -160,9 +160,14 @@ public class JcfaWriteUtil {
                        }
                                break;
                        case Constants.LOOKUPSWITCH:
+                               if (true) {
+                                       jcfaCode.getComment().getCommentList()
+                                                       .add("  TODO temporary disabled.");
+                                       break;
+                               }
                                int skipBytes = JcfaUtil.byte2Int(codes[1], codes[2], codes[3],
                                                codes[4]);
-                               
+
                                jcfaCode.getComment().getCommentList()
                                                .add("  TODO skipping bytes: " + (skipBytes));
 

diff --git a/jcfa/testJavaClass/output/test/TestJavaClass031.jcfa b/jcfa/testJavaClass/output/test/TestJavaClass031.jcfa
index 0bf6f1e..128ebb0 100644 (file)
--- a/jcfa/testJavaClass/output/test/TestJavaClass031.jcfa
+++ b/jcfa/testJavaClass/output/test/TestJavaClass031.jcfa
@@ -16,7 +16,7 @@ public class TestJavaClass031 {
        }
 
        /** Method. */
-       public void switchSample() {
+       public void tableswitchSample() {
                /*
                 * 0: iconst_5 TODO unsupported opcode
                 */

diff --git a/jcfa/testJavaClass/output/test/TestJavaClass032.jcfa b/jcfa/testJavaClass/output/test/TestJavaClass032.jcfa
index 331d689..d79c862 100644 (file)
--- a/jcfa/testJavaClass/output/test/TestJavaClass032.jcfa
+++ b/jcfa/testJavaClass/output/test/TestJavaClass032.jcfa
@@ -16,7 +16,7 @@ public class TestJavaClass032 {
        }
 
        /** Method. */
-       public void switchSample() {
+       public void lookupswitchSample() {
                /*
                 * 0: iconst_5 TODO unsupported opcode
                 */
@@ -30,8 +30,8 @@ public class TestJavaClass032 {
                 */
 
                /*
-                * 3: tableswitch TODO no support opecode and operands TODO unsupported
-                * opcode
+                * 3: lookupswitch TODO skipping operands: why?: 75 TODO skipping bytes:
+                * 0 TODO temporary disabled.
                 */
        }
 }
\ No newline at end of file

diff --git a/jcfa/testJavaClass/src/test/TestJavaClass031.java b/jcfa/testJavaClass/src/test/TestJavaClass031.java
index 13075ba..881ac5b 100644 (file)
--- a/jcfa/testJavaClass/src/test/TestJavaClass031.java
+++ b/jcfa/testJavaClass/src/test/TestJavaClass031.java
@@ -6,7 +6,7 @@ package test;
  * @author Toshiki Iga
  */
 public class TestJavaClass031 {
-       public void switchSample() {
+       public void tableswitchSample() {
                int i = 5;
                switch (i) {
                case 1:

diff --git a/jcfa/testJavaClass/src/test/TestJavaClass032.java b/jcfa/testJavaClass/src/test/TestJavaClass032.java
index 9bfa98b..1eec707 100644 (file)
--- a/jcfa/testJavaClass/src/test/TestJavaClass032.java
+++ b/jcfa/testJavaClass/src/test/TestJavaClass032.java
@@ -6,7 +6,7 @@ package test;
  * @author Toshiki Iga
  */
 public class TestJavaClass032 {
-       public void switchSample() {
+       public void lookupswitchSample() {
                int i = 5;
                switch (i) {
                case 1: