Example #1
0
void MAIN_setStatsFilename(const char* statsFilename) {
  OPT_setStringValue(STATSFILENAME_VALUE, statsFilename);
}
Example #2
0
void MAIN_setParseTableName(const char* parseTableName) {
  OPT_setStringValue(PARSETABLENAME_VALUE, parseTableName);
}
Example #3
0
void MAIN_setOutputFileName(const char* outputFileName) {
  OPT_setStringValue(OUTPUTFILENAME_VALUE, outputFileName);
}
Example #4
0
void MAIN_setInputFileName(const char* inputFileName) {
  OPT_setStringValue(INPUTFILENAME_VALUE, inputFileName);
}
Example #5
0
void PARSER_setDebugFilename(const char *filename) {
  OPT_setStringValue(DEBUGFILENAME_VALUE, filename);
}