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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dmpoly.cpp116 const TCHAR *argName; member in struct:__argtab
248 size_t argl = _tcslen(argTable[j].argName);
249 if (_tcsncmp(argv[i], argTable[j].argName, argl) == 0)
266 Usage("Incomplete %s option\n", argTable[j].argName);
271 minsize = parseSize(p, argTable[j].argName);
274 maxsize = parseSize(p, argTable[j].argName);
277 initsize = parseSize(p, argTable[j].argName);
282 Usage("Malformed %s option\n", argTable[j].argName);
285 Usage("%s argument must be between 1 and 99\n", argTable[j].argName);
291 POLYUNSIGNED reserve = parseSize(p, argTable[j].argName);
[all...]
H A Dunix_specific.cpp1932 char argName[200]; local
1936 length = Poly_string_to_C(DEREFWORD(args), argName, 200);
1940 if (strcmp(argName, sysArgTable[i].saName) == 0) break;
1942 if (strcmp(argName, sysArgTable[i].saName+4) == 0) break;
1987 char argName[200]; local
1990 length = Poly_string_to_C(ps, argName, 200);
1994 if (strcmp(argName, pathConfTable[i].pcName) == 0)
1997 if (strcmp(argName, pathConfTable[i].pcName+4) == 0)
/seL4-l4v-master/HOL4/tools/Holmake/
H A DGetOpt.sml115 | (ReqArg(act, argName), []) => if (SS.isEmpty arg)
116 then (errReq(argName, optStr); (NonOpt, []))

Completed in 38 milliseconds