package Sequenic.T2.Engines;

import jargs.gnu.CmdLineParser;

import Sequenic.P2.StringFormater;
import Sequenic.T2.Msg.Message;

public class PrimePathEngineToolPlug extends BaseEngineToolPlug {

	private CmdLineParser.Option pathoptmO = parser.addBooleanOption("pathoptm");
	private CmdLineParser.Option maxattemptsO = parser.addIntegerOption("maxattempts");
	
	private String[] args;
	
	public PrimePathEngineToolPlug() {
		super();
		addOption(pathoptmO, "Enable 'method pruning'? optimization."); // TODO decent description
		addOption(maxattemptsO, "Number of attempts to manipulate traces."); // TODO decent description
	}
	
	@Override
	public void configure(String[] options)
			throws CmdLineParser.IllegalOptionValueException,
			CmdLineParser.UnknownOptionException {
		
		// Just take all options and add the location of the jar that T2Extension needs
		args = new String[options.length+1];
		args[0] = options[0];
		args[1] = this.getClass().getProtectionDomain().getCodeSource().getLocation().getFile();
		System.out.println("Using T2Extension JAR: "+args[1]);
		// Add the rest of the options
		for(int i=1; i<options.length; i++) {
			args[i+1] = options[i];
		}
	}
	
	public void run() {
		t2ext.T2Extension.main(args);
	}
	
	public void consoleHelp() {
        println(Message.GREET);
        println(Message.BEGIN);
        println("PrimePath-engine GENERAL USE:\n");
        println("   java -ea -cp <classpaths> Sequenic.T2.Main -P <CUT> <option>*\n");
        println(StringFormater.alignLeft("CUT is a fully qualified java name of the target class. " +
                "Available options are explained below.",
                80,0));
        println("") ;
      
        consoleOptionsHelp();

        println(Message.END);
    }
}