annotate Implab/Parsing/EDFADefinition.cs @ 158:130781364799 v2

refactoring, code cleanup
author cin
date Thu, 18 Feb 2016 14:34:02 +0300
parents 948c015a9011
children 5802131432e4
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
55
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
1 using Implab;
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
2 using System;
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
3
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
4 namespace Implab.Parsing {
158
130781364799 refactoring, code cleanup
cin
parents: 157
diff changeset
5 public class EDFADefinition<T> : DFADefinition where T : struct, IConvertible {
156
97fbbf816844 Promises: SignalXXX methods merged into SignalHandler method.
cin
parents: 55
diff changeset
6 readonly EnumAlphabet<T> m_alphabet;
55
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
7
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
8 public EnumAlphabet<T> Alphabet {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
9 get { return m_alphabet; }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
10 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
11
158
130781364799 refactoring, code cleanup
cin
parents: 157
diff changeset
12 public EDFADefinition(EnumAlphabet<T> alphabet) : base(alphabet.Count) {
55
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
13 m_alphabet = alphabet;
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
14 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
15
157
cin
parents: 156
diff changeset
16 public void DefineTransition(int s1, int s2, T input) {
cin
parents: 156
diff changeset
17 DefineTransition(s1, s2, m_alphabet.Translate(input));
cin
parents: 156
diff changeset
18 }
cin
parents: 156
diff changeset
19
55
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
20 public EDFADefinition<T> Optimize() {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
21 var optimized = new EDFADefinition<T>(new EnumAlphabet<T>());
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
22 Optimize(optimized, m_alphabet, optimized.Alphabet);
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
23
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
24 return optimized;
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
25 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
26
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
27 public void PrintDFA() {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
28 PrintDFA(m_alphabet);
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
29 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
30 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
31 }