int
main(int argc, char *argv[]) {
bool testSerialization = false;
parseCommandLine(argc, argv, testSerialization /*in,out*/);
unsigned lineNumber = 0;
while (1) {
// Prompt for and read a line containing one expression
++lineNumber;
#ifdef ROSE_HAVE_LIBREADLINE
char *line = readline("> ");
if (!line)
break;
add_history(line);
#else
char *line = NULL;
size_t linesz = 0;
printf("> ");
ssize_t nread = rose_getline(&line, &linesz, stdin);
if (nread <= 0)
break;
while (nread > 0 && isspace(line[nread-1]))
line[--nread] = '\0';
#endif
// Parse the expression
try {
SymbolicExpr::Ptr expr = symbolicParser().parse(line);
std::cout <<"Parsed value = " <<*expr <<"\n\n";
#ifdef ROSE_HAVE_BOOST_SERIALIZATION_LIB
if (testSerialization) {
std::cout <<"Serializing\n";
std::ostringstream oss;
boost::archive::text_oarchive out(oss);
out.template register_type<SymbolicExpr::Interior>();
out.template register_type<SymbolicExpr::Leaf>();
out <<expr;
std::cout <<"Deserializing\n";
std::istringstream iss(oss.str());
boost::archive::text_iarchive in(iss);
SymbolicExpr::Ptr expr2;
in.template register_type<SymbolicExpr::Interior>();
in.template register_type<SymbolicExpr::Leaf>();
in >>expr2;
std::cout <<"Restored value = " <<*expr2 <<"\n\n";
if (!expr->isEquivalentTo(expr2))
std::cerr <<"error: serialization failed structural equivalence test\n";
}
#endif
} catch (const SymbolicExprParser::SyntaxError &e) {
std::cerr <<e <<"\n";
if (e.lineNumber != 0) {
std::cerr <<" input: " <<line <<"\n"
<<" here---" <<std::string(e.columnNumber, '-') <<"^\n\n";
}
} catch (const rose::FailedAssertion &e) {
std::cerr <<"\n"; // message has already been printed.
}
free(line);
}
}
