package de.fhro.inf.fp;import java.util.Map;import java.util.Stack;import java.util.StringTokenizer;public class Formula implements UnaryPredicate { /** erlaubte Operationen */ private final static int NOT = 0; private final static int AND = 1; private final static int OR = 2; private final static int PREDICATE = 3; private static int type(String tok) { if (tok.equals("NOT")) return NOT; else if (tok.equals("AND")) return AND; else if (tok.equals("OR")) return OR; else return PREDICATE; } private UnaryPredicate executable; /** * erzeugt ein unäres Prädikat, das beliebig oft ausgeführt werden kann * * @param frm eine Formel in Postfix-Form mit AND, OR und NOT * @param namespace ein Verzeichnis der Praedikate. Die Namen der Praedikate * sind die terminalen Symbole der Formel. */ public Formula(String frm, Map namespace) { executable = compile(frm, namespace); } /** * wendet das unäre Prädikat (die Formel) auf ein Objekt (die Eingabe) an */ public boolean execute(Object obj) { return executable.execute(obj); } /** * wandelt eine Formel in Postfix-Notation in ein unäres Prädikat um * * @return unäres Prädikat das der Formel entspricht */ private UnaryPredicate compile(String frm, Map namespace) { Stack stack = new Stack(); // Stack von unären Prädikaten // hier wuerden sich Generics fuer den Stack anbieten StringTokenizer s = new StringTokenizer(frm); while (s.hasMoreTokens()) { String token = s.nextToken(); switch (type(token)) { case PREDICATE: stack.push(namespace.get(token)); break; case NOT: stack.push(new UnaryNot((UnaryPredicate) stack.pop()) ); break; // break aus der switch anweisung? case AND: stack.push(new UnaryAnd((UnaryPredicate) stack.pop(), (UnaryPredicate) stack.pop()) ); break; case OR: stack.push(new UnaryOr((UnaryPredicate) stack.pop(), (UnaryPredicate) stack.pop()) ); break; } } executable = (UnaryPredicate) stack.pop(); // TODO richtiges return return executable; }}