Ejemplo n.º 1
0
        Task IScreenBuffer.SetDisplayTextGetter(MessageTextGetter displayTextGetter, CancellationToken cancellation)
        {
            if (this.displayTextGetter == displayTextGetter)
            {
                return(Task.FromResult(0));
            }
            this.displayTextGetter = displayTextGetter;
            changeNotification.Post();
            var currentTop = EnumScreenBufferLines().FirstOrDefault();

            return(PerformBuffersTransaction(
                       string.Format("SetDisplayTextGetter({0})", displayTextGetter),
                       cancellation, 
 modifyBuffers: tmp => Task.WhenAll(tmp.Select(b => b.LoadAround(GetMaxBufferSize(viewSize), cancellation))), 
 getPivotLine: (lines, bufs) => 
                         {
                
 var candidate = new DisplayLine();
                if (!currentTop.IsEmpty)
                {
                    candidate = lines.FirstOrDefault(l => MessagesComparer.Compare(l.Message, currentTop.Message) == 0 && l.LineIndex == currentTop.LineIndex); 
                                            if (candidate.IsEmpty)
                    {
                        candidate = lines.FirstOrDefault(l => MessagesComparer.Compare(l.Message, currentTop.Message) == 0);
                    }
                }
                if (candidate.IsEmpty)
                {
                    candidate = lines.FirstOrDefault();
                }
                if (candidate.IsEmpty)
                {
                    return null;
                }
                
                                   return Tuple.Create(candidate, -scrolledLines); 

            } 
)); 

        }
Ejemplo n.º 2
0
        async Task <double> IScreenBuffer.ShiftBy(double nrOfDisplayLines, CancellationToken cancellation)
        {
            var currentTop = EnumScreenBufferLines().FirstOrDefault();

            if (currentTop.IsEmpty)
            {
                return(0);
            }
            var saveScrolledLines = scrolledLines;

            var pivotLinePosition = await PerformBuffersTransaction(
                string.Format("ShiftBy({0})", nrOfDisplayLines),
                cancellation,
                modifyBuffers : tmp => Task.WhenAll(tmp.Select(buf =>
                                                               buf.LoadAround(GetMaxBufferSize(viewSize + Math.Abs(nrOfDisplayLines)), cancellation)
                                                               )),
                getPivotLine : MakePivotLineGetter(l =>
            {
                if (MessagesComparer.Compare(l.Message, currentTop.Message) == 0 && l.LineIndex == currentTop.LineIndex)
                {
                    return(-nrOfDisplayLines - scrolledLines);
                }
                return(null);
            })
                );

            if (!pivotLinePosition.HasValue)
            {
                return(0);
            }

            return(-saveScrolledLines - pivotLinePosition.Value);
        }
Ejemplo n.º 3
0
        public static int Compare(CursorPosition p1, CursorPosition p2)
        {
            if (p1 == null && p2 == null)
            {
                return(0);
            }
            if (p1 == null)
            {
                return(-1);
            }
            if (p2 == null)
            {
                return(1);
            }
            int i;

            i = MessagesComparer.Compare(p1.Message, p2.Message);
            if (i != 0)
            {
                return(i);
            }
            i = p1.TextLineIndex - p2.TextLineIndex;
            if (i != 0)
            {
                return(i);
            }
            i = p1.LineCharIndex - p2.LineCharIndex;
            return(i);
        }
Ejemplo n.º 4
0
 void IPresenter.SetMasterFocusedMessage(IBookmark value)
 {
     if (focusedMessage == value)
     {
         return;
     }
     if (focusedMessage != null && value != null && MessagesComparer.Compare(focusedMessage, value) == 0)
     {
         return;
     }
     focusedMessage = value;
     UpdateFocusedMessagePosition();
 }
