1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
package compiler
import (
"io"
"strings"
"github.com/nihei9/maleeni/log"
"github.com/nihei9/maleeni/spec"
)
type compilerOption func(c *compilerConfig) error
func EnableLogging(w io.Writer) compilerOption {
return func(c *compilerConfig) error {
logger, err := log.NewLogger(w)
if err != nil {
return err
}
c.logger = logger
return nil
}
}
type compilerConfig struct {
logger log.Logger
}
func Compile(lexspec *spec.LexSpec, opts ...compilerOption) (*spec.CompiledLexSpec, error) {
config := &compilerConfig{
logger: log.NewNopLogger(),
}
for _, opt := range opts {
err := opt(config)
if err != nil {
return nil, err
}
}
var kinds []string
var patterns map[int][]byte
{
kinds = append(kinds, "")
patterns = map[int][]byte{}
for i, e := range lexspec.Entries {
kinds = append(kinds, e.Kind)
patterns[i+1] = []byte(e.Pattern)
}
config.logger.Log("Patterns:")
for i, p := range patterns {
config.logger.Log(" #%v %v", i, string(p))
}
}
var root astNode
var symTab *symbolTable
{
var err error
root, symTab, err = parse(patterns)
if err != nil {
return nil, err
}
var b strings.Builder
printAST(&b, root, "", "", false)
config.logger.Log("AST:\n%v", b.String())
}
var tranTab *spec.TransitionTable
{
dfa := genDFA(root, symTab)
var err error
tranTab, err = genTransitionTable(dfa)
if err != nil {
return nil, err
}
config.logger.Log(`DFA:
States: %v states
Initial State: %v`, len(tranTab.Transition), tranTab.InitialState)
config.logger.Log(" Accepting States:")
for state, symbol := range tranTab.AcceptingStates {
config.logger.Log(" %v: %v", state, symbol)
}
}
return &spec.CompiledLexSpec{
Kinds: kinds,
DFA: tranTab,
}, nil
}
|
