UwTest

public class Test {
    public void test(Formuła f) {
        System.out.println("formuła = " + f + ": ");

        Wartościowanie wart0 = new Wartościowanie();
        Wartościowanie wart1 = new Wartościowanie();
        Wartościowanie wart2 = new Wartościowanie();
        Wartościowanie wart3 = new Wartościowanie();
        Wartościowanie wart4 = new Wartościowanie();
        try {
            wart1.ustaw('p', true);
            wart1.ustaw('q', false);
            wart2.ustaw('p', false);
            wart2.ustaw('q', true);
            wart3.ustaw('p', false);
            wart3.ustaw('q', false);
            wart4.ustaw('p', true);



            // Poniżej próba podania złej nazwy
            wart1.ustaw('*', true);
        } catch (ZłaNazwaWUstaw źle) {
            System.out.println("  Wyjątek: " + źle);  // Ten wyjątek powinien raz wystąpić
        }

        try {
            System.out.println("  przy wartościowaniu: " + wart1 + " ma wartość: " + f.wartość(wart1));
            System.out.println("  przy wartościowaniu: " + wart2 + " ma wartość: " + f.wartość(wart2));
            System.out.println("  przy wartościowaniu: " + wart3 + " ma wartość: " + f.wartość(wart3));
            System.out.println("  przy wartościowaniu: " + wart4 + " ma wartość: " + f.wartość(wart4));
            System.out.println("  przy wartościowaniu: " + wart0 + " ma wartość: " + f.wartość(wart0));
        } catch (ZłaNazwaWDaj źle) {
            System.out.println("  Wyjątek: " + źle);  // ten wyjątek nie powinien wystąpić dla 5 niemających innych zmiennych niż p czy q
        } catch (BrakWartości źle) {
            System.out.println("  Wyjątek: " + źle);  // ten wyjątek powinien wystąpić dla wartościowania wart0, jeśli formuła zawiera zmienne p lub q
        }
    }

    public static void main(String[] args) {
        System.out.println("--- Początek testów formuł ---");
        Test t = new Test();

        // tworzenie pomocniczych formuł
        Formuła tt = new True();
        Formuła ff = new False();
        Formuła pp = new Zmienna('p');
        Formuła qq = new Zmienna('q');

        // testy
        t.test(tt);
        t.test(new Not(ff));
        t.test(qq);
        t.test(new And(pp, qq));
        t.test(new Or(pp, qq));
        t.test(new And(pp, new Or(new Not(qq), ff)));
        t.test(new Or(pp, new Not(pp)));

        System.out.println("--- Koniec testów formuł ---");
    }

}