/
serialize.go
63 lines (55 loc) · 1.43 KB
/
serialize.go
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
package mealy
import (
"encoding/binary"
"io"
)
// Must always be 6 bytes.
const serializationPrefix = "MMeMv1"
// Serialize the Mealy machine to a Writer.
func (self Recognizer) WriteTo(w io.Writer) (err error) {
if err = binary.Write(w, binary.BigEndian, []byte(serializationPrefix)); err != nil {
return
}
if err = binary.Write(w, binary.BigEndian, int32(len(self))); err != nil {
return
}
for _, s := range self {
if err = binary.Write(w, binary.BigEndian, byte(len(s))); err != nil {
break
}
if err = binary.Write(w, binary.BigEndian, s); err != nil {
break
}
}
return
}
// Deserialize the Mealy machine from a Reader.
func ReadFrom(r io.Reader) (self Recognizer, err error) {
// Read version string, then all states in order (each is a slice over
// uint32).
versionString := make([]byte, len(serializationPrefix))
if err = binary.Read(r, binary.BigEndian, versionString); err != nil {
return
}
var numStates int32
if err = binary.Read(r, binary.BigEndian, &numStates); err != nil {
return
}
self = make(Recognizer, numStates)
for i := 0; i < int(numStates); i++ {
var numTransitions byte
if err = binary.Read(r, binary.BigEndian, &numTransitions); err != nil {
return
}
st := make(state, numTransitions)
for t := 0; t < int(numTransitions); t++ {
var tr transition
if err = binary.Read(r, binary.BigEndian, &tr); err != nil {
return
}
st[t] = tr
}
self[i] = st
}
return
}