Java tutorial
/** * Copyright (C) 2011,2012 Gordon Fraser, Andrea Arcuri and EvoSuite * contributors * * This file is part of EvoSuite. * * EvoSuite is free software: you can redistribute it and/or modify it under the * terms of the GNU Public License as published by the Free Software Foundation, * either version 3 of the License, or (at your option) any later version. * * EvoSuite is distributed in the hope that it will be useful, but WITHOUT ANY * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR * A PARTICULAR PURPOSE. See the GNU Public License for more details. * * You should have received a copy of the GNU Public License along with * EvoSuite. If not, see <http://www.gnu.org/licenses/>. */ /** * */ package org.evosuite.instrumentation; import java.util.ArrayList; import java.util.List; import org.evosuite.instrumentation.error.ArrayInstrumentation; import org.evosuite.instrumentation.error.ArrayListInstrumentation; import org.evosuite.instrumentation.error.CastErrorInstrumentation; import org.evosuite.instrumentation.error.DequeInstrumentation; import org.evosuite.instrumentation.error.DivisionByZeroInstrumentation; import org.evosuite.instrumentation.error.ErrorBranchInstrumenter; import org.evosuite.instrumentation.error.LinkedHashSetInstrumentation; import org.evosuite.instrumentation.error.LinkedListInstrumentation; import org.evosuite.instrumentation.error.NullPointerExceptionInstrumentation; import org.evosuite.instrumentation.error.OverflowInstrumentation; import org.evosuite.instrumentation.error.QueueInstrumentation; import org.evosuite.instrumentation.error.StackInstrumentation; import org.evosuite.instrumentation.error.VectorInstrumentation; import org.objectweb.asm.Label; import org.objectweb.asm.MethodVisitor; import org.objectweb.asm.Opcodes; import org.objectweb.asm.commons.GeneratorAdapter; import org.objectweb.asm.tree.MethodNode; /** * <p> * ErrorConditionMethodAdapter class. * </p> * * @author Gordon Fraser */ public class ErrorConditionMethodAdapter extends GeneratorAdapter { private final String className; private final String methodName; private final MethodVisitor next; protected List<ErrorBranchInstrumenter> instrumentation; /** * <p> * Constructor for ErrorConditionMethodAdapter. * </p> * * @param mv * a {@link org.objectweb.asm.MethodVisitor} object. * @param className * a {@link java.lang.String} object. * @param methodName * a {@link java.lang.String} object. * @param access * a int. * @param desc * a {@link java.lang.String} object. */ public ErrorConditionMethodAdapter(MethodVisitor mv, String className, String methodName, int access, String desc) { //super(Opcodes.ASM4, mv, access, methodName, desc); super(Opcodes.ASM4, new AnnotatedMethodNode(access, methodName, desc, null, null), access, methodName, desc); this.className = className; this.methodName = methodName; next = mv; initErrorBranchInstrumenters(); } private void initErrorBranchInstrumenters() { instrumentation = new ArrayList<ErrorBranchInstrumenter>(); instrumentation.add(new ArrayInstrumentation(this)); instrumentation.add(new ArrayListInstrumentation(this)); instrumentation.add(new CastErrorInstrumentation(this)); instrumentation.add(new DequeInstrumentation(this)); instrumentation.add(new DivisionByZeroInstrumentation(this)); instrumentation.add(new LinkedHashSetInstrumentation(this)); instrumentation.add(new LinkedListInstrumentation(this)); instrumentation.add(new NullPointerExceptionInstrumentation(this)); instrumentation.add(new OverflowInstrumentation(this)); instrumentation.add(new QueueInstrumentation(this)); instrumentation.add(new StackInstrumentation(this)); instrumentation.add(new VectorInstrumentation(this)); } protected boolean inInstrumentation = false; @Override public void visitLabel(Label label) { if (label instanceof AnnotatedLabel) { AnnotatedLabel aLabel = (AnnotatedLabel) label; if (aLabel.info == Boolean.TRUE) { inInstrumentation = true; } else { inInstrumentation = false; } } super.visitLabel(label); } public void tagBranch() { Label dummyTag = new AnnotatedLabel(); dummyTag.info = Boolean.TRUE; super.visitLabel(dummyTag); } public void tagBranchExit() { Label dummyTag = new AnnotatedLabel(); dummyTag.info = Boolean.FALSE; super.visitLabel(dummyTag); } public String getClassName() { return className; } public String getMethodName() { return methodName; } /* (non-Javadoc) * @see org.objectweb.asm.MethodVisitor#visitMethodInsn(int, java.lang.String, java.lang.String, java.lang.String) */ /** {@inheritDoc} */ @Override public void visitMethodInsn(int opcode, String owner, String name, String desc) { if (!inInstrumentation) { inInstrumentation = true; for (ErrorBranchInstrumenter instrumenter : instrumentation) { instrumenter.visitMethodInsn(opcode, owner, name, desc); } inInstrumentation = false; } super.visitMethodInsn(opcode, owner, name, desc); } /* (non-Javadoc) * @see org.objectweb.asm.MethodVisitor#visitFieldInsn(int, java.lang.String, java.lang.String, java.lang.String) */ /** {@inheritDoc} */ @Override public void visitFieldInsn(int opcode, String owner, String name, String desc) { if (!inInstrumentation) { inInstrumentation = true; for (ErrorBranchInstrumenter instrumenter : instrumentation) { instrumenter.visitFieldInsn(opcode, owner, name, desc); } inInstrumentation = false; } super.visitFieldInsn(opcode, owner, name, desc); } @Override public void visitIntInsn(int opcode, int operand) { if (!inInstrumentation) { inInstrumentation = true; for (ErrorBranchInstrumenter instrumenter : instrumentation) { instrumenter.visitIntInsn(opcode, operand); } inInstrumentation = false; } super.visitIntInsn(opcode, operand); } /* (non-Javadoc) * @see org.objectweb.asm.MethodVisitor#visitTypeInsn(int, java.lang.String) */ /** {@inheritDoc} */ @Override public void visitTypeInsn(int opcode, String type) { if (!inInstrumentation) { inInstrumentation = true; for (ErrorBranchInstrumenter instrumenter : instrumentation) { instrumenter.visitTypeInsn(opcode, type); } inInstrumentation = false; } super.visitTypeInsn(opcode, type); } /* (non-Javadoc) * @see org.objectweb.asm.MethodVisitor#visitInsn(int) */ /** {@inheritDoc} */ @Override public void visitInsn(int opcode) { if (!inInstrumentation) { inInstrumentation = true; for (ErrorBranchInstrumenter instrumenter : instrumentation) { instrumenter.visitInsn(opcode); } inInstrumentation = false; } super.visitInsn(opcode); } /* public Frame currentFrame = null; @Override public void visitFrame(int type, int nLocal, Object[] local, int nStack, Object[] stack) { super.visitFrame(type, nLocal, local, nStack, stack); // this.currentFrame = frames[numFrame++]; } protected int numFrame = 0; protected Frame[] frames; @Override public void visitCode() { MethodNode mn = (MethodNode) mv; try { Analyzer a = new Analyzer(new ThisInterpreter()); a.analyze(className, mn); frames = a.getFrames(); logger.info("Computed frames: "+frames.length); } catch (Exception e) { logger.info("Error during frame analysis: "+e); frames = new Frame[0]; } super.visitCode(); } */ /* (non-Javadoc) * @see org.objectweb.asm.MethodVisitor#visitEnd() */ /** {@inheritDoc} */ @Override public void visitEnd() { MethodNode mn = (MethodNode) mv; mn.accept(next); } /* (non-Javadoc) * @see org.objectweb.asm.commons.LocalVariablesSorter#visitMaxs(int, int) */ /** {@inheritDoc} */ @Override public void visitMaxs(int maxStack, int maxLocals) { super.visitMaxs(maxStack + 4, maxLocals); } }