internal PinHEvent(LinearHistoryTracer tracer, bool exclusiveLock, long filePageId, PageSwapper swapper) : base(tracer) { this.ExclusiveLock = exclusiveLock; this.FilePageId = filePageId; this.HitConflict = true; this.File = swapper.File(); }
internal FlushHEvent(LinearHistoryTracer tracer, long filePageId, long cachePageId, PageSwapper swapper) : base(tracer) { this.FilePageId = filePageId; this.CachePageId = cachePageId; this.PageCount = 1; this.File = swapper.File(); }
public override MajorFlushEvent BeginFileFlush(PageSwapper swapper) { return(_tracer.add(new MajorFlushHEvent(_tracer, swapper.File()))); }
public override File File() { return(@delegate.File()); }