poptContext poptFreeContext(poptContext con)
{
poptItem item;
int i;
if (con == NULL) return con;
poptResetContext(con);
con->os->argb = (pbm_set *)_free(con->os->argb);
if (con->aliases != NULL)
for (i = 0; i < con->numAliases; i++) {
item = con->aliases + i;
/*@-modobserver -observertrans -dependenttrans@*/
item->option.longName = (const char *)_free(item->option.longName);
item->option.descrip = (const char *)_free(item->option.descrip);
item->option.argDescrip = (const char *)_free(item->option.argDescrip);
/*@=modobserver =observertrans =dependenttrans@*/
item->argv = (const char **)_free(item->argv);
}
con->aliases = (poptItem)_free(con->aliases);
if (con->execs != NULL)
for (i = 0; i < con->numExecs; i++) {
item = con->execs + i;
/*@-modobserver -observertrans -dependenttrans@*/
item->option.longName = (const char *)_free(item->option.longName);
item->option.descrip = (const char *)_free(item->option.descrip);
item->option.argDescrip = (const char *)_free(item->option.argDescrip);
/*@=modobserver =observertrans =dependenttrans@*/
item->argv = (const char **)_free(item->argv);
}
con->execs = (poptItem)_free(con->execs);
con->leftovers = (const char **)_free(con->leftovers);
con->finalArgv = (const char **)_free(con->finalArgv);
con->appName = (const char *)_free(con->appName);
con->otherHelp = (const char *)_free(con->otherHelp);
con->execPath = (const char *)_free(con->execPath);
con->arg_strip = (pbm_set *)PBM_FREE(con->arg_strip);
con = (poptContext)_free(con);
return con;
}
int main(int argc, const char ** argv)
/*@globals pass2, fileSystem, internalState @*/
/*@modifies pass2, fileSystem, internalState @*/
{
int rc;
int ec = 0;
poptContext optCon;
const char ** rest;
int help = 0;
int usage = 0;
#if defined(HAVE_MCHECK_H) && defined(HAVE_MTRACE)
/*@-moduncon -noeffectuncon@*/
mtrace(); /* Trace malloc only if MALLOC_TRACE=mtrace-output-file. */
/*@=moduncon =noeffectuncon@*/
#endif
/*@-modobserver@*/
resetVars();
/*@=modobserver@*/
/*@-temptrans@*/
optCon = poptGetContext("test1", argc, argv, options, 0);
/*@=temptrans@*/
(void) poptReadConfigFile(optCon, "./test-poptrc");
#if 1
while ((rc = poptGetNextOpt(optCon)) > 0) /* Read all the options ... */
{};
poptResetContext(optCon); /* ... and then start over. */
/*@-modobserver@*/
resetVars();
/*@=modobserver@*/
#endif
pass2 = 1;
if ((rc = poptGetNextOpt(optCon)) < -1) {
fprintf(stderr, "test1: bad argument %s: %s\n",
poptBadOption(optCon, POPT_BADOPTION_NOALIAS),
poptStrerror(rc));
ec = 2;
goto exit;
}
if (help) {
poptPrintHelp(optCon, stdout, 0);
goto exit;
}
if (usage) {
poptPrintUsage(optCon, stdout, 0);
goto exit;
}
fprintf(stdout, "arg1: %d arg2: %s", arg1, arg2);
if (arg3)
fprintf(stdout, " arg3: %d", arg3);
if (inc)
fprintf(stdout, " inc: %d", inc);
if (shortopt)
fprintf(stdout, " short: %d", shortopt);
if (aVal != bVal)
fprintf(stdout, " aVal: %d", aVal);
if (aFlag != bFlag)
fprintf(stdout, " aFlag: %d", aFlag);
if (aInt != bInt)
fprintf(stdout, " aInt: %d", aInt);
if (aLong != bLong)
fprintf(stdout, " aLong: %ld", aLong);
/*@-realcompare@*/
if (aFloat != bFloat)
fprintf(stdout, " aFloat: %g", (double)aFloat);
if (aDouble != bDouble)
fprintf(stdout, " aDouble: %g", aDouble);
/*@=realcompare@*/
if (oStr != (char *)-1)
fprintf(stdout, " oStr: %s", (oStr ? oStr : "(none)"));
if (singleDash)
fprintf(stdout, " -");
rest = poptGetArgs(optCon);
if (rest) {
fprintf(stdout, " rest:");
while (*rest) {
fprintf(stdout, " %s", *rest);
rest++;
}
}
fprintf(stdout, "\n");
exit:
optCon = poptFreeContext(optCon);
#if defined(HAVE_MCHECK_H) && defined(HAVE_MTRACE)
/*@-moduncon -noeffectuncon@*/
muntrace(); /* Trace malloc only if MALLOC_TRACE=mtrace-output-file. */
/*@=moduncon =noeffectuncon@*/
#endif
return ec;
}
int main(int argc, const char ** argv)
/*@globals pass2, fileSystem, internalState @*/
/*@modifies pass2, fileSystem, internalState @*/
{
int rc;
int ec = 0;
poptContext optCon;
const char ** rest;
int help = 0;
int usage = 0;
#if defined(HAVE_MCHECK_H) && defined(HAVE_MTRACE)
/*@-moduncon -noeffectuncon@*/
mtrace(); /* Trace malloc only if MALLOC_TRACE=mtrace-output-file. */
/*@=moduncon =noeffectuncon@*/
#endif
/*@-modobserver@*/
resetVars();
/*@=modobserver@*/
/*@-temptrans@*/
optCon = poptGetContext("test1", argc, argv, options, 0);
/*@=temptrans@*/
(void) poptReadConfigFile(optCon, "./test-poptrc");
(void) poptReadDefaultConfig(optCon, 1);
poptSetExecPath(optCon, ".", 1);
#if 1
while ((rc = poptGetNextOpt(optCon)) > 0) /* Read all the options ... */
{};
poptResetContext(optCon); /* ... and then start over. */
/*@-modobserver@*/
resetVars();
/*@=modobserver@*/
#endif
pass2 = 1;
if ((rc = poptGetNextOpt(optCon)) < -1) {
fprintf(stderr, "test1: bad argument %s: %s\n",
poptBadOption(optCon, POPT_BADOPTION_NOALIAS),
poptStrerror(rc));
ec = 2;
goto exit;
}
if (help) {
poptPrintHelp(optCon, stdout, 0);
goto exit;
}
if (usage) {
poptPrintUsage(optCon, stdout, 0);
goto exit;
}
fprintf(stdout, "arg1: %d arg2: %s", arg1, arg2);
if (arg3)
fprintf(stdout, " arg3: %d", arg3);
if (inc)
fprintf(stdout, " inc: %d", inc);
if (shortopt)
fprintf(stdout, " short: %d", shortopt);
if (aVal != bVal)
fprintf(stdout, " aVal: %d", aVal);
if (aFlag != bFlag)
fprintf(stdout, " aFlag: 0x%x", aFlag);
if (aShort != bShort)
fprintf(stdout, " aShort: %hd", aShort);
if (aInt != bInt)
fprintf(stdout, " aInt: %d", aInt);
if (aLong != bLong)
fprintf(stdout, " aLong: %ld", aLong);
if (aLongLong != bLongLong)
fprintf(stdout, " aLongLong: %lld", aLongLong);
/*@-realcompare@*/
if (aFloat != bFloat)
fprintf(stdout, " aFloat: %g", (double)aFloat);
if (aDouble != bDouble)
fprintf(stdout, " aDouble: %g", aDouble);
/*@=realcompare@*/
if (aArgv != NULL) {
const char **av = aArgv;
const char * arg;
fprintf(stdout, " aArgv:");
while ((arg = *av++) != NULL)
fprintf(stdout, " %s", arg);
}
if (aBits) {
const char * separator = " ";
size_t i;
fprintf(stdout, " aBits:");
for (i = 0; i < nattributes; i++) {
if (!poptBitsChk(aBits, attributes[i]))
continue;
fprintf(stdout, "%s%s", separator, attributes[i]);
separator = ",";
}
}
/*@-nullpass@*/
if (oStr != (char *)-1)
fprintf(stdout, " oStr: %s", (oStr ? oStr : "(none)"));
/*@=nullpass@*/
if (singleDash)
fprintf(stdout, " -");
if (poptPeekArg(optCon) != NULL) {
rest = poptGetArgs(optCon);
if (rest) {
fprintf(stdout, " rest:");
while (*rest) {
fprintf(stdout, " %s", *rest);
rest++;
}
}
}
fprintf(stdout, "\n");
exit:
optCon = poptFreeContext(optCon);
#if defined(HAVE_MCHECK_H) && defined(HAVE_MTRACE)
/*@-moduncon -noeffectuncon@*/
muntrace(); /* Trace malloc only if MALLOC_TRACE=mtrace-output-file. */
/*@=moduncon =noeffectuncon@*/
#endif
return ec;
}