Why I hate Java, as demostrated in 251, assignment 4: ================================================================================ Not functional: b.addTerm(newvar, true); if(!TryAllPossibilities(e1, e2, b, v)) return false; b.setTerm(newvar, false); if(!TryAllPossibilities(e1, e2, b, v)) return false; return true; instead of return TryAllPossibilities(e1, e2, b.addTerm(newvar, true)) && TryAllPossibilities(e1, e2, b.addTerm(newvar, false)) ================================================================================ char's aren't objects - can't be put in vectors ================================================================================ ((Character)(v.remove(0))).charValue(); - need I say more? ================================================================================ Also, every single *Expression class must import java.util.vector ================================================================================ javac file.java, yet java file; why not java file.class? ================================================================================ System.out.println? What's wrong with printf? ================================================================================ Exception in thread "main" java.lang.AbstractMethodError: expressions.DisjunctionExpression.getTermList()Ljava/util/Vector; What? On inserting debug info, it went away, and was replaced by a comprehesnsible error message (see two below) ================================================================================ Used v.add instead of v.addall for non-atomic expressions - have to modify all 5 files to make it work now. ================================================================================ Java's auto-recompilation seems broken - it gives Exceptions, I fix them, they still happen. I put a System.out.println in a different file to debug, and it suddenly works. ================================================================================ Continuing from above - a file is not being recompiled. Manually recompiling it, it errors, since I forgot to import java.util.Vector. I fix it, and recompiling Driver still breaks. I manually recompile it, and then stuff works.