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 "var.h" |
| 18 | |
Dan Willemsen | 276e96a | 2017-10-03 14:24:48 -0700 | [diff] [blame] | 19 | #include "eval.h" |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 20 | #include "expr.h" |
Shinichiro Hamaji | 4c469b3 | 2015-06-15 19:53:36 +0900 | [diff] [blame] | 21 | #include "log.h" |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 22 | |
Dan Willemsen | ee57a3f | 2018-11-05 16:18:44 -0800 | [diff] [blame] | 23 | unordered_map<const Var*, string> Var::diagnostic_messages_; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 24 | |
Shinichiro Hamaji | f62e9a7 | 2015-06-26 04:18:21 +0900 | [diff] [blame] | 25 | const char* GetOriginStr(VarOrigin origin) { |
| 26 | switch (origin) { |
Dan Willemsen | 3ce083f | 2017-10-11 22:17:48 -0700 | [diff] [blame] | 27 | case VarOrigin::UNDEFINED: |
| 28 | return "undefined"; |
| 29 | case VarOrigin::DEFAULT: |
| 30 | return "default"; |
| 31 | case VarOrigin::ENVIRONMENT: |
| 32 | return "environment"; |
| 33 | case VarOrigin::ENVIRONMENT_OVERRIDE: |
| 34 | return "environment override"; |
| 35 | case VarOrigin::FILE: |
| 36 | return "file"; |
| 37 | case VarOrigin::COMMAND_LINE: |
| 38 | return "command line"; |
| 39 | case VarOrigin::OVERRIDE: |
| 40 | return "override"; |
| 41 | case VarOrigin::AUTOMATIC: |
| 42 | return "automatic"; |
Shinichiro Hamaji | f62e9a7 | 2015-06-26 04:18:21 +0900 | [diff] [blame] | 43 | } |
| 44 | CHECK(false); |
| 45 | return "*** broken origin ***"; |
| 46 | } |
| 47 | |
Sasha Smundak | ae1d58c | 2018-08-22 09:39:42 -0700 | [diff] [blame] | 48 | Var::Var() : Var(VarOrigin::UNDEFINED) {} |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 49 | |
Dan Willemsen | ee57a3f | 2018-11-05 16:18:44 -0800 | [diff] [blame] | 50 | Var::Var(VarOrigin origin) |
| 51 | : origin_(origin), readonly_(false), deprecated_(false), obsolete_(false) {} |
Sasha Smundak | ae1d58c | 2018-08-22 09:39:42 -0700 | [diff] [blame] | 52 | |
| 53 | Var::~Var() { |
| 54 | diagnostic_messages_.erase(this); |
| 55 | } |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 56 | |
Shinichiro Hamaji | 4c469b3 | 2015-06-15 19:53:36 +0900 | [diff] [blame] | 57 | void Var::AppendVar(Evaluator*, Value*) { |
| 58 | CHECK(false); |
| 59 | } |
| 60 | |
Sasha Smundak | ae1d58c | 2018-08-22 09:39:42 -0700 | [diff] [blame] | 61 | void Var::SetDeprecated(const StringPiece& msg) { |
| 62 | deprecated_ = true; |
| 63 | diagnostic_messages_[this] = msg.as_string(); |
| 64 | } |
| 65 | |
| 66 | void Var::SetObsolete(const StringPiece& msg) { |
| 67 | obsolete_ = true; |
| 68 | diagnostic_messages_[this] = msg.as_string(); |
| 69 | } |
| 70 | |
Sasha Smundak | ae1d58c | 2018-08-22 09:39:42 -0700 | [diff] [blame] | 71 | void Var::Used(Evaluator* ev, const Symbol& sym) const { |
| 72 | if (obsolete_) { |
Dan Willemsen | ee57a3f | 2018-11-05 16:18:44 -0800 | [diff] [blame] | 73 | ev->Error(StringPrintf("*** %s is obsolete%s.", sym.c_str(), |
| 74 | diagnostic_message_text())); |
Sasha Smundak | ae1d58c | 2018-08-22 09:39:42 -0700 | [diff] [blame] | 75 | } else if (deprecated_) { |
Dan Willemsen | ee57a3f | 2018-11-05 16:18:44 -0800 | [diff] [blame] | 76 | WARN_LOC(ev->loc(), "%s has been deprecated%s.", sym.c_str(), |
| 77 | diagnostic_message_text()); |
Sasha Smundak | ae1d58c | 2018-08-22 09:39:42 -0700 | [diff] [blame] | 78 | } |
| 79 | } |
| 80 | |
Dan Willemsen | ee57a3f | 2018-11-05 16:18:44 -0800 | [diff] [blame] | 81 | const char* Var::diagnostic_message_text() const { |
Sasha Smundak | ae1d58c | 2018-08-22 09:39:42 -0700 | [diff] [blame] | 82 | auto it = diagnostic_messages_.find(this); |
| 83 | return it == diagnostic_messages_.end() ? "" : it->second.c_str(); |
| 84 | } |
| 85 | |
| 86 | const string& Var::DeprecatedMessage() const { |
| 87 | static const string empty_string; |
| 88 | auto it = diagnostic_messages_.find(this); |
| 89 | return it == diagnostic_messages_.end() ? empty_string : it->second; |
| 90 | } |
| 91 | |
Dan Willemsen | ee57a3f | 2018-11-05 16:18:44 -0800 | [diff] [blame] | 92 | Var* Var::Undefined() { |
| 93 | static Var* undefined_var; |
Sasha Smundak | ae1d58c | 2018-08-22 09:39:42 -0700 | [diff] [blame] | 94 | if (!undefined_var) { |
| 95 | undefined_var = new UndefinedVar(); |
| 96 | } |
| 97 | return undefined_var; |
| 98 | } |
| 99 | |
| 100 | SimpleVar::SimpleVar(VarOrigin origin) : Var(origin) {} |
Shinichiro Hamaji | 90e52ce | 2016-02-10 13:53:41 +0900 | [diff] [blame] | 101 | |
Dan Willemsen | ee57a3f | 2018-11-05 16:18:44 -0800 | [diff] [blame] | 102 | SimpleVar::SimpleVar(const string& v, VarOrigin origin) : Var(origin), v_(v) {} |
Sasha Smundak | ae1d58c | 2018-08-22 09:39:42 -0700 | [diff] [blame] | 103 | |
Dan Willemsen | ee57a3f | 2018-11-05 16:18:44 -0800 | [diff] [blame] | 104 | SimpleVar::SimpleVar(VarOrigin origin, Evaluator* ev, Value* v) : Var(origin) { |
Sasha Smundak | ae1d58c | 2018-08-22 09:39:42 -0700 | [diff] [blame] | 105 | v->Eval(ev, &v_); |
| 106 | } |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 107 | |
Dan Willemsen | 36e5729 | 2017-10-09 11:23:32 -0700 | [diff] [blame] | 108 | void SimpleVar::Eval(Evaluator* ev, string* s) const { |
| 109 | ev->CheckStack(); |
Shinichiro Hamaji | 5081c71 | 2015-08-14 16:49:20 +0900 | [diff] [blame] | 110 | *s += v_; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 111 | } |
| 112 | |
Shinichiro Hamaji | 4c469b3 | 2015-06-15 19:53:36 +0900 | [diff] [blame] | 113 | void SimpleVar::AppendVar(Evaluator* ev, Value* v) { |
Shinichiro Hamaji | e6a4d17 | 2016-03-10 14:47:34 +0900 | [diff] [blame] | 114 | string buf; |
| 115 | v->Eval(ev, &buf); |
Shinichiro Hamaji | 5081c71 | 2015-08-14 16:49:20 +0900 | [diff] [blame] | 116 | v_.push_back(' '); |
Shinichiro Hamaji | e6a4d17 | 2016-03-10 14:47:34 +0900 | [diff] [blame] | 117 | v_ += buf; |
Shinichiro Hamaji | 4c469b3 | 2015-06-15 19:53:36 +0900 | [diff] [blame] | 118 | } |
| 119 | |
Shinichiro Hamaji | 81699be | 2015-06-22 18:07:38 +0900 | [diff] [blame] | 120 | StringPiece SimpleVar::String() const { |
Shinichiro Hamaji | 5081c71 | 2015-08-14 16:49:20 +0900 | [diff] [blame] | 121 | return v_; |
Shinichiro Hamaji | 81699be | 2015-06-22 18:07:38 +0900 | [diff] [blame] | 122 | } |
| 123 | |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 124 | string SimpleVar::DebugString() const { |
Shinichiro Hamaji | 5081c71 | 2015-08-14 16:49:20 +0900 | [diff] [blame] | 125 | return v_; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 126 | } |
| 127 | |
Shinichiro Hamaji | f62e9a7 | 2015-06-26 04:18:21 +0900 | [diff] [blame] | 128 | RecursiveVar::RecursiveVar(Value* v, VarOrigin origin, StringPiece orig) |
Sasha Smundak | ae1d58c | 2018-08-22 09:39:42 -0700 | [diff] [blame] | 129 | : Var(origin), v_(v), orig_(orig) {} |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 130 | |
| 131 | void RecursiveVar::Eval(Evaluator* ev, string* s) const { |
Dan Willemsen | 36e5729 | 2017-10-09 11:23:32 -0700 | [diff] [blame] | 132 | ev->CheckStack(); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 133 | v_->Eval(ev, s); |
| 134 | } |
| 135 | |
Dan Willemsen | 36e5729 | 2017-10-09 11:23:32 -0700 | [diff] [blame] | 136 | void RecursiveVar::AppendVar(Evaluator* ev, Value* v) { |
| 137 | ev->CheckStack(); |
Sasha Smundak | ae1d58c | 2018-08-22 09:39:42 -0700 | [diff] [blame] | 138 | v_ = Value::NewExpr(v_, Value::NewLiteral(" "), v); |
Shinichiro Hamaji | 4c469b3 | 2015-06-15 19:53:36 +0900 | [diff] [blame] | 139 | } |
| 140 | |
Shinichiro Hamaji | 81699be | 2015-06-22 18:07:38 +0900 | [diff] [blame] | 141 | StringPiece RecursiveVar::String() const { |
| 142 | return orig_; |
| 143 | } |
| 144 | |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 145 | string RecursiveVar::DebugString() const { |
Sasha Smundak | 8174f9b | 2018-08-13 11:07:30 -0700 | [diff] [blame] | 146 | return Value::DebugString(v_); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 147 | } |
| 148 | |
| 149 | UndefinedVar::UndefinedVar() {} |
| 150 | |
| 151 | void UndefinedVar::Eval(Evaluator*, string*) const { |
| 152 | // Nothing to do. |
| 153 | } |
| 154 | |
Shinichiro Hamaji | 81699be | 2015-06-22 18:07:38 +0900 | [diff] [blame] | 155 | StringPiece UndefinedVar::String() const { |
Shinichiro Hamaji | 388e858 | 2015-07-03 16:51:46 +0900 | [diff] [blame] | 156 | return StringPiece(""); |
Shinichiro Hamaji | 81699be | 2015-06-22 18:07:38 +0900 | [diff] [blame] | 157 | } |
| 158 | |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 159 | string UndefinedVar::DebugString() const { |
| 160 | return "*undefined*"; |
| 161 | } |
| 162 | |
| 163 | Vars::~Vars() { |
| 164 | for (auto p : *this) { |
| 165 | delete p.second; |
| 166 | } |
| 167 | } |
| 168 | |
Shinichiro Hamaji | c9b9e5e | 2016-02-18 18:18:54 +0900 | [diff] [blame] | 169 | void Vars::add_used_env_vars(Symbol v) { |
| 170 | used_env_vars_.insert(v); |
| 171 | } |
| 172 | |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 173 | Var* Vars::Lookup(Symbol name) const { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 174 | auto found = find(name); |
| 175 | if (found == end()) |
Sasha Smundak | ae1d58c | 2018-08-22 09:39:42 -0700 | [diff] [blame] | 176 | return Var::Undefined(); |
Shinichiro Hamaji | 5163e04 | 2015-07-14 03:51:44 +0900 | [diff] [blame] | 177 | Var* v = found->second; |
| 178 | if (v->Origin() == VarOrigin::ENVIRONMENT || |
| 179 | v->Origin() == VarOrigin::ENVIRONMENT_OVERRIDE) { |
| 180 | used_env_vars_.insert(name); |
| 181 | } |
| 182 | return v; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 183 | } |
| 184 | |
Dan Willemsen | ff90ea3 | 2017-11-21 13:22:26 -0800 | [diff] [blame] | 185 | Var* Vars::Peek(Symbol name) const { |
| 186 | auto found = find(name); |
Sasha Smundak | ae1d58c | 2018-08-22 09:39:42 -0700 | [diff] [blame] | 187 | return found == end() ? Var::Undefined() : found->second; |
Dan Willemsen | ff90ea3 | 2017-11-21 13:22:26 -0800 | [diff] [blame] | 188 | } |
| 189 | |
Dan Willemsen | f87d49e | 2016-09-29 20:09:47 -0700 | [diff] [blame] | 190 | void Vars::Assign(Symbol name, Var* v, bool* readonly) { |
| 191 | *readonly = false; |
Shinichiro Hamaji | 3deff5b | 2016-02-17 17:50:06 +0900 | [diff] [blame] | 192 | auto p = emplace(name, v); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 193 | if (!p.second) { |
Shinichiro Hamaji | 0ea9e91 | 2015-06-26 04:24:38 +0900 | [diff] [blame] | 194 | Var* orig = p.first->second; |
Dan Willemsen | f87d49e | 2016-09-29 20:09:47 -0700 | [diff] [blame] | 195 | if (orig->ReadOnly()) { |
| 196 | *readonly = true; |
| 197 | return; |
| 198 | } |
Shinichiro Hamaji | 0ea9e91 | 2015-06-26 04:24:38 +0900 | [diff] [blame] | 199 | if (orig->Origin() == VarOrigin::OVERRIDE || |
| 200 | orig->Origin() == VarOrigin::ENVIRONMENT_OVERRIDE) { |
| 201 | return; |
| 202 | } |
Shinichiro Hamaji | 2bb8f37 | 2015-06-26 06:58:13 +0900 | [diff] [blame] | 203 | if (orig->Origin() == VarOrigin::AUTOMATIC) { |
| 204 | ERROR("overriding automatic variable is not implemented yet"); |
| 205 | } |
Shinichiro Hamaji | 0ea9e91 | 2015-06-26 04:24:38 +0900 | [diff] [blame] | 206 | if (orig->IsDefined()) |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 207 | delete p.first->second; |
| 208 | p.first->second = v; |
| 209 | } |
| 210 | } |
Shinichiro Hamaji | cf0cd68 | 2015-06-18 16:18:13 +0900 | [diff] [blame] | 211 | |
Sasha Smundak | 8174f9b | 2018-08-13 11:07:30 -0700 | [diff] [blame] | 212 | SymbolSet Vars::used_env_vars_; |
Shinichiro Hamaji | 5163e04 | 2015-07-14 03:51:44 +0900 | [diff] [blame] | 213 | |
Shinichiro Hamaji | e799275 | 2015-06-29 18:38:35 +0900 | [diff] [blame] | 214 | ScopedVar::ScopedVar(Vars* vars, Symbol name, Var* var) |
Shinichiro Hamaji | cf0cd68 | 2015-06-18 16:18:13 +0900 | [diff] [blame] | 215 | : vars_(vars), orig_(NULL) { |
Shinichiro Hamaji | 3deff5b | 2016-02-17 17:50:06 +0900 | [diff] [blame] | 216 | auto p = vars->emplace(name, var); |
Shinichiro Hamaji | cf0cd68 | 2015-06-18 16:18:13 +0900 | [diff] [blame] | 217 | iter_ = p.first; |
| 218 | if (!p.second) { |
| 219 | orig_ = iter_->second; |
| 220 | iter_->second = var; |
| 221 | } |
| 222 | } |
| 223 | |
| 224 | ScopedVar::~ScopedVar() { |
| 225 | if (orig_) { |
| 226 | iter_->second = orig_; |
| 227 | } else { |
| 228 | vars_->erase(iter_); |
| 229 | } |
| 230 | } |