annotate core/src/luan/impl/ThemeParser.java @ 594:e91e476186c7

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