content: /*******************************************************************************
   * Copyright (c) 2009, 2019 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:
   *    Marc R. Hoffmann - initial API and implementation
   *    
   *******************************************************************************/
  package org.jacoco.core.test.validation.java5.targets;
  
  import static org.jacoco.core.test.validation.targets.Stubs.ex;
  import static org.jacoco.core.test.validation.targets.Stubs.f;
  import static org.jacoco.core.test.validation.targets.Stubs.nop;
  
  import org.jacoco.core.test.validation.targets.Stubs.StubException;
  
  /**
   * This target produces exception based control flow examples.
   */
  public class ExceptionsTarget {
  
  	public static void main(String[] args) {
  
  		try {
  			implicitNullPointerException(null);
  		} catch (NullPointerException e) {
  		}
  		try {
  			implicitException();
  		} catch (StubException e) {
  		}
  		try {
  			explicitException();
  		} catch (StubException e) {
  		}
  		noExceptionTryCatch();
  		implicitExceptionTryCatch();
  		implicitExceptionTryCatchAfterCondition();
  		explicitExceptionTryCatch();
  		noExceptionFinally();
  		try {
  			explicitExceptionFinally();
  		} catch (StubException e) {
  		}
  		try {
  			implicitExceptionFinally();
  		} catch (StubException e) {
  		}
  	}
  
  	/**
  	 * Currently no coverage at all, as we don't see when a block aborts
  	 * somewhere in the middle.
  	 */
  	private static void implicitNullPointerException(int[] a) {
  		nop(); // assertNotCovered()
  		a[0] = 0; // assertNotCovered()
  		nop(); // assertNotCovered()
  	}
  
  	/**
  	 * For each line with method invocations a extra probe is inserted.
  	 * Therefore the lines before the exception are marked as covered.
  	 */
  	private static void implicitException() {
  		nop(); // assertFullyCovered()
  		ex(); // assertNotCovered()
  		nop(); // assertNotCovered()
  	}
  
  	private static void explicitException() {
  		nop(); // assertFullyCovered()
  		throw new StubException(); // assertFullyCovered()
  	}
  
  	private static void noExceptionTryCatch() {
  		nop(); // assertFullyCovered()
  		try {
  			nop(); // assertFullyCovered()
  		} catch (StubException e) { // assertCatchNoException()
  			nop(); // assertNotCovered()
  		} // assertCatchBlockEndNoException()
  	} // assertFullyCovered()
  
  	private static void implicitExceptionTryCatch() {
  		nop(); // assertFullyCovered()
  		try {
  			nop(); // assertFullyCovered()
  			ex(); // assertNotCovered()
  			nop(); // assertNotCovered()
  		} catch (StubException e) { // assertCatchImplicitException()
  			nop(); // assertFullyCovered()
  		} // assertCatchBlockEndImplicitException()
  	} // assertFullyCovered()
  
  	/**
  	 * As the try/catch block is entered at one branch of the condition should
  	 * be marked as executed
  	 */
  	private static void implicitExceptionTryCatchAfterCondition() {
  		if (f()) { // assertFullyCovered(1, 1)
  			return;
  		}
  		try {
  			ex(); // assertNotCovered()
  		} catch (StubException e) {
  			nop(); // assertFullyCovered()
  		}
  	}
  
  	private static void explicitExceptionTryCatch() {
  		nop(); // assertFullyCovered()
  		try {
  			nop(); // assertFullyCovered()
  			throw new StubException(); // assertFullyCovered()
  		} catch (StubException e) { // assertFullyCovered()
  			nop(); // assertFullyCovered()
  		} // assertEmpty()
  	} // assertFullyCovered()
  
  	private static void noExceptionFinally() {
  		nop(); // assertFullyCovered()
  		try {
  			nop(); // assertFullyCovered()
  		} finally { // assertFinally()
  			nop(); // assertFullyCovered()
  		} // assertEmpty()
  	} // assertFullyCovered()
  
  	private static void implicitExceptionFinally() {
  		nop(); // assertFullyCovered()
  		try {
  			nop(); // assertFullyCovered()
  			ex(); // assertNotCovered()
  			nop(); // assertNotCovered()
  		} finally { // assertFinallyImplicitException()
  			nop(); // assertFullyCovered()
  		} // assertEmpty()
  	} // assertNotCovered()
  
  	private static void explicitExceptionFinally() {
  		nop(); // assertFullyCovered()
  		try {
  			nop(); // assertFullyCovered()
  			throw new StubException(); // assertFullyCovered()
  		} finally { // assertFinally()
  			nop(); // assertFullyCovered()
  		} // assertBlockEndImplicitException()
  	} // assertEmpty()
  
  }
  