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