code review 3699041: godoc: support for regular expression full text search

src/cmd/godoc/format.go

+// Copyright 2010 The Go Authors. All rights reserved.

[r, 2011/01/09 00:08:55]

2011?

[gri, 2011/01/10 23:15:01]

Done.

+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+// This file implements FormatSelections and FormatText.
+// FormatText is used to HTML-format Go and non-Go source
+// text with line numbers and highlighted sections. It is
+// built on top of FormatSelections, a generic formatter
+// for "selected" text.
+
+package main
+
+import (
+        "bytes"
+        "fmt"
+        "go/scanner"
+        "go/token"
+        "io"
+        "regexp"
+        "strconv"
+        "template"
+)
+
+
+// ----------------------------------------------------------------------------
+// Implementation of FormatSelections
+
+// A Selection is a function returning offset pairs []int{a, b}
+// describing consecutive non-overlapping text segments [a, b).
+// If there are no more segments, a Selection must return nil.
+//
+// TODO It's more efficient to return a pair (a, b int) instead
+//      of creating lots of slices. Need to determine how to
+//      indicate the end of a Selection.
+//
+type Selection func() []int
+
+
+// A LinkWriter writes some start or end "tag" to w for the text offset offs.
+// It is called by FormatSelections at the start or end of each link segment.
+//
+type LinkWriter func(w io.Writer, offs int, start bool)
+
+
+// A SegmentWriter formats a text according to selections and writes it to w.
+// The selections parameter is a bit set indicating which selections provided
+// to FormatSelections overlap with the text segment: If the n'th bit is set
+// in selections, the n'th selection provided to FormatSelections is overlapping
+// with the text.
+//
+type SegmentWriter func(w io.Writer, text []byte, selections int)
+
+
+// FormatSelections takes a text and writes it to w using link and segment
+// writers lw and sw as follows: lw is invoked for consecutive segment starts
+// and ends as specified through the links selection, and sw is invoked for
+// consecutive segments of text overlapped by the same selections as specified
+// by selections. The link writer lw may be nil, in which case the links
+// Selection is ignored.
+//
+func FormatSelections(w io.Writer, text []byte, lw LinkWriter, links Selection, sw SegmentWriter, selections ...Selection) {
+        if lw != nil {
+                selections = append(selections, links)
+        }
+        // compute the sequence of consecutive segment changes
+        changes := newMerger(selections)
+        // The i'th bit in bitset indicates that the text
+        // at the current offset is covered by selections[i].
+        bitset := 0
+        lastOffs := 0
+        for {
+                // get the next segment change
+                index, offs, start := changes.next()
+                if index < 0 || offs > len(text) {
+                        // no more segment changes or the next change
+                        // is past the end of the text - we're done
+                        break
+                }
+                // determine the kind of segment change
+                if index == len(selections)-1 {
+                        // we have a link segment change:
+                        // format the previous selection segment, write the
+                        // link tag and start a new selection segment
+                        sw(w, text[lastOffs:offs], bitset)
+                        lastOffs = offs
+                        lw(w, offs, start)
+                } else {
+                        // we have a selection change:
+                        // format the previous selection segment, determine
+                        // the new selection bitset and start a new segment·
+                        sw(w, text[lastOffs:offs], bitset)
+                        lastOffs = offs
+                        mask := 1 << uint(index)
+                        if start {
+                                bitset |= mask
+                        } else {
+                                bitset &^= mask
+                        }
+                }
+        }
+        sw(w, text[lastOffs:], bitset)
+}
+
+
+// A merger merges a slice of Selections and produces a sequence of
+// consecutive segment change events through repeated next() calls.
+//
+type merger struct {
+        selections []Selection
+        segments   [][]int // segments[i] is the next segment of selections[i]
+}
+
+
+const infinity int = 2e9
+
+func newMerger(selections []Selection) *merger {
+        segments := make([][]int, len(selections))
+        for i, sel := range selections {
+                segments[i] = []int{infinity, infinity}
+                if sel != nil {
+                        if seg := sel(); seg != nil {
+                                segments[i] = seg
+                        }
+                }
+        }
+        return &merger{selections, segments}
+}
+
+
+// next returns the next segment change: index specifies the Selection
+// to which the segment belongs, offs is the segment start or end offset
+// as determined by the start value. If there are no more segment changes,
+// next returns an index value < 0.
+//
+func (m *merger) next() (index, offs int, start bool) {
+        // find the next smallest offset where a segment starts or ends
+        offs = infinity
+        index = -1
+        for i, seg := range m.segments {
+                switch {
+                case seg[0] < offs:
+                        offs = seg[0]
+                        index = i
+                        start = true
+                case seg[1] < offs:
+                        offs = seg[1]
+                        index = i
+                        start = false
+                }
+        }
+        if index < 0 {
+                // no offset found => all selections merged
+                return
+        }
+        // offset found - it's either the start or end offset but
+        // either way it is ok to consume the start offset: set it
+        // to infinity so it won't be considered in the following
+        // next call
+        m.segments[index][0] = infinity
+        if start {
+                return
+        }
+        // end offset found - consume it
+        m.segments[index][1] = infinity
+        // advance to the next segment for that selection
+        seg := m.selections[index]()
+        if seg == nil {
+                return
+        }
+        m.segments[index] = seg
+        return
+}
+
+
+// ----------------------------------------------------------------------------
+// Implementation of FormatText
+
+// lineSelection returns the line segments for text as a Selection.
+func lineSelection(text []byte) Selection {
+        i, j := 0, 0
+        return func() (seg []int) {
+                // find next newline, if any
+                for j < len(text) {
+                        j++
+                        if text[j-1] == '\n' {
+                                break
+                        }
+                }
+                if i < j {
+                        // text[i:j] constitutes a line
+                        seg = []int{i, j}
+                        i = j
+                }
+                return
+        }
+}
+
+
+// commentSelection returns the sequence of consecutive comments
+// in the Go src text as a Selection.
+//
+func commentSelection(src []byte) Selection {
+        var s scanner.Scanner
+        file := s.Init(token.NewFileSet(), "", src, nil, scanner.ScanComments+scanner.InsertSemis)
+        return func() (seg []int) {
+                for {
+                        pos, tok, lit := s.Scan()
+                        if tok == token.EOF {
+                                break
+                        }
+                        offs := file.Offset(pos)
+                        if tok == token.COMMENT {
+                                seg = []int{offs, offs + len(lit)}
+                                break
+                        }
+                }
+                return
+        }
+}
+
+
+// makeSelection is a helper function to make a Selection from a slice of pairs.
+func makeSelection(matches [][]int) Selection {
+        return func() (seg []int) {
+                if len(matches) > 0 {
+                        seg = matches[0]
+                        matches = matches[1:]
+                }
+                return
+        }
+}
+
+
+// regexpSelection computes the Selection for the regular expression expr in text.
+func regexpSelection(text []byte, expr string) Selection {
+        var matches [][]int
+        if rx, err := regexp.Compile(expr); err == nil {
+                matches = rx.FindAllIndex(text, -1)
+        }
+        return makeSelection(matches)
+}
+
+
+var selRx = regexp.MustCompile(`^([0-9]+):([0-9]+)`)
+
+// rangeSelection computes the Selection for a text range described
+// by the argument str; the range description must match the selRx
+// regular expression.
+//
+func rangeSelection(str string) Selection {
+        m := selRx.FindStringSubmatch(str)
+        if len(m) >= 2 {
+                from, _ := strconv.Atoi(m[1])
+                to, _ := strconv.Atoi(m[2])
+                if from < to {
+                        return makeSelection([][]int{[]int{from, to}})
+                }
+        }
+        return nil
+}
+
+
+// bit 0: comments
+// bit 1: highlights
+// bit 2: selections
+//
+var startTags = [][]byte{
+        /* 000 */ []byte(``),
+        /* 001 */ []byte(`<span class ="comment">`),
+        /* 010 */ []byte(`<span class="highlight">`),
+        /* 011 */ []byte(`<span class="highlight-comment">`),
+        /* 100 */ []byte(`<span class="selection">`),
+        /* 101 */ []byte(`<span class="selection-comment">`),
+        /* 110 */ []byte(`<span class="selection-highlight">`),
+        /* 111 */ []byte(`<span class="selection-highlight-comment">`),
+}
+
+var endTag = []byte(`</span>`)
+
+
+func selectionTag(w io.Writer, text []byte, selections int) {
+        if len(text) > 0 {
+                if selections < len(startTags) {
+                        if tag := startTags[selections]; len(tag) > 0 {
+                                w.Write(tag)
+                                template.HTMLEscape(w, text)
+                                w.Write(endTag)
+                                return
+                        }
+                }
+                template.HTMLEscape(w, text)
+        }
+}
+
+
+// FormatText HTML-escapes text and returns it wrapped in <pre> tags.
+// Conscutive text segments are wrapped in HTML spans as follows:
+//
+//      - if line >= 0, line numbers are printed before each line, starting
+//        with the value of line
+//      - if the text is Go source, comments get the "comment" span class
+//      - each occurence of the regular expression pattern gets the "highlight"

