functions in prettyprinter

lang/src/main/java/edu/kit/iti/formal/psdbg/parser/ASTDiff.java

@@ -2,7 +2,7 @@ package edu.kit.iti.formal.psdbg.parser;
 
 import edu.kit.iti.formal.psdbg.parser.ast.*;
 
-public class ASTDiff implements Visitor<ASTNode> {
+public class ASTDiff extends DefaultASTVisitor<ASTNode> {
     private ASTNode other;
 
     private ProofScript newScript;

lang/src/main/java/edu/kit/iti/formal/psdbg/parser/PrettyPrinter.java

@@ -166,7 +166,7 @@ public class PrettyPrinter extends DefaultASTVisitor<Void> {
         }
      /*   if (casesStatement.getDefaultCase() != null) {
             s.append("default {");
-            casesStatement.getDefaultCase().accept(this);
+            casesStatement.getDefaultCase().visit(this);
             cl();
             s.append("}");
         }*/
@@ -271,6 +271,19 @@ public class PrettyPrinter extends DefaultASTVisitor<Void> {
 
     }
 
+    @Override
+    public Void visit(FunctionCall func) {
+        s.append(func.getFunction().getName())
+                .append('(');
+        func.getArguments().forEach(a -> {
+            a.accept(this);
+            s.append(", ");
+        });
+        s.delete(s.length() - 3, s.length() - 1); //delete last ', '
+        s.append(')');
+        return null;
+    }
+
     @Override
     public Void visit(Parameters parameters) {
         int nl = getLastNewline();