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