##// END OF EJS Templates
fixed JSON parser error when parsing escaped double quote symbol
fixed JSON parser error when parsing escaped double quote symbol

File last commit:

r182:76e8f2ba12b8 ref20160224
r226:9428ea36838e v2
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);
}
}