CnfContentBewiedTest testUnmodifiables

[Google Code Exporter]

Hallo,

Bei mir schlägt jetzt nur noch der letzte Test von testUnmodifiables fehl, 
also der wo getestet wird, ob die parentclauses unmodifiable sind.

Das Problem ist, wie soll man das implementieren, ohne zusätzliche public 
Methoden einzufügen auf die man dann von anderen Klassen zugreift.

Man weiß erst nach dem Konstruktor von Clauses, dass jetzt keine Parentclauses 
mehr kommen können, kann dann aber nicht auf die parentclauses der einzelnen 
Variablen zugreifen, da es nur eine addparenclause gibt.

für Tips wie ich dieses Problem lösen kann wäre ich sehr dankbar :)

Original issue reported on code.google.com by [e-mail] on 11 Jul 2012 at 12:04

[Google Code Exporter]

Tschuldigung, war ein Fehler. Es sollte aber mittlerweile eine neue Version 
online sein.
Dort steht dann:

}, new Runnable() {
    public void run() { // #5
        // SPEC: Not required
        // => DO NOT TEST
        if (STRICT) {
            vCnf.getVariables().add(createVariable("asd"));
        } else {
            throw new UnsupportedOperationException();
        }
    }
} };

Das ist markiert als "STRICT", da es tatsächlich NICHT gefordert ist, 
allerdings sehr wenig Mehraufwand bedeutet, und sehr, sehr viel Sinn macht.

Falls Dich die Fehlermeldung stört: Ändere "STRICT" (gaaanz oben) nach 
"false".

Falls Du es einhalten willst: Anstatt return blah; kannst Du auch 
Collections.unmodifiableXxx(blah) schreiben.

Im Projekt 4 wird sich das etwas einfacher handhaben lassen, da muss man dann 
nicht immer Dateien per Hand verändern, und die Änderungen gehen nicht 
verloren.

Original comment by [e-mail] on 11 Jul 2012 at 1:41

[Google Code Exporter]

Original comment by [e-mail] on 15 Jul 2012 at 12:48

• Changed state: Done