static Specific() { if (Environment.OSVersion.Platform == PlatformID.Win32NT) { PlatformHighResolutionTime = new Windows.HighResolutionTime(); PlatformThreading = new Windows.Threading(); } else { PlatformHighResolutionTime = new Standard.HighResolutionTime(); PlatformThreading = new Standard.Threading(); } }
static Specific() { if (Environment.OSVersion.Platform == PlatformID.Win32NT) { // Windows high-resolution timer APIs (e.g. TimeSetEvent in winmm.dll) are unavaliable on ARM PlatformHighResolutionTime = new Windows.HighResolutionTime(); PlatformThreading = new Windows.Threading(); FileHelper = new Windows.FileHelper(); } else { PlatformHighResolutionTime = new Standard.HighResolutionTime(); PlatformThreading = new Standard.Threading(); FileHelper = new Standard.FileHelper(); } }