1 files changed, 150 insertions, 0 deletions
diff --git a/test/unit/parser/parser_builder_black.h b/test/unit/parser/parser_builder_black.h
new file mode 100644
index 000000000..f254580af
--- /dev/null
+++ b/test/unit/parser/parser_builder_black.h
@@ -0,0 +1,150 @@
+/*********************                                                        */
+/** parser_builder_black.h
+ ** Original author: cconway
+ ** Major contributors: none
+ ** Minor contributors (to current version): dejan, mdeters
+ ** This file is part of the CVC4 prototype.
+ ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
+ ** Courant Institute of Mathematical Sciences
+ ** New York University
+ ** See the file COPYING in the top-level source directory for licensing
+ ** information.
+ **
+ ** Black box testing of CVC4::parser::ParserBuilder.
+ **/
+
+#include <cxxtest/TestSuite.h>
+#include <ext/stdio_filebuf.h>
+#include <fstream>
+#include <iostream>
+#include <stdio.h>
+#include <string.h>
+#include <sys/stat.h>
+#include <unistd.h>
+
+#include "expr/command.h"
+#include "parser/parser.h"
+#include "parser/parser_builder.h"
+#include "parser/parser_options.h"
+
+typedef __gnu_cxx::stdio_filebuf<char> filebuf_gnu;
+
+using namespace CVC4;
+using namespace CVC4::parser;
+using namespace std;
+
+class ParserBuilderBlack : public CxxTest::TestSuite {
+
+  ExprManager *d_exprManager;
+
+  void checkEmptyInput(ParserBuilder& builder) {
+    Parser *parser = builder.build();
+    TS_ASSERT( parser != NULL );
+
+    Expr e = parser->nextExpression();
+    TS_ASSERT( e.isNull() );
+
+    delete parser;
+  }
+
+  void checkTrueInput(ParserBuilder& builder) {
+    Parser *parser = builder.build();
+    TS_ASSERT( parser != NULL );
+
+    Expr e = parser->nextExpression();
+    TS_ASSERT_EQUALS( e, d_exprManager->mkConst(true) );
+
+    e = parser->nextExpression();
+    TS_ASSERT( e.isNull() );
+    delete parser;
+  }
+
+  char* mkTemp() {
+    char *filename = strdup("/tmp/testinput.XXXXXX");
+    int fd = mkstemp(filename);
+    TS_ASSERT( fd != -1 );
+    close(fd);
+    return filename;
+  }
+
+public:
+
+  void setUp() {
+    d_exprManager = new ExprManager;
+  }
+
+  void tearDown() {
+    delete d_exprManager;
+  }
+
+  void testEmptyFileInput() {
+    char *filename = mkTemp();
+
+    /* FILE *fp = tmpfile(); */
+    /* filebuf_gnu fs( fd, ios_base::out ); */
+
+    /* ptr = tmpnam(filename); */
+    /* std::fstream fs( ptr, fstream::out ); */
+    /* fs.close(); */
+
+    checkEmptyInput(
+      ParserBuilder(*d_exprManager,filename)
+        .withInputLanguage(LANG_CVC4)
+                    );
+
+    remove(filename);
+    //    mkfifo(ptr, S_IWUSR | s_IRUSR);    
+  }
+
+  void testSimpleFileInput() {
+    char *filename = mkTemp();
+
+    std::fstream fs( filename, fstream::out );
+    fs << "TRUE" << std::endl;
+    fs.close();
+
+    checkTrueInput(
+      ParserBuilder(*d_exprManager,filename)
+        .withInputLanguage(LANG_CVC4)
+                   );
+
+    remove(filename);
+  }
+
+  void testEmptyStringInput() {
+    checkEmptyInput(
+      ParserBuilder(*d_exprManager,"foo")
+        .withInputLanguage(LANG_CVC4)
+        .withStringInput("")
+                    );
+  }
+
+  void testTrueStringInput() {
+    checkTrueInput(
+      ParserBuilder(*d_exprManager,"foo")
+        .withInputLanguage(LANG_CVC4)
+        .withStringInput("TRUE")
+                   );
+  }
+
+  void testEmptyStreamInput() {
+    stringstream ss( "", ios_base::in );
+    checkEmptyInput(
+      ParserBuilder(*d_exprManager,"foo")
+        .withInputLanguage(LANG_CVC4)
+        .withStreamInput(ss)
+                    );
+  }
+
+  void testTrueStreamInput() {
+    stringstream ss( "TRUE", ios_base::in );
+    checkTrueInput(
+      ParserBuilder(*d_exprManager,"foo")
+        .withInputLanguage(LANG_CVC4)
+        .withStreamInput(ss)
+                   );
+  }
+
+
+
+}; // class ParserBuilderBlack