Ejemplo n.º 5
0
        async Task IScreenBuffer.SetSources(IEnumerable <IMessagesSource> sources, CancellationToken cancellation)
        {
            string opName     = "SetSources";
            var    currentTop = EnumScreenBufferLines().FirstOrDefault();

            var oldBuffers = buffers;

            buffers = sources.ToDictionary(s => s, s => oldBuffers.ContainsKey(s) ? oldBuffers[s] : new SourceBuffer(s, diagnostics, displayTextGetter));
            if (!buffers.Keys.ToHashSet().SetEquals(oldBuffers.Keys))
            {
                buffersVersion++;
                changeNotification.Post();
            }

            if (!currentTop.IsEmpty)
            {
                var currentTopSourcePresent = buffers.ContainsKey(currentTop.Source);

                await PerformBuffersTransaction(
                    opName,
                    cancellation,
                    modifyBuffers : tmp => Task.WhenAll(tmp.Select(s => oldBuffers.ContainsKey(s.Source) ?
                                                                   s.LoadAround(GetMaxBufferSize(viewSize), cancellation) :
                                                                   s.LoadAt(currentTop.Message.Time.ToLocalDateTime(), GetMaxBufferSize(viewSize), cancellation)
                                                                   )),
                    getPivotLine : currentTopSourcePresent?MakePivotLineGetter(l =>
                {
                    if (MessagesComparer.Compare(l.Message, currentTop.Message) == 0 && l.LineIndex == currentTop.LineIndex)
                    {
                        return(-scrolledLines);
                    }
                    return(null);
                }) : (lines, bufs) =>
                {
                    var best = lines
                               .Select(l => new { l, diff = (l.Message.Time.ToLocalDateTime() - currentTop.Message.Time.ToLocalDateTime()).Abs() })
                               .Aggregate(new { l = new DisplayLine(), diff = TimeSpan.MaxValue }, (acc, l) => l.diff < acc.diff ? l : acc);
                    return(!best.l.IsEmpty ? Tuple.Create(best.l, 0d) : null);
                }
                    );
            }
            else
            {
                await PerformBuffersTransaction(
                    opName,
                    cancellation,
                    modifyBuffers : tmp => Task.FromResult(0),
                    getPivotLine : MakePivotLineGetter(l => 0)
                    );
            }
        }
Ejemplo n.º 6
0
        async Task <bool> IScreenBuffer.MoveToBookmark(
            IBookmark bookmark,
            BookmarkLookupMode mode,
            CancellationToken cancellation)
        {
            var matchMode = mode & BookmarkLookupMode.MatchModeMask;
            Func <DisplayLine, int> cmp = (DisplayLine l) =>
            {
                var ret = MessagesComparer.CompareLogSourceConnectionIds(l.Message.GetConnectionId(), bookmark.LogSourceConnectionId);
                if (ret == 0)
                {
                    ret = Math.Sign(l.Message.Position - bookmark.Position);
                }
                if (ret == 0)
                {
                    ret = Math.Sign(l.LineIndex - bookmark.LineIndex);
                }
                return(ret);
            };

            return(await PerformBuffersTransaction(
                       string.Format("MoveToBookmark({0})", mode),
                       cancellation,
                       modifyBuffers : tmp => Task.WhenAll(tmp.Select(buf =>
                                                                      matchMode == BookmarkLookupMode.ExactMatch && buf.Source.LogSourceHint?.ConnectionId == bookmark.LogSourceConnectionId ?
                                                                      buf.LoadAround(bookmark.Position, GetMaxBufferSize(viewSize) + bookmark.LineIndex, cancellation) :
                                                                      buf.LoadAt(bookmark.Time.ToLocalDateTime(), GetMaxBufferSize(viewSize) + bookmark.LineIndex, cancellation)
                                                                      )),
                       getPivotLine : (lines, bufs) =>
            {
                DisplayLine ret = new DisplayLine();
                if (matchMode == BookmarkLookupMode.ExactMatch)
                {
                    ret = lines.FirstOrDefault(l => cmp(l) == 0);
                }
                else if (matchMode == BookmarkLookupMode.FindNearestMessage)
                {
                    ret = lines.FirstOrDefault(l => cmp(l) >= 0);
                    if (ret.IsEmpty)
                    {
                        ret = lines.LastOrDefault(l => cmp(l) < 0);
                    }
                }
                return ret.Message == null ? null : Tuple.Create(ret, ComputeMatchedLinePosition(mode));
            }
                       ) != null);
        }
Ejemplo n.º 7
0
        public static int Compare(StateInspectorEvent evt1, MessageTimestamp evt2time, ILogSource evt2source, long evt2Position)
        {
            int sign = MessageTimestamp.Compare(evt1.Trigger.Timestamp.Adjust(evt1.Output.LogSource.TimeOffsets), evt2time);

            if (sign != 0)
            {
                return(sign);
            }
            sign = MessagesComparer.CompareLogSourceConnectionIds(
                evt1.Output.LogSource.GetSafeConnectionId(), evt2source.GetSafeConnectionId());
            if (sign != 0)
            {
                return(sign);
            }
            sign = Math.Sign(evt1.Trigger.StreamPosition - evt2Position);
            return(sign);
        }
