[Logik] Formel

package main;

public class Formel {
    private String FORMEL;
    private Formel aussage[] = new Formel[2];
    private short pointer = 0;
    private char junk = '-';
    private boolean negThis;

    Formel(String formel, boolean neg) {
        FORMEL = formel;
        negThis = neg;
        parse(formel);
    }

    /*
     * Private-Methoden
     */
    private void addFormel(String sub, boolean neg) {
        if (pointer < 2) {
            aussage[pointer++] = new Formel(sub, neg);
        } else {
            DNF.wrongFormel();
        }
    }

    private void parse(String formel) {
        // für das momentane Zeichen
        char c;

        // Name einer Variablen
        String var = "";
        // eine mögliche Unterformel
        String sub = "";

        // die Anzahl der Klammern
        int countBrackets = 0;
        // ob das folgende negiert werden soll
        boolean neg = false;
        // ob zuletzt eine Formel kam
        boolean lastFormel = false;

        // alle Zeichen der Formel durchgehen
        for (int i = 0; i < formel.length(); i++) {
            // das momentane Zeichen
            c = formel.charAt(i);
            // es wurde bereits mindestens eine Klammer geöffnet
            if (countBrackets > 0) {
                if (c == '(') {
                    countBrackets++;
                } else if (c == ')') {
                    countBrackets--;
                    if (countBrackets == 0) {
                        addFormel(sub, neg);
                        lastFormel = true;
                        sub = "";
                        neg = false;
                    }
                }
                if (countBrackets > 0) {
                    sub += c;
                }
            } else
            // eine erste öffnende Klammer tritt auf
            if (c == '(') {
                if (var.isEmpty() && !lastFormel) {
                    countBrackets = 1;
                } else {
                    DNF.wrongFormel();
                }
            } else
            // falls c ein Junktor ist
            if ("~&|>:".indexOf(c) != -1) {
                if (!neg) {
                    if (!var.isEmpty()) {
                        addFormel(var, neg);
                        var = "";
                    }
                    if (c == '~') {
                        neg = true;
                    } else if (junk == '-') {
                        junk = c;
                        if (junk == '>') {
                            if (pointer == 0) {
                                DNF.wrongFormel();
                            }
                            aussage[0].negate();
                            junk = '|';
                        }
                    } else {
                        DNF.wrongFormel();
                    }
                    lastFormel = false;
                } else {
                    DNF.wrongFormel();
                }
            } else
            // falls c eine a ist und eine Variable anfängt
            if (c == 'a') {
                if (var.isEmpty()) {
                    var = "a";
                } else {
                    DNF.wrongFormel();
                }
            } else
            // falls c ein ' ist und ein Variable benennt
            if (c == '\'') {
                if (!var.isEmpty()) {
                    var += c;
                } else {
                    DNF.wrongFormel();
                }
            }
        }

        if (countBrackets > 0) {
            System.out.println(formel);
            DNF.wrongFormel();
        }
        if (!var.isEmpty() && !formel.equals(var)) {
            addFormel(var, neg);
        }

        if (junk == ':') {
            // hier müsste man noch die Äquivalenz rausrechnen...
        }
    }

    /*
     * Public-Methoden
     */
    public String back() {
        String ret = "";
        if (negThis) {
            ret += "~";
        }
        if (pointer == 0) {
            ret += FORMEL;
        } else if (pointer == 1) {
            ret += aussage[0].back();
        } else if (pointer == 2) {
            ret += "(" + aussage[0].back() + junk + aussage[1].back() + ")";
        }
        return ret;
    }

    public boolean calc() {
        return false;
    }

    public void negate() {
        negThis = !negThis;
    }
}