xref: /aosp_15_r20/external/jacoco/jacoco-maven-plugin.test/it/it-offline-instrumentation/verify.bsh (revision 7e63c1270baf9bfa84f5b6aecf17bd0c1a75af94) 
1/*******************************************************************************
2 * Copyright (c) 2009, 2021 Mountainminds GmbH & Co. KG and Contributors
3 * This program and the accompanying materials are made available under
4 * the terms of the Eclipse Public License 2.0 which is available at
5 * http://www.eclipse.org/legal/epl-2.0
6 *
7 * SPDX-License-Identifier: EPL-2.0
8 *
9 * Contributors:
10 *    Evgeny Mandrikov - initial API and implementation
11 *
12 *******************************************************************************/
13import java.io.*;
14import org.codehaus.plexus.util.*;
15
16File file = new File( basedir, "child/target/generated-classes/jacoco/Example.class" );
17if ( !file.isFile() ) {
18    throw new RuntimeException( "Could not find backup of instrumented class: " + file );
19}
20file = new File( basedir, "child/target/generated-classes/jacoco/DoNotInstrument.class" );
21if ( file.isFile() ) {
22    throw new RuntimeException( "Excluded file should not be instrumented: " + file );
23}
24
25file = new File( basedir, "child/target/coverage.exec" );
26if ( !file.isFile() )
27{
28    throw new FileNotFoundException( "Could not find generated dump: " + file );
29}
30