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();
}
}