package Sequenic.T2ext.Analyzer;

import Examples.* ;
import Sequenic.T2ext.Instrumenter.Sensor;
import Sequenic.T2ext.util.util;

public class CoverageAnalyzerTest3 {

	public void test0(){
		Sensor.resetSensor() ;
		SimpleThrow S = new SimpleThrow() ;
		String path = util.getClassLocation(SimpleThrow.class) ;
		CoverageAnalyzer CA = new CoverageAnalyzer(path + "SimpleThrow.cfgs") ;
		
		try { S.methodWithThrow(0) ; } catch (Error e){ } ;
		try { S.methodWithThrow(2) ; } catch (RuntimeException e){ } ;
		try { S.methodWithThrow(1) ; } catch (RuntimeException e){ } ;
		
		try { S.methodWithThrowAndCatch(0) ; } catch (Error e){ } ;
		try { S.methodWithThrowAndCatch(2) ; } catch (RuntimeException e){ } ;
		try { S.methodWithThrowAndCatch(1) ; } catch (RuntimeException e){ } ;
		
		S.methodWithAssert(0) ;
		try { S.methodWithAssert(1) ; } catch (Error e){ } ;
		try { S.methodWithAssert(2) ; } catch (Error e){ } ;
		
		CA.debug = true ;		
		CA.calculateCoverage() ;
	}
		
	static public void main(String[] args) {
		CoverageAnalyzerTest3 T = new CoverageAnalyzerTest3() ;
		T.test0() ;
	}
}