/
AutomateStorage.cs
46 lines (43 loc) · 1.13 KB
/
AutomateStorage.cs
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
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
namespace AutomataConverter
{
class AutomateStorage
{
public Dictionary<string, NamedAutomaton> Table { get; private set; }
public AutomateStorage()
{
Table = new Dictionary<string, NamedAutomaton>();
}
public override string ToString()
{
string type, table = "name\ttype\n";
foreach (string key in Table.Keys)
{
if (Table[key] is NondeterminedFiniteAutomaton)
{
type = "nfa";
}
else
{
type = "dfa";
}
table += string.Format("{0}\t{1}\n", key, type);
}
return table;
}
public void AddAutomate(string name, NamedAutomaton na)
{
if (Table.ContainsKey(name))
{
Table[name] = na;
}
else {
Table.Add(name, na);
}
}
}
}