TestMu 2025 - The Largest Virtual Software Testing Conference is Back | 50,000+ Attendees

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}

Blogs

Check out the latest blogs from LambdaTest on this topic:

Starting & growing a QA Testing career

The QA testing career includes following an often long, winding road filled with fun, chaos, challenges, and complexity. Financially, the spectrum is broad and influenced by location, company type, company size, and the QA tester’s experience level. QA testing is a profitable, enjoyable, and thriving career choice.

A Complete Guide To CSS Container Queries

In 2007, Steve Jobs launched the first iPhone, which revolutionized the world. But because of that, many businesses dealt with the problem of changing the layout of websites from desktop to mobile by delivering completely different mobile-compatible websites under the subdomain of ‘m’ (e.g., https://m.facebook.com). And we were all trying to figure out how to work in this new world of contending with mobile and desktop screen sizes.

Scala Testing: A Comprehensive Guide

Before we discuss Scala testing, let us understand the fundamentals of Scala and how this programming language is a preferred choice for your development requirements.The popularity and usage of Scala are rapidly rising, evident by the ever-increasing open positions for Scala developers.

What is Continuous Testing?

What is continoius testing

How To Automate Mouse Clicks With Selenium Python

Sometimes, in our test code, we need to handle actions that apparently could not be done automatically. For example, some mouse actions such as context click, double click, drag and drop, mouse movements, and some special key down and key up actions. These specific actions could be crucial depending on the project context.

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.