protected static EventType GetEventType(HardwareWatchType type) { switch (type) { case HardwareWatchType.WatchRead: return EventType.WatchRead; case HardwareWatchType.WatchWrite: return EventType.WatchWrite; default: throw new InternalError (); } }