コード例 #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
ファイル: C_declare_const.java プロジェクト: smtlib/jSMTLIB
 /** 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
ファイル: C_assert.java プロジェクト: smtlib/jSMTLIB
 /** 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(")");
 }