implab/ImplabNet Files · Implab/Parsing/IDFADefinition.cs

fixed regression: race condition in Promise...

fixed regression: race condition in Promise DFA refactoring

cin - - Load All Authors

File last commit:

r158:130781364799 v2


                r160:5802131432e4

Download file

             IDFADefinition.cs
        
                    39 lines
            
             | 1.9 KiB
            
                | text/x-csharp
            
             |
                CSharpLexer
            
             / Implab / Parsing / IDFADefinition.cs
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      using System;

      using System.Collections.Generic;

      using System.Linq;

      using System.Text;

      using System.Threading.Tasks;

      namespace Implab.Parsing {

          /// <summary>

          /// Интерфейс для определения ДКА, позволяет добавить состояния и определить переходы.

          /// </summary>

          public interface IDFADefinition {

              /// <summary>

              /// Добавляет состояние в автомат.

              /// </summary>

              /// <returns>Индекс добавленного состояния.</returns>

              int AddState();

              /// <summary>

              /// Добавляет конечное состояние с указанными метками, если метки не заданы, то

              /// добавленное состояние не будет конечным.

              /// </summary>

              /// <param name="tags">Метки состояния.</param>

              /// <returns>Индекс добавленного состояния.</returns>

              int AddState(int[] tags);

              /// <summary>

              /// Определяет переход между состояниями.

              /// </summary>

              /// <param name="s1">Исходное состояние.</param>

              /// <param name="s2">Конечное состояние.</param>

              /// <param name="input">Входной символ.</param>

              void DefineTransition(int s1, int s2, int input);

              /// <summary>

              /// Размер входного алфавита. 

              /// </summary>

              /// <remarks>

              /// Размер входного алфавита определяет количество возможных выходов из одного состояния. <see cref="IAlphabet{TSymbol}.Count"/> 

              /// </remarks>

              int AlphabetSize { get; }

          }

      }

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

				using System;
				using System.Collections.Generic;
				using System.Linq;
				using System.Text;
				using System.Threading.Tasks;

				namespace Implab.Parsing {
				/// <summary>
				/// Интерфейс для определения ДКА, позволяет добавить состояния и определить переходы.
				/// </summary>
				public interface IDFADefinition {
				/// <summary>
				/// Добавляет состояние в автомат.
				/// </summary>
				/// <returns>Индекс добавленного состояния.</returns>
				int AddState();
				/// <summary>
				/// Добавляет конечное состояние с указанными метками, если метки не заданы, то
				/// добавленное состояние не будет конечным.
				/// </summary>
				/// <param name="tags">Метки состояния.</param>
				/// <returns>Индекс добавленного состояния.</returns>
				int AddState(int[] tags);
				/// <summary>
				/// Определяет переход между состояниями.
				/// </summary>
				/// <param name="s1">Исходное состояние.</param>
				/// <param name="s2">Конечное состояние.</param>
				/// <param name="input">Входной символ.</param>
				void DefineTransition(int s1, int s2, int input);
				/// <summary>
				/// Размер входного алфавита.
				/// </summary>
				/// <remarks>
				/// Размер входного алфавита определяет количество возможных выходов из одного состояния. <see cref="IAlphabet{TSymbol}.Count"/>
				/// </remarks>
				int AlphabetSize { get; }
				}
				}