Searched refs:argName (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | mpoly.cpp | 116 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 D | unix_specific.cpp | 1932 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 D | GetOpt.sml | 115 | (ReqArg(act, argName), []) => if (SS.isEmpty arg) 116 then (errReq(argName, optStr); (NonOpt, []))
|
Completed in 38 milliseconds