|
|
|
@ -5,71 +5,42 @@ import "asciigoat.org/core/lexer"
|
|
|
|
|
// Run parses the source
|
|
|
|
|
func (p *Parser) Run() error { |
|
|
|
|
p.setDefaults() |
|
|
|
|
p.pos.Reset() |
|
|
|
|
|
|
|
|
|
return lexer.Run(p.lexStart) |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
func (p *Parser) lexStart() (lexer.StateFn, error) { |
|
|
|
|
for { |
|
|
|
|
r, _, err := p.src.ReadRune() |
|
|
|
|
r, _, err := p.p.ReadRune() |
|
|
|
|
switch { |
|
|
|
|
case err != nil: |
|
|
|
|
return p.emitError("", err) |
|
|
|
|
case IsNewLine(r): |
|
|
|
|
// new line
|
|
|
|
|
p.lexMoreNewLine(r) |
|
|
|
|
p.p.UnreadRune() |
|
|
|
|
p.p.AcceptNewLine() |
|
|
|
|
p.stepLine() |
|
|
|
|
case IsSpace(r): |
|
|
|
|
// whitespace
|
|
|
|
|
p.stepRune() |
|
|
|
|
p.stepString() |
|
|
|
|
case IsCommentStart(r): |
|
|
|
|
// switch to comment lexer
|
|
|
|
|
p.src.UnreadRune() |
|
|
|
|
p.p.UnreadRune() |
|
|
|
|
return p.lexComment, nil |
|
|
|
|
case IsSectionStart(r): |
|
|
|
|
// section
|
|
|
|
|
return p.lexSectionStart, nil |
|
|
|
|
default: |
|
|
|
|
// entry
|
|
|
|
|
p.src.UnreadRune() |
|
|
|
|
p.p.UnreadRune() |
|
|
|
|
return p.lexEntryStart, nil |
|
|
|
|
} |
|
|
|
|
} |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
func (p *Parser) lexMoreNewLine(r1 rune) { |
|
|
|
|
// r1 is warrantied to be either '\r' or '\n'
|
|
|
|
|
r2, _, err := p.src.ReadRune() |
|
|
|
|
switch r1 { |
|
|
|
|
case '\n': |
|
|
|
|
switch { |
|
|
|
|
case r2 == '\r': |
|
|
|
|
// LN CR
|
|
|
|
|
case err == nil: |
|
|
|
|
// LN
|
|
|
|
|
p.src.UnreadRune() |
|
|
|
|
default: |
|
|
|
|
// LN EOF
|
|
|
|
|
} |
|
|
|
|
case '\r': |
|
|
|
|
switch { |
|
|
|
|
case r2 == '\n': |
|
|
|
|
// CR LN
|
|
|
|
|
case err == nil: |
|
|
|
|
// CR
|
|
|
|
|
p.src.UnreadRune() |
|
|
|
|
default: |
|
|
|
|
// CR EOF
|
|
|
|
|
} |
|
|
|
|
default: |
|
|
|
|
panic("unreachable") |
|
|
|
|
} |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
func (p *Parser) lexComment() (lexer.StateFn, error) { |
|
|
|
|
// until the end of the line
|
|
|
|
|
p.src.AcceptAll(IsNotNewLine) |
|
|
|
|
p.p.AcceptAll(IsNotNewLine) |
|
|
|
|
|
|
|
|
|
err := p.emitString(TokenComment) |
|
|
|
|
return p.lexStart, err |
|
|
|
@ -81,11 +52,11 @@ func (p *Parser) lexSectionStart() (lexer.StateFn, error) {
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
// remove whitespace between `[` and the name
|
|
|
|
|
if p.src.AcceptAll(IsSpaceNotNewLine) { |
|
|
|
|
if p.p.AcceptAll(IsSpaceNotNewLine) { |
|
|
|
|
p.stepString() |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
if !p.src.AcceptAll(IsName) { |
|
|
|
|
if !p.p.AcceptAll(IsName) { |
|
|
|
|
// no name
|
|
|
|
|
return p.emitError("section name missing", lexer.ErrUnacceptableRune) |
|
|
|
|
} |
|
|
|
@ -94,12 +65,12 @@ func (p *Parser) lexSectionStart() (lexer.StateFn, error) {
|
|
|
|
|
return nil, err |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
// remove whitespace between the name andthe closing `]`
|
|
|
|
|
if p.src.AcceptAll(IsSpaceNotNewLine) { |
|
|
|
|
// remove whitespace between the name and the closing `]`
|
|
|
|
|
if p.p.AcceptAll(IsSpaceNotNewLine) { |
|
|
|
|
p.stepString() |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
r, _, err := p.src.ReadRune() |
|
|
|
|
r, _, err := p.p.ReadRune() |
|
|
|
|
switch { |
|
|
|
|
case err != nil: |
|
|
|
|
return p.emitError("", err) |
|
|
|
@ -112,17 +83,17 @@ func (p *Parser) lexSectionStart() (lexer.StateFn, error) {
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
func (p *Parser) lexEntryStart() (lexer.StateFn, error) { |
|
|
|
|
p.src.AcceptAll(IsName) |
|
|
|
|
p.p.AcceptAll(IsName) |
|
|
|
|
if err := p.emitString(TokenFieldKey); err != nil { |
|
|
|
|
return nil, err |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
// ignore whitespace between key and the '=' sign
|
|
|
|
|
if p.src.AcceptAll(IsSpaceNotNewLine) { |
|
|
|
|
if p.p.AcceptAll(IsSpaceNotNewLine) { |
|
|
|
|
p.stepString() |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
r, _, err := p.src.ReadRune() |
|
|
|
|
r, _, err := p.p.ReadRune() |
|
|
|
|
switch { |
|
|
|
|
case err != nil: |
|
|
|
|
return p.emitError("", err) |
|
|
|
@ -131,11 +102,11 @@ func (p *Parser) lexEntryStart() (lexer.StateFn, error) {
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
// ignore whitespace between the '=' and the value
|
|
|
|
|
if p.src.AcceptAll(IsSpaceNotNewLine) { |
|
|
|
|
if p.p.AcceptAll(IsSpaceNotNewLine) { |
|
|
|
|
p.stepString() |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
p.src.AcceptAll(IsNotNewLine) |
|
|
|
|
p.p.AcceptAll(IsNotNewLine) |
|
|
|
|
if err := p.emitString(TokenFieldValue); err != nil { |
|
|
|
|
return nil, err |
|
|
|
|
} |
|
|
|
|