package Sequenic.T2;
import java.io.Serializable;

import org.junit.Test;

import Common.Common;
import Sequenic.T3.T3Cmd;
import Sequenic.T3.T3Random;
import Sequenic.T3.Generator.*;
import Sequenic.T3.JavaType.JTypeUtils;
import Sequenic.T3.Sequence.Datatype.*;
import Sequenic.T3.utils.Maybe;
import Sequenic.T3.utils.SomeObject;
import static Sequenic.T3.Generator.Value.ValueMGCombinators.* ;

public class T3TestXPool {

	static public Generator<PARAM,STEP> myvalgen = 
	    UnguardedValue(MixedOneOf(
		   Object.class,
		   Integer.class,
		   SomeObject.class
		   )).If(hasClass(Class.class)) ;

	
	public static void generate(String CUT, boolean withCustomgen, boolean injectOracle) throws Exception {	
		
		String cvgOption = "" ;
		String oracleOption = "" ;
		if (withCustomgen) cvgOption = " -cvg Sequenic.T2.T3TestXPool " ;
		if (!injectOracle) oracleOption =" -norc " ;
		
		T3Cmd.main("-reg -core 2 -pl 6 -vp -sl 2 -fup 0 -ms 50 " 
				+ cvgOption + oracleOption
				+ " -adt true "
				+ " -sd " + Common.getCUTrootBindir() 
				+ " -d "  + Common.getTrDir()
				+ " " + CUT);						
	}
   
	static String CUT = "Sequenic.T2.XPool" ;
	
    @Test
    public void testPlainWithOracles() throws Throwable { generate(CUT,false,true) ;	}
    
    @Test
    public void testWithCustomGenWithOracles() throws Throwable { generate(CUT,true,true) ;	}
    
    // without injected oracles:
    //@Test
    public void testPlain() throws Throwable { generate(CUT,false,false) ; }

    // without injected oracles:
    //@Test
    public void testWithCustomGen() throws Throwable { generate(CUT,true,false) ; }
}