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) { |
Fumitoshi Ukai | 56531c1 | 2015-07-07 18:04:39 +0900 | [diff] [blame^] | 213 | if len(line) == 0 { |
| 214 | p.err = p.srcpos().errorf("*** missing rule before commands.") |
| 215 | return |
| 216 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 217 | if line[0] == '\t' { |
| 218 | p.err = p.srcpos().errorf("*** commands commence before first target.") |
| 219 | return |
| 220 | } |
Fumitoshi Ukai | 201df42 | 2015-07-07 17:31:05 +0900 | [diff] [blame] | 221 | var assign *assignAST |
| 222 | ci := findLiteralChar(line, []byte{':'}, true) |
| 223 | if ci >= 0 { |
| 224 | eqi := findLiteralChar(line[ci+1:], []byte{'='}, true) |
| 225 | if eqi == 0 { |
| 226 | panic(fmt.Sprintf("unexpected eq after colon: %q", line)) |
| 227 | } |
| 228 | if eqi > 0 { |
| 229 | var lhsbytes []byte |
| 230 | op := "=" |
| 231 | switch line[ci+1+eqi-1] { |
| 232 | case ':', '+', '?': |
| 233 | lhsbytes = append(lhsbytes, line[ci+1:ci+1+eqi-1]...) |
| 234 | op = string(line[ci+1+eqi-1 : ci+1+eqi+1]) |
| 235 | default: |
| 236 | lhsbytes = append(lhsbytes, line[ci+1:ci+1+eqi]...) |
| 237 | } |
| 238 | |
| 239 | lhsbytes = trimSpaceBytes(lhsbytes) |
| 240 | lhs, _, err := parseExpr(lhsbytes, nil, parseOp{}) |
| 241 | if err != nil { |
| 242 | p.err = p.srcpos().error(err) |
| 243 | return |
| 244 | } |
| 245 | var rhsbytes []byte |
| 246 | rhsbytes = append(rhsbytes, line[ci+1+eqi+1:]...) |
| 247 | if semi != nil { |
| 248 | rhsbytes = append(rhsbytes, ';') |
| 249 | rhsbytes = append(rhsbytes, concatline(semi)...) |
| 250 | } |
| 251 | rhsbytes = trimLeftSpaceBytes(rhsbytes) |
| 252 | semi = nil |
| 253 | rhs, _, err := parseExpr(rhsbytes, nil, parseOp{}) |
| 254 | if err != nil { |
| 255 | p.err = p.srcpos().error(err) |
| 256 | return |
| 257 | } |
| 258 | |
| 259 | // TODO(ukai): support override, export in target specific var. |
| 260 | assign = &assignAST{ |
| 261 | lhs: lhs, |
| 262 | rhs: rhs, |
| 263 | op: op, |
| 264 | } |
| 265 | assign.srcpos = p.srcpos() |
| 266 | line = line[:ci+1] |
| 267 | } |
| 268 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 269 | expr, _, err := parseExpr(line, nil, parseOp{}) |
| 270 | if err != nil { |
Fumitoshi Ukai | cba36c9 | 2015-07-07 16:04:18 +0900 | [diff] [blame] | 271 | p.err = p.srcpos().error(err) |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 272 | return |
| 273 | } |
| 274 | // TODO(ukai): remove ast, and eval here. |
| 275 | rast := &maybeRuleAST{ |
Fumitoshi Ukai | 201df42 | 2015-07-07 17:31:05 +0900 | [diff] [blame] | 276 | isRule: ci >= 0, |
| 277 | expr: expr, |
| 278 | assign: assign, |
| 279 | semi: semi, |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 280 | } |
| 281 | rast.srcpos = p.srcpos() |
Fumitoshi Ukai | 201df42 | 2015-07-07 17:31:05 +0900 | [diff] [blame] | 282 | logf("stmt: %#v", rast) |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 283 | p.addStatement(rast) |
| 284 | } |
| 285 | |
| 286 | func (p *parser) parseInclude(op string, line []byte) { |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 287 | // TODO(ukai): parse expr here |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 288 | iast := &includeAST{ |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 289 | expr: string(line), |
| 290 | op: op, |
Shinichiro Hamaji | d7bef60 | 2015-03-30 19:55:32 +0900 | [diff] [blame] | 291 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 292 | iast.srcpos = p.srcpos() |
| 293 | p.addStatement(iast) |
Shinichiro Hamaji | d7bef60 | 2015-03-30 19:55:32 +0900 | [diff] [blame] | 294 | } |
| 295 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 296 | func (p *parser) parseIfdef(op string, data []byte) { |
| 297 | lhs, _, err := parseExpr(data, nil, parseOp{alloc: true}) |
Shinichiro Hamaji | 1a68fd2 | 2015-06-04 14:46:56 +0900 | [diff] [blame] | 298 | if err != nil { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 299 | p.err = p.srcpos().error(err) |
| 300 | return |
Shinichiro Hamaji | 1a68fd2 | 2015-06-04 14:46:56 +0900 | [diff] [blame] | 301 | } |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 302 | iast := &ifAST{ |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 303 | op: op, |
Shinichiro Hamaji | 1a68fd2 | 2015-06-04 14:46:56 +0900 | [diff] [blame] | 304 | lhs: lhs, |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 305 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 306 | iast.srcpos = p.srcpos() |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 307 | p.addStatement(iast) |
| 308 | p.ifStack = append(p.ifStack, ifState{ast: iast, numNest: p.numIfNest}) |
| 309 | p.outStmts = &iast.trueStmts |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 310 | } |
| 311 | |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 312 | func (p *parser) parseTwoQuotes(s []byte) (string, string, []byte, bool) { |
Shinichiro Hamaji | 76de43e | 2015-04-03 10:40:18 +0900 | [diff] [blame] | 313 | var args []string |
Shinichiro Hamaji | 1f47638 | 2015-04-09 14:46:04 +0900 | [diff] [blame] | 314 | for i := 0; i < 2; i++ { |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 315 | s = trimSpaceBytes(s) |
| 316 | if len(s) == 0 { |
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 | } |
Shinichiro Hamaji | 1f47638 | 2015-04-09 14:46:04 +0900 | [diff] [blame] | 319 | quote := s[0] |
| 320 | if quote != '\'' && quote != '"' { |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 321 | return "", "", nil, false |
Shinichiro Hamaji | 76de43e | 2015-04-03 10:40:18 +0900 | [diff] [blame] | 322 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 323 | end := bytes.IndexByte(s[1:], quote) + 1 |
Shinichiro Hamaji | 1f47638 | 2015-04-09 14:46:04 +0900 | [diff] [blame] | 324 | if end < 0 { |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 325 | return "", "", nil, false |
Shinichiro Hamaji | 1f47638 | 2015-04-09 14:46:04 +0900 | [diff] [blame] | 326 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 327 | args = append(args, string(s[1:end])) |
Shinichiro Hamaji | 1f47638 | 2015-04-09 14:46:04 +0900 | [diff] [blame] | 328 | s = s[end+1:] |
| 329 | } |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 330 | return args[0], args[1], s, true |
Shinichiro Hamaji | 76de43e | 2015-04-03 10:40:18 +0900 | [diff] [blame] | 331 | } |
| 332 | |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 333 | // parse |
| 334 | // "(lhs, rhs)" |
| 335 | // "lhs, rhs" |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 336 | func (p *parser) parseEq(s []byte) (string, string, []byte, bool) { |
Fumitoshi Ukai | a1d6852 | 2015-07-07 15:34:22 +0900 | [diff] [blame] | 337 | if len(s) == 0 { |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 338 | return "", "", nil, false |
Fumitoshi Ukai | a1d6852 | 2015-07-07 15:34:22 +0900 | [diff] [blame] | 339 | } |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 340 | if s[0] == '(' { |
| 341 | in := s[1:] |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 342 | logf("parseEq ( %q )", in) |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 343 | term := []byte{','} |
Fumitoshi Ukai | e9aa380 | 2015-07-03 11:33:23 +0900 | [diff] [blame] | 344 | v, n, err := parseExpr(in, term, parseOp{matchParen: true}) |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 345 | if err != nil { |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 346 | logf("parse eq: %q: %v", in, err) |
| 347 | return "", "", nil, false |
Shinichiro Hamaji | 76de43e | 2015-04-03 10:40:18 +0900 | [diff] [blame] | 348 | } |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 349 | lhs := v.String() |
| 350 | n++ |
| 351 | n += skipSpaces(in[n:], nil) |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 352 | term = []byte{')'} |
| 353 | in = in[n:] |
| 354 | v, n, err = parseExpr(in, term, parseOp{matchParen: true}) |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 355 | if err != nil { |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 356 | logf("parse eq 2nd: %q: %v", in, err) |
| 357 | return "", "", nil, false |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 358 | } |
| 359 | rhs := v.String() |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 360 | in = in[n+1:] |
| 361 | in = trimSpaceBytes(in) |
| 362 | return lhs, rhs, in, true |
Fumitoshi Ukai | b36f387 | 2015-04-10 15:06:38 +0900 | [diff] [blame] | 363 | } |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 364 | return p.parseTwoQuotes(s) |
Shinichiro Hamaji | af1e816 | 2015-03-31 02:15:37 +0900 | [diff] [blame] | 365 | } |
| 366 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 367 | func (p *parser) parseIfeq(op string, data []byte) { |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 368 | lhsBytes, rhsBytes, extra, ok := p.parseEq(data) |
Shinichiro Hamaji | af1e816 | 2015-03-31 02:15:37 +0900 | [diff] [blame] | 369 | if !ok { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 370 | p.err = p.srcpos().errorf(`*** invalid syntax in conditional.`) |
| 371 | return |
Shinichiro Hamaji | af1e816 | 2015-03-31 02:15:37 +0900 | [diff] [blame] | 372 | } |
Fumitoshi Ukai | fc02d67 | 2015-07-07 15:49:58 +0900 | [diff] [blame] | 373 | if len(extra) > 0 { |
| 374 | logf("extra %q", extra) |
| 375 | p.err = p.srcpos().errorf(`extraneous text after %q directive`, op) |
| 376 | return |
| 377 | } |
Shinichiro Hamaji | af1e816 | 2015-03-31 02:15:37 +0900 | [diff] [blame] | 378 | |
Fumitoshi Ukai | e9aa380 | 2015-07-03 11:33:23 +0900 | [diff] [blame] | 379 | lhs, _, err := parseExpr([]byte(lhsBytes), nil, parseOp{matchParen: true}) |
Shinichiro Hamaji | 1a68fd2 | 2015-06-04 14:46:56 +0900 | [diff] [blame] | 380 | if err != nil { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 381 | p.err = p.srcpos().error(err) |
| 382 | return |
Shinichiro Hamaji | 1a68fd2 | 2015-06-04 14:46:56 +0900 | [diff] [blame] | 383 | } |
Fumitoshi Ukai | e9aa380 | 2015-07-03 11:33:23 +0900 | [diff] [blame] | 384 | rhs, _, err := parseExpr([]byte(rhsBytes), nil, parseOp{matchParen: true}) |
Shinichiro Hamaji | 1a68fd2 | 2015-06-04 14:46:56 +0900 | [diff] [blame] | 385 | if err != nil { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 386 | p.err = p.srcpos().error(err) |
| 387 | return |
Shinichiro Hamaji | 1a68fd2 | 2015-06-04 14:46:56 +0900 | [diff] [blame] | 388 | } |
| 389 | |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 390 | iast := &ifAST{ |
Shinichiro Hamaji | 1f47638 | 2015-04-09 14:46:04 +0900 | [diff] [blame] | 391 | op: op, |
Shinichiro Hamaji | af1e816 | 2015-03-31 02:15:37 +0900 | [diff] [blame] | 392 | lhs: lhs, |
| 393 | rhs: rhs, |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 394 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 395 | iast.srcpos = p.srcpos() |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 396 | p.addStatement(iast) |
| 397 | p.ifStack = append(p.ifStack, ifState{ast: iast, numNest: p.numIfNest}) |
| 398 | p.outStmts = &iast.trueStmts |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 399 | } |
| 400 | |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 401 | func (p *parser) checkIfStack(curKeyword string) error { |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 402 | if len(p.ifStack) == 0 { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 403 | return p.srcpos().errorf(`*** extraneous %q.`, curKeyword) |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 404 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 405 | return nil |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 406 | } |
| 407 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 408 | func (p *parser) parseElse(data []byte) { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 409 | err := p.checkIfStack("else") |
| 410 | if err != nil { |
| 411 | p.err = err |
| 412 | return |
| 413 | } |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 414 | state := &p.ifStack[len(p.ifStack)-1] |
Fumitoshi Ukai | 0293c7a | 2015-03-31 16:26:53 +0900 | [diff] [blame] | 415 | if state.inElse { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 416 | p.err = p.srcpos().errorf(`*** only one "else" per conditional.`) |
| 417 | return |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 418 | } |
Fumitoshi Ukai | 0293c7a | 2015-03-31 16:26:53 +0900 | [diff] [blame] | 419 | state.inElse = true |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 420 | p.outStmts = &state.ast.falseStmts |
Shinichiro Hamaji | a06760f | 2015-04-07 13:13:45 +0900 | [diff] [blame] | 421 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 422 | nextIf := data |
Shinichiro Hamaji | a06760f | 2015-04-07 13:13:45 +0900 | [diff] [blame] | 423 | if len(nextIf) == 0 { |
| 424 | return |
| 425 | } |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 426 | var ifDirectives = map[string]directiveFunc{ |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 427 | "ifdef": ifdefDirective, |
| 428 | "ifndef": ifndefDirective, |
| 429 | "ifeq": ifeqDirective, |
| 430 | "ifneq": ifneqDirective, |
Shinichiro Hamaji | a06760f | 2015-04-07 13:13:45 +0900 | [diff] [blame] | 431 | } |
| 432 | p.numIfNest = state.numNest + 1 |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 433 | if p.handleDirective(nextIf, ifDirectives) { |
Shinichiro Hamaji | a06760f | 2015-04-07 13:13:45 +0900 | [diff] [blame] | 434 | p.numIfNest = 0 |
| 435 | return |
| 436 | } |
| 437 | p.numIfNest = 0 |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 438 | warnNoPrefix(p.srcpos(), "extraneous text after `else` directive") |
| 439 | return |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 440 | } |
| 441 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 442 | func (p *parser) parseEndif(data []byte) { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 443 | err := p.checkIfStack("endif") |
| 444 | if err != nil { |
| 445 | p.err = err |
| 446 | return |
| 447 | } |
Shinichiro Hamaji | a06760f | 2015-04-07 13:13:45 +0900 | [diff] [blame] | 448 | state := p.ifStack[len(p.ifStack)-1] |
| 449 | for t := 0; t <= state.numNest; t++ { |
| 450 | p.ifStack = p.ifStack[0 : len(p.ifStack)-1] |
| 451 | if len(p.ifStack) == 0 { |
| 452 | p.outStmts = &p.mk.stmts |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 453 | } else { |
Shinichiro Hamaji | a06760f | 2015-04-07 13:13:45 +0900 | [diff] [blame] | 454 | state := p.ifStack[len(p.ifStack)-1] |
| 455 | if state.inElse { |
| 456 | p.outStmts = &state.ast.falseStmts |
| 457 | } else { |
| 458 | p.outStmts = &state.ast.trueStmts |
| 459 | } |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 460 | } |
| 461 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 462 | return |
Shinichiro Hamaji | 497754d | 2015-03-31 02:02:11 +0900 | [diff] [blame] | 463 | } |
| 464 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 465 | func (p *parser) parseDefine(data []byte) { |
| 466 | p.defineVar = nil |
| 467 | p.inDef = nil |
| 468 | p.defineVar = append(p.defineVar, trimSpaceBytes(data)...) |
| 469 | return |
Fumitoshi Ukai | 8209630 | 2015-04-01 10:37:47 +0900 | [diff] [blame] | 470 | } |
| 471 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 472 | type directiveFunc func(*parser, []byte) |
| 473 | |
| 474 | var makeDirectives map[string]directiveFunc |
| 475 | |
| 476 | func init() { |
| 477 | makeDirectives = map[string]directiveFunc{ |
| 478 | "include": includeDirective, |
| 479 | "-include": sincludeDirective, |
| 480 | "sinclude": sincludeDirective, |
| 481 | "ifdef": ifdefDirective, |
| 482 | "ifndef": ifndefDirective, |
| 483 | "ifeq": ifeqDirective, |
| 484 | "ifneq": ifneqDirective, |
| 485 | "else": elseDirective, |
| 486 | "endif": endifDirective, |
| 487 | "define": defineDirective, |
| 488 | "override": overrideDirective, |
| 489 | "export": exportDirective, |
| 490 | "unexport": unexportDirective, |
Shinichiro Hamaji | e103f65 | 2015-04-11 19:49:51 +0900 | [diff] [blame] | 491 | } |
Shinichiro Hamaji | 74b8cb5 | 2015-04-08 19:47:43 +0900 | [diff] [blame] | 492 | } |
| 493 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 494 | func includeDirective(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 sincludeDirective(p *parser, data []byte) { |
| 499 | p.parseInclude("-include", 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 ifdefDirective(p *parser, data []byte) { |
| 503 | p.parseIfdef("ifdef", 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 ifndefDirective(p *parser, data []byte) { |
| 507 | p.parseIfdef("ifndef", 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 ifeqDirective(p *parser, data []byte) { |
| 511 | p.parseIfeq("ifeq", 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 ifneqDirective(p *parser, data []byte) { |
| 515 | p.parseIfeq("ifneq", 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 elseDirective(p *parser, data []byte) { |
| 519 | p.parseElse(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 endifDirective(p *parser, data []byte) { |
| 523 | p.parseEndif(data) |
Fumitoshi Ukai | 8209630 | 2015-04-01 10:37:47 +0900 | [diff] [blame] | 524 | } |
| 525 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 526 | func defineDirective(p *parser, data []byte) { |
| 527 | p.parseDefine(data) |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 528 | } |
| 529 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 530 | func overrideDirective(p *parser, data []byte) { |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 531 | p.defOpt = "override" |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 532 | defineDirective := map[string]directiveFunc{ |
| 533 | "define": defineDirective, |
| 534 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 535 | logf("override define? %q", data) |
| 536 | if p.handleDirective(data, defineDirective) { |
| 537 | return |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 538 | } |
| 539 | // e.g. overrider foo := bar |
| 540 | // line will be "foo := bar". |
Fumitoshi Ukai | 4cb507f | 2015-07-07 11:46:58 +0900 | [diff] [blame] | 541 | if p.handleAssign(data) { |
| 542 | return |
| 543 | } |
| 544 | p.defOpt = "" |
| 545 | var line []byte |
| 546 | line = append(line, []byte("override ")...) |
| 547 | line = append(line, data...) |
| 548 | p.handleRuleOrAssign(line) |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 549 | } |
| 550 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 551 | func handleExport(p *parser, data []byte, export bool) (hasEqual bool) { |
| 552 | i := bytes.IndexByte(data, '=') |
| 553 | if i > 0 { |
Shinichiro Hamaji | ea553f3 | 2015-05-29 17:03:33 +0900 | [diff] [blame] | 554 | hasEqual = true |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 555 | switch data[i-1] { |
Shinichiro Hamaji | ea553f3 | 2015-05-29 17:03:33 +0900 | [diff] [blame] | 556 | case ':', '+', '?': |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 557 | i-- |
Shinichiro Hamaji | ea553f3 | 2015-05-29 17:03:33 +0900 | [diff] [blame] | 558 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 559 | data = data[:i] |
Shinichiro Hamaji | ea553f3 | 2015-05-29 17:03:33 +0900 | [diff] [blame] | 560 | } |
| 561 | |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 562 | east := &exportAST{ |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 563 | expr: data, |
Shinichiro Hamaji | f61033d | 2015-05-29 15:01:48 +0900 | [diff] [blame] | 564 | export: export, |
Shinichiro Hamaji | 7e52142 | 2015-05-29 14:23:30 +0900 | [diff] [blame] | 565 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 566 | east.srcpos = p.srcpos() |
Fumitoshi Ukai | bcb3b4b | 2015-07-07 18:00:13 +0900 | [diff] [blame] | 567 | logf("export %v", east) |
Fumitoshi Ukai | 91ed5d7 | 2015-06-25 13:08:09 +0900 | [diff] [blame] | 568 | p.addStatement(east) |
Shinichiro Hamaji | ea553f3 | 2015-05-29 17:03:33 +0900 | [diff] [blame] | 569 | return hasEqual |
Shinichiro Hamaji | 7e52142 | 2015-05-29 14:23:30 +0900 | [diff] [blame] | 570 | } |
Shinichiro Hamaji | 07e76d5 | 2015-05-26 18:22:31 +0900 | [diff] [blame] | 571 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 572 | func exportDirective(p *parser, data []byte) { |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 573 | p.defOpt = "export" |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 574 | defineDirective := map[string]directiveFunc{ |
| 575 | "define": defineDirective, |
| 576 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 577 | logf("export define? %q", data) |
| 578 | if p.handleDirective(data, defineDirective) { |
| 579 | return |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 580 | } |
Shinichiro Hamaji | 07e76d5 | 2015-05-26 18:22:31 +0900 | [diff] [blame] | 581 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 582 | if !handleExport(p, data, true) { |
| 583 | return |
Shinichiro Hamaji | 07e76d5 | 2015-05-26 18:22:31 +0900 | [diff] [blame] | 584 | } |
| 585 | |
Fumitoshi Ukai | b2c300f | 2015-04-23 00:59:26 +0900 | [diff] [blame] | 586 | // e.g. export foo := bar |
| 587 | // line will be "foo := bar". |
Fumitoshi Ukai | bcb3b4b | 2015-07-07 18:00:13 +0900 | [diff] [blame] | 588 | p.handleAssign(data) |
Fumitoshi Ukai | 3d54db8 | 2015-04-01 11:03:31 +0900 | [diff] [blame] | 589 | } |
| 590 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 591 | func unexportDirective(p *parser, data []byte) { |
| 592 | handleExport(p, data, false) |
| 593 | return |
Shinichiro Hamaji | ca66857 | 2015-06-17 06:36:45 +0900 | [diff] [blame] | 594 | } |
| 595 | |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 596 | func (p *parser) parse() (mk makefile, err error) { |
Shinichiro Hamaji | e184158 | 2015-03-30 17:20:33 +0900 | [diff] [blame] | 597 | for !p.done { |
Shinichiro Hamaji | 0b93c86 | 2015-04-07 06:15:15 +0900 | [diff] [blame] | 598 | line := p.readLine() |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 599 | logf("line: %q", line) |
| 600 | if p.defineVar != nil { |
| 601 | p.processDefine(line) |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 602 | if p.err != nil { |
| 603 | return makefile{}, p.err |
| 604 | } |
Shinichiro Hamaji | 0b93c86 | 2015-04-07 06:15:15 +0900 | [diff] [blame] | 605 | continue |
| 606 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 607 | p.defOpt = "" |
| 608 | if p.inRecipe { |
| 609 | if len(line) > 0 && line[0] == '\t' { |
| 610 | cast := &commandAST{cmd: string(line[1:])} |
| 611 | cast.srcpos = p.srcpos() |
| 612 | p.addStatement(cast) |
Shinichiro Hamaji | 34e2324 | 2015-04-06 15:44:50 +0900 | [diff] [blame] | 613 | continue |
| 614 | } |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 615 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 616 | p.parseLine(line) |
| 617 | if p.err != nil { |
| 618 | return makefile{}, p.err |
Shinichiro Hamaji | 685fecf | 2015-03-30 18:28:12 +0900 | [diff] [blame] | 619 | } |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 620 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 621 | return p.mk, p.err |
Fumitoshi Ukai | 119dc91 | 2015-03-30 16:52:41 +0900 | [diff] [blame] | 622 | } |
| 623 | |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 624 | func (p *parser) parseLine(line []byte) { |
| 625 | cline := concatline(line) |
| 626 | if len(cline) == 0 { |
| 627 | return |
| 628 | } |
| 629 | logf("concatline:%q", cline) |
| 630 | var dline []byte |
| 631 | cline, _ = removeComment(cline) |
| 632 | dline = append(dline, cline...) |
| 633 | dline = trimSpaceBytes(dline) |
| 634 | if len(dline) == 0 { |
| 635 | return |
| 636 | } |
| 637 | logf("directive?: %q", dline) |
| 638 | if p.handleDirective(dline, makeDirectives) { |
| 639 | return |
| 640 | } |
| 641 | logf("rule or assign?: %q", line) |
| 642 | p.handleRuleOrAssign(line) |
| 643 | } |
| 644 | |
| 645 | func (p *parser) processDefine(line []byte) { |
| 646 | line = concatline(line) |
| 647 | logf("concatline:%q", line) |
| 648 | if !p.isEndef(line) { |
Fumitoshi Ukai | 1d2c92d | 2015-07-07 12:10:20 +0900 | [diff] [blame] | 649 | if p.inDef != nil { |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 650 | p.inDef = append(p.inDef, '\n') |
| 651 | } |
| 652 | p.inDef = append(p.inDef, line...) |
Fumitoshi Ukai | 1d2c92d | 2015-07-07 12:10:20 +0900 | [diff] [blame] | 653 | if p.inDef == nil { |
| 654 | p.inDef = []byte{} |
| 655 | } |
Fumitoshi Ukai | b97be67 | 2015-07-02 15:12:48 +0900 | [diff] [blame] | 656 | return |
| 657 | } |
| 658 | logf("multilineAssign %q %q", p.defineVar, p.inDef) |
| 659 | aast, err := newAssignAST(p, p.defineVar, p.inDef, "=") |
| 660 | if err != nil { |
| 661 | p.err = p.srcpos().errorf("assign error %q=%q: %v", p.defineVar, p.inDef, err) |
| 662 | return |
| 663 | } |
| 664 | aast.srcpos = p.srcpos() |
| 665 | aast.srcpos.lineno -= bytes.Count(p.inDef, []byte{'\n'}) |
| 666 | p.addStatement(aast) |
| 667 | p.defineVar = nil |
| 668 | p.inDef = nil |
| 669 | return |
| 670 | } |
| 671 | |
| 672 | func (p *parser) isEndef(line []byte) bool { |
| 673 | if bytes.Equal(line, []byte("endef")) { |
| 674 | return true |
| 675 | } |
| 676 | w, data := firstWord(line) |
| 677 | if bytes.Equal(w, []byte("endef")) { |
| 678 | data, _ = removeComment(data) |
| 679 | data = trimLeftSpaceBytes(data) |
| 680 | if len(data) > 0 { |
| 681 | warnNoPrefix(p.srcpos(), `extraneous text after "endef" directive`) |
| 682 | } |
| 683 | return true |
| 684 | } |
| 685 | return false |
| 686 | } |
| 687 | |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 688 | func defaultMakefile() (string, error) { |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 689 | candidates := []string{"GNUmakefile", "makefile", "Makefile"} |
| 690 | for _, filename := range candidates { |
| 691 | if exists(filename) { |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 692 | return filename, nil |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 693 | } |
| 694 | } |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 695 | return "", errors.New("no targets specified and no makefile found") |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 696 | } |
| 697 | |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 698 | func parseMakefileReader(rd io.Reader, loc srcpos) (makefile, error) { |
| 699 | parser := newParser(rd, loc.filename) |
| 700 | parser.lineno = loc.lineno |
| 701 | parser.elineno = loc.lineno |
Shinichiro Hamaji | 370be72 | 2015-04-10 14:55:23 +0900 | [diff] [blame] | 702 | parser.linenoFixed = true |
Shinichiro Hamaji | a5dee37 | 2015-04-03 16:41:30 +0900 | [diff] [blame] | 703 | return parser.parse() |
Shinichiro Hamaji | c384081 | 2015-04-02 02:10:20 +0900 | [diff] [blame] | 704 | } |
Shinichiro Hamaji | 28ea5bc | 2015-04-11 12:41:08 +0900 | [diff] [blame] | 705 | |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 706 | func parseMakefileString(s string, loc srcpos) (makefile, error) { |
| 707 | return parseMakefileReader(strings.NewReader(s), loc) |
Shinichiro Hamaji | 28ea5bc | 2015-04-11 12:41:08 +0900 | [diff] [blame] | 708 | } |
| 709 | |
Fumitoshi Ukai | 65c7233 | 2015-06-26 21:32:50 +0900 | [diff] [blame] | 710 | func parseMakefileBytes(s []byte, loc srcpos) (makefile, error) { |
| 711 | return parseMakefileReader(bytes.NewReader(s), loc) |
Shinichiro Hamaji | 28ea5bc | 2015-04-11 12:41:08 +0900 | [diff] [blame] | 712 | } |
Shinichiro Hamaji | 45cde1d | 2015-05-25 18:21:23 +0900 | [diff] [blame] | 713 | |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 714 | type mkCacheEntry struct { |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 715 | mk makefile |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 716 | hash [sha1.Size]byte |
| 717 | err error |
| 718 | ts int64 |
Shinichiro Hamaji | 584bb06 | 2015-06-04 13:25:13 +0900 | [diff] [blame] | 719 | } |
| 720 | |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 721 | type makefileCacheT struct { |
| 722 | mu sync.Mutex |
| 723 | mk map[string]mkCacheEntry |
Shinichiro Hamaji | 584bb06 | 2015-06-04 13:25:13 +0900 | [diff] [blame] | 724 | } |
| 725 | |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 726 | var makefileCache = &makefileCacheT{ |
| 727 | mk: make(map[string]mkCacheEntry), |
| 728 | } |
| 729 | |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 730 | func (mc *makefileCacheT) lookup(filename string) (makefile, [sha1.Size]byte, bool, error) { |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 731 | var hash [sha1.Size]byte |
| 732 | mc.mu.Lock() |
| 733 | c, present := mc.mk[filename] |
| 734 | mc.mu.Unlock() |
Shinichiro Hamaji | 584bb06 | 2015-06-04 13:25:13 +0900 | [diff] [blame] | 735 | if !present { |
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 | } |
| 738 | ts := getTimestamp(filename) |
| 739 | if ts < 0 || ts >= c.ts { |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 740 | return makefile{}, hash, false, nil |
Shinichiro Hamaji | 584bb06 | 2015-06-04 13:25:13 +0900 | [diff] [blame] | 741 | } |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 742 | return c.mk, c.hash, true, c.err |
| 743 | } |
| 744 | |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 745 | func (mc *makefileCacheT) parse(filename string) (makefile, [sha1.Size]byte, error) { |
Fumitoshi Ukai | 07cf121 | 2015-06-25 17:16:25 +0900 | [diff] [blame] | 746 | logf("parse Makefile %q", filename) |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 747 | mk, hash, ok, err := makefileCache.lookup(filename) |
| 748 | if ok { |
Fumitoshi Ukai | 744bb2b | 2015-06-25 00:10:52 +0900 | [diff] [blame] | 749 | if LogFlag { |
Fumitoshi Ukai | 07cf121 | 2015-06-25 17:16:25 +0900 | [diff] [blame] | 750 | logf("makefile cache hit for %q", filename) |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 751 | } |
| 752 | return mk, hash, err |
| 753 | } |
Fumitoshi Ukai | 744bb2b | 2015-06-25 00:10:52 +0900 | [diff] [blame] | 754 | if LogFlag { |
Fumitoshi Ukai | 07cf121 | 2015-06-25 17:16:25 +0900 | [diff] [blame] | 755 | logf("reading makefile %q", filename) |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 756 | } |
| 757 | c, err := ioutil.ReadFile(filename) |
| 758 | if err != nil { |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 759 | return makefile{}, hash, err |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 760 | } |
| 761 | hash = sha1.Sum(c) |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 762 | mk, err = parseMakefile(c, filename) |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 763 | if err != nil { |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 764 | return makefile{}, hash, err |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 765 | } |
| 766 | makefileCache.mu.Lock() |
| 767 | makefileCache.mk[filename] = mkCacheEntry{ |
| 768 | mk: mk, |
| 769 | hash: hash, |
| 770 | err: err, |
| 771 | ts: time.Now().Unix(), |
| 772 | } |
| 773 | makefileCache.mu.Unlock() |
| 774 | return mk, hash, err |
Shinichiro Hamaji | 584bb06 | 2015-06-04 13:25:13 +0900 | [diff] [blame] | 775 | } |
| 776 | |
Fumitoshi Ukai | 08eda65 | 2015-06-25 16:27:10 +0900 | [diff] [blame] | 777 | func parseMakefile(s []byte, filename string) (makefile, error) { |
Shinichiro Hamaji | 45cde1d | 2015-05-25 18:21:23 +0900 | [diff] [blame] | 778 | parser := newParser(bytes.NewReader(s), filename) |
Fumitoshi Ukai | 9042b99 | 2015-06-23 16:10:27 +0900 | [diff] [blame] | 779 | return parser.parse() |
Shinichiro Hamaji | 45cde1d | 2015-05-25 18:21:23 +0900 | [diff] [blame] | 780 | } |