예제 #1
0
파일: C_what.java 프로젝트: smtlib/jSMTLIB
 /** Writes the command in the syntax of the given printer */
 public void write(Printer p) throws IOException {
   try {
     p.writer().append("(" + commandName);
     for (IIdentifier id : ids()) {
       p.writer().append(" ");
       id.accept(p);
     }
     p.writer().append(")");
   } catch (IVisitor.VisitorException e) {
     p.error(e.getMessage());
   }
 }
예제 #2
0
 /** Writes the command in the syntax of the given printer */
 public void write(Printer p) throws IOException, IVisitor.VisitorException {
   p.writer().append("(" + commandName + " ");
   symbol().accept(p);
   p.writer().append(" (");
   for (ISort s : argSorts()) {
     s.accept(p);
     p.writer().append(" ");
   }
   p.writer().append(") ");
   resultSort().accept(p);
   p.writer().append(")");
 }
예제 #3
0
 /** Writes out the command in S-expression syntax using the given printer */
 public void write(Printer p) throws IOException, IVisitor.VisitorException {
   p.writer().append("(" + commandName + " ");
   formula.accept(p);
   p.writer().append(")");
 }