package control;

/**
 * Created by sebastian on 07.04.17.
 */
public class Main {


    public static void main(String[] args) {

        System.out.println("Hallo Welt -> Starte... \n\n");

        // Pfade:
        String s1 = "source3.javLight";
        String s2 = "source2.javLight";
        String s3 = "source.javLight";
        String ne = "sourceNew.javLight";


        // Neue Pfade
        String myInteger = "MyInteger.jal";
        String main = "Main.jal";
        String a = "A.jal";
        String a2 = "A2.jal";

        /*
        TPH tph = TPHFactory.makeTPH();
        TPH tph1 = TPHFactory.makeTPH();
        TypeVarStore typeVarStore = new TypeVarStore();
        System.out.println(typeVarStore.storeTPH(tph));
        System.out.println(typeVarStore.storeTPH(tph));
        typeVarStore.addTuple(TypeVarFactory.makeTypeVar(),tph);
        System.out.println(typeVarStore);
        System.out.println(tph.equals(tph1));

        */

        Start start = new Start(a,myInteger, main);




    }
}
