/*******************************************************************************
 * Copyright (c) 2009, 2016 Mountainminds GmbH & Co. KG and Contributors
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *    Evgeny Mandrikov - initial API and implementation
 *
 *******************************************************************************/
import java.io.*;
import org.codehaus.plexus.util.*;

File file = new File( basedir, "child/target/generated-classes/jacoco/Example.class" );
if ( !file.isFile() ) {
    throw new RuntimeException( "Could not find backup of instrumented class: " + file );
}
file = new File( basedir, "child/target/generated-classes/jacoco/DoNotInstrument.class" );
if ( file.isFile() ) {
    throw new RuntimeException( "Excluded file should not be instrumented: " + file );
}

file = new File( basedir, "child/target/coverage.exec" );
if ( !file.isFile() )
{
    throw new FileNotFoundException( "Could not find generated dump: " + file );
}
