Add types of lexical specifications

APIs of compiler and driver packages use these types. Because CompiledLexSpec struct a lexer takes has kind names of lexical specification entries, the lexer sets them to tokens.

1 files changed, 23 insertions, 3 deletions

diff --git a/compiler/compiler.go b/compiler/compiler.go
index 153ad77..3ae647e 100644
--- a/compiler/compiler.go
+++ b/compiler/compiler.go
@@ -1,9 +1,29 @@
 package compiler
 
-func Compile(regexps map[int][]byte) (*DFA, error) {
-	root, symTab, err := parse(regexps)
+import "github.com/nihei9/maleeni/spec"
+
+func Compile(lexspec *spec.LexSpec) (*spec.CompiledLexSpec, error) {
+	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)
+		}
+	}
+	root, symTab, err := parse(patterns)
+	if err != nil {
+		return nil, err
+	}
+	dfa := genDFA(root, symTab)
+	tranTab, err := genTransitionTable(dfa)
 	if err != nil {
 		return nil, err
 	}
-	return genDFA(root, symTab), nil
+	return &spec.CompiledLexSpec{
+		Kinds: kinds,
+		DFA:   tranTab,
+	}, nil
 }