/// <summary> /// Deterministic cache record error /// </summary> /// <param name="cacheId">CacheId</param> /// <param name="oldRecord">Existing cache record</param> /// <param name="newRecord">Attempted new cache record</param> /// <remarks> /// This failure is raised when a cache record that is marked as /// deterministic is unable to be added to the cache due to a /// prior, non-matching record. If the records do match then /// the determinism is re-affirmed and not an error. /// </remarks> public NotDeterministicFailure(string cacheId, FullCacheRecord oldRecord, FullCacheRecord newRecord) { Contract.Requires(cacheId != null); Contract.Requires(oldRecord != null); Contract.Requires(newRecord != null); m_description = string.Format(CultureInfo.InvariantCulture, "Cache: {0} - Deterministic record {1} has a non-matching prior value {2}", cacheId, newRecord, oldRecord); }
/// <summary> /// Initializes a new instance of the <see cref="FullCacheRecordWithDeterminism"/> struct. /// </summary> public FullCacheRecordWithDeterminism(FullCacheRecord record) { Contract.Requires(record != null); Record = record; Determinism = record.CasEntries.Determinism; }