END_TEST
START_TEST (test_L3FormulaFormatter_collapseMinus)
{
StringBuffer_t *sb = StringBuffer_create(42);
char *s = StringBuffer_getBuffer(sb);
ASTNode_t *n = ASTNode_create();
ASTNode_t *c = ASTNode_create();
ASTNode_t *c2 = ASTNode_create();
ASTNode_t *c3 = ASTNode_create();
ASTNode_t *c4 = ASTNode_create();
L3ParserSettings_t* l3ps = L3ParserSettings_create();
ASTNode_setType(n, AST_MINUS);
ASTNode_setType(c, AST_MINUS);
ASTNode_addChild(n, c);
ASTNode_setType(c2, AST_MINUS);
ASTNode_addChild(c, c2);
ASTNode_setType(c3, AST_MINUS);
ASTNode_addChild(c2, c3);
ASTNode_setName(c4, "x");
ASTNode_addChild(c3, c4);
//default (false)
s = SBML_formulaToL3StringWithSettings(n, l3ps);
fail_unless( !strcmp(s, "----x"), NULL );
safe_free(s);
//explicit false
L3ParserSettings_setParseCollapseMinus(l3ps, 0);
s = SBML_formulaToL3StringWithSettings(n, l3ps);
fail_unless( !strcmp(s, "----x"), NULL );
safe_free(s);
//explicit true
L3ParserSettings_setParseCollapseMinus(l3ps, 1);
s = SBML_formulaToL3StringWithSettings(n, l3ps);
fail_unless( !strcmp(s, "x"), NULL );
safe_free(s);
ASTNode_free(n);
L3ParserSettings_free(l3ps);
}
int
main (int argc, char* argv[])
{
char *line;
char *result;
char *buffer = (char*)calloc( 1, sizeof(char) );
unsigned long len;
L3ParserSettings_t* settings;
int reading = 1;
SBMLDocument_t* doc = NULL;
printf( "\n" );
printf( "This program translates infix formulas into MathML and\n" );
printf( "vice-versa. An 'enter' or a 'return' on an empty line\n" );
printf( "triggers translation.\n" );
printf( "\n" );
settings = L3ParserSettings_create();
while (reading)
{
printf( "Enter infix formula, MathML expression, \n");
printf( "or change parsing rules with the keywords:\n");
printf( "LOG_AS_LOG10, LOG_AS_LN, LOG_AS_ERROR, EXPAND_UMINUS, ");
printf( "COLLAPSE_UMINUS, TARGETL2, TARGETL3, NO_UNITS, UNITS, ");
printf( "or FILE:<filename>\n\n\n" );
printf( "> " );
do
{
line = trim_whitespace(get_line(stdin));
len = (unsigned int)strlen(line);
if (len > 0)
{
buffer = (char *) realloc( buffer, 1 + strlen(buffer) + len );
if (strcmp(line, "LOG_AS_LOG10")==0) {
L3ParserSettings_setParseLog(settings, L3P_PARSE_LOG_AS_LOG10);
printf( "Now parsing 'log(x)' as 'log10(x)'\n\n> ");
}
else if (strcmp(line, "LOG_AS_LN")==0) {
L3ParserSettings_setParseLog(settings, L3P_PARSE_LOG_AS_LN);
printf( "Now parsing 'log(x)' as 'ln(x)'\n\n> ");
}
else if (strcmp(line, "LOG_AS_ERROR")==0) {
L3ParserSettings_setParseLog(settings, L3P_PARSE_LOG_AS_ERROR);
printf( "Now parsing 'log(x)' as an error\n\n> ");
}
else if (strcmp(line, "EXPAND_UMINUS")==0) {
L3ParserSettings_setParseCollapseMinus(settings, 0);
printf( "Will now leave multiple unary minuses expanded, ");
printf("and all negative numbers will be translated using the ");
printf("<minus> construct.\n\n> ");
}
else if (strcmp(line, "COLLAPSE_UMINUS")==0) {
L3ParserSettings_setParseCollapseMinus(settings, 1);
printf( "Will now collapse multiple unary minuses, and incorporate ");
printf("a negative sign into digits.\n\n> ");
}
else if (strcmp(line, "NO_UNITS")==0) {
L3ParserSettings_setParseUnits(settings, 0);
printf( "Will now target MathML but with no units on numbers.\n\n> ");
}
else if (strcmp(line, "UNITS")==0) {
L3ParserSettings_setParseUnits(settings, 1);
printf( "Will now target MathML but with units on numbers.\n\n> ");
}
else if (line[0] == 'F' && line[1] == 'I' && line[2]=='L'
&& line[3]=='E' && line[4]==':') {
int len = strlen(line);
char *filename = (char*) malloc(len-5+1);
strncpy(filename, line+5, len-5);
SBMLDocument_free(doc);
doc = readSBMLFromFile(filename);
if (SBMLDocument_getModel(doc)==NULL) {
printf( "File '%s' not found or no model present.", filename);
printf( "Clearing the Model parsing object.\n\n> ");
}
else {
printf( "Using model from file %s to parse infix:", filename);
printf( "all symbols present in that model will not be translated ");
printf( "as native MathML or SBML-defined elements.\n\n> ");;
}
L3ParserSettings_setModel(settings, SBMLDocument_getModel(doc));
}
else
{
strncat(buffer, line, len);
strncat(buffer, "\n", 1);
}
}
else
{
result = (buffer[0] == '<') ?
translateMathML(buffer) : translateInfix(buffer, settings);
printf("Result:\n\n%s\n\n\n", result);
free(result);
reading = 0;
}
}
while (len > 0);
}
free(line);
return 0;
}