Ejemplo n.º 8
0
 Task IScreenBuffer.Refresh(CancellationToken cancellation)
 {
     var currentTop = EnumScreenBufferLines().FirstOrDefault(); 
                     return(PerformBuffersTransaction(
                                                                                                 string.Format("Refresh()"),
                                                                                                 cancellation, 
 modifyBuffers: tmp => Task.WhenAll(tmp.Select(b => b.LoadAround(GetMaxBufferSize(viewSize), cancellation))), 
 getPivotLine: MakePivotLineGetter(l => 
                         {
         
                                      if (currentTop.IsEmpty)
         {
             
                                                return 0;
         }
         
                                      if (MessagesComparer.Compare(l.Message, currentTop.Message) == 0 && l.LineIndex == currentTop.LineIndex)
         {
             
                                               return -scrolledLines;
         }
         
                                 return null; 

     })
                                                                                                 ));
 }
Ejemplo n.º 9
0
        async Task <List <ScreenBufferEntry> > GetSelectedDisplayMessagesEntries()
        {
            var viewLines = screenBuffer.Messages;

            Func <CursorPosition, bool> isGoodDisplayPosition = p =>
            {
                if (p.Message == null)
                {
                    return(true);
                }
                return(p.DisplayIndex >= 0 && p.DisplayIndex < viewLines.Count);
            };

            var normSelection = selection.Normalize();

            if (normSelection.IsEmpty)
            {
                return(new List <ScreenBufferEntry>());
            }

            Func <List <ScreenBufferEntry> > defaultGet = () =>
            {
                int selectedLinesCount = normSelection.Last.DisplayIndex - normSelection.First.DisplayIndex + 1;
                return(viewLines.Skip(normSelection.First.DisplayIndex).Take(selectedLinesCount).ToList());
            };

            if (isGoodDisplayPosition(normSelection.First) && isGoodDisplayPosition(normSelection.Last))
            {
                // most common case: both positions are in the screen buffer at the moment
                return(defaultGet());
            }

            CancellationToken cancellation = CancellationToken.None;

            IScreenBuffer tmpBuf = screenBufferFactory.CreateScreenBuffer(initialBufferPosition: InitialBufferPosition.Nowhere);
            await tmpBuf.SetSources(screenBuffer.Sources.Select(s => s.Source), cancellation);

            if (!await tmpBuf.MoveToBookmark(bookmarksFactory.CreateBookmark(normSelection.First.Message, 0),
                                             BookmarkLookupMode.ExactMatch, cancellation))
            {
                // Impossible to load selected message into screen buffer. Rather impossible.
                return(defaultGet());
            }

            var tasks = screenBuffer.Sources.Select(async sourceBuf =>
            {
                var sourceMessages = new List <IMessage>();

                await sourceBuf.Source.EnumMessages(
                    tmpBuf.Sources.First(sb => sb.Source == sourceBuf.Source).Begin,
                    m =>
                {
                    if (MessagesComparer.Compare(m, normSelection.Last.Message) > 0)
                    {
                        return(false);
                    }
                    sourceMessages.Add(m);
                    return(true);
                },
                    EnumMessagesFlag.Forward,
                    LogProviderCommandPriority.AsyncUserAction,
                    cancellation
                    );

                return(new { Source = sourceBuf.Source, Messages = sourceMessages });
            }).ToList();

            await Task.WhenAll(tasks);

            cancellation.ThrowIfCancellationRequested();

            var messagesToSource = tasks.ToDictionary(
                t => (IMessagesCollection) new MessagesContainers.SimpleCollection(t.Result.Messages), t => t.Result.Source);

            return
                (new MessagesContainers.SimpleMergingCollection(messagesToSource.Keys)
                 .Forward(0, int.MaxValue)
                 .SelectMany(m =>
                             Enumerable.Range(0, GetTextToDisplay(m.Message.Message).GetLinesCount()).Select(
                                 lineIdx => new ScreenBufferEntry()
            {
                TextLineIndex = lineIdx,
                Message = m.Message.Message,
                Source = messagesToSource[m.SourceCollection],
            }
                                 )
                             )
                 .TakeWhile(m => CursorPosition.Compare(CursorPosition.FromViewLine(m.ToViewLine(), 0), normSelection.Last) <= 0)
                 .ToList());
        }
