equal
deleted
inserted
replaced
26 #define OS_WINDOWS_VM_OS_WINDOWS_HPP |
26 #define OS_WINDOWS_VM_OS_WINDOWS_HPP |
27 // Win32_OS defines the interface to windows operating systems |
27 // Win32_OS defines the interface to windows operating systems |
28 |
28 |
29 // Information about the protection of the page at address '0' on this os. |
29 // Information about the protection of the page at address '0' on this os. |
30 static bool zero_page_read_protected() { return true; } |
30 static bool zero_page_read_protected() { return true; } |
|
31 |
|
32 // File conventions |
|
33 static const char* file_separator() { return "\\"; } |
|
34 static const char* line_separator() { return "\r\n"; } |
|
35 static const char* path_separator() { return ";"; } |
31 |
36 |
32 class win32 { |
37 class win32 { |
33 friend class os; |
38 friend class os; |
34 |
39 |
35 protected: |
40 protected: |