/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | process_env.cpp | 180 TempString buff(args->Word()); 181 if (buff == 0) raise_syscall(mdTaskData, "Insufficient memory", NOMEMORY); 182 TCHAR *res = _tgetenv(buff); 203 TempString buff(args->Word()); 204 if (buff == 0) raise_syscall(mdTaskData, "Insufficient memory", NOMEMORY); 212 argv[2] = buff; 225 argv[2] = buff; 395 TempString buff(path); 396 if (buff == 0) raise_syscall(mdTaskData, "Insufficient memory", NOMEMORY); 397 size_t length = _tcslen(buff); 616 char buff[40]; local 659 char buff[40]; local [all...] |
H A D | Console.h | 29 extern unsigned getConsoleInput(char *buff, int nChars);
|
H A D | diagnostics.cpp | 178 char buff[1024]; local 179 if (_vsnprintf(buff, sizeof(buff), msg, vl) > 0) 180 ::OutputDebugStringA(buff);
|
H A D | polystring.cpp | 84 POLYUNSIGNED Poly_string_to_C(PolyWord ps, char *buff, POLYUNSIGNED bufflen) argument 90 if (chars != 0) strncpy(buff, str->chars, chars); 91 buff[chars] = '\0'; 160 POLYUNSIGNED Poly_string_to_C(PolyWord ps, WCHAR *buff, POLYUNSIGNED bufflen) argument 167 if (bufflen != 0) buff[0] = 0; 172 int space = MultiByteToWideChar(codePage, 0, iPtr, iLength, buff, (int)bufflen-1); 176 if (bufflen != 0) buff[0] = 0; 180 buff[space] = 0; // Null terminate
|
H A D | polystring.h | 47 extern POLYUNSIGNED Poly_string_to_C(PolyWord ps, char *buff, POLYUNSIGNED bufflen); 82 extern POLYUNSIGNED Poly_string_to_C(PolyWord ps, WCHAR *buff, POLYUNSIGNED bufflen);
|
H A D | Console.cpp | 143 unsigned getConsoleInput(char *buff, int nChars) argument 184 buff[nRes++] = ch; 703 CHAR buff[4096]; local 705 if (! ReadFile(hReadFromML, buff, sizeof(buff)-1, &dwRead, NULL)) 707 buff[dwRead] = 0; 711 int wlen = MultiByteToWideChar(codePage, 0, buff, -1, NULL, 0); 714 wlen = MultiByteToWideChar(codePage, 0, buff, -1, wBuff, wlen); 718 SendMessage(hMainWindow, WM_ADDTEXT, 0, (LPARAM)buff); 953 LPSTR buff local 1035 TCHAR buff[256]; local [all...] |
H A D | poly_specific.cpp | 186 TempString buff((TCHAR*)malloc(valSize + (_tcslen(MODULEDIR) + 1)*sizeof(TCHAR))); 188 if (RegQueryValueEx(hk, _T("Path"), 0, &dwType, (LPBYTE)(LPTSTR)buff, &valSize) == ERROR_SUCCESS) 192 _tcscat(buff, MODULEDIR); 193 return SAVE(C_string_to_Poly(taskData, buff));
|
H A D | basicio.cpp | 599 byte *buff = (byte*)malloc(length); 600 if (buff == 0) raise_syscall(taskData, "Unable to allocate buffer", NOMEMORY); 604 haveRead = getConsoleInput((char*)buff, length); 608 haveRead = read(fd, buff, length); 611 Handle result = SAVE(C_string_to_Poly(taskData, (char*)buff, haveRead)); 612 free(buff); 615 free(buff); 1665 TempString buff((TCHAR*)malloc(space * sizeof(TCHAR))); 1666 if (buff == 0) raise_syscall(taskData, "Insufficient memory", NOMEMORY); 1667 if (GetCurrentDirectory(space, buff) [all...] |
H A D | mpoly.cpp | 471 static char buff[2000]; local 472 char *p = buff; 495 ASSERT((unsigned)(p - buff) < (unsigned)sizeof(buff)); 496 return buff;
|
H A D | savestate.cpp | 1270 AutoFree<char*> buff((char *)malloc(strlen(loader.errorResult) + 2 + _tcslen(loader.fileName) * sizeof(TCHAR) + 1)); 1272 sprintf(buff, "%s: %S", loader.errorResult, (TCHAR *)loader.fileName); 1274 sprintf(buff, "%s: %s", loader.errorResult, (TCHAR *)loader.fileName); 1276 raise_syscall(taskData, buff, loader.errNumber); 1324 AutoFree<char*> buff((char *)malloc(23 + _tcslen(fileNameBuff) * sizeof(TCHAR) + 1)); 1326 sprintf(buff, "Cannot open load file: %S", (TCHAR *)fileNameBuff); 1328 sprintf(buff, "Cannot open load file: %s", (TCHAR *)fileNameBuff); 1330 raise_syscall(taskData, buff, ERRORNUMBER); 1380 AutoFree<char*> buff((char *)malloc(23 + _tcslen(fileNameBuff) * sizeof(TCHAR) + 1)); 1381 if (buff [all...] |
H A D | timing.cpp | 301 char *format, buff[2048]; local 324 if (strftime(buff, sizeof(buff), format, &time) <= 0) 330 resString = taskData->saveVec.push(C_string_to_Poly(taskData, buff));
|
H A D | pecoffexport.cpp | 370 char buff[50]; 371 sprintf(buff, "area%0d", i); 372 writeSymbol(buff, 0, i+1, false);
|
H A D | elfexport.cpp | 685 char buff[50]; local 686 sprintf(buff, "area%1u", i); 687 writeSymbol(buff, 0, 0, STB_LOCAL, STT_OBJECT, s);
|
H A D | processes.cpp | 2217 SYSTEM_LOGICAL_PROCESSOR_INFORMATION *buff = 0; 2219 while (getProcInfo(buff, &space) == FALSE) 2223 free(buff); 2226 free(buff); 2227 buff = (PSYSTEM_LOGICAL_PROCESSOR_INFORMATION)malloc(space); 2228 if (buff == 0) return 0; 2235 if (buff[i].Relationship == RelationProcessorCore) 2238 free(buff);
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | Metafile.sml | 96 val buff = malloc (Word.fromInt(appSize + pictSize + 3)) value 100 copyStringToMem(buff, 0, applicationName); 101 copyStringToMem(buff, appSize+1, pictureName); 102 set8(buff, Word.fromInt(appSize + pictSize + 2), 0w0); 103 (cemf(hdc, name, r, buff) 104 handle ex => (free buff; raise ex)) before free buff 114 val buff = toCWord8vec v value 116 gdiComment (hdc, vecsize, buff) handle ex => (Memory.free buff; rais 130 val buff = malloc(Word.fromInt size) value 146 val buff = malloc(Word.fromInt size) value 169 val buff = malloc (Word.fromInt len) value 199 val buff = malloc (Word.fromInt size) value 242 val buff = malloc(Word.fromInt size) value [all...] |
H A D | DragDrop.sml | 53 val buff = malloc(Word.fromInt buffsize) value 55 dragQueryFile(hd, n, buff, buffsize) 56 handle ex => (free buff; raise ex) 58 fromCstring buff before free buff
|
H A D | Bitmap.sml | 399 val buff = malloc (Word.fromInt bytes) value 401 checkResult(gbb(hbm, bytes, buff) > 0) 402 handle ex => (free buff; raise ex) 404 fromCWord8vec (buff, bytes) before free buff 410 val buff = toCWord8vec w value 413 checkResult(sbb(hbm, Word8Vector.length w, buff) > 0) 414 handle ex => (free buff; raise ex) 416 free buff
|
H A D | Base.sml | 774 fun fromCstring buff = 779 fun sLen i = if get8(buff, i) = 0w0 then i else sLen(i+0w1) 782 Char.chr(Word8.toInt(get8(buff, Word.fromInt i))) 815 val buff = malloc (Word.fromInt(realLength+1)) value 816 val _ = f(buff, realLength) handle ex => (free buff; raise ex) 818 fromCstring buff before free buff 837 val buff = malloc (Word.fromInt(initialSize+1)) value 839 f(buff, initialSiz [all...] |
H A D | CommonControls.sml | 296 val buff = malloc (length+0w1) value 298 sendMsg(hWnd, 0x402, iPart, buff) 299 handle ex => (free buff; raise ex) 301 (if reply = 0 then "" else fromCstring buff, flags) before free buff
|
H A D | Window.sml | 247 val buff = malloc (Word.fromInt(baseLen+1)) value 248 val size = getTextCall(hwnd, buff, baseLen+1) 251 else fromCstring buff) before free buff
|
H A D | Clipboard.sml | 266 getStringCall(fn (buff, n) => getformat(f, buff, n))
|
H A D | CommonDialog.sml | 1004 val buff = GlobalLock mHandle value 1013 val off1 = copyString (buff ++ sizeDevN) driver; 1017 ignore(fromDN(buff, (devnameSize, devnameSize+sizeDriver+1, 1029 val buff = GlobalLock v value 1030 val (off0, off1, off2, def) = toDN buff 1033 val driver = fromCstring(buff ++ Word.fromInt off0) 1034 val device = fromCstring(buff ++ Word.fromInt off1) 1035 val output = fromCstring(buff ++ Word.fromInt off2)
|
/seL4-l4v-10.1.1/HOL4/examples/PSL/1.01/parser.mosmlyacc/ |
H A D | Main.sml | 93 Lexing.createLexer (fn buff => fn n => Nonstdio.buff_input is buff 0 n)
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
H A D | Pretty.sml | 281 val buff = ref "" value 285 val (a, b) = Substring.splitl(fn #"\n" => false | _ => true) (Substring.full(!buff ^ s)) 288 then buff := Substring.string a 316 buff := "";
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | PrimIO.sml | 138 val (buff, i, len) = ArraySlice.base slice value 144 Array.copyVec{src=r, dst = buff, di=i}; 193 val (buff, i, len) = ArraySlice.base slice value 201 Array.copyVec{src=r, dst = buff, di=i};
|