##// END OF EJS Templates
Reworked cancelation handling, if the cancel handler isn't specified the OperationCanceledException will be handled by the error handler...
Reworked cancelation handling, if the cancel handler isn't specified the OperationCanceledException will be handled by the error handler Any unhandled OperationCanceledException will cause the promise cancelation

File last commit:

r182:76e8f2ba12b8 ref20160224
r187:dd4a3590f9c6 ref20160224
Show More
IDFATableBuilder.cs
26 lines | 747 B | text/x-csharp | CSharpLexer
using System;
using System.Collections.Generic;
namespace Implab.Automaton {
public interface IDFATableBuilder : IDFATable, ICollection<AutomatonTransition> {
/// <summary>
/// Marks the state as final.
/// </summary>
/// <param name="state">State.</param>
void MarkFinalState(int state);
void SetInitialState(int s);
/// <summary>
/// Increases if needed the input alphabet size to hold the specified symbol.
/// </summary>
/// <remarks>
/// <code>
/// AlphabetSize = Math.Max(AlphabetSize, symbol + 1)
/// </code>
/// </remarks>
/// <param name="symbol">Symbol.</param>
void AddSymbol(int symbol);
}
}