annotate core/src/luan/modules/parsers/Json.java @ 720:bdd766df1c17

add json parser
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 30 May 2016 21:27:17 -0600
parents
children c29d11d675fd
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
720
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 package luan.modules.parsers;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 import java.util.List;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 import java.util.ArrayList;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 import java.util.Map;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 import java.util.LinkedHashMap;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 import luan.LuanTable;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 public final class Json {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 public static Object parse(String text) throws ParseException {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 return new Json(text).parse();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 private final Parser parser;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 private Json(String text) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 this.parser = new Parser(text);
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 private ParseException exception(String msg) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 return new ParseException(parser,msg);
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 private Object parse() throws ParseException {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 spaces();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 Object value = value();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 spaces();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 if( !parser.endOfInput() )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 throw exception("unexpected text");
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 return value;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 private Object value() throws ParseException {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 if( parser.match("null") )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 return null;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 if( parser.match("true") )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39 return Boolean.TRUE;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 if( parser.match("false") )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 return Boolean.FALSE;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 String s = string();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43 if( s != null )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
44 return s;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
45 Number n = number();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
46 if( n != null )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
47 return n;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
48 LuanTable a = array();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
49 if( a != null )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
50 return a;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
51 LuanTable o = object();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
52 if( o != null )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
53 return o;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
54 throw exception("invalid value");
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
55 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
56
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57 private String string() throws ParseException {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58 parser.begin();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
59 if( !parser.match('"') )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
60 return parser.failure(null);
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
61 StringBuilder sb = new StringBuilder();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
62 while( parser.anyChar() ) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
63 char c = parser.lastChar();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
64 switch(c) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
65 case '"':
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
66 return parser.success(sb.toString());
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
67 case '\\':
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
68 if( parser.anyChar() ) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
69 c = parser.lastChar();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
70 switch(c) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
71 case '"':
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
72 case '\\':
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
73 case '/':
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
74 sb.append(c);
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
75 continue;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
76 case 'b':
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
77 sb.append('\b');
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
78 continue;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
79 case 'f':
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
80 sb.append('\f');
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
81 continue;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
82 case 'n':
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
83 sb.append('\n');
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
84 continue;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
85 case 'r':
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
86 sb.append('\r');
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
87 continue;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
88 case 't':
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
89 sb.append('\t');
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
90 continue;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
91 case 'u':
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
92 int n = 0;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
93 for( int i=0; i<4; i++ ) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
94 int d;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
95 if( parser.inCharRange('0','9') ) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
96 d = parser.lastChar() - '0';
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
97 } else if( parser.inCharRange('a','f') ) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
98 d = parser.lastChar() - 'a' + 10;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
99 } else if( parser.inCharRange('A','F') ) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
100 d = parser.lastChar() - 'A' + 10;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
101 } else {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
102 throw exception("invalid hex digit");
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
103 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
104 n = 16*n + d;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
105 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
106 sb.append((char)n);
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
107 continue;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
108 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
109 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
110 throw exception("invalid escape char");
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
111 default:
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
112 sb.append(c);
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
113 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
114 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
115 parser.failure();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
116 throw exception("unclosed string");
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
117 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
118
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
119 private Number number() {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
120 int start = parser.begin();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
121 parser.match('-');
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
122 if( !parser.match('0') ) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
123 if( !parser.inCharRange('1','9') )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
124 return parser.failure(null);
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
125 while( parser.inCharRange('0','9') );
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
126 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
127 if( parser.match('.') ) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
128 if( !parser.inCharRange('0','9') )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
129 return parser.failure(null);
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
130 while( parser.inCharRange('0','9') );
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
131 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
132 if( parser.anyOf("eE") ) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
133 parser.anyOf("+-");
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
134 if( !parser.inCharRange('0','9') )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
135 return parser.failure(null);
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
136 while( parser.inCharRange('0','9') );
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
137 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
138 String s = parser.textFrom(start);
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
139 return parser.success(Double.valueOf(s));
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
140 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
141
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
142 private LuanTable array() throws ParseException {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
143 parser.begin();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
144 if( !parser.match('[') )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
145 return parser.failure(null);
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
146 spaces();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
147 if( parser.match(']') )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
148 return parser.success(new LuanTable());
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
149 List list = new ArrayList();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
150 list.add( value() );
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
151 spaces();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
152 while( parser.match(',') ) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
153 spaces();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
154 list.add( value() );
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
155 spaces();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
156 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
157 if( parser.match(']') )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
158 return parser.success(new LuanTable(list));
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
159 if( parser.endOfInput() ) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
160 parser.failure();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
161 throw exception("unclosed array");
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
162 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
163 throw exception("unexpected text in array");
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
164 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
165
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
166 private LuanTable object() throws ParseException {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
167 parser.begin();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
168 if( !parser.match('{') )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
169 return parser.failure(null);
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
170 spaces();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
171 if( parser.match('}') )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
172 return parser.success(new LuanTable());
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
173 Map map = new LinkedHashMap();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
174 addEntry(map);
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
175 while( parser.match(',') ) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
176 spaces();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
177 addEntry(map);
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
178 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
179 if( parser.match('}') )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
180 return parser.success(new LuanTable(map));
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
181 if( parser.endOfInput() ) {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
182 parser.failure();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
183 throw exception("unclosed object");
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
184 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
185 throw exception("unexpected text in object");
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
186 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
187
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
188 private void addEntry(Map map) throws ParseException {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
189 String key = string();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
190 if( key==null )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
191 throw exception("invalid object key");
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
192 spaces();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
193 if( !parser.match(':') )
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
194 throw exception("':' expected");
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
195 spaces();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
196 Object value = value();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
197 spaces();
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
198 map.put(key,value);
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
199 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
200
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
201 private void spaces() {
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
202 while( parser.anyOf(" \t\r\n") );
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
203 }
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
204 }