[r, 2011/01/09 00:08:55]

s/r/rr/

[gri, 2011/01/10 23:15:01]

Done.

+//        span class
+//      - text segments covered by selection get the "selection" span class
+//
+// Comments, highlights, and selections may overlap arbitrarily; the respective
+// HTML span classes are specified in the startTags variable.

[r, 2011/01/09 00:08:55]

this comment should appear or at least be tied to the definition of the bits in
startTags; i spent a while decoding them

[gri, 2011/01/10 23:15:01]

Done.

+//
+func FormatText(text []byte, line int, goSource bool, pattern string, selection Selection) []byte {
+        var buf bytes.Buffer
+        buf.WriteString("<pre>\n")
+
+        var comments, highlights Selection
+        if goSource {
+                comments = commentSelection(text)
+        }
+        if pattern != "" {
+                highlights = regexpSelection(text, pattern)
+        }
+        if comments != nil || highlights != nil || selection != nil {
+                var lineTag LinkWriter
+                if line >= 0 {
+                        lineTag = func(w io.Writer, _ int, start bool) {
+                                if start {
+                                        fmt.Fprintf(w, "<a id=\"L%d\"></a>%5d\t", line, line)
+                                        line++
+                                }
+                        }
+                }
+                FormatSelections(&buf, text, lineTag, lineSelection(text), selectionTag, comments, highlights, selection)
+        } else {
+                template.HTMLEscape(&buf, text)
+        }
+
+        buf.WriteString("</pre>\n")
+        return buf.Bytes()
+}