4v5u09Z5a4Yuc/mtgodot-poc
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

port: MSWindow/MSApplication verbatim over a winuser.h shim (Win32User.cpp)

Browse Source 
Host-side window records + message queue; WM_SIZE/WM_MOVE/WM_DESTROY sent
synchronously as Win32 does; PostQuitMessage also queues WM_QUIT. 64-bit
pointer casts ADAPTED. port.ms_window.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
shenlei
2026-09-30 13:19:36 +09:00
co-authored by Claude Opus 5.5
parent 80c5a1e39f
commit 5d64311a4d
13 changed files with 1186 additions and 170 deletions
Download Patch File Download Diff File Expand all files Collapse all files
audit/port-map/EterLib/MSApplication.cpp.json
+78
View File
@@ -0,0 +1,78 @@
{
"reference": "EterLib/MSApplication.cpp",
"reference_sha256": "d3be4da92ba850fd1e043c39d32cf1402928e2be84ec95fd875f9981538d52e9",
"priority": "P4",
"contracts": [],
"functions": {
"CMSApplication::CMSApplication": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSApplication.cpp:CMSApplication::CMSApplication"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSApplication::~CMSApplication": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSApplication.cpp:CMSApplication::~CMSApplication"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSApplication::Initialize": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSApplication.cpp:CMSApplication::Initialize"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSApplication::MessageLoop": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSApplication.cpp:CMSApplication::MessageLoop"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSApplication::IsMessage": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSApplication.cpp:CMSApplication::IsMessage"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSApplication::MessageProcess": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSApplication.cpp:CMSApplication::MessageProcess"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSApplication::WindowProcedure": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSApplication.cpp:CMSApplication::WindowProcedure"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
}
}
}
audit/port-map/EterLib/MSWindow.cpp.json
+258
View File
@@ -0,0 +1,258 @@
{
"reference": "EterLib/MSWindow.cpp",
"reference_sha256": "e1e01221043a37eb4394cf339716e17dfb4afc662426973c1ab7a9337898fff9",
"priority": "P4",
"contracts": [],
"functions": {
"MSWindowProcedure": {
"status": "ADAPTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:MSWindowProcedure"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "40250: GetWindowLong(GWL_USERDATA) gives the CMSWindow*. Port: GetWindowLongPtr(GWLP_USERDATA). Invariant: the pointer Create stored comes back whole on 64-bit."
},
"CMSWindow::WindowProcedure": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::WindowProcedure"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::OnSize": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::OnSize"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::Destroy": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::Destroy"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::Create": {
"status": "ADAPTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::Create"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "40250: SetWindowLong(GWL_USERDATA, (DWORD) this). Port: SetWindowLongPtr(GWLP_USERDATA, (LONG_PTR) this). Invariant: MSWindowProcedure reaches this object's WindowProcedure."
},
"CMSWindow::SetVisibleMode": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::SetVisibleMode"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::Show": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::Show"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::Hide": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::Hide"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::IsVisible": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::IsVisible"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::IsActive": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::IsActive"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::GetInstance": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::GetInstance"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::GetWindowHandle": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::GetWindowHandle"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::GetScreenWidth": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::GetScreenWidth"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::GetScreenHeight": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::GetScreenHeight"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::GetWindowRect": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::GetWindowRect"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::GetClientRect": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::GetClientRect"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::GetMousePosition": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::GetMousePosition"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::SetPosition": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::SetPosition"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::SetCenterPosition": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::SetCenterPosition"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::AdjustSize": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::AdjustSize"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::SetText": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::SetText"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::SetSize": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::SetSize"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::RegisterWindowClass": {
"status": "ADAPTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::RegisterWindowClass"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "40250: formats (DWORD) pfnWndProc into the class name. Port: (DWORD)(uintptr_t), the low 32 bits. Invariant: one class per style/brush/procedure, registered once."
},
"CMSWindow::CMSWindow": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::CMSWindow"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
},
"CMSWindow::~CMSWindow": {
"status": "PORTED",
"impl": [
"src/platform/EterLib/MSWindow.cpp:CMSWindow::~CMSWindow"
],
"test": [
"tests/port/port_ms_window_test.cpp"
],
"note": "verbatim over the <winuser.h> subset in src/platform/Win32User.cpp (host-side window records + message queue)"
}
}
}