package Sequenic.T2ext.Instrumenter;

public class SimpleTargetClass1 {

	static final int ONE = 1 ;
	
	public int methodWithSwitch(int x){
		x++ ;
		switch (x) {
		case 0 : x++ ; break ;
		case 1 : x=0 ; 
		case 2 : x-- ; 
		default : x=2 ;
		}
		return x ;		
	}
	
	public int methodWithNestedIf(int x){
		if (x>0) if (x>10) x=0 ; else x=1 ;
		else x=3 ;
		return x ;
	}
	
	public int methodWithLoop(int x){
		x++ ;
		while (x<10) 
			x++ ;
		return x ;
	}
	
	public int methodWithLoopAndIf(int x){
		x=0 ;
		int y=0 ;
		while (x<10) {
			x++ ;
			if (x>5) y++ ; else y=0 ; 
		}
		return x ;
	}
	
	public int methodWithNestedLoop(int x){
		x=0 ;
		while (x<10) {
			x++ ;
			int y = 10 ;
			while (y>0) y-- ;
		}
		return x ;
	}
	
	public void methodWithThrow(int x){
		try {
			if (x>10) throw new Error() ;
		}
		catch(Error e){ x++ ; }
	}
	
	public void methodWithAssert1(int x){
		assert x>0 && x>10 ;
	}

	public void methodWithAssert2(int x){
		assert x<0 || x>10 ;
	}
	
	public void methodWithAssert3(int x){
		assert x<0 || x>10 ;
		x++ ;
		x++ ;
	}

	public void methodWithAssertCatch(int x){
		try {
			assert (x>0) ;
		}
		catch(Error e){ x=3 ; x=10 ; }
	}
	
	public void methodWithAssertCatch2(int x){
		try {
			assert (x>0) ;
			x++ ;
		}
		catch(Error e){ x=3 ; x=10 ; }
	}
	
	public void methodWithAssertCatch3(int x){
		try {
			assert (x>0) ;
			x++ ;
			throw new Error() ;
		}
		catch(Error e){ x=3 ; x=10 ; }
	}
	
	public int  methodWithFinally(int x){
		try {
			x = 3/x ;
			return x ;
		}
		catch(Error e) { 
			throw e ; 
		}
		finally {
			x = 0 ;
		}	
	}
	
	
	
}