public SnapshotReader(Win32MemoryMappedFile file) { Contract.Requires(file != null); //TODO: && file.CanRead ? m_file = file; }