2022-09-13 22:03:37 +05:30
|
|
|
// Copyright 2022 The Gitea Authors. All rights reserved.
|
2022-11-27 23:50:29 +05:30
|
|
|
// SPDX-License-Identifier: MIT
|
2022-09-13 22:03:37 +05:30
|
|
|
|
|
|
|
package math
|
|
|
|
|
|
|
|
import (
|
|
|
|
"bytes"
|
|
|
|
|
|
|
|
"github.com/yuin/goldmark/ast"
|
|
|
|
"github.com/yuin/goldmark/parser"
|
|
|
|
"github.com/yuin/goldmark/text"
|
|
|
|
)
|
|
|
|
|
|
|
|
type inlineParser struct {
|
|
|
|
start []byte
|
|
|
|
end []byte
|
|
|
|
}
|
|
|
|
|
|
|
|
var defaultInlineDollarParser = &inlineParser{
|
|
|
|
start: []byte{'$'},
|
|
|
|
end: []byte{'$'},
|
|
|
|
}
|
|
|
|
|
|
|
|
// NewInlineDollarParser returns a new inline parser
|
|
|
|
func NewInlineDollarParser() parser.InlineParser {
|
|
|
|
return defaultInlineDollarParser
|
|
|
|
}
|
|
|
|
|
|
|
|
var defaultInlineBracketParser = &inlineParser{
|
|
|
|
start: []byte{'\\', '('},
|
|
|
|
end: []byte{'\\', ')'},
|
|
|
|
}
|
|
|
|
|
|
|
|
// NewInlineDollarParser returns a new inline parser
|
|
|
|
func NewInlineBracketParser() parser.InlineParser {
|
|
|
|
return defaultInlineBracketParser
|
|
|
|
}
|
|
|
|
|
2022-10-06 00:25:36 +05:30
|
|
|
// Trigger triggers this parser on $ or \
|
2022-09-13 22:03:37 +05:30
|
|
|
func (parser *inlineParser) Trigger() []byte {
|
|
|
|
return parser.start[0:1]
|
|
|
|
}
|
|
|
|
|
2024-04-02 23:45:40 +05:30
|
|
|
func isPunctuation(b byte) bool {
|
|
|
|
return b == '.' || b == '!' || b == '?' || b == ',' || b == ';' || b == ':'
|
|
|
|
}
|
|
|
|
|
2022-09-13 22:03:37 +05:30
|
|
|
func isAlphanumeric(b byte) bool {
|
2024-04-02 23:45:40 +05:30
|
|
|
return (b >= 'a' && b <= 'z') || (b >= 'A' && b <= 'Z') || (b >= '0' && b <= '9')
|
2022-09-13 22:03:37 +05:30
|
|
|
}
|
|
|
|
|
|
|
|
// Parse parses the current line and returns a result of parsing.
|
|
|
|
func (parser *inlineParser) Parse(parent ast.Node, block text.Reader, pc parser.Context) ast.Node {
|
|
|
|
line, _ := block.PeekLine()
|
2022-10-06 00:25:36 +05:30
|
|
|
|
|
|
|
if !bytes.HasPrefix(line, parser.start) {
|
|
|
|
// We'll catch this one on the next time round
|
2022-09-13 22:03:37 +05:30
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2022-10-06 00:25:36 +05:30
|
|
|
precedingCharacter := block.PrecendingCharacter()
|
2024-04-02 23:45:40 +05:30
|
|
|
if precedingCharacter < 256 && (isAlphanumeric(byte(precedingCharacter)) || isPunctuation(byte(precedingCharacter))) {
|
2022-10-06 00:25:36 +05:30
|
|
|
// need to exclude things like `a$` from being considered a start
|
2022-09-13 22:03:37 +05:30
|
|
|
return nil
|
|
|
|
}
|
2022-10-06 00:25:36 +05:30
|
|
|
|
|
|
|
// move the opener marker point at the start of the text
|
|
|
|
opener := len(parser.start)
|
|
|
|
|
|
|
|
// Now look for an ending line
|
|
|
|
ender := opener
|
|
|
|
for {
|
|
|
|
pos := bytes.Index(line[ender:], parser.end)
|
|
|
|
if pos < 0 {
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
ender += pos
|
|
|
|
|
|
|
|
// Now we want to check the character at the end of our parser section
|
2024-04-02 23:45:40 +05:30
|
|
|
// that is ender + len(parser.end) and check if char before ender is '\'
|
2022-10-06 00:25:36 +05:30
|
|
|
pos = ender + len(parser.end)
|
|
|
|
if len(line) <= pos {
|
|
|
|
break
|
|
|
|
}
|
2024-04-02 23:45:40 +05:30
|
|
|
suceedingCharacter := line[pos]
|
|
|
|
if !isPunctuation(suceedingCharacter) && !(suceedingCharacter == ' ') {
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
if line[ender-1] != '\\' {
|
2022-10-06 00:25:36 +05:30
|
|
|
break
|
|
|
|
}
|
2024-04-02 23:45:40 +05:30
|
|
|
|
2022-10-06 00:25:36 +05:30
|
|
|
// move the pointer onwards
|
|
|
|
ender += len(parser.end)
|
2022-09-13 22:03:37 +05:30
|
|
|
}
|
|
|
|
|
|
|
|
block.Advance(opener)
|
|
|
|
_, pos := block.Position()
|
|
|
|
node := NewInline()
|
2022-10-06 00:25:36 +05:30
|
|
|
segment := pos.WithStop(pos.Start + ender - opener)
|
2022-09-13 22:03:37 +05:30
|
|
|
node.AppendChild(node, ast.NewRawTextSegment(segment))
|
2022-10-06 00:25:36 +05:30
|
|
|
block.Advance(ender - opener + len(parser.end))
|
2022-09-13 22:03:37 +05:30
|
|
|
|
|
|
|
trimBlock(node, block)
|
|
|
|
return node
|
|
|
|
}
|
|
|
|
|
|
|
|
func trimBlock(node *Inline, block text.Reader) {
|
|
|
|
if node.IsBlank(block.Source()) {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
// trim first space and last space
|
|
|
|
first := node.FirstChild().(*ast.Text)
|
|
|
|
if !(!first.Segment.IsEmpty() && block.Source()[first.Segment.Start] == ' ') {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
last := node.LastChild().(*ast.Text)
|
|
|
|
if !(!last.Segment.IsEmpty() && block.Source()[last.Segment.Stop-1] == ' ') {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
first.Segment = first.Segment.WithStart(first.Segment.Start + 1)
|
|
|
|
last.Segment = last.Segment.WithStop(last.Segment.Stop - 1)
|
|
|
|
}
|