Mercurial > pub > ImplabNet

comparison Implab/Automaton/EnumAlphabet.cs @ 164:ec35731ae299 ref20160224

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Almost complete DFA refactoring
author cin
date Thu, 25 Feb 2016 02:11:13 +0300
parents 0526412bbb26
children c32688129f14
comparison
equal deleted inserted replaced
163:419aa51b04fd 164:ec35731ae299
10 /// Алфавит символами которого являются элементы перечислений. 10 /// Алфавит символами которого являются элементы перечислений.
11 /// </summary> 11 /// </summary>
12 /// <typeparam name="T">Тип перечислений</typeparam> 12 /// <typeparam name="T">Тип перечислений</typeparam>
13 public class EnumAlphabet<T> : IndexedAlphabetBase<T> where T : struct, IConvertible { 13 public class EnumAlphabet<T> : IndexedAlphabetBase<T> where T : struct, IConvertible {
14 [SuppressMessage("Microsoft.Design", "CA1000:DoNotDeclareStaticMembersOnGenericTypes")] 14 [SuppressMessage("Microsoft.Design", "CA1000:DoNotDeclareStaticMembersOnGenericTypes")]
15 static readonly T[] _symbols; 15 static readonly Lazy<T[]> _symbols = new Lazy<T[]>(GetSymbols);
16 static readonly EnumAlphabet<T> _fullAlphabet;
17 16
18 [SuppressMessage("Microsoft.Design", "CA1065:DoNotRaiseExceptionsInUnexpectedLocations")] 17 [SuppressMessage("Microsoft.Design", "CA1000:DoNotDeclareStaticMembersOnGenericTypes")]
19 static EnumAlphabet() { 18 static readonly Lazy<EnumAlphabet<T>> _fullAlphabet = new Lazy<EnumAlphabet<T>>(CreateEnumAlphabet);
19
20 static EnumAlphabet<T> CreateEnumAlphabet() {
21 var symbols = _symbols.Value;
22
23 if (
24 symbols[symbols.Length - 1].ToInt32(CultureInfo.InvariantCulture) >= symbols.Length
25 || symbols[0].ToInt32(CultureInfo.InvariantCulture) != 0
26 )
27 throw new InvalidOperationException("The specified enumeration must be zero-based and continuously numbered");
28
29 return new EnumAlphabet<T>(symbols.Select(x => x.ToInt32(CultureInfo.InvariantCulture)).ToArray());
30 }
31
32 static T[] GetSymbols() {
20 if (!typeof(T).IsEnum) 33 if (!typeof(T).IsEnum)
21 throw new InvalidOperationException("Invalid generic parameter, enumeration is required"); 34 throw new InvalidOperationException("Invalid generic parameter, enumeration is required");
22 35
23 if (Enum.GetUnderlyingType(typeof(T)) != typeof(Int32)) 36 if (Enum.GetUnderlyingType(typeof(T)) != typeof(Int32))
24 throw new InvalidOperationException("Only enums based on Int32 are supported"); 37 throw new InvalidOperationException("Only enums based on Int32 are supported");
25 38
26 _symbols = ((T[])Enum.GetValues(typeof(T))) 39 return ((T[])Enum.GetValues(typeof(T)))
27 .OrderBy(x => x.ToInt32(CultureInfo.InvariantCulture)) 40 .OrderBy(x => x.ToInt32(CultureInfo.InvariantCulture))
28 .ToArray(); 41 .ToArray();
29
30 if (
31 _symbols[_symbols.Length - 1].ToInt32(CultureInfo.InvariantCulture) >= _symbols.Length
32 || _symbols[0].ToInt32(CultureInfo.InvariantCulture) != 0
33 )
34 throw new InvalidOperationException("The specified enumeration must be zero-based and continuously numbered");
35
36 _fullAlphabet = new EnumAlphabet<T>(_symbols.Select(x => x.ToInt32(CultureInfo.InvariantCulture)).ToArray());
37 } 42 }
38
39
40 43
41 public static EnumAlphabet<T> FullAlphabet { 44 public static EnumAlphabet<T> FullAlphabet {
42 get { 45 get {
43 return _fullAlphabet; 46 return _fullAlphabet.Value;
44 } 47 }
45 } 48 }
46 49
47 50
48 public EnumAlphabet() 51 public EnumAlphabet()
49 : base(_symbols.Length) { 52 : base(_symbols.Value.Length) {
50 } 53 }
51 54
52 public EnumAlphabet(int[] map) 55 public EnumAlphabet(int[] map)
53 : base(map) { 56 : base(map) {
54 Debug.Assert(map.Length == _symbols.Length); 57 Debug.Assert(map.Length == _symbols.Value.Length);
55 } 58 }
56 59
57 60
58 public override int GetSymbolIndex(T symbol) { 61 public override int GetSymbolIndex(T symbol) {
59 return symbol.ToInt32(CultureInfo.InvariantCulture); 62 return symbol.ToInt32(CultureInfo.InvariantCulture);
60 } 63 }
61 64
62 public override IEnumerable<T> InputSymbols { 65 public override IEnumerable<T> InputSymbols {
63 get { return _symbols; } 66 get { return _symbols.Value; }
64 } 67 }
65 68
66 } 69 }
67 } 70 }