package Sequenic.T2ext.Analyzer;

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

public class CoverageAnalyzerTest1 {

	public void test0(){
		Sensor.resetSensor() ;
		SimpleConditionals S = new SimpleConditionals() ;
		String path = util.getClassLocation(SimpleConditionals.class) ;
		CoverageAnalyzer CA = new CoverageAnalyzer(path + "SimpleConditionals.cfgs") ;
		S.methodWithIfNoElse(1) ;
		S.methodWithIfNoElse(0) ;
		S.methodWithNestedIf(11) ;
		S.methodWithNestedIf(1) ;	
		S.methodWithSwitch(5) ;
		S.methodWithSwitch(1) ;
		S.methodWithSwitch(-1) ;
		
		S.methodWithSwitchAndBreak(5) ;
		S.methodWithSwitchAndBreak(1) ;
		S.methodWithSwitchAndBreak(-1) ;		
		
		CA.debug = true ;		
		CA.calculateCoverage() ;
	}
	
	static public void main(String[] args) {
		CoverageAnalyzerTest1 T = new CoverageAnalyzerTest1() ;
		T.test0() ;
	}
	
}