Searched refs:argTable (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dmpoly.cpp119 } argTable[] = variable in typeref:struct:__argtab
246 for (unsigned j = 0; j < sizeof(argTable)/sizeof(argTable[0]); j++)
248 size_t argl = _tcslen(argTable[j].argName);
249 if (_tcsncmp(argv[i], argTable[j].argName, argl) == 0)
253 if (argTable[j].argKey != OPT_REMOTESTATS)
266 Usage("Incomplete %s option\n", argTable[j].argName);
268 switch (argTable[j].argKey)
271 minsize = parseSize(p, argTable[j].argName);
274 maxsize = parseSize(p, argTable[
[all...]

Completed in 64 milliseconds