2016-01-21 06:57:18 +08:00
|
|
|
package parse
|
|
|
|
|
|
|
|
import (
|
|
|
|
"bytes"
|
|
|
|
"errors"
|
2017-12-04 08:35:43 +08:00
|
|
|
"fmt"
|
2016-01-21 06:57:18 +08:00
|
|
|
"strings"
|
|
|
|
"unicode/utf8"
|
2016-02-06 07:08:39 +08:00
|
|
|
|
2018-10-11 00:20:32 +08:00
|
|
|
"github.com/elves/elvish/diag"
|
2016-01-21 06:57:18 +08:00
|
|
|
)
|
|
|
|
|
2017-06-01 05:34:10 +08:00
|
|
|
// Parser maintains some mutable states of parsing.
|
2016-01-21 06:57:18 +08:00
|
|
|
//
|
|
|
|
// NOTE: The str member is assumed to be valid UF-8.
|
2017-06-01 05:34:10 +08:00
|
|
|
type Parser struct {
|
2017-05-30 07:42:38 +08:00
|
|
|
srcName string
|
|
|
|
src string
|
|
|
|
pos int
|
|
|
|
overEOF int
|
|
|
|
cutsets []map[rune]int
|
|
|
|
errors Error
|
2016-01-21 06:57:18 +08:00
|
|
|
}
|
|
|
|
|
2017-05-30 08:10:21 +08:00
|
|
|
// NewParser creates a new parser from a piece of source text and its name.
|
2017-06-01 05:34:10 +08:00
|
|
|
func NewParser(srcname, src string) *Parser {
|
|
|
|
return &Parser{srcname, src, 0, 0, []map[rune]int{{}}, Error{}}
|
2017-05-30 08:10:21 +08:00
|
|
|
}
|
|
|
|
|
2018-10-13 21:37:38 +08:00
|
|
|
// Tells the parser that parsing is done.
|
|
|
|
func (ps *Parser) done() {
|
2017-05-30 08:10:21 +08:00
|
|
|
if ps.pos != len(ps.src) {
|
2017-12-04 08:35:43 +08:00
|
|
|
r, _ := utf8.DecodeRuneInString(ps.src[ps.pos:])
|
|
|
|
ps.error(fmt.Errorf("unexpected rune %q", r))
|
2017-05-30 08:10:21 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-10-13 21:37:38 +08:00
|
|
|
// Assembles all parsing errors as one, or returns nil if there were no errors.
|
|
|
|
func (ps *Parser) assembleError() error {
|
2017-05-30 08:10:21 +08:00
|
|
|
if len(ps.errors.Entries) > 0 {
|
|
|
|
return &ps.errors
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2017-06-01 05:34:10 +08:00
|
|
|
// Source returns the source code that is being parsed.
|
|
|
|
func (ps *Parser) Source() string {
|
|
|
|
return ps.src
|
|
|
|
}
|
|
|
|
|
2016-02-08 06:23:16 +08:00
|
|
|
const eof rune = -1
|
2016-01-21 06:57:18 +08:00
|
|
|
|
2017-06-01 05:34:10 +08:00
|
|
|
func (ps *Parser) peek() rune {
|
2016-02-03 02:39:44 +08:00
|
|
|
if ps.pos == len(ps.src) {
|
2016-02-08 06:23:16 +08:00
|
|
|
return eof
|
2016-01-21 06:57:18 +08:00
|
|
|
}
|
2016-02-03 02:39:44 +08:00
|
|
|
r, _ := utf8.DecodeRuneInString(ps.src[ps.pos:])
|
2016-01-21 06:57:18 +08:00
|
|
|
return r
|
|
|
|
}
|
|
|
|
|
2017-06-01 05:34:10 +08:00
|
|
|
func (ps *Parser) hasPrefix(prefix string) bool {
|
2016-02-03 02:39:44 +08:00
|
|
|
return strings.HasPrefix(ps.src[ps.pos:], prefix)
|
2016-01-21 06:57:18 +08:00
|
|
|
}
|
|
|
|
|
2017-06-01 05:34:10 +08:00
|
|
|
func (ps *Parser) next() rune {
|
2016-02-03 02:39:44 +08:00
|
|
|
if ps.pos == len(ps.src) {
|
2016-02-08 06:23:16 +08:00
|
|
|
ps.overEOF++
|
|
|
|
return eof
|
2016-01-21 06:57:18 +08:00
|
|
|
}
|
2016-02-03 02:39:44 +08:00
|
|
|
r, s := utf8.DecodeRuneInString(ps.src[ps.pos:])
|
|
|
|
ps.pos += s
|
2016-01-21 06:57:18 +08:00
|
|
|
return r
|
|
|
|
}
|
|
|
|
|
2017-06-01 05:34:10 +08:00
|
|
|
func (ps *Parser) backup() {
|
2016-02-03 02:39:44 +08:00
|
|
|
if ps.overEOF > 0 {
|
2016-02-08 06:23:16 +08:00
|
|
|
ps.overEOF--
|
2016-01-26 21:54:24 +08:00
|
|
|
return
|
|
|
|
}
|
2016-02-03 02:39:44 +08:00
|
|
|
_, s := utf8.DecodeLastRuneInString(ps.src[:ps.pos])
|
|
|
|
ps.pos -= s
|
2016-01-21 06:57:18 +08:00
|
|
|
}
|
2016-02-06 07:08:39 +08:00
|
|
|
|
2017-06-01 05:34:10 +08:00
|
|
|
func (ps *Parser) errorp(begin, end int, e error) {
|
2018-10-11 00:20:32 +08:00
|
|
|
ps.errors.Add(e.Error(), diag.NewSourceRange(ps.srcName, ps.src, begin, end))
|
2016-03-08 08:08:39 +08:00
|
|
|
}
|
|
|
|
|
2017-06-01 05:34:10 +08:00
|
|
|
func (ps *Parser) error(e error) {
|
2016-10-11 20:26:42 +08:00
|
|
|
end := ps.pos
|
|
|
|
if end < len(ps.src) {
|
|
|
|
end++
|
|
|
|
}
|
|
|
|
ps.errorp(ps.pos, end, e)
|
2016-02-06 07:08:39 +08:00
|
|
|
}
|
2016-02-07 00:13:53 +08:00
|
|
|
|
|
|
|
func newError(text string, shouldbe ...string) error {
|
|
|
|
if len(shouldbe) == 0 {
|
|
|
|
return errors.New(text)
|
|
|
|
}
|
|
|
|
var buf bytes.Buffer
|
|
|
|
if len(text) > 0 {
|
|
|
|
buf.WriteString(text + ", ")
|
|
|
|
}
|
|
|
|
buf.WriteString("should be " + shouldbe[0])
|
|
|
|
for i, opt := range shouldbe[1:] {
|
|
|
|
if i == len(shouldbe)-2 {
|
|
|
|
buf.WriteString(" or ")
|
|
|
|
} else {
|
|
|
|
buf.WriteString(", ")
|
|
|
|
}
|
|
|
|
buf.WriteString(opt)
|
|
|
|
}
|
|
|
|
return errors.New(buf.String())
|
|
|
|
}
|