Ejemplo n.º 10
0
 public int Compare(IEnumerator <PostprocessedMessage> x, IEnumerator <PostprocessedMessage> y)
 {
     return(MessagesComparer.Compare(x.Current.Message, y.Current.Message));
 }
Ejemplo n.º 11
0
        async Task <bool> IScreenBuffer.MoveToBookmark(
            IBookmark bookmark,
            BookmarkLookupMode mode,
            CancellationToken cancellation)
        {
            using (CreateTrackerForNewOperation(string.Format("MoveToBookmark({0})", mode), cancellation))
            {
                var matchMode                = mode & BookmarkLookupMode.MatchModeMask;
                MessageTimestamp dt          = bookmark.Time;
                long             position    = bookmark.Position;
                int    lineIndex             = bookmark.LineIndex;
                string logSourceCollectionId = bookmark.LogSourceConnectionId;
                var    tmp   = buffers.ToDictionary(s => s.Key, s => new SourceBuffer(s.Value));
                var    tasks = tmp.Select(s => new
                {
                    buf  = s.Value,
                    task =
                        (buffers.Count == 1 && matchMode == BookmarkLookupMode.ExactMatch) ?
                        GetScreenBufferLines(s.Key, position, bufferSize, EnumMessagesFlag.Forward | EnumMessagesFlag.IsActiveLogPositionHint, isRawLogMode, cancellation) :
                        GetScreenBufferLines(s.Key, dt.ToLocalDateTime(), bufferSize, isRawLogMode, cancellation),
                }).ToList();
                await Task.WhenAll(tasks.Select(i => i.task));

                cancellation.ThrowIfCancellationRequested();
                foreach (var t in tasks)
                {
                    t.buf.Set(t.task.Result);
                }
                bool messageFound = false;
                if (matchMode == BookmarkLookupMode.FindNearestTime)
                {
                    messageFound = true;
                }
                else
                {
                    foreach (var i in GetMessagesInternal(tmp.Values).Forward(0, int.MaxValue))
                    {
                        var cmp = MessagesComparer.CompareLogSourceConnectionIds(i.Message.Message.GetConnectionId(), logSourceCollectionId);
                        if (cmp == 0)
                        {
                            cmp = Math.Sign(i.Message.Message.Position - position);
                        }
                        if (cmp == 0)
                        {
                            cmp = Math.Sign(((SourceBuffer)i.SourceCollection).Get(i.SourceIndex).LineIndex - lineIndex);
                        }
                        if (matchMode == BookmarkLookupMode.ExactMatch)
                        {
                            messageFound = cmp == 0;
                        }
                        else if (matchMode == BookmarkLookupMode.FindNearestBookmark)
                        {
                            messageFound = cmp > 0;
                        }
                        if (messageFound)
                        {
                            break;
                        }
                        var sb = ((SourceBuffer)i.SourceCollection);
                        sb.UnnededTopMessages++;
                    }
                }
                if (!messageFound)
                {
                    if (matchMode == BookmarkLookupMode.FindNearestBookmark)
                    {
                        await MoveToStreamsEndInternal(cancellation);

                        return(true);
                    }
                    return(false);
                }

                buffers = tmp;

                FinalizeSourceBuffers();

                if (AllLogsAreAtEnd())
                {
                    await MoveToStreamsEndInternal(cancellation);
                }
                else
                {
                    SetScrolledLines(0);
                    if ((mode & BookmarkLookupMode.MoveBookmarkToMiddleOfScreen) != 0)
                    {
                        var additionalSpace = ((int)Math.Floor(viewSize) - 1) / 2;
                        if (additionalSpace > 0)
                        {
                            await ShiftByInternal(-additionalSpace, cancellation);
                        }
                    }
                }

                return(true);
            }
        }
Ejemplo n.º 12
0
 public int Compare(QueueEntry x, QueueEntry y)
 {
     return(directionSign * MessagesComparer.Compare(x.enumerator.Current.Message, y.enumerator.Current.Message));
 }