package inport;

import java.io.*;

import static inport.Testing.solveTask_1;
import static inport.Testing.test_1;

public class Main {

    public static void main(String[] args) {
        if (args.length == 0) {
            System.out.println("To few arguments.");
            return;
        }
        String type = args[0];

        switch (type) {
            case "solve" : {
                String fileName = args[1];
                long start = System.currentTimeMillis();

                TaskCase task = new TaskCase();
                try {
                    task.deserialize(fileName);
                } catch (IOException e) {
                    System.out.println(e.getMessage());
                    break;
                }

                String error = solveTask_1(task);

                long finish = System.currentTimeMillis();
                System.out.println((finish - start) + " milliseconds");

                if (!error.isEmpty()) {
                    System.out.println("Error : " + error);
                } else {
                    task.serialize(fileName);
                }
                break;
            }
            case "to_MiniZinc_0" : {
                String input = args[1];
                String output = args[2];
                TaskCase task = new TaskCase();
                try {
                    task.deserialize(input);
                    ConversionUtil.portToMiniZinc_0(task, output);
                } catch (IOException ex) {
                    System.out.println(ex.getMessage());
                }
                break;
            }
            case "to_MiniZinc_1" : {
                String input = args[1];
                String output = args[2];
                TaskCase task = new TaskCase();
                try {
                    task.deserialize(input);
                    ConversionUtil.portToMiniZinc_1(task, output);
                } catch (IOException ex) {
                    System.out.println(ex.getMessage());
                }
                break;
            }
            case "resolve_result" : {
                String input = args[1];
                String fileWIthResult = args[2];
                String output = args[3];

                try {
                    TaskCase task = new TaskCase();
                    task.deserialize(input);

                    ConversionUtil.resolveMiniZincResults(task, fileWIthResult);

                    task.serialize(output);
                } catch (IOException | ParserException ex) {
                    System.out.println(ex.getMessage());
                }
                break;
            }
            case "debug" : {
                String fileName = args[1];
                String output = args[2];

                TaskCase task = new TaskCase();
                try {
                    task.deserialize(fileName);
                    task.serialize(output);
                } catch (IOException e) {
                    System.out.println(e.getMessage());
                }
                break;
            }
            case "testing" :
                test_1();
                break;
            default:
                System.out.println("Unknown type \"" + type + "\"");
        }
    }
}