Shinichiro Hamaji | b69bf8a | 2015-06-10 14:52:06 +0900 | [diff] [blame] | 1 | // Copyright 2015 Google Inc. All rights reserved |
| 2 | // |
| 3 | // Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | // you may not use this file except in compliance with the License. |
| 5 | // You may obtain a copy of the License at |
| 6 | // |
| 7 | // http://www.apache.org/licenses/LICENSE-2.0 |
| 8 | // |
| 9 | // Unless required by applicable law or agreed to in writing, software |
| 10 | // distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | // See the License for the specific language governing permissions and |
| 13 | // limitations under the License. |
| 14 | |
Fumitoshi Ukai | 744bb2b | 2015-06-25 00:10:52 +0900 | [diff] [blame] | 15 | package kati |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 16 | |
Fumitoshi Ukai | 0aa4fc4 | 2015-04-10 17:00:19 +0900 | [diff] [blame] | 17 | //go:generate go run testcase/gen_testcase_parse_benchmark.go |
| 18 | // |
| 19 | // $ go generate |
| 20 | // $ go test -bench . |
| 21 | |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 22 | import ( |
| 23 | "bufio" |
Shinichiro Hamaji | e184158 | 2015-03-30 17:20:33 +0900 | [diff] [blame] | 24 | "bytes" |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 25 | "crypto/sha1" |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 26 | "errors" |
Fumitoshi Ukai | f8efa0a | 2015-03-30 18:10:11 +0900 | [diff] [blame] | 27 | "fmt" |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 28 | "io" |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 29 | "io/ioutil" |
Shinichiro Hamaji | d7bef60 | 2015-03-30 19:55:32 +0900 | [diff] [blame] | 30 | "strings" |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 31 | "sync" |
Shinichiro Hamaji | 584bb06 | 2015-06-04 13:25:13 +0900 | [diff] [blame] | 32 | "time" |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 33 | ) |
| 34 | |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 35 | type makefile struct { |
Shinichiro Hamaji | 491e73f | 2015-04-07 12:41:59 +0900 | [diff] [blame] | 36 | filename string |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 37 | stmts []ast |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 38 | } |
| 39 | |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 40 | type ifState struct { |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 41 | ast *ifAST |
Shinichiro Hamaji | a06760f | 2015-04-07 13:13:45 +0900 | [diff] [blame] | 42 | inElse bool |
| 43 | numNest int |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 44 | } |
| 45 | |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 46 | type parser struct { |
Shinichiro Hamaji | 370be72 | 2015-04-10 14:55:23 +0900 | [diff] [blame] | 47 | rd *bufio.Reader |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 48 | mk makefile |
Shinichiro Hamaji | 370be72 | 2015-04-10 14:55:23 +0900 | [diff] [blame] | 49 | lineno int |
| 50 | elineno int // lineno == elineno unless there is trailing '\'. |
| 51 | linenoFixed bool |
Shinichiro Hamaji | 370be72 | 2015-04-10 14:55:23 +0900 | [diff] [blame] | 52 | done bool |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 53 | outStmts *[]ast |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 54 | inRecipe bool |
Shinichiro Hamaji | 370be72 | 2015-04-10 14:55:23 +0900 | [diff] [blame] | 55 | ifStack []ifState |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 56 | |
| 57 | defineVar []byte |
| 58 | inDef []byte |
| 59 | |
| 60 | defOpt string |
| 61 | numIfNest int |
| 62 | err error |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 63 | } |
| 64 | |
Shinichiro Hamaji | 685fecf | 2015-03-30 18:28:12 +0900 | [diff] [blame] | 65 | func newParser(rd io.Reader, filename string) *parser { |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 66 | p := &parser{ |
Shinichiro Hamaji | 3fab47e | 2015-04-08 18:34:41 +0900 | [diff] [blame] | 67 | rd: bufio.NewReader(rd), |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 68 | } |
Shinichiro Hamaji | 491e73f | 2015-04-07 12:41:59 +0900 | [diff] [blame] | 69 | p.mk.filename = filename |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 70 | p.outStmts = &p.mk.stmts |
| 71 | return p |
| 72 | } |
| 73 | |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 74 | func (p *parser) srcpos() srcpos { |
| 75 | return srcpos{ |
| 76 | filename: p.mk.filename, |
| 77 | lineno: p.lineno, |
| 78 | } |
| 79 | } |
| 80 | |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 81 | func (p *parser) addStatement(stmt ast) { |
| 82 | *p.outStmts = append(*p.outStmts, stmt) |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 83 | switch stmt.(type) { |
| 84 | case *maybeRuleAST: |
| 85 | p.inRecipe = true |
| 86 | case *assignAST, *includeAST, *exportAST: |
| 87 | p.inRecipe = false |
| 88 | } |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 89 | } |
| 90 | |
Shinichiro Hamaji | e184158 | 2015-03-30 17:20:33 +0900 | [diff] [blame] | 91 | func (p *parser) readLine() []byte { |
Shinichiro Hamaji | 370be72 | 2015-04-10 14:55:23 +0900 | [diff] [blame] | 92 | if !p.linenoFixed { |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 93 | p.lineno = p.elineno + 1 |
Shinichiro Hamaji | 370be72 | 2015-04-10 14:55:23 +0900 | [diff] [blame] | 94 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 95 | var line []byte |
| 96 | for !p.done { |
| 97 | buf, err := p.rd.ReadBytes('\n') |
| 98 | if !p.linenoFixed { |
| 99 | p.elineno++ |
| 100 | } |
| 101 | if err == io.EOF { |
| 102 | p.done = true |
| 103 | } else if err != nil { |
| 104 | p.err = fmt.Errorf("readline %s: %v", p.srcpos(), err) |
| 105 | p.done = true |
| 106 | } |
| 107 | line = append(line, buf...) |
| 108 | buf = bytes.TrimRight(buf, "\r\n") |
| 109 | backslash := false |
| 110 | for len(buf) > 1 && buf[len(buf)-1] == '\\' { |
| 111 | buf = buf[:len(buf)-1] |
| 112 | backslash = !backslash |
| 113 | } |
| 114 | if !backslash { |
| 115 | break |
Shinichiro Hamaji | 52e83aa | 2015-04-06 17:20:28 +0900 | [diff] [blame] | 116 | } |
| 117 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 118 | line = bytes.TrimRight(line, "\r\n") |
Shinichiro Hamaji | e184158 | 2015-03-30 17:20:33 +0900 | [diff] [blame] | 119 | return line |
| 120 | } |
| 121 | |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 122 | func newAssignAST(p *parser, lhsBytes []byte, rhsBytes []byte, op string) (*assignAST, error) { |
Fumitoshi Ukai | e9aa380 | 2015-07-03 11:33:23 +0900 | [diff] [blame] | 123 | lhs, _, err := parseExpr(lhsBytes, nil, parseOp{alloc: true}) |
Shinichiro Hamaji | 7825b65 | 2015-06-04 13:47:14 +0900 | [diff] [blame] | 124 | if err != nil { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 125 | return nil, err |
Shinichiro Hamaji | 7825b65 | 2015-06-04 13:47:14 +0900 | [diff] [blame] | 126 | } |
Fumitoshi Ukai | e9aa380 | 2015-07-03 11:33:23 +0900 | [diff] [blame] | 127 | rhs, _, err := parseExpr(rhsBytes, nil, parseOp{alloc: true}) |
Shinichiro Hamaji | 7825b65 | 2015-06-04 13:47:14 +0900 | [diff] [blame] | 128 | if err != nil { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 129 | return nil, err |
Shinichiro Hamaji | 7825b65 | 2015-06-04 13:47:14 +0900 | [diff] [blame] | 130 | } |
| 131 | opt := "" |
| 132 | if p != nil { |
| 133 | opt = p.defOpt |
| 134 | } |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 135 | return &assignAST{ |
Shinichiro Hamaji | 7825b65 | 2015-06-04 13:47:14 +0900 | [diff] [blame] | 136 | lhs: lhs, |
| 137 | rhs: rhs, |
| 138 | op: op, |
| 139 | opt: opt, |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 140 | }, nil |
Shinichiro Hamaji | 7825b65 | 2015-06-04 13:47:14 +0900 | [diff] [blame] | 141 | } |
| 142 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 143 | func (p *parser) handleDirective(line []byte, directives map[string]directiveFunc) bool { |
| 144 | w, data := firstWord(line) |
| 145 | if d, ok := directives[string(w)]; ok { |
| 146 | d(p, data) |
| 147 | return true |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 148 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 149 | return false |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 150 | } |
| 151 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 152 | func (p *parser) handleRuleOrAssign(line []byte) { |
| 153 | rline := line |
| 154 | var semi []byte |
| 155 | if i := findLiteralChar(line, []byte{';'}, true); i >= 0 { |
| 156 | // preserve after semicolon |
| 157 | semi = append(semi, line[i+1:]...) |
| 158 | rline = concatline(line[:i]) |
| 159 | } else { |
| 160 | rline = concatline(line) |
Shinichiro Hamaji | de82971 | 2015-03-31 18:26:56 +0900 | [diff] [blame] | 161 | } |
Fumitoshi Ukai | 4cb507f | 2015-07-07 11:46:58 +0900 | [diff] [blame] | 162 | if p.handleAssign(line) { |
| 163 | return |
| 164 | } |
Fumitoshi Ukai | 201df42 | 2015-07-07 17:31:05 +0900 | [diff] [blame] | 165 | // not assignment. |
| 166 | // ie. no '=' found or ':' found before '=' (except ':=') |
Fumitoshi Ukai | 4cb507f | 2015-07-07 11:46:58 +0900 | [diff] [blame] | 167 | p.parseMaybeRule(rline, semi) |
| 168 | return |
| 169 | } |
| 170 | |
| 171 | func (p *parser) handleAssign(line []byte) bool { |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 172 | aline, _ := removeComment(concatline(line)) |
| 173 | aline = trimLeftSpaceBytes(aline) |
| 174 | if len(aline) == 0 { |
Fumitoshi Ukai | 4cb507f | 2015-07-07 11:46:58 +0900 | [diff] [blame] | 175 | return false |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 176 | } |
| 177 | // fmt.Printf("assign: %q=>%q\n", line, aline) |
| 178 | i := findLiteralChar(aline, []byte{':', '='}, true) |
| 179 | if i >= 0 { |
| 180 | if aline[i] == '=' { |
| 181 | p.parseAssign(aline, i) |
Fumitoshi Ukai | 4cb507f | 2015-07-07 11:46:58 +0900 | [diff] [blame] | 182 | return true |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 183 | } |
| 184 | if aline[i] == ':' && i+1 < len(aline) && aline[i+1] == '=' { |
| 185 | p.parseAssign(aline, i+1) |
Fumitoshi Ukai | 4cb507f | 2015-07-07 11:46:58 +0900 | [diff] [blame] | 186 | return true |
Shinichiro Hamaji | e12e24d | 2015-04-11 23:09:20 +0900 | [diff] [blame] | 187 | } |
| 188 | } |
Fumitoshi Ukai | 4cb507f | 2015-07-07 11:46:58 +0900 | [diff] [blame] | 189 | return false |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 190 | } |
| 191 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 192 | func (p *parser) parseAssign(line []byte, sep int) { |
| 193 | lhs, op, rhs := line[:sep], line[sep:sep+1], line[sep+1:] |
| 194 | if sep > 0 { |
| 195 | switch line[sep-1] { |
| 196 | case ':', '+', '?': |
| 197 | lhs, op = line[:sep-1], line[sep-1:sep+1] |
| 198 | } |
| 199 | } |
Fumitoshi Ukai | bcb3b4b | 2015-07-07 18:00:13 +0900 | [diff] [blame^] | 200 | logf("parseAssign %s op:%s opt:%s", line, op, p.defOpt) |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 201 | lhs = trimSpaceBytes(lhs) |
| 202 | rhs = trimLeftSpaceBytes(rhs) |
| 203 | aast, err := newAssignAST(p, lhs, rhs, string(op)) |
| 204 | if err != nil { |
| 205 | p.err = err |
| 206 | return |
| 207 | } |
| 208 | aast.srcpos = p.srcpos() |
| 209 | p.addStatement(aast) |
| 210 | } |
| 211 | |
| 212 | func (p *parser) parseMaybeRule(line, semi []byte) { |
| 213 | if line[0] == '\t' { |
| 214 | p.err = p.srcpos().errorf("*** commands commence before first target.") |
| 215 | return |
| 216 | } |
Fumitoshi Ukai | 201df42 | 2015-07-07 17:31:05 +0900 | [diff] [blame] | 217 | var assign *assignAST |
| 218 | ci := findLiteralChar(line, []byte{':'}, true) |
| 219 | if ci >= 0 { |
| 220 | eqi := findLiteralChar(line[ci+1:], []byte{'='}, true) |
| 221 | if eqi == 0 { |
| 222 | panic(fmt.Sprintf("unexpected eq after colon: %q", line)) |
| 223 | } |
| 224 | if eqi > 0 { |
| 225 | var lhsbytes []byte |
| 226 | op := "=" |
| 227 | switch line[ci+1+eqi-1] { |
| 228 | case ':', '+', '?': |
| 229 | lhsbytes = append(lhsbytes, line[ci+1:ci+1+eqi-1]...) |
| 230 | op = string(line[ci+1+eqi-1 : ci+1+eqi+1]) |
| 231 | default: |
| 232 | lhsbytes = append(lhsbytes, line[ci+1:ci+1+eqi]...) |
| 233 | } |
| 234 | |
| 235 | lhsbytes = trimSpaceBytes(lhsbytes) |
| 236 | lhs, _, err := parseExpr(lhsbytes, nil, parseOp{}) |
| 237 | if err != nil { |
| 238 | p.err = p.srcpos().error(err) |
| 239 | return |
| 240 | } |
| 241 | var rhsbytes []byte |
| 242 | rhsbytes = append(rhsbytes, line[ci+1+eqi+1:]...) |
| 243 | if semi != nil { |
| 244 | rhsbytes = append(rhsbytes, ';') |
| 245 | rhsbytes = append(rhsbytes, concatline(semi)...) |
| 246 | } |
| 247 | rhsbytes = trimLeftSpaceBytes(rhsbytes) |
| 248 | semi = nil |
| 249 | rhs, _, err := parseExpr(rhsbytes, nil, parseOp{}) |
| 250 | if err != nil { |
| 251 | p.err = p.srcpos().error(err) |
| 252 | return |
| 253 | } |
| 254 | |
| 255 | // TODO(ukai): support override, export in target specific var. |
| 256 | assign = &assignAST{ |
| 257 | lhs: lhs, |
| 258 | rhs: rhs, |
| 259 | op: op, |
| 260 | } |
| 261 | assign.srcpos = p.srcpos() |
| 262 | line = line[:ci+1] |
| 263 | } |
| 264 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 265 | expr, _, err := parseExpr(line, nil, parseOp{}) |
| 266 | if err != nil { |
Fumitoshi Ukai | cba36c9 | 2015-07-07 16:04:18 +0900 | [diff] [blame] | 267 | p.err = p.srcpos().error(err) |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 268 | return |
| 269 | } |
| 270 | // TODO(ukai): remove ast, and eval here. |
| 271 | rast := &maybeRuleAST{ |
Fumitoshi Ukai | 201df42 | 2015-07-07 17:31:05 +0900 | [diff] [blame] | 272 | isRule: ci >= 0, |
| 273 | expr: expr, |
| 274 | assign: assign, |
| 275 | semi: semi, |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 276 | } |
| 277 | rast.srcpos = p.srcpos() |
Fumitoshi Ukai | 201df42 | 2015-07-07 17:31:05 +0900 | [diff] [blame] | 278 | logf("stmt: %#v", rast) |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 279 | p.addStatement(rast) |
| 280 | } |
| 281 | |
| 282 | func (p *parser) parseInclude(op string, line []byte) { |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 283 | // TODO(ukai): parse expr here |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 284 | iast := &includeAST{ |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 285 | expr: string(line), |
| 286 | op: op, |
Shinichiro Hamaji | d7bef60 | 2015-03-30 19:55:32 +0900 | [diff] [blame] | 287 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 288 | iast.srcpos = p.srcpos() |
| 289 | p.addStatement(iast) |
Shinichiro Hamaji | d7bef60 | 2015-03-30 19:55:32 +0900 | [diff] [blame] | 290 | } |
| 291 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 292 | func (p *parser) parseIfdef(op string, data []byte) { |
| 293 | lhs, _, err := parseExpr(data, nil, parseOp{alloc: true}) |
Shinichiro Hamaji | 1a68fd2 | 2015-06-04 14:46:56 +0900 | [diff] [blame] | 294 | if err != nil { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 295 | p.err = p.srcpos().error(err) |
| 296 | return |
Shinichiro Hamaji | 1a68fd2 | 2015-06-04 14:46:56 +0900 | [diff] [blame] | 297 | } |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 298 | iast := &ifAST{ |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 299 | op: op, |
Shinichiro Hamaji | 1a68fd2 | 2015-06-04 14:46:56 +0900 | [diff] [blame] | 300 | lhs: lhs, |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 301 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 302 | iast.srcpos = p.srcpos() |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 303 | p.addStatement(iast) |
| 304 | p.ifStack = append(p.ifStack, ifState{ast: iast, numNest: p.numIfNest}) |
| 305 | p.outStmts = &iast.trueStmts |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 306 | } |
| 307 | |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 308 | func (p *parser) parseTwoQuotes(s []byte) (string, string, []byte, bool) { |
Shinichiro Hamaji | 76de43e | 2015-04-03 10:40:18 +0900 | [diff] [blame] | 309 | var args []string |
Shinichiro Hamaji | 1f47638 | 2015-04-09 14:46:04 +0900 | [diff] [blame] | 310 | for i := 0; i < 2; i++ { |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 311 | s = trimSpaceBytes(s) |
| 312 | if len(s) == 0 { |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 313 | return "", "", nil, false |
Shinichiro Hamaji | 76de43e | 2015-04-03 10:40:18 +0900 | [diff] [blame] | 314 | } |
Shinichiro Hamaji | 1f47638 | 2015-04-09 14:46:04 +0900 | [diff] [blame] | 315 | quote := s[0] |
| 316 | if quote != '\'' && quote != '"' { |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 317 | return "", "", nil, false |
Shinichiro Hamaji | 76de43e | 2015-04-03 10:40:18 +0900 | [diff] [blame] | 318 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 319 | end := bytes.IndexByte(s[1:], quote) + 1 |
Shinichiro Hamaji | 1f47638 | 2015-04-09 14:46:04 +0900 | [diff] [blame] | 320 | if end < 0 { |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 321 | return "", "", nil, false |
Shinichiro Hamaji | 1f47638 | 2015-04-09 14:46:04 +0900 | [diff] [blame] | 322 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 323 | args = append(args, string(s[1:end])) |
Shinichiro Hamaji | 1f47638 | 2015-04-09 14:46:04 +0900 | [diff] [blame] | 324 | s = s[end+1:] |
| 325 | } |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 326 | return args[0], args[1], s, true |
Shinichiro Hamaji | 76de43e | 2015-04-03 10:40:18 +0900 | [diff] [blame] | 327 | } |
| 328 | |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 329 | // parse |
| 330 | // "(lhs, rhs)" |
| 331 | // "lhs, rhs" |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 332 | func (p *parser) parseEq(s []byte) (string, string, []byte, bool) { |
Fumitoshi Ukai | a1d6852 | 2015-07-07 15:34:22 +0900 | [diff] [blame] | 333 | if len(s) == 0 { |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 334 | return "", "", nil, false |
Fumitoshi Ukai | a1d6852 | 2015-07-07 15:34:22 +0900 | [diff] [blame] | 335 | } |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 336 | if s[0] == '(' { |
| 337 | in := s[1:] |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 338 | logf("parseEq ( %q )", in) |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 339 | term := []byte{','} |
Fumitoshi Ukai | e9aa380 | 2015-07-03 11:33:23 +0900 | [diff] [blame] | 340 | v, n, err := parseExpr(in, term, parseOp{matchParen: true}) |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 341 | if err != nil { |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 342 | logf("parse eq: %q: %v", in, err) |
| 343 | return "", "", nil, false |
Shinichiro Hamaji | 76de43e | 2015-04-03 10:40:18 +0900 | [diff] [blame] | 344 | } |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 345 | lhs := v.String() |
| 346 | n++ |
| 347 | n += skipSpaces(in[n:], nil) |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 348 | term = []byte{')'} |
| 349 | in = in[n:] |
| 350 | v, n, err = parseExpr(in, term, parseOp{matchParen: true}) |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 351 | if err != nil { |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 352 | logf("parse eq 2nd: %q: %v", in, err) |
| 353 | return "", "", nil, false |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 354 | } |
| 355 | rhs := v.String() |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 356 | in = in[n+1:] |
| 357 | in = trimSpaceBytes(in) |
| 358 | return lhs, rhs, in, true |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 359 | } |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 360 | return p.parseTwoQuotes(s) |
Shinichiro Hamaji | af1e816 | 2015-03-31 02:15:37 +0900 | [diff] [blame] | 361 | } |
| 362 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 363 | func (p *parser) parseIfeq(op string, data []byte) { |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 364 | lhsBytes, rhsBytes, extra, ok := p.parseEq(data) |
Shinichiro Hamaji | af1e816 | 2015-03-31 02:15:37 +0900 | [diff] [blame] | 365 | if !ok { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 366 | p.err = p.srcpos().errorf(`*** invalid syntax in conditional.`) |
| 367 | return |
Shinichiro Hamaji | af1e816 | 2015-03-31 02:15:37 +0900 | [diff] [blame] | 368 | } |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 369 | if len(extra) > 0 { |
| 370 | logf("extra %q", extra) |
| 371 | p.err = p.srcpos().errorf(`extraneous text after %q directive`, op) |
| 372 | return |
| 373 | } |
Shinichiro Hamaji | af1e816 | 2015-03-31 02:15:37 +0900 | [diff] [blame] | 374 | |
Fumitoshi Ukai | e9aa380 | 2015-07-03 11:33:23 +0900 | [diff] [blame] | 375 | lhs, _, err := parseExpr([]byte(lhsBytes), nil, parseOp{matchParen: true}) |
Shinichiro Hamaji | 1a68fd2 | 2015-06-04 14:46:56 +0900 | [diff] [blame] | 376 | if err != nil { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 377 | p.err = p.srcpos().error(err) |
| 378 | return |
Shinichiro Hamaji | 1a68fd2 | 2015-06-04 14:46:56 +0900 | [diff] [blame] | 379 | } |
Fumitoshi Ukai | e9aa380 | 2015-07-03 11:33:23 +0900 | [diff] [blame] | 380 | rhs, _, err := parseExpr([]byte(rhsBytes), nil, parseOp{matchParen: true}) |
Shinichiro Hamaji | 1a68fd2 | 2015-06-04 14:46:56 +0900 | [diff] [blame] | 381 | if err != nil { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 382 | p.err = p.srcpos().error(err) |
| 383 | return |
Shinichiro Hamaji | 1a68fd2 | 2015-06-04 14:46:56 +0900 | [diff] [blame] | 384 | } |
| 385 | |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 386 | iast := &ifAST{ |
Shinichiro Hamaji | 1f47638 | 2015-04-09 14:46:04 +0900 | [diff] [blame] | 387 | op: op, |
Shinichiro Hamaji | af1e816 | 2015-03-31 02:15:37 +0900 | [diff] [blame] | 388 | lhs: lhs, |
| 389 | rhs: rhs, |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 390 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 391 | iast.srcpos = p.srcpos() |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 392 | p.addStatement(iast) |
| 393 | p.ifStack = append(p.ifStack, ifState{ast: iast, numNest: p.numIfNest}) |
| 394 | p.outStmts = &iast.trueStmts |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 395 | } |
| 396 | |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 397 | func (p *parser) checkIfStack(curKeyword string) error { |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 398 | if len(p.ifStack) == 0 { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 399 | return p.srcpos().errorf(`*** extraneous %q.`, curKeyword) |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 400 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 401 | return nil |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 402 | } |
| 403 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 404 | func (p *parser) parseElse(data []byte) { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 405 | err := p.checkIfStack("else") |
| 406 | if err != nil { |
| 407 | p.err = err |
| 408 | return |
| 409 | } |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 410 | state := &p.ifStack[len(p.ifStack)-1] |
Fumitoshi Ukai | 0293c7a | 2015-03-31 16:26:53 +0900 | [diff] [blame] | 411 | if state.inElse { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 412 | p.err = p.srcpos().errorf(`*** only one "else" per conditional.`) |
| 413 | return |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 414 | } |
Fumitoshi Ukai | 0293c7a | 2015-03-31 16:26:53 +0900 | [diff] [blame] | 415 | state.inElse = true |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 416 | p.outStmts = &state.ast.falseStmts |
Shinichiro Hamaji | a06760f | 2015-04-07 13:13:45 +0900 | [diff] [blame] | 417 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 418 | nextIf := data |
Shinichiro Hamaji | a06760f | 2015-04-07 13:13:45 +0900 | [diff] [blame] | 419 | if len(nextIf) == 0 { |
| 420 | return |
| 421 | } |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 422 | var ifDirectives = map[string]directiveFunc{ |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 423 | "ifdef": ifdefDirective, |
| 424 | "ifndef": ifndefDirective, |
| 425 | "ifeq": ifeqDirective, |
| 426 | "ifneq": ifneqDirective, |
Shinichiro Hamaji | a06760f | 2015-04-07 13:13:45 +0900 | [diff] [blame] | 427 | } |
| 428 | p.numIfNest = state.numNest + 1 |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 429 | if p.handleDirective(nextIf, ifDirectives) { |
Shinichiro Hamaji | a06760f | 2015-04-07 13:13:45 +0900 | [diff] [blame] | 430 | p.numIfNest = 0 |
| 431 | return |
| 432 | } |
| 433 | p.numIfNest = 0 |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 434 | warnNoPrefix(p.srcpos(), "extraneous text after `else` directive") |
| 435 | return |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 436 | } |
| 437 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 438 | func (p *parser) parseEndif(data []byte) { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 439 | err := p.checkIfStack("endif") |
| 440 | if err != nil { |
| 441 | p.err = err |
| 442 | return |
| 443 | } |
Shinichiro Hamaji | a06760f | 2015-04-07 13:13:45 +0900 | [diff] [blame] | 444 | state := p.ifStack[len(p.ifStack)-1] |
| 445 | for t := 0; t <= state.numNest; t++ { |
| 446 | p.ifStack = p.ifStack[0 : len(p.ifStack)-1] |
| 447 | if len(p.ifStack) == 0 { |
| 448 | p.outStmts = &p.mk.stmts |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 449 | } else { |
Shinichiro Hamaji | a06760f | 2015-04-07 13:13:45 +0900 | [diff] [blame] | 450 | state := p.ifStack[len(p.ifStack)-1] |
| 451 | if state.inElse { |
| 452 | p.outStmts = &state.ast.falseStmts |
| 453 | } else { |
| 454 | p.outStmts = &state.ast.trueStmts |
| 455 | } |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 456 | } |
| 457 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 458 | return |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 459 | } |
| 460 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 461 | func (p *parser) parseDefine(data []byte) { |
| 462 | p.defineVar = nil |
| 463 | p.inDef = nil |
| 464 | p.defineVar = append(p.defineVar, trimSpaceBytes(data)...) |
| 465 | return |
Fumitoshi Ukai | 8209630 | 2015-04-01 10:37:47 +0900 | [diff] [blame] | 466 | } |
| 467 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 468 | type directiveFunc func(*parser, []byte) |
| 469 | |
| 470 | var makeDirectives map[string]directiveFunc |
| 471 | |
| 472 | func init() { |
| 473 | makeDirectives = map[string]directiveFunc{ |
| 474 | "include": includeDirective, |
| 475 | "-include": sincludeDirective, |
| 476 | "sinclude": sincludeDirective, |
| 477 | "ifdef": ifdefDirective, |
| 478 | "ifndef": ifndefDirective, |
| 479 | "ifeq": ifeqDirective, |
| 480 | "ifneq": ifneqDirective, |
| 481 | "else": elseDirective, |
| 482 | "endif": endifDirective, |
| 483 | "define": defineDirective, |
| 484 | "override": overrideDirective, |
| 485 | "export": exportDirective, |
| 486 | "unexport": unexportDirective, |
Shinichiro Hamaji | e103f65 | 2015-04-11 19:49:51 +0900 | [diff] [blame] | 487 | } |
Shinichiro Hamaji | 74b8cb5 | 2015-04-08 19:47:43 +0900 | [diff] [blame] | 488 | } |
| 489 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 490 | func includeDirective(p *parser, data []byte) { |
| 491 | p.parseInclude("include", data) |
Fumitoshi Ukai | 8209630 | 2015-04-01 10:37:47 +0900 | [diff] [blame] | 492 | } |
| 493 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 494 | func sincludeDirective(p *parser, data []byte) { |
| 495 | p.parseInclude("-include", data) |
Fumitoshi Ukai | 8209630 | 2015-04-01 10:37:47 +0900 | [diff] [blame] | 496 | } |
| 497 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 498 | func ifdefDirective(p *parser, data []byte) { |
| 499 | p.parseIfdef("ifdef", data) |
Fumitoshi Ukai | 8209630 | 2015-04-01 10:37:47 +0900 | [diff] [blame] | 500 | } |
| 501 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 502 | func ifndefDirective(p *parser, data []byte) { |
| 503 | p.parseIfdef("ifndef", data) |
Fumitoshi Ukai | 8209630 | 2015-04-01 10:37:47 +0900 | [diff] [blame] | 504 | } |
| 505 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 506 | func ifeqDirective(p *parser, data []byte) { |
| 507 | p.parseIfeq("ifeq", data) |
Fumitoshi Ukai | 8209630 | 2015-04-01 10:37:47 +0900 | [diff] [blame] | 508 | } |
| 509 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 510 | func ifneqDirective(p *parser, data []byte) { |
| 511 | p.parseIfeq("ifneq", data) |
Fumitoshi Ukai | 8209630 | 2015-04-01 10:37:47 +0900 | [diff] [blame] | 512 | } |
| 513 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 514 | func elseDirective(p *parser, data []byte) { |
| 515 | p.parseElse(data) |
Fumitoshi Ukai | 8209630 | 2015-04-01 10:37:47 +0900 | [diff] [blame] | 516 | } |
| 517 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 518 | func endifDirective(p *parser, data []byte) { |
| 519 | p.parseEndif(data) |
Fumitoshi Ukai | 8209630 | 2015-04-01 10:37:47 +0900 | [diff] [blame] | 520 | } |
| 521 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 522 | func defineDirective(p *parser, data []byte) { |
| 523 | p.parseDefine(data) |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 524 | } |
| 525 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 526 | func overrideDirective(p *parser, data []byte) { |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 527 | p.defOpt = "override" |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 528 | defineDirective := map[string]directiveFunc{ |
| 529 | "define": defineDirective, |
| 530 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 531 | logf("override define? %q", data) |
| 532 | if p.handleDirective(data, defineDirective) { |
| 533 | return |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 534 | } |
| 535 | // e.g. overrider foo := bar |
| 536 | // line will be "foo := bar". |
Fumitoshi Ukai | 4cb507f | 2015-07-07 11:46:58 +0900 | [diff] [blame] | 537 | if p.handleAssign(data) { |
| 538 | return |
| 539 | } |
| 540 | p.defOpt = "" |
| 541 | var line []byte |
| 542 | line = append(line, []byte("override ")...) |
| 543 | line = append(line, data...) |
| 544 | p.handleRuleOrAssign(line) |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 545 | } |
| 546 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 547 | func handleExport(p *parser, data []byte, export bool) (hasEqual bool) { |
| 548 | i := bytes.IndexByte(data, '=') |
| 549 | if i > 0 { |
Shinichiro Hamaji | ea553f3 | 2015-05-29 17:03:33 +0900 | [diff] [blame] | 550 | hasEqual = true |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 551 | switch data[i-1] { |
Shinichiro Hamaji | ea553f3 | 2015-05-29 17:03:33 +0900 | [diff] [blame] | 552 | case ':', '+', '?': |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 553 | i-- |
Shinichiro Hamaji | ea553f3 | 2015-05-29 17:03:33 +0900 | [diff] [blame] | 554 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 555 | data = data[:i] |
Shinichiro Hamaji | ea553f3 | 2015-05-29 17:03:33 +0900 | [diff] [blame] | 556 | } |
| 557 | |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 558 | east := &exportAST{ |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 559 | expr: data, |
Shinichiro Hamaji | f61033d | 2015-05-29 15:01:48 +0900 | [diff] [blame] | 560 | export: export, |
Shinichiro Hamaji | 7e52142 | 2015-05-29 14:23:30 +0900 | [diff] [blame] | 561 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 562 | east.srcpos = p.srcpos() |
Fumitoshi Ukai | bcb3b4b | 2015-07-07 18:00:13 +0900 | [diff] [blame^] | 563 | logf("export %v", east) |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 564 | p.addStatement(east) |
Shinichiro Hamaji | ea553f3 | 2015-05-29 17:03:33 +0900 | [diff] [blame] | 565 | return hasEqual |
Shinichiro Hamaji | 7e52142 | 2015-05-29 14:23:30 +0900 | [diff] [blame] | 566 | } |
Shinichiro Hamaji | 07e76d5 | 2015-05-26 18:22:31 +0900 | [diff] [blame] | 567 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 568 | func exportDirective(p *parser, data []byte) { |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 569 | p.defOpt = "export" |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 570 | defineDirective := map[string]directiveFunc{ |
| 571 | "define": defineDirective, |
| 572 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 573 | logf("export define? %q", data) |
| 574 | if p.handleDirective(data, defineDirective) { |
| 575 | return |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 576 | } |
Shinichiro Hamaji | 07e76d5 | 2015-05-26 18:22:31 +0900 | [diff] [blame] | 577 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 578 | if !handleExport(p, data, true) { |
| 579 | return |
Shinichiro Hamaji | 07e76d5 | 2015-05-26 18:22:31 +0900 | [diff] [blame] | 580 | } |
| 581 | |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 582 | // e.g. export foo := bar |
| 583 | // line will be "foo := bar". |
Fumitoshi Ukai | bcb3b4b | 2015-07-07 18:00:13 +0900 | [diff] [blame^] | 584 | p.handleAssign(data) |
Fumitoshi Ukai | 3d54db8 | 2015-04-01 11:03:31 +0900 | [diff] [blame] | 585 | } |
| 586 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 587 | func unexportDirective(p *parser, data []byte) { |
| 588 | handleExport(p, data, false) |
| 589 | return |
Shinichiro Hamaji | ca66857 | 2015-06-17 06:36:45 +0900 | [diff] [blame] | 590 | } |
| 591 | |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 592 | func (p *parser) parse() (mk makefile, err error) { |
Shinichiro Hamaji | e184158 | 2015-03-30 17:20:33 +0900 | [diff] [blame] | 593 | for !p.done { |
Shinichiro Hamaji | 0b93c86 | 2015-04-07 06:15:15 +0900 | [diff] [blame] | 594 | line := p.readLine() |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 595 | logf("line: %q", line) |
| 596 | if p.defineVar != nil { |
| 597 | p.processDefine(line) |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 598 | if p.err != nil { |
| 599 | return makefile{}, p.err |
| 600 | } |
Shinichiro Hamaji | 0b93c86 | 2015-04-07 06:15:15 +0900 | [diff] [blame] | 601 | continue |
| 602 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 603 | p.defOpt = "" |
| 604 | if p.inRecipe { |
| 605 | if len(line) > 0 && line[0] == '\t' { |
| 606 | cast := &commandAST{cmd: string(line[1:])} |
| 607 | cast.srcpos = p.srcpos() |
| 608 | p.addStatement(cast) |
Shinichiro Hamaji | 34e2324 | 2015-04-06 15:44:50 +0900 | [diff] [blame] | 609 | continue |
| 610 | } |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 611 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 612 | p.parseLine(line) |
| 613 | if p.err != nil { |
| 614 | return makefile{}, p.err |
Shinichiro Hamaji | 685fecf | 2015-03-30 18:28:12 +0900 | [diff] [blame] | 615 | } |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 616 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 617 | return p.mk, p.err |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 618 | } |
| 619 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 620 | func (p *parser) parseLine(line []byte) { |
| 621 | cline := concatline(line) |
| 622 | if len(cline) == 0 { |
| 623 | return |
| 624 | } |
| 625 | logf("concatline:%q", cline) |
| 626 | var dline []byte |
| 627 | cline, _ = removeComment(cline) |
| 628 | dline = append(dline, cline...) |
| 629 | dline = trimSpaceBytes(dline) |
| 630 | if len(dline) == 0 { |
| 631 | return |
| 632 | } |
| 633 | logf("directive?: %q", dline) |
| 634 | if p.handleDirective(dline, makeDirectives) { |
| 635 | return |
| 636 | } |
| 637 | logf("rule or assign?: %q", line) |
| 638 | p.handleRuleOrAssign(line) |
| 639 | } |
| 640 | |
| 641 | func (p *parser) processDefine(line []byte) { |
| 642 | line = concatline(line) |
| 643 | logf("concatline:%q", line) |
| 644 | if !p.isEndef(line) { |
Fumitoshi Ukai | 1d2c92d | 2015-07-07 12:10:20 +0900 | [diff] [blame] | 645 | if p.inDef != nil { |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 646 | p.inDef = append(p.inDef, '\n') |
| 647 | } |
| 648 | p.inDef = append(p.inDef, line...) |
Fumitoshi Ukai | 1d2c92d | 2015-07-07 12:10:20 +0900 | [diff] [blame] | 649 | if p.inDef == nil { |
| 650 | p.inDef = []byte{} |
| 651 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 652 | return |
| 653 | } |
| 654 | logf("multilineAssign %q %q", p.defineVar, p.inDef) |
| 655 | aast, err := newAssignAST(p, p.defineVar, p.inDef, "=") |
| 656 | if err != nil { |
| 657 | p.err = p.srcpos().errorf("assign error %q=%q: %v", p.defineVar, p.inDef, err) |
| 658 | return |
| 659 | } |
| 660 | aast.srcpos = p.srcpos() |
| 661 | aast.srcpos.lineno -= bytes.Count(p.inDef, []byte{'\n'}) |
| 662 | p.addStatement(aast) |
| 663 | p.defineVar = nil |
| 664 | p.inDef = nil |
| 665 | return |
| 666 | } |
| 667 | |
| 668 | func (p *parser) isEndef(line []byte) bool { |
| 669 | if bytes.Equal(line, []byte("endef")) { |
| 670 | return true |
| 671 | } |
| 672 | w, data := firstWord(line) |
| 673 | if bytes.Equal(w, []byte("endef")) { |
| 674 | data, _ = removeComment(data) |
| 675 | data = trimLeftSpaceBytes(data) |
| 676 | if len(data) > 0 { |
| 677 | warnNoPrefix(p.srcpos(), `extraneous text after "endef" directive`) |
| 678 | } |
| 679 | return true |
| 680 | } |
| 681 | return false |
| 682 | } |
| 683 | |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 684 | func defaultMakefile() (string, error) { |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 685 | candidates := []string{"GNUmakefile", "makefile", "Makefile"} |
| 686 | for _, filename := range candidates { |
| 687 | if exists(filename) { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 688 | return filename, nil |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 689 | } |
| 690 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 691 | return "", errors.New("no targets specified and no makefile found") |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 692 | } |
| 693 | |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 694 | func parseMakefileReader(rd io.Reader, loc srcpos) (makefile, error) { |
| 695 | parser := newParser(rd, loc.filename) |
| 696 | parser.lineno = loc.lineno |
| 697 | parser.elineno = loc.lineno |
Shinichiro Hamaji | 370be72 | 2015-04-10 14:55:23 +0900 | [diff] [blame] | 698 | parser.linenoFixed = true |
Shinichiro Hamaji | a5dee37 | 2015-04-03 16:41:30 +0900 | [diff] [blame] | 699 | return parser.parse() |
Shinichiro Hamaji | c384081 | 2015-04-02 02:10:20 +0900 | [diff] [blame] | 700 | } |
Shinichiro Hamaji | 28ea5bc | 2015-04-11 12:41:08 +0900 | [diff] [blame] | 701 | |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 702 | func parseMakefileString(s string, loc srcpos) (makefile, error) { |
| 703 | return parseMakefileReader(strings.NewReader(s), loc) |
Shinichiro Hamaji | 28ea5bc | 2015-04-11 12:41:08 +0900 | [diff] [blame] | 704 | } |
| 705 | |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 706 | func parseMakefileBytes(s []byte, loc srcpos) (makefile, error) { |
| 707 | return parseMakefileReader(bytes.NewReader(s), loc) |
Shinichiro Hamaji | 28ea5bc | 2015-04-11 12:41:08 +0900 | [diff] [blame] | 708 | } |
Shinichiro Hamaji | 45cde1d | 2015-05-25 18:21:23 +0900 | [diff] [blame] | 709 | |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 710 | type mkCacheEntry struct { |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 711 | mk makefile |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 712 | hash [sha1.Size]byte |
| 713 | err error |
| 714 | ts int64 |
Shinichiro Hamaji | 584bb06 | 2015-06-04 13:25:13 +0900 | [diff] [blame] | 715 | } |
| 716 | |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 717 | type makefileCacheT struct { |
| 718 | mu sync.Mutex |
| 719 | mk map[string]mkCacheEntry |
Shinichiro Hamaji | 584bb06 | 2015-06-04 13:25:13 +0900 | [diff] [blame] | 720 | } |
| 721 | |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 722 | var makefileCache = &makefileCacheT{ |
| 723 | mk: make(map[string]mkCacheEntry), |
| 724 | } |
| 725 | |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 726 | func (mc *makefileCacheT) lookup(filename string) (makefile, [sha1.Size]byte, bool, error) { |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 727 | var hash [sha1.Size]byte |
| 728 | mc.mu.Lock() |
| 729 | c, present := mc.mk[filename] |
| 730 | mc.mu.Unlock() |
Shinichiro Hamaji | 584bb06 | 2015-06-04 13:25:13 +0900 | [diff] [blame] | 731 | if !present { |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 732 | return makefile{}, hash, false, nil |
Shinichiro Hamaji | 584bb06 | 2015-06-04 13:25:13 +0900 | [diff] [blame] | 733 | } |
| 734 | ts := getTimestamp(filename) |
| 735 | if ts < 0 || ts >= c.ts { |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 736 | return makefile{}, hash, false, nil |
Shinichiro Hamaji | 584bb06 | 2015-06-04 13:25:13 +0900 | [diff] [blame] | 737 | } |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 738 | return c.mk, c.hash, true, c.err |
| 739 | } |
| 740 | |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 741 | func (mc *makefileCacheT) parse(filename string) (makefile, [sha1.Size]byte, error) { |
Fumitoshi Ukai | 07cf121 | 2015-06-25 17:16:25 +0900 | [diff] [blame] | 742 | logf("parse Makefile %q", filename) |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 743 | mk, hash, ok, err := makefileCache.lookup(filename) |
| 744 | if ok { |
Fumitoshi Ukai | 744bb2b | 2015-06-25 00:10:52 +0900 | [diff] [blame] | 745 | if LogFlag { |
Fumitoshi Ukai | 07cf121 | 2015-06-25 17:16:25 +0900 | [diff] [blame] | 746 | logf("makefile cache hit for %q", filename) |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 747 | } |
| 748 | return mk, hash, err |
| 749 | } |
Fumitoshi Ukai | 744bb2b | 2015-06-25 00:10:52 +0900 | [diff] [blame] | 750 | if LogFlag { |
Fumitoshi Ukai | 07cf121 | 2015-06-25 17:16:25 +0900 | [diff] [blame] | 751 | logf("reading makefile %q", filename) |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 752 | } |
| 753 | c, err := ioutil.ReadFile(filename) |
| 754 | if err != nil { |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 755 | return makefile{}, hash, err |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 756 | } |
| 757 | hash = sha1.Sum(c) |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 758 | mk, err = parseMakefile(c, filename) |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 759 | if err != nil { |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 760 | return makefile{}, hash, err |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 761 | } |
| 762 | makefileCache.mu.Lock() |
| 763 | makefileCache.mk[filename] = mkCacheEntry{ |
| 764 | mk: mk, |
| 765 | hash: hash, |
| 766 | err: err, |
| 767 | ts: time.Now().Unix(), |
| 768 | } |
| 769 | makefileCache.mu.Unlock() |
| 770 | return mk, hash, err |
Shinichiro Hamaji | 584bb06 | 2015-06-04 13:25:13 +0900 | [diff] [blame] | 771 | } |
| 772 | |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 773 | func parseMakefile(s []byte, filename string) (makefile, error) { |
Shinichiro Hamaji | 45cde1d | 2015-05-25 18:21:23 +0900 | [diff] [blame] | 774 | parser := newParser(bytes.NewReader(s), filename) |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 775 | return parser.parse() |
Shinichiro Hamaji | 45cde1d | 2015-05-25 18:21:23 +0900 | [diff] [blame] | 776 | } |