Ejemplo n.º 1
0
        public void MarkTokens(IDocument document)
        {
            if (document == null)
            {
                throw new ArgumentNullException(nameof(document));
            }

            var tokens = GetHighlightedTokens(document.TextContent);

            var tokenEnum = tokens.GetEnumerator();
            var tokenEnd  = !tokenEnum.MoveNext();

            foreach (var line in document.LineSegmentCollection)
            {
                (line.Words = line.Words ?? new List <TextWord>()).Clear();

                var offset = line.Offset;

                while (!tokenEnd)
                {
                    if (offset >= line.Offset + line.Length)
                    {
                        break;
                    }

                    var token = tokenEnum.Current;
                    if (token.End <= offset)
                    {
                        tokenEnd = !tokenEnum.MoveNext();
                        continue;
                    }

                    if (offset < token.Start)
                    {
                        token = new HighlightedSegment <string>(offset, token.Start, null);
                    }

                    var end = Math.Min(line.Offset + line.Length, token.End);
                    line.Words.Add(new TextWord(document, line, offset - line.Offset, end - offset, this.GetColorFor(token.Value), true));
                    offset = end;
                }

                if (offset < line.Offset + line.Length)
                {
                    line.Words.Add(new TextWord(document, line, offset - line.Offset, line.Offset + line.Length - offset, this.GetColorFor(null), true));
                }
            }

            document.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.WholeTextArea));
            document.CommitUpdate();
        }
Ejemplo n.º 2
0
        public void MarkTokens(IDocument document)
        {
            if (document == null)
            {
                throw new ArgumentNullException(nameof(document));
            }

            var tokens = GetHighlightedTokens(document.TextContent);

            var tokenEnum = tokens.GetEnumerator();
            var tokenEnd = !tokenEnum.MoveNext();

            foreach (var line in document.LineSegmentCollection)
            {
                (line.Words = line.Words ?? new List<TextWord>()).Clear();

                var offset = line.Offset;

                while (!tokenEnd)
                {
                    if (offset >= line.Offset + line.Length)
                    {
                        break;
                    }

                    var token = tokenEnum.Current;
                    if (token.End <= offset)
                    {
                        tokenEnd = !tokenEnum.MoveNext();
                        continue;
                    }

                    if (offset < token.Start)
                    {
                        token = new HighlightedSegment<string>(offset, token.Start, null);
                    }

                    var end = Math.Min(line.Offset + line.Length, token.End);
                    line.Words.Add(new TextWord(document, line, offset - line.Offset, end - offset, this.GetColorFor(token.Value), true));
                    offset = end;
                }

                if (offset < line.Offset + line.Length)
                {
                    line.Words.Add(new TextWord(document, line, offset - line.Offset, line.Offset + line.Length - offset, this.GetColorFor(null), true));
                }
            }

            document.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.WholeTextArea));
            document.CommitUpdate();
        }