##// END OF EJS Templates
Merge
Merge

File last commit:

r180:c32688129f14 ref20160224
r283:d1498b67e01a merge default
Show More
EnumAlphabet.cs
66 lines | 2.5 KiB | text/x-csharp | CSharpLexer
cin
DFA refactoring
r162 using System;
using System.Collections.Generic;
using System.Diagnostics;
using System.Globalization;
using System.Linq;
using System.Diagnostics.CodeAnalysis;
namespace Implab.Automaton {
/// <summary>
/// Алфавит символами которого являются элементы перечислений.
/// </summary>
/// <typeparam name="T">Тип перечислений</typeparam>
public class EnumAlphabet<T> : IndexedAlphabetBase<T> where T : struct, IConvertible {
[SuppressMessage("Microsoft.Design", "CA1000:DoNotDeclareStaticMembersOnGenericTypes")]
cin
Almost complete DFA refactoring
r164 static readonly Lazy<T[]> _symbols = new Lazy<T[]>(GetSymbols);
[SuppressMessage("Microsoft.Design", "CA1000:DoNotDeclareStaticMembersOnGenericTypes")]
static readonly Lazy<EnumAlphabet<T>> _fullAlphabet = new Lazy<EnumAlphabet<T>>(CreateEnumAlphabet);
static EnumAlphabet<T> CreateEnumAlphabet() {
var symbols = _symbols.Value;
cin
DFA refactoring
r162
cin
Almost complete DFA refactoring
r164 if (
symbols[symbols.Length - 1].ToInt32(CultureInfo.InvariantCulture) >= symbols.Length
|| symbols[0].ToInt32(CultureInfo.InvariantCulture) != 0
)
throw new InvalidOperationException("The specified enumeration must be zero-based and continuously numbered");
return new EnumAlphabet<T>(symbols.Select(x => x.ToInt32(CultureInfo.InvariantCulture)).ToArray());
}
static T[] GetSymbols() {
cin
DFA refactoring
r162 if (!typeof(T).IsEnum)
throw new InvalidOperationException("Invalid generic parameter, enumeration is required");
if (Enum.GetUnderlyingType(typeof(T)) != typeof(Int32))
throw new InvalidOperationException("Only enums based on Int32 are supported");
cin
Almost complete DFA refactoring
r164
return ((T[])Enum.GetValues(typeof(T)))
cin
DFA refactoring
r162 .OrderBy(x => x.ToInt32(CultureInfo.InvariantCulture))
.ToArray();
}
public static EnumAlphabet<T> FullAlphabet {
get {
cin
Almost complete DFA refactoring
r164 return _fullAlphabet.Value;
cin
DFA refactoring
r162 }
}
public EnumAlphabet()
cin
Almost complete DFA refactoring
r164 : base(_symbols.Value.Length) {
cin
DFA refactoring
r162 }
public EnumAlphabet(int[] map)
: base(map) {
cin
Almost complete DFA refactoring
r164 Debug.Assert(map.Length == _symbols.Value.Length);
cin
DFA refactoring
r162 }
public override int GetSymbolIndex(T symbol) {
return symbol.ToInt32(CultureInfo.InvariantCulture);
}
}
}