Esempio n. 1
0
const char *MAIN_getStatsFileName() {
  return OPT_getStringValue(STATSFILENAME_VALUE);
}
Esempio n. 2
0
const char *MAIN_getParseTableName() {
  return OPT_getStringValue(PARSETABLENAME_VALUE);
}
Esempio n. 3
0
const char *MAIN_getOutputFileName() {
  return OPT_getStringValue(OUTPUTFILENAME_VALUE);
}
Esempio n. 4
0
const char *MAIN_getInputFileName() {
  return OPT_getStringValue(INPUTFILENAME_VALUE);
}
Esempio n. 5
0
const char *PARSER_gerDebugFilename() {
  return OPT_getStringValue(DEBUGFILENAME_VALUE);
}