How to use visitJumpInsn method of org.evomaster.client.java.instrumentation.coverage.BranchCovMethodVisitor class

Best EvoMaster code snippet using org.evomaster.client.java.instrumentation.coverage.BranchCovMethodVisitor.visitJumpInsn

Source:BranchCovMethodVisitor.java

...29        latestVisitLine = line;30        jumpSinceLastLine = 0;31    }32    @Override33    public void visitJumpInsn(int opcode, Label label) {34        if (methodName.equals(Constants.CLASS_INIT_METHOD)) {35            super.visitJumpInsn(opcode, label);36            return;37        }38        int branchId = jumpSinceLastLine;39        jumpSinceLastLine++;40        /*41            Before we do the jump, we add instrumentation for42            branch coverage43         */44        UnitsInfoRecorder.markNewBranchPair();45        ObjectiveRecorder.registerTarget(46                ObjectiveNaming.branchObjectiveName(className, latestVisitLine, branchId, true));47        ObjectiveRecorder.registerTarget(48                ObjectiveNaming.branchObjectiveName(className, latestVisitLine, branchId, false));49        switch (opcode) {50            //comparisons with 051            case Opcodes.IFEQ:52            case Opcodes.IFNE:53            case Opcodes.IFLT:54            case Opcodes.IFGE:55            case Opcodes.IFGT:56            case Opcodes.IFLE:57                this.visitInsn(Opcodes.DUP);58                this.visitLdcInsn(opcode);59                this.visitLdcInsn(className);60                this.visitLdcInsn(latestVisitLine);61                this.visitLdcInsn(branchId);62                mv.visitMethodInsn(63                        Opcodes.INVOKESTATIC,64                        ClassName.get(ExecutionTracer.class).getBytecodeName(),65                        ExecutionTracer.EXECUTING_BRANCH_JUMP_METHOD_NAME,66                        ExecutionTracer.JUMP_DESC_1_VALUE,67                        ExecutionTracer.class.isInterface()); //false68                break;69            //comparisons of 2 values70            case Opcodes.IF_ICMPEQ:71            case Opcodes.IF_ICMPNE:72            case Opcodes.IF_ICMPLT:73            case Opcodes.IF_ICMPGE:74            case Opcodes.IF_ICMPGT:75            case Opcodes.IF_ICMPLE:76                this.visitInsn(Opcodes.DUP2);77                this.visitLdcInsn(opcode);78                this.visitLdcInsn(className);79                this.visitLdcInsn(latestVisitLine);80                this.visitLdcInsn(branchId);81                mv.visitMethodInsn(82                        Opcodes.INVOKESTATIC,83                        ClassName.get(ExecutionTracer.class).getBytecodeName(),84                        ExecutionTracer.EXECUTING_BRANCH_JUMP_METHOD_NAME,85                        ExecutionTracer.JUMP_DESC_2_VALUES,86                        ExecutionTracer.class.isInterface()); //false87                break;88            //object comparison89            case Opcodes.IF_ACMPEQ:90            case Opcodes.IF_ACMPNE:91                this.visitInsn(Opcodes.DUP2);92                this.visitLdcInsn(opcode);93                this.visitLdcInsn(className);94                this.visitLdcInsn(latestVisitLine);95                this.visitLdcInsn(branchId);96                mv.visitMethodInsn(97                        Opcodes.INVOKESTATIC,98                        ClassName.get(ExecutionTracer.class).getBytecodeName(),99                        ExecutionTracer.EXECUTING_BRANCH_JUMP_METHOD_NAME,100                        ExecutionTracer.JUMP_DESC_OBJECTS,101                        ExecutionTracer.class.isInterface()); //false102                break;103            //null comparison104            case Opcodes.IFNULL:105            case Opcodes.IFNONNULL:106                this.visitInsn(Opcodes.DUP);107                this.visitLdcInsn(opcode);108                this.visitLdcInsn(className);109                this.visitLdcInsn(latestVisitLine);110                this.visitLdcInsn(branchId);111                mv.visitMethodInsn(112                        Opcodes.INVOKESTATIC,113                        ClassName.get(ExecutionTracer.class).getBytecodeName(),114                        ExecutionTracer.EXECUTING_BRANCH_JUMP_METHOD_NAME,115                        ExecutionTracer.JUMP_DESC_NULL,116                        ExecutionTracer.class.isInterface()); //false117                break;118            default:119                /*120                    NOTE: not so interesting to handle switch statements (at121                    least for the moment...), as122                    quite complex and not so super common anyway...123                 */124        }125        super.visitJumpInsn(opcode, label);126    }127    @Override128    public void visitMaxs(int maxStack, int maxLocals) {129        /*130            as we pushed up to 6 elements on stack in a position on which131            the stack might not be empty (and so potentially full of maxStack132            elements), we need to add them to the maxStack value133         */134        int maxElementsAddedOnStackFrame = 6;135        super.visitMaxs(maxElementsAddedOnStackFrame +  maxStack, maxLocals);136    }137}...

visitJumpInsn

Using AI Code Generation

1    public void testJumpInsn() {2        BranchCovMethodVisitor visitor = new BranchCovMethodVisitor();3        visitor.visitJumpInsn(Opcodes.IFEQ, null);4        visitor.visitJumpInsn(Opcodes.IFNE, null);5        visitor.visitJumpInsn(Opcodes.IFLT, null);6        visitor.visitJumpInsn(Opcodes.IFGE, null);7        visitor.visitJumpInsn(Opcodes.IFGT, null);8        visitor.visitJumpInsn(Opcodes.IFLE, null);9        visitor.visitJumpInsn(Opcodes.IF_ICMPEQ, null);10        visitor.visitJumpInsn(Opcodes.IF_ICMPNE, null);11        visitor.visitJumpInsn(Opcodes.IF_ICMPLT, null);12        visitor.visitJumpInsn(Opcodes.IF_ICMPGE, null);13        visitor.visitJumpInsn(Opcodes.IF_ICMPGT, null);14        visitor.visitJumpInsn(Opcodes.IF_ICMPLE, null);15        visitor.visitJumpInsn(Opcodes.IF_ACMPEQ, null);16        visitor.visitJumpInsn(Opcodes.IF_ACMPNE, null);17        visitor.visitJumpInsn(Opcodes.GOTO, null);18        visitor.visitJumpInsn(Opcodes.JSR, null);19        visitor.visitJumpInsn(Opcodes.IFNULL, null);20        visitor.visitJumpInsn(Opcodes.IFNONNULL, null);21    }22    public void testVisitLdcInsn() {23        BranchCovMethodVisitor visitor = new BranchCovMethodVisitor();24        visitor.visitLdcInsn(null);25        visitor.visitLdcInsn(1);26        visitor.visitLdcInsn(1L);27        visitor.visitLdcInsn(1.0f);28        visitor.visitLdcInsn(1.0);29    }30    public void testVisitIincInsn() {31        BranchCovMethodVisitor visitor = new BranchCovMethodVisitor();32        visitor.visitIincInsn(1, 1);33        visitor.visitIincInsn(1, -1);34    }35    public void testVisitTableSwitchInsn() {36        BranchCovMethodVisitor visitor = new BranchCovMethodVisitor();37        visitor.visitTableSwitchInsn(1, 1, null, null);38    }39    public void testVisitLookupSwitchInsn() {40        BranchCovMethodVisitor visitor = new BranchCovMethodVisitor();

visitJumpInsn

Using AI Code Generation

1public class BranchCovExample {2    public void example(boolean a, boolean b, boolean c) {3        if (a) {4            if (b) {5                if (c) {6                    System.out.println("a && b && c");7                } else {8                    System.out.println("a && b && !c");9                }10            } else {11                if (c) {12                    System.out.println("a && !b && c");13                } else {14                    System.out.println("a && !b && !c");15                }16            }17        } else {18            if (b) {19                if (c) {20                    System.out.println("!a && b && c");21                } else {22                    System.out.println("!a && b && !c");23                }24            } else {25                if (c) {26                    System.out.println("!a && !b && c");27                } else {28                    System.out.println("!a && !b && !c");29                }30            }31        }32    }33}34public class BranchCovExample {35    public void example(boolean a, boolean b, boolean c) {36        if (a) {37            if (b) {38                if (c) {39                    System.out.println("a && b && c");40                } else {41                    System.out.println("a && b && !c");42                }43            } else {44                if (c) {45                    System.out.println("a && !b && c");46                } else {47                    System.out.println("a && !b && !c");48                }49            }50        } else {51            if (b) {52                if (c) {53                    System.out.println("!a && b && c");54                } else {55                    System.out.println("!a && b && !c");56                }57            } else {58                if (c) {59                    System.out.println("!a && !b && c");60                } else {61                    System.out.println("!a && !b && !c");62                }63            }64        }65    }66}

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.