Shinichiro Hamaji | 1d545aa | 2015-06-23 15:29:13 +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 | // +build ignore |
| 16 | |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 17 | #include "value.h" |
| 18 | |
| 19 | #include <vector> |
| 20 | |
| 21 | #include "eval.h" |
| 22 | #include "func.h" |
| 23 | #include "log.h" |
| 24 | #include "stringprintf.h" |
| 25 | #include "strutil.h" |
| 26 | #include "var.h" |
| 27 | |
| 28 | Evaluable::Evaluable() { |
| 29 | } |
| 30 | |
| 31 | Evaluable::~Evaluable() { |
| 32 | } |
| 33 | |
| 34 | shared_ptr<string> Evaluable::Eval(Evaluator* ev) const { |
| 35 | shared_ptr<string> s = make_shared<string>(); |
| 36 | Eval(ev, s.get()); |
| 37 | return s; |
| 38 | } |
| 39 | |
| 40 | Value::Value() { |
| 41 | } |
| 42 | |
| 43 | Value::~Value() { |
| 44 | } |
| 45 | |
| 46 | string Value::DebugString() const { |
Colin Cross | 3f18690 | 2015-07-29 17:14:53 -0700 | [diff] [blame^] | 47 | if (static_cast<const Value*>(this)) { |
Shinichiro Hamaji | 810fd03 | 2015-06-17 04:38:03 +0900 | [diff] [blame] | 48 | return NoLineBreak(DebugString_()); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 49 | } |
| 50 | return "(null)"; |
| 51 | } |
| 52 | |
| 53 | class Literal : public Value { |
| 54 | public: |
| 55 | explicit Literal(StringPiece s) |
| 56 | : s_(s) { |
| 57 | } |
| 58 | |
| 59 | StringPiece val() const { return s_; } |
| 60 | |
| 61 | virtual void Eval(Evaluator*, string* s) const override { |
| 62 | s->append(s_.begin(), s_.end()); |
| 63 | } |
| 64 | |
| 65 | virtual string DebugString_() const override { |
| 66 | return s_.as_string(); |
| 67 | } |
| 68 | |
| 69 | private: |
| 70 | StringPiece s_; |
| 71 | }; |
| 72 | |
| 73 | class Expr : public Value { |
| 74 | public: |
| 75 | Expr() { |
| 76 | } |
| 77 | |
| 78 | virtual ~Expr() { |
| 79 | for (Value* v : vals_) { |
| 80 | delete v; |
| 81 | } |
| 82 | } |
| 83 | |
| 84 | // Takes the ownership of |v|. |
| 85 | void AddValue(Value* v) { |
| 86 | vals_.push_back(v); |
| 87 | } |
| 88 | |
| 89 | virtual void Eval(Evaluator* ev, string* s) const override { |
| 90 | for (Value* v : vals_) { |
| 91 | v->Eval(ev, s); |
| 92 | } |
| 93 | } |
| 94 | |
| 95 | virtual string DebugString_() const override { |
| 96 | string r; |
| 97 | for (Value* v : vals_) { |
| 98 | if (r.empty()) { |
| 99 | r += "Expr("; |
| 100 | } else { |
| 101 | r += ", "; |
| 102 | } |
| 103 | r += v->DebugString(); |
| 104 | } |
Shinichiro Hamaji | baf2c38 | 2015-07-07 14:53:02 +0900 | [diff] [blame] | 105 | if (!r.empty()) |
| 106 | r += ")"; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 107 | return r; |
| 108 | } |
| 109 | |
| 110 | virtual Value* Compact() { |
| 111 | if (vals_.size() != 1) { |
| 112 | return this; |
| 113 | } |
| 114 | Value* r = vals_[0]; |
| 115 | vals_.clear(); |
| 116 | delete this; |
| 117 | return r; |
| 118 | } |
| 119 | |
| 120 | private: |
| 121 | vector<Value*> vals_; |
| 122 | }; |
| 123 | |
Shinichiro Hamaji | 65489db | 2015-06-29 20:44:26 +0900 | [diff] [blame] | 124 | class SymRef : public Value { |
| 125 | public: |
| 126 | explicit SymRef(Symbol n) |
| 127 | : name_(n) { |
| 128 | } |
| 129 | virtual ~SymRef() { |
| 130 | } |
| 131 | |
| 132 | virtual shared_ptr<string> Eval(Evaluator* ev) const override { |
| 133 | Var* v = ev->LookupVar(name_); |
| 134 | return v->Eval(ev); |
| 135 | } |
| 136 | |
| 137 | virtual void Eval(Evaluator* ev, string* s) const override { |
| 138 | Var* v = ev->LookupVar(name_); |
| 139 | v->Eval(ev, s); |
| 140 | } |
| 141 | |
| 142 | virtual string DebugString_() const override { |
| 143 | return StringPrintf("SymRef(%s)", name_.c_str()); |
| 144 | } |
| 145 | |
| 146 | private: |
| 147 | Symbol name_; |
| 148 | }; |
| 149 | |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 150 | class VarRef : public Value { |
| 151 | public: |
| 152 | explicit VarRef(Value* n) |
| 153 | : name_(n) { |
| 154 | } |
| 155 | virtual ~VarRef() { |
| 156 | delete name_; |
| 157 | } |
| 158 | |
| 159 | virtual shared_ptr<string> Eval(Evaluator* ev) const override { |
| 160 | shared_ptr<string> name = name_->Eval(ev); |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 161 | Var* v = ev->LookupVar(Intern(*name)); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 162 | return v->Eval(ev); |
| 163 | } |
| 164 | |
| 165 | virtual void Eval(Evaluator* ev, string* s) const override { |
| 166 | shared_ptr<string> name = name_->Eval(ev); |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 167 | Var* v = ev->LookupVar(Intern(*name)); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 168 | v->Eval(ev, s); |
| 169 | } |
| 170 | |
| 171 | virtual string DebugString_() const override { |
| 172 | return StringPrintf("VarRef(%s)", name_->DebugString().c_str()); |
| 173 | } |
| 174 | |
| 175 | private: |
| 176 | Value* name_; |
| 177 | }; |
| 178 | |
Shinichiro Hamaji | 02fc55b | 2015-06-16 17:19:07 +0900 | [diff] [blame] | 179 | class VarSubst : public Value { |
| 180 | public: |
| 181 | explicit VarSubst(Value* n, Value* p, Value* s) |
| 182 | : name_(n), pat_(p), subst_(s) { |
| 183 | } |
| 184 | virtual ~VarSubst() { |
| 185 | delete name_; |
| 186 | delete pat_; |
| 187 | delete subst_; |
| 188 | } |
| 189 | |
| 190 | virtual void Eval(Evaluator* ev, string* s) const override { |
| 191 | shared_ptr<string> name = name_->Eval(ev); |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 192 | Var* v = ev->LookupVar(Intern(*name)); |
Shinichiro Hamaji | 02fc55b | 2015-06-16 17:19:07 +0900 | [diff] [blame] | 193 | shared_ptr<string> value = v->Eval(ev); |
Shinichiro Hamaji | a6a17a4 | 2015-06-18 20:11:19 +0900 | [diff] [blame] | 194 | shared_ptr<string> pat_str = pat_->Eval(ev); |
Shinichiro Hamaji | 02fc55b | 2015-06-16 17:19:07 +0900 | [diff] [blame] | 195 | shared_ptr<string> subst = subst_->Eval(ev); |
Shinichiro Hamaji | 37591ce | 2015-06-16 19:36:05 +0900 | [diff] [blame] | 196 | WordWriter ww(s); |
Shinichiro Hamaji | a6a17a4 | 2015-06-18 20:11:19 +0900 | [diff] [blame] | 197 | Pattern pat(*pat_str); |
Shinichiro Hamaji | 02fc55b | 2015-06-16 17:19:07 +0900 | [diff] [blame] | 198 | for (StringPiece tok : WordScanner(*value)) { |
Shinichiro Hamaji | 37591ce | 2015-06-16 19:36:05 +0900 | [diff] [blame] | 199 | ww.MaybeAddWhitespace(); |
Shinichiro Hamaji | a6a17a4 | 2015-06-18 20:11:19 +0900 | [diff] [blame] | 200 | pat.AppendSubstRef(tok, *subst, s); |
Shinichiro Hamaji | 02fc55b | 2015-06-16 17:19:07 +0900 | [diff] [blame] | 201 | } |
| 202 | } |
| 203 | |
| 204 | virtual string DebugString_() const override { |
| 205 | return StringPrintf("VarSubst(%s:%s=%s)", |
| 206 | name_->DebugString().c_str(), |
| 207 | pat_->DebugString().c_str(), |
| 208 | subst_->DebugString().c_str()); |
| 209 | } |
| 210 | |
| 211 | private: |
| 212 | Value* name_; |
| 213 | Value* pat_; |
| 214 | Value* subst_; |
| 215 | }; |
| 216 | |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 217 | class Func : public Value { |
| 218 | public: |
| 219 | explicit Func(FuncInfo* fi) |
| 220 | : fi_(fi) { |
| 221 | } |
| 222 | |
Shinichiro Hamaji | d0e188e | 2015-06-16 18:53:01 +0900 | [diff] [blame] | 223 | ~Func() { |
| 224 | for (Value* a : args_) |
| 225 | delete a; |
| 226 | } |
| 227 | |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 228 | virtual void Eval(Evaluator* ev, string* s) const override { |
| 229 | LOG("Invoke func %s(%s)", name(), JoinValues(args_, ",").c_str()); |
| 230 | fi_->func(args_, ev, s); |
| 231 | } |
| 232 | |
| 233 | virtual string DebugString_() const override { |
| 234 | return StringPrintf("Func(%s %s)", |
| 235 | fi_->name, |
| 236 | JoinValues(args_, ",").c_str()); |
| 237 | } |
| 238 | |
| 239 | void AddArg(Value* v) { |
| 240 | args_.push_back(v); |
| 241 | } |
| 242 | |
| 243 | const char* name() const { return fi_->name; } |
| 244 | int arity() const { return fi_->arity; } |
Shinichiro Hamaji | fead3b7 | 2015-06-18 15:31:15 +0900 | [diff] [blame] | 245 | int min_arity() const { return fi_->min_arity; } |
| 246 | bool trim_space() const { return fi_->trim_space; } |
| 247 | bool trim_right_space_1st() const { return fi_->trim_right_space_1st; } |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 248 | |
| 249 | private: |
| 250 | FuncInfo* fi_; |
| 251 | vector<Value*> args_; |
| 252 | }; |
| 253 | |
| 254 | static char CloseParen(char c) { |
| 255 | switch (c) { |
| 256 | case '(': |
| 257 | return ')'; |
| 258 | case '{': |
| 259 | return '}'; |
| 260 | } |
| 261 | return 0; |
| 262 | } |
| 263 | |
| 264 | static size_t SkipSpaces(StringPiece s, const char* terms) { |
| 265 | for (size_t i = 0; i < s.size(); i++) { |
| 266 | char c = s[i]; |
Shinichiro Hamaji | 64cf891 | 2015-06-26 09:25:19 +0900 | [diff] [blame] | 267 | if (strchr(terms, c)) |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 268 | return i; |
Shinichiro Hamaji | 64cf891 | 2015-06-26 09:25:19 +0900 | [diff] [blame] | 269 | if (!isspace(c)) { |
| 270 | if (c != '\\') |
| 271 | return i; |
| 272 | char n = s.get(i + 1); |
| 273 | if (n != '\r' && n != '\n') |
| 274 | return i; |
| 275 | } |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 276 | } |
| 277 | return s.size(); |
| 278 | } |
| 279 | |
Shinichiro Hamaji | 4d77b84 | 2015-06-27 06:10:18 +0900 | [diff] [blame] | 280 | bool ShouldHandleComments(ParseExprOpt opt) { |
| 281 | return opt != ParseExprOpt::DEFINE && opt != ParseExprOpt::COMMAND; |
| 282 | } |
| 283 | |
Shinichiro Hamaji | 663a35b | 2015-07-05 01:50:41 +0900 | [diff] [blame] | 284 | void ParseFunc(const Loc& loc, |
| 285 | Func* f, StringPiece s, size_t i, char* terms, |
| 286 | size_t* index_out) { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 287 | terms[1] = ','; |
| 288 | terms[2] = '\0'; |
| 289 | i += SkipSpaces(s.substr(i), terms); |
| 290 | if (i == s.size()) { |
| 291 | *index_out = i; |
Shinichiro Hamaji | 663a35b | 2015-07-05 01:50:41 +0900 | [diff] [blame] | 292 | return; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 293 | } |
| 294 | |
| 295 | int nargs = 1; |
| 296 | while (true) { |
| 297 | if (f->arity() && nargs >= f->arity()) { |
| 298 | terms[1] = '\0'; // Drop ','. |
| 299 | } |
| 300 | |
Shinichiro Hamaji | fead3b7 | 2015-06-18 15:31:15 +0900 | [diff] [blame] | 301 | if (f->trim_space()) { |
Shinichiro Hamaji | c8b4b1c | 2015-07-07 14:57:53 +0900 | [diff] [blame] | 302 | for (; i < s.size(); i++) { |
| 303 | if (isspace(s[i])) |
| 304 | continue; |
| 305 | if (s[i] == '\\') { |
| 306 | char c = s.get(i+1); |
| 307 | if (c == '\r' || c == '\n') |
| 308 | continue; |
| 309 | } |
| 310 | break; |
| 311 | } |
Shinichiro Hamaji | fead3b7 | 2015-06-18 15:31:15 +0900 | [diff] [blame] | 312 | } |
| 313 | const bool trim_right_space = (f->trim_space() || |
| 314 | (nargs == 1 && f->trim_right_space_1st())); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 315 | size_t n; |
Shinichiro Hamaji | 4d77b84 | 2015-06-27 06:10:18 +0900 | [diff] [blame] | 316 | Value* v = ParseExprImpl(loc, s.substr(i), terms, ParseExprOpt::FUNC, |
Shinichiro Hamaji | 66bd7bc | 2015-06-19 16:54:06 +0900 | [diff] [blame] | 317 | &n, trim_right_space); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 318 | // TODO: concatLine??? |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 319 | f->AddArg(v); |
| 320 | i += n; |
Shinichiro Hamaji | 663a35b | 2015-07-05 01:50:41 +0900 | [diff] [blame] | 321 | if (i == s.size()) { |
| 322 | ERROR("%s:%d: *** unterminated call to function '%s': " |
| 323 | "missing '%c'.", |
| 324 | LOCF(loc), f->name(), terms[0]); |
| 325 | } |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 326 | nargs++; |
| 327 | if (s[i] == terms[0]) { |
| 328 | i++; |
| 329 | break; |
| 330 | } |
| 331 | i++; // Should be ','. |
| 332 | if (i == s.size()) |
| 333 | break; |
| 334 | } |
| 335 | |
Shinichiro Hamaji | fead3b7 | 2015-06-18 15:31:15 +0900 | [diff] [blame] | 336 | if (nargs <= f->min_arity()) { |
Shinichiro Hamaji | 36b326f | 2015-06-26 08:56:13 +0900 | [diff] [blame] | 337 | ERROR("%s:%d: *** insufficient number of arguments (%d) to function `%s'.", |
| 338 | LOCF(loc), nargs - 1, f->name()); |
Shinichiro Hamaji | 81b2d0f | 2015-06-16 19:25:35 +0900 | [diff] [blame] | 339 | } |
| 340 | |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 341 | *index_out = i; |
Shinichiro Hamaji | 663a35b | 2015-07-05 01:50:41 +0900 | [diff] [blame] | 342 | return; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 343 | } |
| 344 | |
Shinichiro Hamaji | 36b326f | 2015-06-26 08:56:13 +0900 | [diff] [blame] | 345 | Value* ParseDollar(const Loc& loc, StringPiece s, size_t* index_out) { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 346 | CHECK(s.size() >= 2); |
| 347 | CHECK(s[0] == '$'); |
| 348 | CHECK(s[1] != '$'); |
| 349 | |
| 350 | char cp = CloseParen(s[1]); |
| 351 | if (cp == 0) { |
| 352 | *index_out = 2; |
Shinichiro Hamaji | 65489db | 2015-06-29 20:44:26 +0900 | [diff] [blame] | 353 | return new SymRef(Intern(s.substr(1, 1))); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 354 | } |
| 355 | |
| 356 | char terms[] = {cp, ':', ' ', 0}; |
| 357 | for (size_t i = 2;;) { |
| 358 | size_t n; |
Shinichiro Hamaji | 36b326f | 2015-06-26 08:56:13 +0900 | [diff] [blame] | 359 | Value* vname = ParseExprImpl(loc, s.substr(i), terms, |
| 360 | ParseExprOpt::NORMAL, &n); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 361 | i += n; |
| 362 | if (s[i] == cp) { |
| 363 | *index_out = i + 1; |
Shinichiro Hamaji | 65489db | 2015-06-29 20:44:26 +0900 | [diff] [blame] | 364 | if (Literal* lit = dynamic_cast<Literal*>(vname)) { |
| 365 | Value* r = new SymRef(Intern(lit->val())); |
| 366 | delete lit; |
| 367 | return r; |
| 368 | } |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 369 | return new VarRef(vname); |
| 370 | } |
| 371 | |
Shinichiro Hamaji | a0315fc | 2015-06-26 08:15:55 +0900 | [diff] [blame] | 372 | if (s[i] == ' ' || s[i] == '\\') { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 373 | // ${func ...} |
Shinichiro Hamaji | 65489db | 2015-06-29 20:44:26 +0900 | [diff] [blame] | 374 | if (Literal* lit = dynamic_cast<Literal*>(vname)) { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 375 | if (FuncInfo* fi = GetFuncInfo(lit->val())) { |
Shinichiro Hamaji | d0e188e | 2015-06-16 18:53:01 +0900 | [diff] [blame] | 376 | delete lit; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 377 | Func* func = new Func(fi); |
Shinichiro Hamaji | 663a35b | 2015-07-05 01:50:41 +0900 | [diff] [blame] | 378 | ParseFunc(loc, func, s, i+1, terms, index_out); |
| 379 | return func; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 380 | } |
| 381 | } |
| 382 | |
| 383 | // Not a function. Drop ' ' from |terms| and parse it |
| 384 | // again. This is inefficient, but this code path should be |
| 385 | // rarely used. |
| 386 | delete vname; |
| 387 | terms[2] = 0; |
| 388 | i = 2; |
| 389 | continue; |
| 390 | } |
| 391 | |
| 392 | if (s[i] == ':') { |
Shinichiro Hamaji | 02fc55b | 2015-06-16 17:19:07 +0900 | [diff] [blame] | 393 | terms[2] = '\0'; |
| 394 | terms[1] = '='; |
| 395 | size_t n; |
Shinichiro Hamaji | 36b326f | 2015-06-26 08:56:13 +0900 | [diff] [blame] | 396 | Value* pat = ParseExprImpl(loc, s.substr(i+1), terms, |
| 397 | ParseExprOpt::NORMAL, &n); |
Shinichiro Hamaji | 02fc55b | 2015-06-16 17:19:07 +0900 | [diff] [blame] | 398 | i += 1 + n; |
| 399 | if (s[i] == cp) { |
| 400 | Expr* v = new Expr; |
| 401 | v->AddValue(vname); |
| 402 | v->AddValue(new Literal(":")); |
| 403 | v->AddValue(pat); |
Shinichiro Hamaji | f72e024 | 2015-06-26 00:38:27 +0900 | [diff] [blame] | 404 | *index_out = i + 1; |
Shinichiro Hamaji | 02fc55b | 2015-06-16 17:19:07 +0900 | [diff] [blame] | 405 | return new VarRef(v); |
| 406 | } |
| 407 | |
| 408 | terms[1] = '\0'; |
Shinichiro Hamaji | 36b326f | 2015-06-26 08:56:13 +0900 | [diff] [blame] | 409 | Value* subst = ParseExprImpl(loc, s.substr(i+1), terms, |
| 410 | ParseExprOpt::NORMAL, &n); |
Shinichiro Hamaji | 02fc55b | 2015-06-16 17:19:07 +0900 | [diff] [blame] | 411 | i += 1 + n; |
Shinichiro Hamaji | f72e024 | 2015-06-26 00:38:27 +0900 | [diff] [blame] | 412 | *index_out = i + 1; |
Shinichiro Hamaji | 02fc55b | 2015-06-16 17:19:07 +0900 | [diff] [blame] | 413 | return new VarSubst(vname->Compact(), pat, subst); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 414 | } |
| 415 | |
Shinichiro Hamaji | 0f7af70 | 2015-07-05 02:00:18 +0900 | [diff] [blame] | 416 | // GNU make accepts expressions like $((). See unmatched_paren*.mk |
| 417 | // for detail. |
Shinichiro Hamaji | 663a35b | 2015-07-05 01:50:41 +0900 | [diff] [blame] | 418 | size_t found = s.find(cp); |
Shinichiro Hamaji | 0f7af70 | 2015-07-05 02:00:18 +0900 | [diff] [blame] | 419 | if (found != string::npos) { |
| 420 | *index_out = s.size(); |
| 421 | return new SymRef(Intern(s.substr(2, found-2))); |
| 422 | } |
Shinichiro Hamaji | 36b326f | 2015-06-26 08:56:13 +0900 | [diff] [blame] | 423 | ERROR("%s:%d: *** unterminated variable reference.", LOCF(loc)); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 424 | } |
| 425 | } |
| 426 | |
Shinichiro Hamaji | 36b326f | 2015-06-26 08:56:13 +0900 | [diff] [blame] | 427 | Value* ParseExprImpl(const Loc& loc, |
| 428 | StringPiece s, const char* terms, ParseExprOpt opt, |
Shinichiro Hamaji | d146f4c | 2015-06-17 17:51:24 +0900 | [diff] [blame] | 429 | size_t* index_out, bool trim_right_space) { |
Shinichiro Hamaji | 47898a8 | 2015-06-19 16:45:33 +0900 | [diff] [blame] | 430 | if (s.get(s.size() - 1) == '\r') |
| 431 | s.remove_suffix(1); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 432 | |
| 433 | Expr* r = new Expr; |
| 434 | size_t b = 0; |
| 435 | char save_paren = 0; |
| 436 | int paren_depth = 0; |
| 437 | size_t i; |
| 438 | for (i = 0; i < s.size(); i++) { |
| 439 | char c = s[i]; |
| 440 | if (terms && strchr(terms, c)) { |
| 441 | break; |
| 442 | } |
| 443 | |
| 444 | // Handle a comment. |
Shinichiro Hamaji | 4d77b84 | 2015-06-27 06:10:18 +0900 | [diff] [blame] | 445 | if (!terms && c == '#' && ShouldHandleComments(opt)) { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 446 | if (i > b) |
| 447 | r->AddValue(new Literal(s.substr(b, i-b))); |
| 448 | bool was_backslash = false; |
| 449 | for (; i < s.size() && !(s[i] == '\n' && !was_backslash); i++) { |
| 450 | was_backslash = !was_backslash && s[i] == '\\'; |
| 451 | } |
| 452 | *index_out = i; |
| 453 | return r->Compact(); |
| 454 | } |
| 455 | |
| 456 | if (c == '$') { |
| 457 | if (i + 1 >= s.size()) { |
| 458 | break; |
| 459 | } |
| 460 | |
| 461 | if (i > b) |
| 462 | r->AddValue(new Literal(s.substr(b, i-b))); |
| 463 | |
| 464 | if (s[i+1] == '$') { |
Shinichiro Hamaji | 388e858 | 2015-07-03 16:51:46 +0900 | [diff] [blame] | 465 | r->AddValue(new Literal(StringPiece("$"))); |
Shinichiro Hamaji | b8a2bb1 | 2015-06-26 09:04:57 +0900 | [diff] [blame] | 466 | i += 1; |
| 467 | b = i + 1; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 468 | continue; |
| 469 | } |
| 470 | |
| 471 | if (terms && strchr(terms, s[i+1])) { |
| 472 | *index_out = i + 1; |
| 473 | return r->Compact(); |
| 474 | } |
| 475 | |
| 476 | size_t n; |
Shinichiro Hamaji | 36b326f | 2015-06-26 08:56:13 +0900 | [diff] [blame] | 477 | Value* v = ParseDollar(loc, s.substr(i), &n); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 478 | i += n; |
| 479 | b = i; |
| 480 | i--; |
| 481 | r->AddValue(v); |
| 482 | continue; |
| 483 | } |
| 484 | |
Shinichiro Hamaji | 4d77b84 | 2015-06-27 06:10:18 +0900 | [diff] [blame] | 485 | if ((c == '(' || c == '{') && opt == ParseExprOpt::FUNC) { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 486 | char cp = CloseParen(c); |
| 487 | if (terms && terms[0] == cp) { |
| 488 | paren_depth++; |
| 489 | save_paren = cp; |
| 490 | terms++; |
| 491 | } else if (cp == save_paren) { |
| 492 | paren_depth++; |
| 493 | } |
| 494 | continue; |
| 495 | } |
| 496 | |
| 497 | if (c == save_paren) { |
| 498 | paren_depth--; |
| 499 | if (paren_depth == 0) { |
| 500 | terms--; |
| 501 | save_paren = 0; |
| 502 | } |
| 503 | } |
| 504 | |
Shinichiro Hamaji | 66bd7bc | 2015-06-19 16:54:06 +0900 | [diff] [blame] | 505 | if (c == '\\' && i + 1 < s.size() && opt != ParseExprOpt::COMMAND) { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 506 | char n = s[i+1]; |
| 507 | if (n == '\\') { |
| 508 | i++; |
| 509 | continue; |
| 510 | } |
Shinichiro Hamaji | 4d77b84 | 2015-06-27 06:10:18 +0900 | [diff] [blame] | 511 | if (n == '#' && ShouldHandleComments(opt)) { |
Shinichiro Hamaji | 7fb82b0 | 2015-06-26 00:06:51 +0900 | [diff] [blame] | 512 | r->AddValue(new Literal(s.substr(b, i-b))); |
| 513 | i++; |
| 514 | b = i; |
| 515 | continue; |
| 516 | } |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 517 | if (n == '\r' || n == '\n') { |
Shinichiro Hamaji | a0315fc | 2015-06-26 08:15:55 +0900 | [diff] [blame] | 518 | if (terms && strchr(terms, ' ')) { |
| 519 | break; |
| 520 | } |
Shinichiro Hamaji | 47898a8 | 2015-06-19 16:45:33 +0900 | [diff] [blame] | 521 | if (i > b) { |
Shinichiro Hamaji | 8f46458 | 2015-06-24 20:41:46 +0900 | [diff] [blame] | 522 | r->AddValue(new Literal(TrimRightSpace(s.substr(b, i-b)))); |
Shinichiro Hamaji | 47898a8 | 2015-06-19 16:45:33 +0900 | [diff] [blame] | 523 | } |
Shinichiro Hamaji | 388e858 | 2015-07-03 16:51:46 +0900 | [diff] [blame] | 524 | r->AddValue(new Literal(StringPiece(" "))); |
Shinichiro Hamaji | 8f46458 | 2015-06-24 20:41:46 +0900 | [diff] [blame] | 525 | for (i++; i < s.size(); i++) { |
| 526 | if (!isspace(s[i]) && |
| 527 | (s[i] != '\\' || (s.get(i+1) != '\r' && s.get(i+1) != '\n'))) { |
| 528 | break; |
| 529 | } |
| 530 | } |
| 531 | b = i; |
| 532 | i--; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 533 | } |
| 534 | } |
| 535 | } |
| 536 | |
Shinichiro Hamaji | d146f4c | 2015-06-17 17:51:24 +0900 | [diff] [blame] | 537 | if (i > b) { |
| 538 | StringPiece rest = s.substr(b, i-b); |
| 539 | if (trim_right_space) |
| 540 | rest = TrimRightSpace(rest); |
| 541 | if (!rest.empty()) |
| 542 | r->AddValue(new Literal(rest)); |
| 543 | } |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 544 | *index_out = i; |
| 545 | return r->Compact(); |
| 546 | } |
| 547 | |
Shinichiro Hamaji | 36b326f | 2015-06-26 08:56:13 +0900 | [diff] [blame] | 548 | Value* ParseExpr(const Loc& loc, StringPiece s, ParseExprOpt opt) { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 549 | size_t n; |
Shinichiro Hamaji | 36b326f | 2015-06-26 08:56:13 +0900 | [diff] [blame] | 550 | return ParseExprImpl(loc, s, NULL, opt, &n); |
Shinichiro Hamaji | d146f4c | 2015-06-17 17:51:24 +0900 | [diff] [blame] | 551 | } |
| 552 | |
Shinichiro Hamaji | 76ff983 | 2015-06-18 17:11:22 +0900 | [diff] [blame] | 553 | string JoinValues(const vector<Value*>& vals, const char* sep) { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 554 | vector<string> val_strs; |
| 555 | for (Value* v : vals) { |
| 556 | val_strs.push_back(v->DebugString()); |
| 557 | } |
| 558 | return JoinStrings(val_strs, sep); |
| 559 | } |
Shinichiro Hamaji | 4c469b3 | 2015-06-15 19:53:36 +0900 | [diff] [blame] | 560 | |
Shinichiro Hamaji | 784b995 | 2015-06-23 14:29:32 +0900 | [diff] [blame] | 561 | Value* NewExpr2(Value* v1, Value* v2) { |
| 562 | Expr* e = new Expr(); |
| 563 | e->AddValue(v1); |
| 564 | e->AddValue(v2); |
| 565 | return e; |
| 566 | } |
| 567 | |
Shinichiro Hamaji | 4c469b3 | 2015-06-15 19:53:36 +0900 | [diff] [blame] | 568 | Value* NewExpr3(Value* v1, Value* v2, Value* v3) { |
| 569 | Expr* e = new Expr(); |
| 570 | e->AddValue(v1); |
| 571 | e->AddValue(v2); |
| 572 | e->AddValue(v3); |
| 573 | return e; |
| 574 | } |
| 575 | |
Shinichiro Hamaji | b74b890 | 2015-06-22 18:22:30 +0900 | [diff] [blame] | 576 | Value* NewLiteral(StringPiece s) { |
Shinichiro Hamaji | 4c469b3 | 2015-06-15 19:53:36 +0900 | [diff] [blame] | 577 | return new Literal(s); |
| 578 | } |