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

Added the chaining method to the non-generic IPromise

cin - - Load All Authors

File last commit:

r79:05e6468f066f v2


                r96:daffa72a1cec

Download file

             Scanner.cs
        
                    260 lines
            
             | 9.4 KiB
            
                | text/x-csharp
            
             |
                CSharpLexer
            
             / Implab / Parsing / Scanner.cs
          
                    History
                
                 |
                  Source
                 | Raw
                 |Copy content
                 |Copy permalink

        cin
    
Added initial JSON support...

              r55
            
      using Implab;

      using System;

      using System.Collections.Generic;

        cin
    
code cleanup

              r59
            
      using System.IO;

        cin
    
Added initial JSON support...

              r55
            
      using System.Linq;

      using System.Text;

      using System.Threading.Tasks;

      namespace Implab.Parsing {

          /// <summary>

          /// Базовый класс для разбора потока входных символов на токены.

          /// </summary>

          /// <remarks>

          /// Сканнер имеет внутри буффер с симолами входного текста, по которому перемещаются два

          /// указателя, начала и конца токена, при перемещении искользуется ДКА для определения

          /// конца токена и допустимости текущего символа.

          /// </remarks>

        cin
    
code cleanup

              r59
            
          public abstract class Scanner : Disposable {

        cin
    
Added initial JSON support...

              r55
            
              struct ScannerConfig {

                  public DFAStateDescriptior[] states;

                  public int[] alphabetMap;

              }

              Stack<ScannerConfig> m_defs = new Stack<ScannerConfig>();

              DFAStateDescriptior[] m_states;

              int[] m_alphabetMap;

              protected DFAStateDescriptior m_currentState;

              int m_previewCode;

              protected int m_tokenLen = 0;

              protected int m_tokenOffset;

              protected char[] m_buffer;

              protected int m_bufferSize;

              protected int m_pointer;

        cin
    
code cleanup

              r59
            
              TextReader m_reader;

              bool m_disposeReader;

              int m_chunkSize = 1024; // 1k

              int m_limit = 10 * 1024 * 1024; // 10Mb

        cin
    
Added initial JSON support...

              r55
            
        cin
    
sync

              r79
            
              protected Scanner(CDFADefinition definition) {

        cin
    
Added initial JSON support...

              r55
            
                  Safe.ArgumentNotNull(definition, "definition");

                  m_states = definition.States;

                  m_alphabetMap = definition.Alphabet.GetTranslationMap();

                  Feed(new char[0]);

              }

              /// <summary>

              /// Заполняет входными данными буффер.

              /// </summary>

              /// <param name="data">Данные для обработки.</param>

              /// <remarks>Копирование данных не происходит, переданный массив используется в

              /// качестве входного буффера.</remarks>

              public void Feed(char[] data) {

                  Safe.ArgumentNotNull(data, "data");

                  Feed(data, data.Length);

              }

              /// <summary>

              /// Заполняет буффур чтения входными данными.

              /// </summary>

              /// <param name="data">Данные для обработки.</param>

              /// <param name="length">Длина данных для обработки.</param>

              /// <remarks>Копирование данных не происходит, переданный массив используется в

              /// качестве входного буффера.</remarks>

              public void Feed(char[] data, int length) {

                  Safe.ArgumentNotNull(data, "data");

                  Safe.ArgumentInRange(length, 0, data.Length, "length");

        cin
    
code cleanup

              r59
            
                  AssertNotDisposed();

        cin
    
Added initial JSON support...

              r55
            
                  m_pointer = -1;

                  m_buffer = data;

                  m_bufferSize = length;

                  Shift();

              }

        cin
    
code cleanup

              r59
            
              public void Feed(TextReader reader, bool dispose) {

                  Safe.ArgumentNotNull(reader, "reader");

                  AssertNotDisposed();

                  if (m_reader != null && m_disposeReader)

                      m_reader.Dispose();

                  m_reader = reader;

                  m_disposeReader = dispose;

                  m_pointer = -1;

                  m_buffer = new char[m_chunkSize];

                  m_bufferSize = 0;

                  Shift();

              }

        cin
    
Added initial JSON support...

              r55
            
              /// <summary>

              /// Получает текущий токен в виде строки.

              /// </summary>

              /// <returns></returns>

        cin
    
code cleanup

              r59
            
              protected string GetTokenValue() {

        cin
    
Added initial JSON support...

              r55
            
                  return new String(m_buffer, m_tokenOffset, m_tokenLen);

              }

              /// <summary>

              /// Метки текущего токена, которые были назначены в регулярном выражении.

              /// </summary>

        cin
    
code cleanup

              r59
            
              protected int[] TokenTags {

        cin
    
Added initial JSON support...

              r55
            
                  get {

                      return m_currentState.tag;

                  }

              }

              /// <summary>

        cin
    
minor changes

              r57
            
              /// Признак конца данных

              /// </summary>

              public bool EOF {

                  get {

                      return m_pointer >= m_bufferSize;

                  }

              }

              /// <summary>

        cin
    
Added initial JSON support...

              r55
            
              /// Читает следующий токен, при этом <see cref="m_tokenOffset"/> указывает на начало токена,

              /// <see cref="m_tokenLen"/> на длину токена, <see cref="m_buffer"/> - массив символов, в

              /// котором находится токен.

              /// </summary>

              /// <returns><c>false</c> - достигнут конец данных, токен не прочитан.</returns>

              protected bool ReadTokenInternal() {

                  if (m_pointer >= m_bufferSize)

                      return false;

                  m_currentState = m_states[CDFADefinition.INITIAL_STATE];

                  m_tokenLen = 0;

                  m_tokenOffset = m_pointer;

                  int nextState = CDFADefinition.UNREACHEBLE_STATE;

                  do {

                      nextState = m_currentState.transitions[m_previewCode];

                      if (nextState == CDFADefinition.UNREACHEBLE_STATE) {

                          if (m_currentState.final)

                              return true;

                          else

                              throw new ParserException(

                                  String.Format(

                                      "Unexpected symbol '{0}', at pos {1}",

                                      m_buffer[m_pointer],

                                      Position

                                  )

                              );

                      } else {

                          m_currentState = m_states[nextState];

                          m_tokenLen++;

                      }

                  } while (Shift());

                  // END OF DATA

                  if (!m_currentState.final)

                      throw new ParserException("Unexpected end of data");

                  return true;

              }

              bool Shift() {

                  m_pointer++;

                  if (m_pointer >= m_bufferSize) {

        cin
    
+JSONXmlReaderOptions...

              r60
            
                      if (!ReadNextChunk())

                          return false;

        cin
    
Added initial JSON support...

              r55
            
                  }

                  m_previewCode = m_alphabetMap[m_buffer[m_pointer]];

                  return true;

              }

        cin
    
code cleanup

              r59
            
              bool ReadNextChunk() {

                  if (m_reader == null)

                      return false;

                  //  extend buffer if nesessary

                  if (m_pointer + m_chunkSize > m_buffer.Length) {

                      // trim unused buffer head

                      var size = m_tokenLen + m_chunkSize;

                      if (size >= m_limit)

                          throw new ParserException(String.Format("Input buffer {0} bytes limit exceeded", m_limit));

                      var temp = new char[size];

                      Array.Copy(m_buffer, m_tokenOffset, temp, 0, m_tokenLen);

                      m_pointer -= m_tokenOffset;

                      m_bufferSize -= m_tokenOffset;

                      m_tokenOffset = 0;

                      m_buffer = temp;

                  }

                  var read = m_reader.Read(m_buffer, m_tokenLen, m_chunkSize);

                  if (read == 0)

                      return false;

                  m_bufferSize += read;

                  return true;

        cin
    
Added initial JSON support...

              r55
            
              }

              /// <summary>

              /// Позиция сканнера во входном буфере

              /// </summary>

              public int Position {

                  get {

                      return m_pointer + 1;

                  }

              }

              /// <summary>

              /// Преключает внутренний ДКА на указанный, позволяет реализовать подобие захватывающей

              /// группировки.

              /// </summary>

              /// <param name="states">Таблица состояний нового ДКА</param>

              /// <param name="alphabet">Таблица входных символов для нового ДКА</param>

              protected void Switch(DFAStateDescriptior[] states, int[] alphabet) {

                  Safe.ArgumentNotNull(states, "dfa");

                  m_defs.Push(new ScannerConfig {

                      states = m_states,

                      alphabetMap = m_alphabetMap

                  });

                  m_states = states;

                  m_alphabetMap = alphabet;

                  m_previewCode = m_alphabetMap[m_buffer[m_pointer]];

              }

              /// <summary>

              /// Восстанавливает предыдущей ДКА сканнера.

              /// </summary>

              protected void Restore() {

                  if (m_defs.Count == 0)

                      throw new InvalidOperationException();

                  var prev = m_defs.Pop();

                  m_states = prev.states;

                  m_alphabetMap = prev.alphabetMap;

                  m_previewCode = m_alphabetMap[m_buffer[m_pointer]];

              }

        cin
    
code cleanup

              r59
            
              protected override void Dispose(bool disposing) {

                  if (disposing) {

                      if (m_reader != null && m_disposeReader)

                          m_reader.Dispose();

                      m_buffer = null;

                      m_bufferSize = 0;

                      m_pointer = 0;

                      m_tokenLen = 0;

                      m_tokenOffset = 0;

                  }

                  base.Dispose(disposing);

              }

        cin
    
Added initial JSON support...

              r55
            
          }

      }

	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

