package Sequenic.T2ext.Instrumenter;

import java.lang.reflect.*;
import Sequenic.Graph.*;

import org.junit.* ;

public class MethodInstrumenterTest2 {

	public Method getMethod(String mname, Class C){
		Method[] methods = C.getDeclaredMethods() ;
		for (int i=0; i<methods.length; i++)
			if (methods[i].getName().equals(mname)) return methods[i] ;
		throw new Error() ;
	}
	
	@Test
	public void test1(){
		Class C = Simple.class ;
		Method m = getMethod("foo",C) ;
		MethodInstrumenter MI = new MethodInstrumenter(m,C) ;
		MI.debug = true ;
		MI.doInject = true ;
		CFG CFG = MI.doInstrumenting();
		CFG.simplePrint() ;
		
		assert PathUtil.pathSimpleShow(CFG.targetPaths.get(0)).equals("[ 0, 1, 3 ]") ;
		assert PathUtil.pathSimpleShow(CFG.targetPaths.get(1)).equals("[ 0, 2, 3 ]") ;
		
	}
}