package inport;

import java.io.IOException;

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

        switch (type) {
            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 "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;
            }
            default:
                System.out.println("Unknown type \"" + type + "\"");
        }
    }
}