annotate Implab/Parsing/CDFADefinition.cs @ 71:1714fd8678ef

code cleanup
author cin
date Wed, 03 Sep 2014 18:34:02 +0400
parents c0bf853aa04f
children 97fbbf816844
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 using System.Collections.Generic;
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
4 using System.Linq;
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
5 using System.Text;
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
6 using System.Threading.Tasks;
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
7
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
8 namespace Implab.Parsing {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
9 public class CDFADefinition : DFADefinitionBase {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
10 Alphabet m_alphabet;
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
11
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
12 public Alphabet Alphabet {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
13 get { return m_alphabet; }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
14 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
15
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
16 public override int AlphabetSize {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
17 get { return m_alphabet.Count; }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
18 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
19
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
20 public CDFADefinition(Alphabet alphabet): base() {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
21 Safe.ArgumentNotNull(alphabet, "alphabet");
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
22 m_alphabet = alphabet;
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
23 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
24
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
25 public CDFADefinition Optimize() {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
26 var optimized = new CDFADefinition(new Alphabet());
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
27
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
28 Optimize(optimized, m_alphabet, optimized.Alphabet);
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
29 return optimized;
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
30 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
31
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
32 public void PrintDFA() {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
33 PrintDFA(m_alphabet);
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
34 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
35 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
36 }