Searched refs:buff (Results 1 - 25 of 27) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dprocess_env.cpp180 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 DConsole.h29 extern unsigned getConsoleInput(char *buff, int nChars);
H A Ddiagnostics.cpp178 char buff[1024]; local
179 if (_vsnprintf(buff, sizeof(buff), msg, vl) > 0)
180 ::OutputDebugStringA(buff);
H A Dpolystring.cpp84 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 Dpolystring.h47 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 DConsole.cpp143 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 Dpoly_specific.cpp186 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 Dbasicio.cpp599 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 Dmpoly.cpp471 static char buff[2000]; local
472 char *p = buff;
495 ASSERT((unsigned)(p - buff) < (unsigned)sizeof(buff));
496 return buff;
H A Dsavestate.cpp1270 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 Dtiming.cpp301 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 Dpecoffexport.cpp370 char buff[50];
371 sprintf(buff, "area%0d", i);
372 writeSymbol(buff, 0, i+1, false);
H A Delfexport.cpp685 char buff[50]; local
686 sprintf(buff, "area%1u", i);
687 writeSymbol(buff, 0, 0, STB_LOCAL, STT_OBJECT, s);
H A Dprocesses.cpp2217 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 DMetafile.sml96 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 DDragDrop.sml53 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 DBitmap.sml399 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 DBase.sml774 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 DCommonControls.sml296 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 DWindow.sml247 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 DClipboard.sml266 getStringCall(fn (buff, n) => getformat(f, buff, n))
H A DCommonDialog.sml1004 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 DMain.sml93 Lexing.createLexer (fn buff => fn n => Nonstdio.buff_input is buff 0 n)
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DPretty.sml281 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 DPrimIO.sml138 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};

Completed in 202 milliseconds

12