Mercurial Hosting > luan
annotate core/src/luan/impl/ThemeParser.java @ 623:d592bf0947a9
remove "~a" idea
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Thu, 07 Jan 2016 03:58:51 -0700 |
parents | 56b0b9018319 |
children | 3dde072c3420 |
rev | line source |
---|---|
584 | 1 package luan.impl; |
2 | |
3 import java.util.Map; | |
4 import java.util.HashMap; | |
5 import java.util.List; | |
6 import java.util.ArrayList; | |
7 import luan.LuanSource; | |
8 import luan.LuanTable; | |
9 import luan.LuanElement; | |
10 import luan.LuanState; | |
11 import luan.LuanFunction; | |
12 import luan.LuanException; | |
13 import luan.modules.PackageLuan; | |
14 | |
15 | |
16 public final class ThemeParser { | |
17 | |
18 public static LuanFunction compile(LuanState luan,LuanSource source) throws LuanException { | |
19 try { | |
20 FnDef fnDef = new ThemeParser(source).parse(); | |
21 final LuanStateImpl luanImpl = (LuanStateImpl)luan; | |
22 return new Closure(luanImpl,fnDef); | |
23 } catch(ParseException e) { | |
24 //e.printStackTrace(); | |
25 throw new LuanException(luan, e.getFancyMessage() ); | |
26 } | |
27 } | |
28 | |
29 private static final class Frame { | |
30 final Frame parent; | |
31 final List<String> symbols = new ArrayList<String>(); | |
32 int stackSize = 0; | |
33 final boolean isVarArg; | |
34 final List<String> upValueSymbols = new ArrayList<String>(); | |
35 final List<UpValue.Getter> upValueGetters = new ArrayList<UpValue.Getter>(); | |
36 | |
37 Frame() { | |
38 this.parent = null; | |
39 isVarArg = true; | |
40 } | |
41 | |
42 Frame(Frame parent) { | |
43 this.parent = parent; | |
44 isVarArg = false; | |
45 if( upValueIndex(MOD) != 0 ) | |
46 throw new RuntimeException(); | |
47 } | |
48 | |
49 int stackIndex(String name) { | |
50 int i = symbols.size(); | |
51 while( --i >= 0 ) { | |
52 if( symbols.get(i).equals(name) ) | |
53 return i; | |
54 } | |
55 return -1; | |
56 } | |
57 | |
58 int upValueIndex(String name) { | |
59 int i = upValueSymbols.size(); | |
60 while( --i >= 0 ) { | |
61 if( upValueSymbols.get(i).equals(name) ) | |
62 return i; | |
63 } | |
64 if( parent==null ) | |
65 return -1; | |
66 i = parent.stackIndex(name); | |
67 if( i != -1 ) { | |
68 upValueGetters.add(new UpValue.StackGetter(i)); | |
69 } else { | |
70 i = parent.upValueIndex(name); | |
71 if( i == -1 ) | |
72 return -1; | |
73 upValueGetters.add(new UpValue.NestedGetter(i)); | |
74 } | |
75 upValueSymbols.add(name); | |
76 return upValueSymbols.size() - 1; | |
77 } | |
78 | |
79 void addUpValueGetter(String name,UpValue.Getter upValueGetter) { | |
80 upValueSymbols.add(name); | |
81 upValueGetters.add(upValueGetter); | |
82 } | |
83 } | |
84 | |
85 private static final String IO = "-IO-"; | |
86 private static final String MOD = "-MOD-"; | |
87 private static final String ENV = "-ENV-"; | |
594 | 88 private static final String INDENT = "-INDENT-"; |
584 | 89 private static final UpValue.Getter[] NO_UP_VALUE_GETTERS = new UpValue.Getter[0]; |
90 | |
91 private final LuanSource source; | |
92 private final Parser parser; | |
93 private Frame frame = new Frame(); | |
94 | |
95 private ThemeParser(LuanSource source) { | |
96 this.source = source; | |
97 this.parser = new Parser(this.source); | |
98 } | |
99 | |
100 private LuanElement se(int start) { | |
101 return se(start,null); | |
102 } | |
103 | |
104 private LuanElement se(int start,String text) { | |
105 return new LuanElement(source,start,parser.currentIndex(),text); | |
106 } | |
107 | |
108 private int symbolsSize() { | |
109 return frame.symbols.size(); | |
110 } | |
111 | |
112 private void addSymbol(String name) { | |
113 frame.symbols.add(name); | |
114 if( frame.stackSize < symbolsSize() ) | |
115 frame.stackSize = symbolsSize(); | |
116 } | |
117 | |
118 private FnDef newFnDef(int start,Stmt stmt) { | |
119 return new FnDef( se(start), stmt, frame.stackSize, symbolsSize(), frame.isVarArg, frame.upValueGetters.toArray(NO_UP_VALUE_GETTERS) ); | |
120 } | |
121 | |
122 private int stackIndex(String name) { | |
123 return frame.stackIndex(name); | |
124 } | |
125 | |
594 | 126 private void popSymbols(int n) { |
127 List<String> symbols = frame.symbols; | |
128 while( n-- > 0 ) { | |
129 symbols.remove(symbols.size()-1); | |
130 } | |
131 } | |
132 | |
584 | 133 private int upValueIndex(String name) { |
134 return frame.upValueIndex(name); | |
135 } | |
136 | |
137 private ParseException exception(String msg) { | |
138 parser.failure(); | |
139 return parser.exception(msg); | |
140 } | |
141 | |
142 private Expr env() { | |
143 return new GetLocalVar(null,stackIndex(ENV)); | |
144 } | |
145 | |
146 private FnDef parse() throws ParseException { | |
147 List<Stmt> stmts = new ArrayList<Stmt>(); | |
148 int stackStart = symbolsSize(); | |
149 { | |
150 addSymbol(IO); | |
151 LuanElement se = se(0,"require 'luan:Io'"); | |
152 FnCall requireCall = new FnCall( se, new ConstExpr(se,PackageLuan.requireFn), new ConstExpr(se,"luan:Io") ); | |
153 SetStmt setStmt = new SetStmt( new SetLocalVar(stackIndex(IO)), new ExpressionsExpr(requireCall) ); | |
154 stmts.add(setStmt); | |
155 } | |
156 { | |
157 addSymbol(MOD); | |
607
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
158 LuanElement se = se(0,"local M = {['-INDENT-']=''}"); |
594 | 159 TableExpr.Field indent = new TableExpr.Field(new ConstExpr(null,INDENT),new ConstExpr(null,"")); |
160 TableExpr tableExpr = new TableExpr( se, new TableExpr.Field[]{indent}, ExpList.emptyExpList ); | |
584 | 161 SetStmt setStmt = new SetStmt( new SetLocalVar(stackIndex(MOD)), tableExpr ); |
162 stmts.add(setStmt); | |
163 } | |
164 while( !parser.endOfInput() ) { | |
165 Stmt def = parseDef(); | |
166 if( def != null ) { | |
167 stmts.add(def); | |
168 } else { | |
169 parser.anyChar(); | |
170 } | |
171 } | |
172 stmts.add( new ReturnStmt(null,new GetLocalVar(null,stackIndex(MOD))) ); | |
173 Stmt block = new Block( stmts.toArray(new Stmt[0]), stackStart, symbolsSize() ); | |
174 FnDef fnDef = newFnDef(0,block); | |
175 return fnDef; | |
176 } | |
177 | |
178 private Stmt parseDef() throws ParseException { | |
616
56b0b9018319
improve ThemeParser error handling
Franklin Schmidt <fschmidt@gmail.com>
parents:
608
diff
changeset
|
179 int start = parser.begin(); |
593
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
180 if( !parser.match("{define:") ) |
616
56b0b9018319
improve ThemeParser error handling
Franklin Schmidt <fschmidt@gmail.com>
parents:
608
diff
changeset
|
181 return parser.failure(null); |
594 | 182 String name = parseName(); |
183 if( name==null ) | |
600
b926e53910dd
change theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
595
diff
changeset
|
184 throw parser.exception("invalid block name"); |
616
56b0b9018319
improve ThemeParser error handling
Franklin Schmidt <fschmidt@gmail.com>
parents:
608
diff
changeset
|
185 if( !parser.match('}') ) |
600
b926e53910dd
change theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
595
diff
changeset
|
186 throw parser.exception("unclosed define tag"); |
594 | 187 String spaces = ""; |
600
b926e53910dd
change theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
595
diff
changeset
|
188 boolean indent = BlankLine(); |
b926e53910dd
change theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
595
diff
changeset
|
189 if( indent ) { |
594 | 190 int startSpaces = parser.currentIndex(); |
191 InlineSpaces(); | |
192 spaces = parser.textFrom(startSpaces); | |
193 } | |
593
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
194 Expr table = new GetLocalVar(null,stackIndex(MOD)); |
594 | 195 Settable fnName = new SetTableEntry(se(start),table,new ConstExpr(null,name)); |
593
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
196 frame = new Frame(frame); |
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
197 addSymbol(ENV); |
600
b926e53910dd
change theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
595
diff
changeset
|
198 Stmt block = parseBody("define:"+name,spaces,indent); |
593
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
199 FnDef fnDef = newFnDef(start,block); |
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
200 frame = frame.parent; |
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
201 Stmt rtn = new SetStmt(fnName,fnDef); |
616
56b0b9018319
improve ThemeParser error handling
Franklin Schmidt <fschmidt@gmail.com>
parents:
608
diff
changeset
|
202 return parser.success(rtn); |
584 | 203 } |
204 | |
607
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
205 private Stmt parseBody(String tagName,final String spaces,boolean afterIndent) throws ParseException { |
584 | 206 List<Stmt> stmts = new ArrayList<Stmt>(); |
207 int stackStart = symbolsSize(); | |
594 | 208 int start = parser.currentIndex(); |
209 { | |
210 addSymbol(INDENT); | |
211 final Expr env = env(); | |
212 Expr exp = new ExprImpl(se(start,"indent")) { | |
213 @Override public Object eval(LuanStateImpl luan) throws LuanException { | |
214 LuanTable tbl = (LuanTable)env.eval(luan); | |
215 String indent = (String)tbl.get(luan,INDENT); | |
216 if( indent==null ) throw new NullPointerException(); | |
217 return indent; | |
218 } | |
219 }; | |
220 // Expr exp = new IndexExpr( se(start,"indent"), env(), new ConstExpr(null,INDENT) ); | |
221 SetStmt setStmt = new SetStmt( new SetLocalVar(stackIndex(INDENT)), exp ); | |
222 stmts.add(setStmt); | |
223 } | |
224 int end = start; | |
225 while( !matchEndTag(tagName) ) { | |
584 | 226 if( parser.endOfInput() ) |
227 throw exception("unclosed block"); | |
607
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
228 Stmt block = parseBlock(spaces,afterIndent); |
584 | 229 if( block != null ) { |
594 | 230 addText(start,end,stmts,false); |
231 start = parser.currentIndex(); | |
584 | 232 stmts.add(block); |
594 | 233 afterIndent = false; |
584 | 234 continue; |
235 } | |
594 | 236 { |
237 String extraSpaces = null; | |
238 if( afterIndent ) { | |
239 int startSpaces = parser.currentIndex(); | |
240 InlineSpaces(); | |
241 extraSpaces = parser.textFrom(startSpaces); | |
242 end = parser.currentIndex(); | |
243 } | |
244 Stmt simpleTag = parseSimpleTag(extraSpaces); | |
245 if( simpleTag != null ) { | |
246 addText(start,end,stmts,false); | |
247 start = parser.currentIndex(); | |
248 stmts.add(simpleTag); | |
249 afterIndent = false; | |
250 continue; | |
251 } | |
252 if( extraSpaces!=null && extraSpaces.length() > 0 ) | |
253 continue; | |
254 } | |
255 if( EndOfLine() ) { | |
256 end = parser.currentIndex(); | |
257 afterIndent = false; | |
258 if( parser.match(spaces) ) { | |
259 addText(start,end,stmts,true); | |
260 start = parser.currentIndex(); | |
261 afterIndent = true; | |
262 } | |
584 | 263 continue; |
264 } | |
265 parser.anyChar(); | |
594 | 266 end = parser.currentIndex(); |
267 afterIndent = false; | |
584 | 268 } |
594 | 269 addText(start,end,stmts,false); |
270 Stmt block = new Block( stmts.toArray(new Stmt[0]), stackStart, symbolsSize() ); | |
271 popSymbols(1); | |
584 | 272 return block; |
273 } | |
274 | |
594 | 275 private boolean matchEndTag(String tagName) { |
276 parser.begin(); | |
607
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
277 /* |
600
b926e53910dd
change theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
595
diff
changeset
|
278 if( tagName.startsWith("define:") ) |
b926e53910dd
change theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
595
diff
changeset
|
279 EndOfLine(); |
607
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
280 */ |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
281 if( EndOfLine() ) |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
282 InlineSpaces(); |
600
b926e53910dd
change theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
595
diff
changeset
|
283 return parser.match("{/") && parser.match(tagName) && parser.match('}') ? parser.success() : parser.failure(); |
584 | 284 } |
285 | |
594 | 286 private void addText(int start,int end,List<Stmt> stmts,boolean indent) { |
287 List<Expressions> args = new ArrayList<Expressions>(); | |
288 if( start < end ) { | |
289 String text = parser.text.substring(start,end); | |
290 args.add( new ConstExpr(null,text) ); | |
291 } | |
292 if( indent ) { | |
293 args.add( new GetLocalVar(null,stackIndex(INDENT)) ); | |
294 } | |
295 if( !args.isEmpty() ) { | |
296 Expr io = new GetUpVar(null,upValueIndex(IO)); | |
297 Expr stdoutExp = new IndexExpr( se(start,"stdout"), io, new ConstExpr(null,"stdout") ); | |
298 Expr writeExp = new IndexExpr( se(start,"write"), stdoutExp, new ConstExpr(null,"write") ); | |
299 FnCall writeCall = new FnCall( se(start), writeExp, ExpList.build(args) ); | |
300 stmts.add( new ExpressionsStmt(writeCall) ); | |
301 } | |
302 } | |
303 | |
607
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
304 private Stmt parseBlock(String spaces,boolean afterIndent) throws ParseException { |
584 | 305 int start = parser.begin(); |
607
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
306 String tagSpaces = null; |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
307 if( afterIndent ) { |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
308 tagSpaces = spaces; |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
309 } else if( EndOfLine() ) { |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
310 int startSpaces = parser.currentIndex(); |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
311 InlineSpaces(); |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
312 tagSpaces = parser.textFrom(startSpaces); |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
313 } |
593
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
314 if( !parser.match("{block:") ) |
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
315 return parser.failure(null); |
594 | 316 String name = parseName(); |
317 if( name==null ) | |
318 throw exception("invalid block name"); | |
616
56b0b9018319
improve ThemeParser error handling
Franklin Schmidt <fschmidt@gmail.com>
parents:
608
diff
changeset
|
319 if( !parser.match('}') ) |
594 | 320 return null; |
607
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
321 if( tagSpaces != null ) { |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
322 parser.begin(); |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
323 InlineSpaces(); |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
324 if( EndOfLine() ) { |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
325 int startSpaces = parser.currentIndex(); |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
326 InlineSpaces(); |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
327 String line1Spaces = parser.textFrom(startSpaces); |
608 | 328 if( line1Spaces.startsWith(tagSpaces) ) { |
329 String newSpaces = spaces + line1Spaces.substring(tagSpaces.length()); | |
330 if( line1Spaces.startsWith(newSpaces) ) | |
331 spaces = newSpaces; | |
332 } | |
607
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
333 } |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
334 parser.failure(); // rollback |
c5ad80f869da
improve theming indentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
600
diff
changeset
|
335 } |
584 | 336 frame = new Frame(frame); |
337 addSymbol(ENV); | |
594 | 338 Stmt block = parseBody("block:"+name,spaces,false); |
584 | 339 FnDef fnDef = newFnDef(start,block); |
340 frame = frame.parent; | |
341 // String rtn = "<% env." + tag.name + "(" + (tag.attrs.isEmpty() ? "nil" : table(tag.attrs)) + ",env,function(env) %>" + block + "<% end) %>"; | |
342 Expr env = env(); | |
594 | 343 Expr fn = new IndexExpr( se(start,"block:"+name), env, new ConstExpr(null,name) ); |
584 | 344 List<Expressions> args = new ArrayList<Expressions>(); |
593
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
345 args.add( env ); |
584 | 346 args.add( fnDef ); |
347 FnCall fnCall = new FnCall( se(start), fn, ExpList.build(args) ); | |
348 Stmt rtn = new ExpressionsStmt(fnCall); | |
349 return parser.success(rtn); | |
350 } | |
351 | |
594 | 352 private Stmt parseSimpleTag(String spaces) throws ParseException { |
584 | 353 int start = parser.begin(); |
616
56b0b9018319
improve ThemeParser error handling
Franklin Schmidt <fschmidt@gmail.com>
parents:
608
diff
changeset
|
354 if( !parser.match('{') ) |
584 | 355 return parser.failure(null); |
356 String name = parseName(); | |
357 if( name==null ) | |
358 return parser.failure(null); | |
616
56b0b9018319
improve ThemeParser error handling
Franklin Schmidt <fschmidt@gmail.com>
parents:
608
diff
changeset
|
359 if( !parser.match('}') ) |
584 | 360 return parser.failure(null); |
593
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
361 // rtn = "<% env." + name + (attrs.isEmpty() ? "()" : table(attrs)) + " %>"; |
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
362 Expr env = env(); |
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
363 Expr fn = new IndexExpr( se(start,name), env, new ConstExpr(null,name) ); |
594 | 364 if( spaces!=null && spaces.length() > 0 ) { |
365 final Expr oldEnv = env; | |
366 final Expr oldIndentExpr = new GetLocalVar(null,stackIndex(INDENT)); | |
367 final String addSpaces = spaces; | |
368 env = new ExprImpl(se(start,"indent_env")) { | |
369 @Override public Object eval(LuanStateImpl luan) throws LuanException { | |
370 LuanTable mt = new LuanTable(); | |
371 mt.rawPut("__index",oldEnv.eval(luan)); | |
372 LuanTable tbl = new LuanTable(); | |
373 tbl.setMetatable(mt); | |
374 String oldIndent = (String)oldIndentExpr.eval(luan); | |
375 String newIndent = oldIndent + addSpaces; | |
376 tbl.rawPut(INDENT,newIndent); | |
377 return tbl; | |
378 } | |
379 }; | |
380 } | |
595
8370c4009cce
remove theme attributes
Franklin Schmidt <fschmidt@gmail.com>
parents:
594
diff
changeset
|
381 FnCall fnCall = new FnCall( se(start), fn, env ); |
584 | 382 Stmt rtn = new ExpressionsStmt(fnCall); |
383 return parser.success(rtn); | |
384 } | |
385 | |
594 | 386 private void InlineSpaces() { |
387 while( parser.anyOf(" \t") ); | |
388 } | |
389 | |
390 private boolean BlankLine() { | |
391 parser.begin(); | |
392 while( parser.anyOf(" \t") ); | |
393 return EndOfLine() ? parser.success() : parser.failure(); | |
394 } | |
395 | |
396 private boolean EndOfLine() { | |
397 return parser.match( "\r\n" ) || parser.match( '\r' ) || parser.match( '\n' ); | |
398 } | |
399 | |
616
56b0b9018319
improve ThemeParser error handling
Franklin Schmidt <fschmidt@gmail.com>
parents:
608
diff
changeset
|
400 private String parseName() throws ParseException { |
584 | 401 int start = parser.begin(); |
616
56b0b9018319
improve ThemeParser error handling
Franklin Schmidt <fschmidt@gmail.com>
parents:
608
diff
changeset
|
402 if( parser.match('/') ) |
56b0b9018319
improve ThemeParser error handling
Franklin Schmidt <fschmidt@gmail.com>
parents:
608
diff
changeset
|
403 throw exception("bad closing tag"); |
56b0b9018319
improve ThemeParser error handling
Franklin Schmidt <fschmidt@gmail.com>
parents:
608
diff
changeset
|
404 if( parser.match("define:") ) |
56b0b9018319
improve ThemeParser error handling
Franklin Schmidt <fschmidt@gmail.com>
parents:
608
diff
changeset
|
405 throw exception("unexpected definition"); |
593
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
406 if( !NameChar() ) |
584 | 407 return parser.failure(null); |
593
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
408 while( NameChar() ); |
584 | 409 String match = parser.textFrom(start); |
410 return parser.success(match); | |
411 } | |
412 | |
593
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
413 private boolean NameChar() { |
587 | 414 return parser.inCharRange('a', 'z') || parser.inCharRange('A', 'Z') |
415 || parser.inCharRange('0', '9') || parser.anyOf("-_"); | |
584 | 416 } |
417 | |
418 } |