cin Added initial JSON support...	r55	using Implab;
		using System;
		using System.Collections.Generic;
cin code cleanup	r59	using System.IO;
cin Added initial JSON support...	r55	using System.Linq;
		using System.Text;
		using System.Threading.Tasks;

		namespace Implab.Parsing {
		/// <summary>
		/// Базовый класс для разбора потока входных символов на токены.
		/// </summary>
		/// <remarks>
		/// Сканнер имеет внутри буффер с симолами входного текста, по которому перемещаются два
		/// указателя, начала и конца токена, при перемещении искользуется ДКА для определения
		/// конца токена и допустимости текущего символа.
		/// </remarks>
cin code cleanup	r59	public abstract class Scanner : Disposable {
cin Added initial JSON support...	r55	struct ScannerConfig {
		public DFAStateDescriptior[] states;
		public int[] alphabetMap;
		}

		Stack<ScannerConfig> m_defs = new Stack<ScannerConfig>();

		DFAStateDescriptior[] m_states;
		int[] m_alphabetMap;

		protected DFAStateDescriptior m_currentState;
		int m_previewCode;

		protected int m_tokenLen = 0;
		protected int m_tokenOffset;

		protected char[] m_buffer;
		protected int m_bufferSize;
		protected int m_pointer;

cin code cleanup	r59	TextReader m_reader;
		bool m_disposeReader;
		int m_chunkSize = 1024; // 1k
		int m_limit = 10 * 1024 * 1024; // 10Mb
cin Added initial JSON support...	r55
cin sync	r79	protected Scanner(CDFADefinition definition) {
cin Added initial JSON support...	r55	Safe.ArgumentNotNull(definition, "definition");

		m_states = definition.States;
		m_alphabetMap = definition.Alphabet.GetTranslationMap();

		Feed(new char[0]);
		}

		/// <summary>
		/// Заполняет входными данными буффер.
		/// </summary>
		/// <param name="data">Данные для обработки.</param>
		/// <remarks>Копирование данных не происходит, переданный массив используется в
		/// качестве входного буффера.</remarks>
		public void Feed(char[] data) {
		Safe.ArgumentNotNull(data, "data");

		Feed(data, data.Length);
		}

		/// <summary>
		/// Заполняет буффур чтения входными данными.
		/// </summary>
		/// <param name="data">Данные для обработки.</param>
		/// <param name="length">Длина данных для обработки.</param>
		/// <remarks>Копирование данных не происходит, переданный массив используется в
		/// качестве входного буффера.</remarks>
		public void Feed(char[] data, int length) {
		Safe.ArgumentNotNull(data, "data");
		Safe.ArgumentInRange(length, 0, data.Length, "length");
cin code cleanup	r59	AssertNotDisposed();
cin Added initial JSON support...	r55
		m_pointer = -1;
		m_buffer = data;
		m_bufferSize = length;
		Shift();
		}

cin code cleanup	r59	public void Feed(TextReader reader, bool dispose) {
		Safe.ArgumentNotNull(reader, "reader");
		AssertNotDisposed();

		if (m_reader != null && m_disposeReader)
		m_reader.Dispose();

		m_reader = reader;
		m_disposeReader = dispose;
		m_pointer = -1;
		m_buffer = new char[m_chunkSize];
		m_bufferSize = 0;
		Shift();
		}

cin Added initial JSON support...	r55	/// <summary>
		/// Получает текущий токен в виде строки.
		/// </summary>
		/// <returns></returns>
cin code cleanup	r59	protected string GetTokenValue() {
cin Added initial JSON support...	r55	return new String(m_buffer, m_tokenOffset, m_tokenLen);
		}

		/// <summary>
		/// Метки текущего токена, которые были назначены в регулярном выражении.
		/// </summary>
cin code cleanup	r59	protected int[] TokenTags {
cin Added initial JSON support...	r55	get {
		return m_currentState.tag;
		}
		}

		/// <summary>
cin minor changes	r57	/// Признак конца данных
		/// </summary>
		public bool EOF {
		get {
		return m_pointer >= m_bufferSize;
		}
		}

		/// <summary>
cin Added initial JSON support...	r55	/// Читает следующий токен, при этом <see cref="m_tokenOffset"/> указывает на начало токена,
		/// <see cref="m_tokenLen"/> на длину токена, <see cref="m_buffer"/> - массив символов, в
		/// котором находится токен.
		/// </summary>
		/// <returns><c>false</c> - достигнут конец данных, токен не прочитан.</returns>
		protected bool ReadTokenInternal() {
		if (m_pointer >= m_bufferSize)
		return false;

		m_currentState = m_states[CDFADefinition.INITIAL_STATE];
		m_tokenLen = 0;
		m_tokenOffset = m_pointer;
		int nextState = CDFADefinition.UNREACHEBLE_STATE;
		do {
		nextState = m_currentState.transitions[m_previewCode];
		if (nextState == CDFADefinition.UNREACHEBLE_STATE) {
		if (m_currentState.final)
		return true;
		else
		throw new ParserException(
		String.Format(
		"Unexpected symbol '{0}', at pos {1}",
		m_buffer[m_pointer],
		Position
		)
		);
		} else {
		m_currentState = m_states[nextState];
		m_tokenLen++;
		}

		} while (Shift());

		// END OF DATA
		if (!m_currentState.final)
		throw new ParserException("Unexpected end of data");

		return true;
		}


		bool Shift() {
		m_pointer++;

		if (m_pointer >= m_bufferSize) {
cin +JSONXmlReaderOptions...	r60	if (!ReadNextChunk())
		return false;
cin Added initial JSON support...	r55	}

		m_previewCode = m_alphabetMap[m_buffer[m_pointer]];

		return true;
		}

cin code cleanup	r59	bool ReadNextChunk() {
		if (m_reader == null)
		return false;

		// extend buffer if nesessary
		if (m_pointer + m_chunkSize > m_buffer.Length) {
		// trim unused buffer head
		var size = m_tokenLen + m_chunkSize;
		if (size >= m_limit)
		throw new ParserException(String.Format("Input buffer {0} bytes limit exceeded", m_limit));
		var temp = new char[size];
		Array.Copy(m_buffer, m_tokenOffset, temp, 0, m_tokenLen);
		m_pointer -= m_tokenOffset;
		m_bufferSize -= m_tokenOffset;
		m_tokenOffset = 0;
		m_buffer = temp;
		}

		var read = m_reader.Read(m_buffer, m_tokenLen, m_chunkSize);
		if (read == 0)
		return false;

		m_bufferSize += read;

		return true;
cin Added initial JSON support...	r55	}

		/// <summary>
		/// Позиция сканнера во входном буфере
		/// </summary>
		public int Position {
		get {
		return m_pointer + 1;
		}
		}

		/// <summary>
		/// Преключает внутренний ДКА на указанный, позволяет реализовать подобие захватывающей
		/// группировки.
		/// </summary>
		/// <param name="states">Таблица состояний нового ДКА</param>
		/// <param name="alphabet">Таблица входных символов для нового ДКА</param>
		protected void Switch(DFAStateDescriptior[] states, int[] alphabet) {
		Safe.ArgumentNotNull(states, "dfa");

		m_defs.Push(new ScannerConfig {
		states = m_states,
		alphabetMap = m_alphabetMap
		});

		m_states = states;
		m_alphabetMap = alphabet;

		m_previewCode = m_alphabetMap[m_buffer[m_pointer]];
		}

		/// <summary>
		/// Восстанавливает предыдущей ДКА сканнера.
		/// </summary>
		protected void Restore() {
		if (m_defs.Count == 0)
		throw new InvalidOperationException();
		var prev = m_defs.Pop();
		m_states = prev.states;
		m_alphabetMap = prev.alphabetMap;
		m_previewCode = m_alphabetMap[m_buffer[m_pointer]];
		}
cin code cleanup	r59
		protected override void Dispose(bool disposing) {
		if (disposing) {
		if (m_reader != null && m_disposeReader)
		m_reader.Dispose();
		m_buffer = null;
		m_bufferSize = 0;
		m_pointer = 0;
		m_tokenLen = 0;
		m_tokenOffset = 0;
		}
		base.Dispose(disposing);
		}
cin Added initial JSON support...	r55	}
		}