Searched refs:hInstance (Results 1 - 11 of 11) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/ |
| H A D | polyimport.c | 33 int WINAPI WinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLine, int nCmdShow) argument
35 return PolyWinMain(hInstance, hPrevInstance, lpCmdLine, nCmdShow, 0);
|
| H A D | polyexports.h | 104 extern POLYLIB_API int PolyWinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance,
|
| /seL4-l4v-master/HOL4/polyml/libpolymain/ |
| H A D | polystub.c | 34 int WINAPI WinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLine, int nCmdShow) argument
36 return PolyWinMain(hInstance, hPrevInstance, lpCmdLine, nCmdShow, &poly_exports);
|
| /seL4-l4v-master/HOL4/polyml/interruptpoly/ |
| H A D | interruptpoly.c | 75 HINSTANCE hInstance, // handle to current instance
74 WinMain( HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLine, int nCmdShow ) argument
|
| /seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Class.sml | 67 hInstance: HINSTANCE,
143 hInstance: HINSTANCE,
159 hInstance: HINSTANCE,
176 hInstance,
211 val (_, style, wproc, _, _, hInstance, hIcon, hCursor, hbrBackGround,
227 {style = Style.fromWord(LargeWord.fromInt style), wndProc = wndProc, hInstance = hInstance,
|
| H A D | Globals.sml | 48 (* The current hInstance is also returned as Foreign.System.loadExecutable. *)
|
| H A D | CommonDialog.sml | 630 inst, (* hInstance *)
793 inst, (* hInstance *)
1506 HWND hInstance;
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | winstartup.cpp | 306 HINSTANCE hInstance,
317 hApplicationInstance = hInstance;
497 wndClass.hInstance = hInstance;
512 hInstance,
305 PolyWinMain( HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLineUnused, int nCmdShow, exportDescription *exports ) argument
|
| H A D | winguiconsole.cpp | 646 wndClass.hInstance = hApplicationInstance;
|
| /seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/Examples/ |
| H A D | bitViewer.sml | 239 hInstance = app,
|
| H A D | mlEdit.sml | 611 wndProc = wndProc, hInstance = app,
|
Completed in 173 milliseconds