Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 1 | package main |
| 2 | |
| 3 | import ( |
| 4 | "bytes" |
Fumitoshi Ukai | f8efa0a | 2015-03-30 18:10:11 +0900 | [diff] [blame] | 5 | "fmt" |
Shinichiro Hamaji | e57b569 | 2015-03-30 23:16:47 +0900 | [diff] [blame] | 6 | "regexp" |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 7 | "strings" |
| 8 | ) |
| 9 | |
| 10 | type Rule struct { |
Fumitoshi Ukai | ad72060 | 2015-03-31 10:29:59 +0900 | [diff] [blame] | 11 | output string |
| 12 | inputs []string |
| 13 | cmds []string |
| 14 | filename string |
| 15 | lineno int |
Shinichiro Hamaji | 7c4e325 | 2015-03-30 23:04:25 +0900 | [diff] [blame] | 16 | cmdLineno int |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 17 | } |
| 18 | |
| 19 | type EvalResult struct { |
| 20 | vars map[string]string |
| 21 | rules []*Rule |
| 22 | refs map[string]bool |
| 23 | } |
| 24 | |
| 25 | type Evaluator struct { |
Fumitoshi Ukai | cf2b038 | 2015-03-30 17:48:54 +0900 | [diff] [blame] | 26 | outVars map[string]string |
| 27 | outRules []*Rule |
| 28 | refs map[string]bool |
| 29 | vars map[string]string |
| 30 | curRule *Rule |
Shinichiro Hamaji | 51d53d9 | 2015-03-30 18:32:16 +0900 | [diff] [blame] | 31 | |
Fumitoshi Ukai | f2f8456 | 2015-03-30 19:47:45 +0900 | [diff] [blame] | 32 | funcs map[string]Func |
| 33 | |
Shinichiro Hamaji | 51d53d9 | 2015-03-30 18:32:16 +0900 | [diff] [blame] | 34 | filename string |
| 35 | lineno int |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 36 | } |
| 37 | |
Shinichiro Hamaji | d7bef60 | 2015-03-30 19:55:32 +0900 | [diff] [blame] | 38 | func newEvaluator(vars map[string]string) *Evaluator { |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 39 | return &Evaluator{ |
Fumitoshi Ukai | cf2b038 | 2015-03-30 17:48:54 +0900 | [diff] [blame] | 40 | outVars: make(map[string]string), |
| 41 | refs: make(map[string]bool), |
Shinichiro Hamaji | d7bef60 | 2015-03-30 19:55:32 +0900 | [diff] [blame] | 42 | vars: vars, |
Fumitoshi Ukai | f2f8456 | 2015-03-30 19:47:45 +0900 | [diff] [blame] | 43 | funcs: map[string]Func{ |
Fumitoshi Ukai | e520f26 | 2015-03-31 17:27:03 +0900 | [diff] [blame] | 44 | "subst": funcSubst, |
Fumitoshi Ukai | f2f8456 | 2015-03-30 19:47:45 +0900 | [diff] [blame] | 45 | "wildcard": funcWildcard, |
| 46 | "shell": funcShell, |
| 47 | "warning": funcWarning, |
| 48 | }, |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 49 | } |
| 50 | } |
| 51 | |
Fumitoshi Ukai | e520f26 | 2015-03-31 17:27:03 +0900 | [diff] [blame] | 52 | func (ev *Evaluator) evalFunction(args []string) (string, bool) { |
| 53 | if len(args) == 0 { |
| 54 | return "", false |
| 55 | } |
| 56 | i := strings.IndexAny(args[0], " \t") |
Fumitoshi Ukai | f2f8456 | 2015-03-30 19:47:45 +0900 | [diff] [blame] | 57 | if i < 0 { |
| 58 | return "", false |
| 59 | } |
Fumitoshi Ukai | e520f26 | 2015-03-31 17:27:03 +0900 | [diff] [blame] | 60 | cmd := strings.TrimSpace(args[0][:i]) |
| 61 | args[0] = strings.TrimLeft(args[0][i+1:], " \t") |
Fumitoshi Ukai | f2f8456 | 2015-03-30 19:47:45 +0900 | [diff] [blame] | 62 | if f, ok := ev.funcs[cmd]; ok { |
| 63 | return f(ev, args), true |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 64 | } |
| 65 | return "", false |
| 66 | } |
| 67 | |
Fumitoshi Ukai | e520f26 | 2015-03-31 17:27:03 +0900 | [diff] [blame] | 68 | func (ev *Evaluator) evalExprSlice(ex string) (string, int) { |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 69 | var buf bytes.Buffer |
| 70 | i := 0 |
Fumitoshi Ukai | e520f26 | 2015-03-31 17:27:03 +0900 | [diff] [blame] | 71 | Loop: |
| 72 | for i < len(ex) { |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 73 | ch := ex[i] |
| 74 | i++ |
| 75 | switch ch { |
| 76 | case '$': |
Fumitoshi Ukai | e520f26 | 2015-03-31 17:27:03 +0900 | [diff] [blame] | 77 | if i >= len(ex) { |
| 78 | break Loop |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 79 | } |
| 80 | |
| 81 | var varname string |
| 82 | switch ex[i] { |
| 83 | case '@': |
Fumitoshi Ukai | cf2b038 | 2015-03-30 17:48:54 +0900 | [diff] [blame] | 84 | buf.WriteString(ev.curRule.output) |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 85 | i++ |
| 86 | continue |
Fumitoshi Ukai | ad72060 | 2015-03-31 10:29:59 +0900 | [diff] [blame] | 87 | case '(', '{': |
Fumitoshi Ukai | e520f26 | 2015-03-31 17:27:03 +0900 | [diff] [blame] | 88 | args, rest, err := parseExpr(ex[i:]) |
| 89 | if err != nil { |
Fumitoshi Ukai | ad72060 | 2015-03-31 10:29:59 +0900 | [diff] [blame] | 90 | } |
Fumitoshi Ukai | e520f26 | 2015-03-31 17:27:03 +0900 | [diff] [blame] | 91 | i += rest |
| 92 | if r, done := ev.evalFunction(args); done { |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 93 | buf.WriteString(r) |
| 94 | continue |
| 95 | } |
| 96 | |
Fumitoshi Ukai | e520f26 | 2015-03-31 17:27:03 +0900 | [diff] [blame] | 97 | varname = strings.Join(args, ",") |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 98 | default: |
| 99 | varname = string(ex[i]) |
| 100 | i++ |
| 101 | } |
| 102 | |
| 103 | value, present := ev.vars[varname] |
| 104 | if !present { |
| 105 | ev.refs[varname] = true |
Fumitoshi Ukai | cf2b038 | 2015-03-30 17:48:54 +0900 | [diff] [blame] | 106 | value = ev.outVars[varname] |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 107 | } |
Shinichiro Hamaji | 7f1ede3 | 2015-03-30 18:05:22 +0900 | [diff] [blame] | 108 | buf.WriteString(ev.evalExpr(value)) |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 109 | |
| 110 | default: |
| 111 | buf.WriteByte(ch) |
| 112 | } |
| 113 | } |
| 114 | return buf.String(), i |
| 115 | } |
| 116 | |
| 117 | func (ev *Evaluator) evalExpr(ex string) string { |
Fumitoshi Ukai | e520f26 | 2015-03-31 17:27:03 +0900 | [diff] [blame] | 118 | r, i := ev.evalExprSlice(ex) |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 119 | if len(ex) != i { |
Fumitoshi Ukai | ad72060 | 2015-03-31 10:29:59 +0900 | [diff] [blame] | 120 | panic(fmt.Sprintf("Had a null character? %q, %d", ex, i)) |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 121 | } |
| 122 | return r |
| 123 | } |
| 124 | |
| 125 | func (ev *Evaluator) evalAssign(ast *AssignAST) { |
Shinichiro Hamaji | 51d53d9 | 2015-03-30 18:32:16 +0900 | [diff] [blame] | 126 | ev.filename = ast.filename |
| 127 | ev.lineno = ast.lineno |
| 128 | |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 129 | lhs := ev.evalExpr(ast.lhs) |
Shinichiro Hamaji | 69b7f65 | 2015-03-31 01:01:59 +0900 | [diff] [blame] | 130 | rhs := ast.evalRHS(ev, lhs) |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 131 | Log("ASSIGN: %s=%s", lhs, rhs) |
Fumitoshi Ukai | cf2b038 | 2015-03-30 17:48:54 +0900 | [diff] [blame] | 132 | ev.outVars[lhs] = rhs |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 133 | } |
| 134 | |
| 135 | func (ev *Evaluator) evalRule(ast *RuleAST) { |
Shinichiro Hamaji | 51d53d9 | 2015-03-30 18:32:16 +0900 | [diff] [blame] | 136 | ev.filename = ast.filename |
| 137 | ev.lineno = ast.lineno |
| 138 | |
Shinichiro Hamaji | 7c4e325 | 2015-03-30 23:04:25 +0900 | [diff] [blame] | 139 | ev.curRule = &Rule{ |
Fumitoshi Ukai | ad72060 | 2015-03-31 10:29:59 +0900 | [diff] [blame] | 140 | filename: ast.filename, |
| 141 | lineno: ast.lineno, |
Shinichiro Hamaji | 7c4e325 | 2015-03-30 23:04:25 +0900 | [diff] [blame] | 142 | cmdLineno: ast.cmdLineno, |
| 143 | } |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 144 | lhs := ev.evalExpr(ast.lhs) |
Fumitoshi Ukai | cf2b038 | 2015-03-30 17:48:54 +0900 | [diff] [blame] | 145 | ev.curRule.output = lhs |
Shinichiro Hamaji | e57b569 | 2015-03-30 23:16:47 +0900 | [diff] [blame] | 146 | rhs := strings.TrimSpace(ev.evalExpr(ast.rhs)) |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 147 | if rhs != "" { |
Shinichiro Hamaji | e57b569 | 2015-03-30 23:16:47 +0900 | [diff] [blame] | 148 | re, err := regexp.Compile(`\s+`) |
| 149 | if err != nil { |
| 150 | panic(err) |
| 151 | } |
| 152 | ev.curRule.inputs = re.Split(rhs, -1) |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 153 | } |
| 154 | var cmds []string |
| 155 | for _, cmd := range ast.cmds { |
| 156 | cmds = append(cmds, ev.evalExpr(cmd)) |
| 157 | } |
| 158 | Log("RULE: %s=%s", lhs, rhs) |
Fumitoshi Ukai | cf2b038 | 2015-03-30 17:48:54 +0900 | [diff] [blame] | 159 | ev.curRule.cmds = cmds |
| 160 | ev.outRules = append(ev.outRules, ev.curRule) |
| 161 | ev.curRule = nil |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 162 | } |
| 163 | |
Shinichiro Hamaji | 685fecf | 2015-03-30 18:28:12 +0900 | [diff] [blame] | 164 | func (ev *Evaluator) evalRawExpr(ast *RawExprAST) { |
Shinichiro Hamaji | 51d53d9 | 2015-03-30 18:32:16 +0900 | [diff] [blame] | 165 | ev.filename = ast.filename |
| 166 | ev.lineno = ast.lineno |
| 167 | |
Shinichiro Hamaji | 685fecf | 2015-03-30 18:28:12 +0900 | [diff] [blame] | 168 | result := ev.evalExpr(ast.expr) |
| 169 | if result != "" { |
Shinichiro Hamaji | 91b105c | 2015-03-30 18:39:05 +0900 | [diff] [blame] | 170 | // TODO: Fix rule_in_var.mk. |
Shinichiro Hamaji | 0ec0770 | 2015-03-31 00:50:32 +0900 | [diff] [blame] | 171 | Error(ast.filename, ast.lineno, "*** missing separator.") |
Shinichiro Hamaji | 685fecf | 2015-03-30 18:28:12 +0900 | [diff] [blame] | 172 | } |
| 173 | } |
| 174 | |
Shinichiro Hamaji | 69b7f65 | 2015-03-31 01:01:59 +0900 | [diff] [blame] | 175 | func (ev *Evaluator) getVar(name string) (string, bool) { |
| 176 | value, present := ev.outVars[name] |
| 177 | if present { |
| 178 | return value, true |
| 179 | } |
| 180 | value, present = ev.vars[name] |
| 181 | if present { |
| 182 | return value, true |
| 183 | } |
| 184 | return "", false |
| 185 | } |
| 186 | |
Shinichiro Hamaji | d7bef60 | 2015-03-30 19:55:32 +0900 | [diff] [blame] | 187 | func (ev *Evaluator) getVars() map[string]string { |
| 188 | vars := make(map[string]string) |
| 189 | for k, v := range ev.vars { |
| 190 | vars[k] = v |
| 191 | } |
| 192 | for k, v := range ev.outVars { |
| 193 | vars[k] = v |
| 194 | } |
| 195 | return vars |
| 196 | } |
| 197 | |
| 198 | func (ev *Evaluator) evalInclude(ast *IncludeAST) { |
| 199 | ev.filename = ast.filename |
| 200 | ev.lineno = ast.lineno |
| 201 | |
| 202 | // TODO: Handle glob |
| 203 | files := strings.Split(ev.evalExpr(ast.expr), " ") |
| 204 | for _, file := range files { |
| 205 | mk, err := ParseMakefile(file) |
| 206 | if err != nil { |
| 207 | if ast.op == "include" { |
| 208 | panic(err) |
| 209 | } else { |
| 210 | continue |
| 211 | } |
| 212 | } |
| 213 | |
| 214 | er, err2 := Eval(mk, ev.getVars()) |
| 215 | if err2 != nil { |
| 216 | panic(err2) |
| 217 | } |
| 218 | |
| 219 | for k, v := range er.vars { |
| 220 | ev.outVars[k] = v |
| 221 | } |
| 222 | for _, r := range er.rules { |
| 223 | ev.outRules = append(ev.outRules, r) |
| 224 | } |
| 225 | for r, _ := range er.refs { |
| 226 | ev.refs[r] = true |
| 227 | } |
| 228 | } |
| 229 | } |
| 230 | |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 231 | func (ev *Evaluator) evalIf(ast *IfAST) { |
Shinichiro Hamaji | af1e816 | 2015-03-31 02:15:37 +0900 | [diff] [blame] | 232 | var isTrue bool |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 233 | switch ast.op { |
| 234 | case "ifdef", "ifndef": |
| 235 | value, _ := ev.getVar(ev.evalExpr(ast.lhs)) |
Shinichiro Hamaji | af1e816 | 2015-03-31 02:15:37 +0900 | [diff] [blame] | 236 | isTrue = (value != "") == (ast.op == "ifdef") |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 237 | case "ifeq", "ifneq": |
Shinichiro Hamaji | af1e816 | 2015-03-31 02:15:37 +0900 | [diff] [blame] | 238 | lhs := ev.evalExpr(ast.lhs) |
| 239 | rhs := ev.evalExpr(ast.rhs) |
| 240 | isTrue = (lhs == rhs) == (ast.op == "ifeq") |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 241 | default: |
| 242 | panic(fmt.Sprintf("unknown if statement: %q", ast.op)) |
| 243 | } |
Shinichiro Hamaji | af1e816 | 2015-03-31 02:15:37 +0900 | [diff] [blame] | 244 | |
| 245 | var stmts []AST |
| 246 | if isTrue { |
| 247 | stmts = ast.trueStmts |
| 248 | } else { |
| 249 | stmts = ast.falseStmts |
| 250 | } |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 251 | for _, stmt := range stmts { |
| 252 | ev.eval(stmt) |
| 253 | } |
| 254 | } |
| 255 | |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 256 | func (ev *Evaluator) eval(ast AST) { |
Fumitoshi Ukai | e34c179 | 2015-03-30 17:53:47 +0900 | [diff] [blame] | 257 | ast.eval(ev) |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 258 | } |
| 259 | |
Shinichiro Hamaji | d7bef60 | 2015-03-30 19:55:32 +0900 | [diff] [blame] | 260 | func Eval(mk Makefile, vars map[string]string) (er *EvalResult, err error) { |
| 261 | ev := newEvaluator(vars) |
Fumitoshi Ukai | f8efa0a | 2015-03-30 18:10:11 +0900 | [diff] [blame] | 262 | defer func() { |
| 263 | if r := recover(); r != nil { |
| 264 | err = fmt.Errorf("panic: %v", r) |
| 265 | } |
| 266 | }() |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 267 | for _, stmt := range mk.stmts { |
| 268 | ev.eval(stmt) |
| 269 | } |
| 270 | return &EvalResult{ |
Fumitoshi Ukai | cf2b038 | 2015-03-30 17:48:54 +0900 | [diff] [blame] | 271 | vars: ev.outVars, |
| 272 | rules: ev.outRules, |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 273 | refs: ev.refs, |
Fumitoshi Ukai | f8efa0a | 2015-03-30 18:10:11 +0900 | [diff] [blame] | 274 | }, nil |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 275 | } |