|
165
|
1 using System;
|
|
163
|
2 using System.Globalization;
|
|
165
|
3 using Implab.Automaton;
|
|
176
|
4 using System.Text;
|
|
|
5 using Implab.Components;
|
|
|
6 using System.IO;
|
|
|
7 using Implab.Automaton.RegularExpressions;
|
|
163
|
8
|
|
165
|
9 namespace Implab.Formats.JSON {
|
|
163
|
10 /// <summary>
|
|
|
11 /// Сканнер (лексер), разбивающий поток символов на токены JSON.
|
|
|
12 /// </summary>
|
|
176
|
13 public class JSONScanner : Disposable {
|
|
|
14 readonly StringBuilder m_builder = new StringBuilder();
|
|
|
15
|
|
|
16 readonly ScannerContext<JSONGrammar.TokenType> m_jsonScanner = JSONGrammar.Instance.JsonDFA;
|
|
|
17 readonly ScannerContext<JSONGrammar.TokenType> m_stringScanner = JSONGrammar.Instance.JsonStringDFA;
|
|
|
18
|
|
|
19
|
|
|
20 readonly TextScanner m_scanner;
|
|
163
|
21
|
|
|
22 /// <summary>
|
|
|
23 /// Создает новый экземпляр сканнера
|
|
|
24 /// </summary>
|
|
176
|
25 public JSONScanner(string text) {
|
|
|
26 Safe.ArgumentNotEmpty(text, "text");
|
|
|
27
|
|
|
28 m_scanner = new StringScanner(text);
|
|
|
29 }
|
|
|
30
|
|
|
31 public JSONScanner(TextReader reader, int bufferMax, int chunkSize) {
|
|
|
32 Safe.ArgumentNotNull(reader, "reader");
|
|
|
33
|
|
|
34 m_scanner = new ReaderScanner(reader);
|
|
163
|
35 }
|
|
|
36
|
|
|
37 /// <summary>
|
|
|
38 /// Читает следующий лексический элемент из входных данных.
|
|
|
39 /// </summary>
|
|
|
40 /// <param name="tokenValue">Возвращает значение прочитанного токена.</param>
|
|
|
41 /// <param name="tokenType">Возвращает тип прочитанного токена.</param>
|
|
|
42 /// <returns><c>true</c> - чтение произведено успешно. <c>false</c> - достигнут конец входных данных</returns>
|
|
|
43 /// <remarks>В случе если токен не распознается, возникает исключение. Значения токенов обрабатываются, т.е.
|
|
|
44 /// в строках обрабатываются экранированные символы, числа становтся типа double.</remarks>
|
|
|
45 public bool ReadToken(out object tokenValue, out JsonTokenType tokenType) {
|
|
176
|
46 JSONGrammar.TokenType[] tag;
|
|
|
47 if (m_jsonScanner.Execute(m_scanner, out tag)) {
|
|
|
48 switch (tag[0]) {
|
|
163
|
49 case JSONGrammar.TokenType.StringBound:
|
|
|
50 tokenValue = ReadString();
|
|
|
51 tokenType = JsonTokenType.String;
|
|
|
52 break;
|
|
|
53 case JSONGrammar.TokenType.Number:
|
|
176
|
54 tokenValue = Double.Parse(m_scanner.GetTokenValue(), CultureInfo.InvariantCulture);
|
|
163
|
55 tokenType = JsonTokenType.Number;
|
|
|
56 break;
|
|
|
57 default:
|
|
176
|
58 tokenType = (JsonTokenType)tag[0];
|
|
|
59 tokenValue = m_scanner.GetTokenValue();
|
|
163
|
60 break;
|
|
|
61 }
|
|
|
62 return true;
|
|
|
63 }
|
|
|
64 tokenValue = null;
|
|
|
65 tokenType = JsonTokenType.None;
|
|
|
66 return false;
|
|
|
67 }
|
|
|
68
|
|
|
69 string ReadString() {
|
|
|
70 int pos = 0;
|
|
176
|
71 char[] buf = new char[6]; // the buffer for unescaping chars
|
|
|
72
|
|
|
73 JSONGrammar.TokenType[] tag;
|
|
|
74 m_builder.Clear();
|
|
|
75
|
|
|
76 while (m_stringScanner.Execute(m_scanner, out tag)) {
|
|
|
77 switch (tag[0]) {
|
|
163
|
78 case JSONGrammar.TokenType.StringBound:
|
|
176
|
79 return m_builder.ToString();
|
|
163
|
80 case JSONGrammar.TokenType.UnescapedChar:
|
|
176
|
81 m_scanner.CopyTokenTo(m_builder);
|
|
163
|
82 break;
|
|
176
|
83 case JSONGrammar.TokenType.EscapedUnicode: // \xXXXX - unicode escape sequence
|
|
|
84 m_scanner.CopyTokenTo(buf, 0);
|
|
|
85 m_builder.Append(StringTranslator.TranslateHexUnicode(buf, 2));
|
|
163
|
86 pos++;
|
|
|
87 break;
|
|
176
|
88 case JSONGrammar.TokenType.EscapedChar: // \t - escape sequence
|
|
|
89 m_scanner.CopyTokenTo(buf, 0);
|
|
|
90 m_builder.Append(StringTranslator.TranslateEscapedChar(buf[1]));
|
|
163
|
91 break;
|
|
|
92 default:
|
|
|
93 break;
|
|
|
94 }
|
|
|
95
|
|
|
96 }
|
|
|
97
|
|
|
98 throw new ParserException("Unexpected end of data");
|
|
|
99 }
|
|
|
100 }
|
|
|
101 }
|
