Mercurial Hosting > luan
annotate core/src/luan/impl/ThemeParser.java @ 595:8370c4009cce
remove theme attributes
| author | Franklin Schmidt <fschmidt@gmail.com> |
|---|---|
| date | Mon, 14 Sep 2015 14:20:52 -0600 |
| parents | e91e476186c7 |
| children | b926e53910dd |
| 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); | |
| 158 LuanElement se = se(0,"local M = {}"); | |
| 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 { | |
| 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:") ) |
|
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
181 return parser.failure(null); |
| 594 | 182 String name = parseName(); |
| 183 if( name==null ) | |
| 184 throw exception("invalid block name"); | |
| 185 String spaces = ""; | |
| 186 if( BlankLine() ) { | |
| 187 while( BlankLine() ); | |
| 188 int startSpaces = parser.currentIndex(); | |
| 189 InlineSpaces(); | |
| 190 spaces = parser.textFrom(startSpaces); | |
| 191 } | |
| 192 if( !parser.match("}") ) | |
| 193 return null; | |
|
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); |
| 594 | 198 Stmt block = parseBody("define:"+name,spaces,EndOfLine()); |
|
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); |
| 584 | 202 return parser.success(rtn); |
| 203 } | |
| 204 | |
| 594 | 205 private Stmt parseBody(String tagName,String spaces,boolean initIndent) 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 boolean afterIndent = false; | |
| 225 if( initIndent && parser.match(spaces) ) { | |
| 226 addText(start,start,stmts,true); | |
| 227 start = parser.currentIndex(); | |
| 228 afterIndent = true; | |
| 229 } | |
| 230 int end = start; | |
| 231 while( !matchEndTag(tagName) ) { | |
| 584 | 232 if( parser.endOfInput() ) |
| 233 throw exception("unclosed block"); | |
| 594 | 234 Stmt block = parseBlock(spaces); |
| 584 | 235 if( block != null ) { |
| 594 | 236 addText(start,end,stmts,false); |
| 237 start = parser.currentIndex(); | |
| 584 | 238 stmts.add(block); |
| 594 | 239 afterIndent = false; |
| 584 | 240 continue; |
| 241 } | |
| 594 | 242 { |
| 243 String extraSpaces = null; | |
| 244 if( afterIndent ) { | |
| 245 int startSpaces = parser.currentIndex(); | |
| 246 InlineSpaces(); | |
| 247 extraSpaces = parser.textFrom(startSpaces); | |
| 248 end = parser.currentIndex(); | |
| 249 } | |
| 250 Stmt simpleTag = parseSimpleTag(extraSpaces); | |
| 251 if( simpleTag != null ) { | |
| 252 addText(start,end,stmts,false); | |
| 253 start = parser.currentIndex(); | |
| 254 stmts.add(simpleTag); | |
| 255 afterIndent = false; | |
| 256 continue; | |
| 257 } | |
| 258 if( extraSpaces!=null && extraSpaces.length() > 0 ) | |
| 259 continue; | |
| 260 } | |
| 261 if( EndOfLine() ) { | |
| 262 end = parser.currentIndex(); | |
| 263 afterIndent = false; | |
| 264 if( parser.match(spaces) ) { | |
| 265 addText(start,end,stmts,true); | |
| 266 start = parser.currentIndex(); | |
| 267 afterIndent = true; | |
| 268 } | |
| 584 | 269 continue; |
| 270 } | |
| 271 parser.anyChar(); | |
| 594 | 272 end = parser.currentIndex(); |
| 273 afterIndent = false; | |
| 584 | 274 } |
| 594 | 275 addText(start,end,stmts,false); |
| 276 Stmt block = new Block( stmts.toArray(new Stmt[0]), stackStart, symbolsSize() ); | |
| 277 popSymbols(1); | |
| 584 | 278 return block; |
| 279 } | |
| 280 | |
| 594 | 281 private boolean matchEndTag(String tagName) { |
| 282 parser.begin(); | |
| 283 if( !parser.match('{') ) | |
| 284 return parser.failure(); | |
| 285 Spaces(); | |
| 286 if( !(parser.match('/') && parser.match(tagName)) ) | |
| 287 return parser.failure(); | |
| 288 Spaces(); | |
| 289 if( !parser.match('}') ) | |
| 290 return parser.failure(); | |
| 291 return parser.success(); | |
| 584 | 292 } |
| 293 | |
| 594 | 294 private void addText(int start,int end,List<Stmt> stmts,boolean indent) { |
| 295 List<Expressions> args = new ArrayList<Expressions>(); | |
| 296 if( start < end ) { | |
| 297 String text = parser.text.substring(start,end); | |
| 298 args.add( new ConstExpr(null,text) ); | |
| 299 } | |
| 300 if( indent ) { | |
| 301 args.add( new GetLocalVar(null,stackIndex(INDENT)) ); | |
| 302 } | |
| 303 if( !args.isEmpty() ) { | |
| 304 Expr io = new GetUpVar(null,upValueIndex(IO)); | |
| 305 Expr stdoutExp = new IndexExpr( se(start,"stdout"), io, new ConstExpr(null,"stdout") ); | |
| 306 Expr writeExp = new IndexExpr( se(start,"write"), stdoutExp, new ConstExpr(null,"write") ); | |
| 307 FnCall writeCall = new FnCall( se(start), writeExp, ExpList.build(args) ); | |
| 308 stmts.add( new ExpressionsStmt(writeCall) ); | |
| 309 } | |
| 310 } | |
| 311 | |
| 312 private Stmt parseBlock(String spaces) throws ParseException { | |
| 584 | 313 int start = parser.begin(); |
|
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"); | |
| 319 if( !parser.match("}") ) | |
| 320 return null; | |
| 584 | 321 frame = new Frame(frame); |
| 322 addSymbol(ENV); | |
| 594 | 323 Stmt block = parseBody("block:"+name,spaces,false); |
| 584 | 324 FnDef fnDef = newFnDef(start,block); |
| 325 frame = frame.parent; | |
| 326 // String rtn = "<% env." + tag.name + "(" + (tag.attrs.isEmpty() ? "nil" : table(tag.attrs)) + ",env,function(env) %>" + block + "<% end) %>"; | |
| 327 Expr env = env(); | |
| 594 | 328 Expr fn = new IndexExpr( se(start,"block:"+name), env, new ConstExpr(null,name) ); |
| 584 | 329 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
|
330 args.add( env ); |
| 584 | 331 args.add( fnDef ); |
| 332 FnCall fnCall = new FnCall( se(start), fn, ExpList.build(args) ); | |
| 333 Stmt rtn = new ExpressionsStmt(fnCall); | |
| 334 return parser.success(rtn); | |
| 335 } | |
| 336 | |
| 594 | 337 private Stmt parseSimpleTag(String spaces) throws ParseException { |
| 584 | 338 int start = parser.begin(); |
| 339 if( !parser.match("{") ) | |
| 340 return parser.failure(null); | |
| 341 String name = parseName(); | |
| 342 if( name==null ) | |
| 343 return parser.failure(null); | |
| 594 | 344 Spaces(); |
| 584 | 345 if( !parser.match("}") ) |
| 346 return parser.failure(null); | |
|
593
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
347 // 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
|
348 Expr env = env(); |
|
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
349 Expr fn = new IndexExpr( se(start,name), env, new ConstExpr(null,name) ); |
| 594 | 350 if( spaces!=null && spaces.length() > 0 ) { |
| 351 final Expr oldEnv = env; | |
| 352 final Expr oldIndentExpr = new GetLocalVar(null,stackIndex(INDENT)); | |
| 353 final String addSpaces = spaces; | |
| 354 env = new ExprImpl(se(start,"indent_env")) { | |
| 355 @Override public Object eval(LuanStateImpl luan) throws LuanException { | |
| 356 LuanTable mt = new LuanTable(); | |
| 357 mt.rawPut("__index",oldEnv.eval(luan)); | |
| 358 LuanTable tbl = new LuanTable(); | |
| 359 tbl.setMetatable(mt); | |
| 360 String oldIndent = (String)oldIndentExpr.eval(luan); | |
| 361 String newIndent = oldIndent + addSpaces; | |
| 362 tbl.rawPut(INDENT,newIndent); | |
| 363 return tbl; | |
| 364 } | |
| 365 }; | |
| 366 } | |
|
595
8370c4009cce
remove theme attributes
Franklin Schmidt <fschmidt@gmail.com>
parents:
594
diff
changeset
|
367 FnCall fnCall = new FnCall( se(start), fn, env ); |
| 584 | 368 Stmt rtn = new ExpressionsStmt(fnCall); |
| 369 return parser.success(rtn); | |
| 370 } | |
| 371 | |
| 372 private void Spaces() { | |
| 373 while( parser.anyOf(" \t\r\n") ); | |
| 374 } | |
| 375 | |
| 594 | 376 private void InlineSpaces() { |
| 377 while( parser.anyOf(" \t") ); | |
| 378 } | |
| 379 | |
| 380 private void BlankLines() { | |
| 381 while( BlankLine() ); | |
| 382 } | |
| 383 | |
| 384 private boolean BlankLine() { | |
| 385 parser.begin(); | |
| 386 while( parser.anyOf(" \t") ); | |
| 387 return EndOfLine() ? parser.success() : parser.failure(); | |
| 388 } | |
| 389 | |
| 390 private boolean EndOfLine() { | |
| 391 return parser.match( "\r\n" ) || parser.match( '\r' ) || parser.match( '\n' ); | |
| 392 } | |
| 393 | |
| 584 | 394 private String parseName() { |
| 395 int start = parser.begin(); | |
|
593
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
396 if( !NameChar() ) |
| 584 | 397 return parser.failure(null); |
|
593
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
398 while( NameChar() ); |
| 584 | 399 String match = parser.textFrom(start); |
| 400 return parser.success(match); | |
| 401 } | |
| 402 | |
|
593
92c9fa5e39e6
remove theme "Get" and "Set", and add "define"
Franklin Schmidt <fschmidt@gmail.com>
parents:
587
diff
changeset
|
403 private boolean NameChar() { |
| 587 | 404 return parser.inCharRange('a', 'z') || parser.inCharRange('A', 'Z') |
| 405 || parser.inCharRange('0', '9') || parser.anyOf("-_"); | |
| 584 | 406 } |
| 407 | |
| 408 } |