case Constants.DCONST_1:
case Constants.BIPUSH:
case Constants.SIPUSH:
+ jcfaCode.getComment().getCommentList()
+ .add("TODO unsupported opcode");
+ break;
case Constants.LDC: {
final JcfaItemReference osString = new JcfaItemReference();
jcfaMethod.getFrame().getOperandStack().push(osString);
case Constants.LLOAD:
case Constants.FLOAD:
case Constants.DLOAD:
+ jcfaCode.getComment().getCommentList()
+ .add("TODO unsupported opcode");
+ break;
case Constants.ALOAD: {
final JcfaItemLocalVariable osLocalVariable = new JcfaItemLocalVariable();
jcfaMethod.getFrame().getOperandStack().push(osLocalVariable);
case Constants.JSR:
case Constants.RET:
case Constants.TABLESWITCH:
+ jcfaCode.getComment().getCommentList()
+ .add("TODO unsupported opcode");
+ break;
case Constants.LOOKUPSWITCH: {
if (true) {
jcfaCode.getComment().getCommentList()
case Constants.FRETURN:
case Constants.DRETURN:
case Constants.ARETURN:
+ jcfaCode.getComment().getCommentList()
+ .add("TODO unsupported opcode");
+ break;
case Constants.RETURN: {
break;
}
case Constants.PUTSTATIC:
case Constants.GETFIELD:
case Constants.PUTFIELD:
+ jcfaCode.getComment().getCommentList()
+ .add("TODO unsupported opcode");
+ break;
case Constants.INVOKEVIRTUAL:
case Constants.INVOKESPECIAL: {
final int operand = JcfaUtil.byte2UnsignedShort(codes[1],
case Constants.IFNONNULL:
case Constants.GOTO_W:
case Constants.JSR_W:
+ jcfaCode.getComment().getCommentList()
+ .add("TODO unsupported opcode");
+ break;
default:
jcfaCode.getComment().getCommentList()
.add("TODO unsupported opcode");