-
Notifications
You must be signed in to change notification settings - Fork 1
/
ConvertAutomateCommand.cs
56 lines (53 loc) · 1.87 KB
/
ConvertAutomateCommand.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
47
48
49
50
51
52
53
54
55
56
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
namespace AutomataConverter
{
class ConvertAutomateCommand : ICommand
{
private AutomataConverterApplication app;
public string Help { get { return "Преобразует НКА в ДКА"; } }
public string Name { get { return "conv"; } }
public void Execute(params string[] parameters)
{
try
{
NamedAutomaton na = app.Storage.Table[parameters[0]];
if (na is NondeterminedFiniteAutomaton)
{
string tmp = "_dfa";
if (parameters.Length > 2)
{
tmp = "";
}
app.Storage.AddAutomate(parameters[0] + tmp,
AutomatonProcedures.ConvertNFAToDFA((NondeterminedFiniteAutomaton)na));
}
else
{
Console.WriteLine("Автомат {0} уже является ДКА", parameters[0]);
}
}
catch (IndexOutOfRangeException e)
{
Console.WriteLine("Слишком мало параметров команды");
}
catch (KeyNotFoundException e)
{
Console.WriteLine("Автомата с таким именем не существует");
}
catch (Exception e)
{
Console.WriteLine(e.Message);
}
}
public string Description { get { return "conv имя [новое_имя]"; } }
public string[] Synonyms { get { return new string[]{}; } }
public ConvertAutomateCommand(AutomataConverterApplication app)
{
this.app = app;
}
}
}