diff --git a/org.jacoco.core.test/src/org/jacoco/core/internal/analysis/filter/AssertFilterTest.java b/org.jacoco.core.test/src/org/jacoco/core/internal/analysis/filter/AssertFilterTest.java new file mode 100644 index 0000000000..b09fb1b604 --- /dev/null +++ b/org.jacoco.core.test/src/org/jacoco/core/internal/analysis/filter/AssertFilterTest.java @@ -0,0 +1,146 @@ +/******************************************************************************* + * Copyright (c) 2009, 2021 Mountainminds GmbH & Co. KG and Contributors + * This program and the accompanying materials are made available under + * the terms of the Eclipse Public License 2.0 which is available at + * http://www.eclipse.org/legal/epl-2.0 + * + * SPDX-License-Identifier: EPL-2.0 + * + * Contributors: + * Evgeny Mandrikov - initial API and implementation + * + *******************************************************************************/ +package org.jacoco.core.internal.analysis.filter; + +import org.jacoco.core.internal.instr.InstrSupport; +import org.junit.Test; +import org.objectweb.asm.Label; +import org.objectweb.asm.Opcodes; +import org.objectweb.asm.Type; +import org.objectweb.asm.tree.MethodNode; + +/** + * Unit tests for {@link AssertFilter}. + */ +public class AssertFilterTest extends FilterTestBase { + + private final AssertFilter filter = new AssertFilter(); + + /** + *
+	 * class Example {
+	 *   void example(boolean b) {
+	 *     ...
+	 *     assert b : "message";
+	 *     ...
+	 *   }
+	 * }
+	 * 
+ */ + @Test + public void should_filter_static_initializer() { + context.className = "Example"; + final MethodNode m = new MethodNode(InstrSupport.ASM_API_VERSION, + Opcodes.ACC_STATIC, "", "()V", null, null); + + m.visitInsn(Opcodes.NOP); + m.visitLdcInsn(Type.getType("LExample;")); + final Range range = new Range(); + range.fromInclusive = m.instructions.getLast(); + m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "java/lang/Class", + "desiredAssertionStatus", "()Z", false); + final Label label1 = new Label(); + final Label label2 = new Label(); + m.visitJumpInsn(Opcodes.IFNE, label1); + m.visitInsn(Opcodes.ICONST_1); + m.visitJumpInsn(Opcodes.GOTO, label2); + m.visitLabel(label1); + m.visitInsn(Opcodes.ICONST_0); + m.visitLabel(label2); + m.visitFieldInsn(Opcodes.PUTSTATIC, "Example", "$assertionsDisabled", + "Z"); + range.toInclusive = m.instructions.getLast(); + m.visitInsn(Opcodes.RETURN); + + filter.filter(m, context, output); + + assertIgnored(range); + } + + /** + *
+	 * class Example {
+	 *   static final f;
+	 *
+	 *   static {
+	 *     f = !Example.class.desiredAssertionStatus();
+	 *   }
+	 * }
+	 * 
+ */ + @Test + public void should_not_filter_static_initializer_when_field_name_does_not_match() { + context.className = "Example"; + final MethodNode m = new MethodNode(InstrSupport.ASM_API_VERSION, + Opcodes.ACC_STATIC, "", "()V", null, null); + + m.visitLdcInsn(Type.getType("LExample;")); + m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "java/lang/Class", + "desiredAssertionStatus", "()Z", false); + final Label label1 = new Label(); + final Label label2 = new Label(); + m.visitJumpInsn(Opcodes.IFNE, label1); + m.visitInsn(Opcodes.ICONST_1); + m.visitJumpInsn(Opcodes.GOTO, label2); + m.visitLabel(label1); + m.visitInsn(Opcodes.ICONST_0); + m.visitLabel(label2); + m.visitFieldInsn(Opcodes.PUTSTATIC, "Foo", "f", "Z"); + m.visitInsn(Opcodes.RETURN); + + filter.filter(m, context, output); + + assertIgnored(); + } + + /** + *
+	 * class Example {
+	 *   void example(boolean b) {
+	 *     ...
+	 *     assert b : "message";
+	 *     ...
+	 *   }
+	 * }
+	 * 
+ */ + @Test + public void should_filter_assert() { + context.className = "Example"; + final MethodNode m = new MethodNode(InstrSupport.ASM_API_VERSION, 0, + "example", "()V", null, null); + + m.visitInsn(Opcodes.NOP); + m.visitFieldInsn(Opcodes.GETSTATIC, "Example", "$assertionsDisabled", + "Z"); + final Label label = new Label(); + m.visitJumpInsn(Opcodes.IFNE, label); + final Range range = new Range(m.instructions.getLast(), + m.instructions.getLast()); + m.visitVarInsn(Opcodes.ILOAD, 1); + m.visitJumpInsn(Opcodes.IFNE, label); + m.visitTypeInsn(Opcodes.NEW, "java/lang/AssertionError"); + m.visitInsn(Opcodes.DUP); + m.visitLdcInsn("message"); + m.visitMethodInsn(Opcodes.INVOKESPECIAL, "java/lang/AssertionError", + "", "(Ljava/lang/Object;)V", false); + m.visitInsn(Opcodes.ATHROW); + m.visitLabel(label); + m.visitInsn(Opcodes.NOP); + + filter.filter(m, context, output); + + assertIgnored(range); + } + +} diff --git a/org.jacoco.core/src/org/jacoco/core/internal/analysis/filter/AssertFilter.java b/org.jacoco.core/src/org/jacoco/core/internal/analysis/filter/AssertFilter.java new file mode 100644 index 0000000000..a0604abfb3 --- /dev/null +++ b/org.jacoco.core/src/org/jacoco/core/internal/analysis/filter/AssertFilter.java @@ -0,0 +1,27 @@ +/******************************************************************************* + * Copyright (c) 2009, 2021 Mountainminds GmbH & Co. KG and Contributors + * This program and the accompanying materials are made available under + * the terms of the Eclipse Public License 2.0 which is available at + * http://www.eclipse.org/legal/epl-2.0 + * + * SPDX-License-Identifier: EPL-2.0 + * + * Contributors: + * Evgeny Mandrikov - initial API and implementation + * + *******************************************************************************/ +package org.jacoco.core.internal.analysis.filter; + +import org.objectweb.asm.tree.MethodNode; + +/** + * Filters code that is generated for an assert statement. + */ +final class AssertFilter implements IFilter { + + public void filter(final MethodNode methodNode, + final IFilterContext context, final IFilterOutput output) { + // TODO + } + +}