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