| Index: trunk/src/tools/gn/operators.cc
|
| ===================================================================
|
| --- trunk/src/tools/gn/operators.cc (revision 214322)
|
| +++ trunk/src/tools/gn/operators.cc (working copy)
|
| @@ -1,573 +0,0 @@
|
| -// Copyright (c) 2013 The Chromium Authors. All rights reserved.
|
| -// Use of this source code is governed by a BSD-style license that can be
|
| -// found in the LICENSE file.
|
| -
|
| -#include "tools/gn/operators.h"
|
| -
|
| -#include "base/strings/string_number_conversions.h"
|
| -#include "tools/gn/err.h"
|
| -#include "tools/gn/parse_tree.h"
|
| -#include "tools/gn/scope.h"
|
| -#include "tools/gn/token.h"
|
| -#include "tools/gn/value.h"
|
| -
|
| -namespace {
|
| -
|
| -const char kSourcesName[] = "sources";
|
| -
|
| -// Applies the sources assignment filter from the given scope to each element
|
| -// of source (can be a list or a string), appending it to dest if it doesn't
|
| -// match.
|
| -void AppendFilteredSourcesToValue(const Scope* scope,
|
| - const Value& source,
|
| - Value* dest) {
|
| - const PatternList* filter = scope->GetSourcesAssignmentFilter();
|
| -
|
| - const std::vector<Value>& source_list = source.list_value();
|
| -
|
| - if (source.type() == Value::STRING) {
|
| - if (!filter || filter->is_empty() ||
|
| - !filter->MatchesValue(source))
|
| - dest->list_value().push_back(source);
|
| - return;
|
| - }
|
| -
|
| - // Otherwise source is a list.
|
| - DCHECK(source.type() == Value::LIST);
|
| - if (!filter || filter->is_empty()) {
|
| - // No filter, append everything.
|
| - for (size_t i = 0; i < source_list.size(); i++)
|
| - dest->list_value().push_back(source_list[i]);
|
| - return;
|
| - }
|
| -
|
| - // Note: don't reserve() the dest vector here since that actually hurts
|
| - // the allocation pattern when the build script is doing multiple small
|
| - // additions.
|
| - for (size_t i = 0; i < source_list.size(); i++) {
|
| - if (!filter->MatchesValue(source_list[i]))
|
| - dest->list_value().push_back(source_list[i]);
|
| - }
|
| -}
|
| -
|
| -void RemoveMatchesFromList(const BinaryOpNode* op_node,
|
| - Value* list,
|
| - const Value& to_remove,
|
| - Err* err) {
|
| - std::vector<Value>& v = list->list_value();
|
| - switch (to_remove.type()) {
|
| - case Value::INTEGER: // Filter out the individual int/string.
|
| - case Value::STRING: {
|
| - bool found_match = false;
|
| - for (size_t i = 0; i < v.size(); /* nothing */) {
|
| - if (v[i] == to_remove) {
|
| - found_match = true;
|
| - v.erase(v.begin() + i);
|
| - } else {
|
| - i++;
|
| - }
|
| - }
|
| - if (!found_match) {
|
| - *err = Err(to_remove.origin()->GetRange(), "Item not found",
|
| - "You were trying to remove \"" + to_remove.ToString() +
|
| - "\"\nfrom the list but it wasn't there.");
|
| - }
|
| - break;
|
| - }
|
| -
|
| - case Value::LIST: // Filter out each individual thing.
|
| - for (size_t i = 0; i < to_remove.list_value().size(); i++) {
|
| - // TODO(brettw) if the nested item is a list, we may want to search
|
| - // for the literal list rather than remote the items in it.
|
| - RemoveMatchesFromList(op_node, list, to_remove.list_value()[i], err);
|
| - if (err->has_error())
|
| - return;
|
| - }
|
| - break;
|
| -
|
| - default:
|
| - break;
|
| - }
|
| -}
|
| -
|
| -// Assignment -----------------------------------------------------------------
|
| -
|
| -Value ExecuteEquals(Scope* scope,
|
| - const BinaryOpNode* op_node,
|
| - const Token& left,
|
| - const Value& right,
|
| - Err* err) {
|
| - const Value* old_value = scope->GetValue(left.value(), false);
|
| - if (old_value) {
|
| - if (scope->IsSetButUnused(left.value())) {
|
| - // Throw an error for re-assigning without using the value first. The
|
| - // exception is that you can overwrite an empty list with another list
|
| - // since this is the way to get around the "can't overwrite a nonempty
|
| - // list with another nonempty list" restriction.
|
| - if (old_value->type() != Value::LIST ||
|
| - !old_value->list_value().empty()) {
|
| - *err = Err(op_node->left()->GetRange(), "Overwriting unused variable.",
|
| - "This overwrites a previous assignment to \"" +
|
| - left.value().as_string() + "\" that had no effect.");
|
| - err->AppendSubErr(Err(*scope->GetValue(left.value()),
|
| - "Previously set here.",
|
| - "Maybe you wanted \"+=\" to append instead?"));
|
| - return Value();
|
| - }
|
| - } else {
|
| - // Throw an error when overwriting a nonempty list with another nonempty
|
| - // list item. This is to detect the case where you write
|
| - // defines = ["FOO"]
|
| - // and you overwrote inherited ones, when instead you mean to append:
|
| - // defines += ["FOO"]
|
| - if (old_value->type() == Value::LIST &&
|
| - !old_value->list_value().empty() &&
|
| - right.type() == Value::LIST &&
|
| - !right.list_value().empty()) {
|
| - *err = Err(op_node->left()->GetRange(), "Replacing nonempty list.",
|
| - std::string("This overwrites a previously-defined nonempty list ") +
|
| - "(length " + base::IntToString(old_value->list_value().size()) +
|
| - ").");
|
| - err->AppendSubErr(Err(*old_value, "for previous definition",
|
| - "with another one (length " +
|
| - base::IntToString(right.list_value().size()) + "). Did you mean " +
|
| - "\"+=\" to append instead? If you\nreally want to do this, do\n " +
|
| - left.value().as_string() + " = []\nbefore reassigning."));
|
| - return Value();
|
| - }
|
| - }
|
| - }
|
| - if (err->has_error())
|
| - return Value();
|
| -
|
| - if (right.type() == Value::LIST && left.value() == kSourcesName) {
|
| - // Assigning to sources, filter the list. Here we do the filtering and
|
| - // copying in one step to save an extra list copy (the lists may be
|
| - // long).
|
| - Value* set_value = scope->SetValue(left.value(),
|
| - Value(op_node, Value::LIST), op_node);
|
| - set_value->list_value().reserve(right.list_value().size());
|
| - AppendFilteredSourcesToValue(scope, right, set_value);
|
| - } else {
|
| - // Normal value set, just copy it.
|
| - scope->SetValue(left.value(), right, op_node->right());
|
| - }
|
| - return Value();
|
| -}
|
| -
|
| -// allow_type_conversion indicates if we're allowed to change the type of the
|
| -// left value. This is set to true when doing +, and false when doing +=.
|
| -void ValuePlusEquals(const Scope* scope,
|
| - const BinaryOpNode* op_node,
|
| - const Token& left_token,
|
| - Value* left,
|
| - const Value& right,
|
| - bool allow_type_conversion,
|
| - Err* err) {
|
| - switch (left->type()) {
|
| - // Left-hand-side int.
|
| - case Value::INTEGER:
|
| - switch (right.type()) {
|
| - case Value::INTEGER: // int + int -> addition.
|
| - left->int_value() += right.int_value();
|
| - return;
|
| -
|
| - case Value::STRING: // int + string -> string concat.
|
| - if (allow_type_conversion) {
|
| - *left = Value(op_node,
|
| - base::Int64ToString(left->int_value()) + right.string_value());
|
| - return;
|
| - }
|
| - break;
|
| -
|
| - default:
|
| - break;
|
| - }
|
| - break;
|
| -
|
| - // Left-hand-side string.
|
| - case Value::STRING:
|
| - switch (right.type()) {
|
| - case Value::INTEGER: // string + int -> string concat.
|
| - left->string_value().append(base::Int64ToString(right.int_value()));
|
| - return;
|
| -
|
| - case Value::STRING: // string + string -> string contat.
|
| - left->string_value().append(right.string_value());
|
| - return;
|
| -
|
| - default:
|
| - break;
|
| - }
|
| - break;
|
| -
|
| - // Left-hand-side list.
|
| - case Value::LIST:
|
| - switch (right.type()) {
|
| - case Value::INTEGER: // list + integer -> list append.
|
| - case Value::STRING: // list + string -> list append.
|
| - if (left_token.value() == kSourcesName)
|
| - AppendFilteredSourcesToValue(scope, right, left);
|
| - else
|
| - left->list_value().push_back(right);
|
| - return;
|
| -
|
| - case Value::LIST: // list + list -> list concat.
|
| - if (left_token.value() == kSourcesName) {
|
| - // Filter additions through the assignment filter.
|
| - AppendFilteredSourcesToValue(scope, right, left);
|
| - } else {
|
| - // Normal list concat.
|
| - for (size_t i = 0; i < right.list_value().size(); i++)
|
| - left->list_value().push_back(right.list_value()[i]);
|
| - }
|
| - return;
|
| -
|
| - default:
|
| - break;
|
| - }
|
| -
|
| - default:
|
| - break;
|
| - }
|
| -
|
| - *err = Err(op_node->op(), "Incompatible types to add.",
|
| - std::string("I see a ") + Value::DescribeType(left->type()) + " and a " +
|
| - Value::DescribeType(right.type()) + ".");
|
| -}
|
| -
|
| -Value ExecutePlusEquals(Scope* scope,
|
| - const BinaryOpNode* op_node,
|
| - const Token& left,
|
| - const Value& right,
|
| - Err* err) {
|
| - // We modify in-place rather than doing read-modify-write to avoid
|
| - // copying large lists.
|
| - Value* left_value =
|
| - scope->GetValueForcedToCurrentScope(left.value(), op_node);
|
| - if (!left_value) {
|
| - *err = Err(left, "Undefined variable for +=.",
|
| - "I don't have something with this name in scope now.");
|
| - return Value();
|
| - }
|
| - ValuePlusEquals(scope, op_node, left, left_value, right, false, err);
|
| - left_value->set_origin(op_node);
|
| - scope->MarkUnused(left.value());
|
| - return Value();
|
| -}
|
| -
|
| -void ValueMinusEquals(const BinaryOpNode* op_node,
|
| - Value* left,
|
| - const Value& right,
|
| - bool allow_type_conversion,
|
| - Err* err) {
|
| - switch (left->type()) {
|
| - // Left-hand-side int.
|
| - case Value::INTEGER:
|
| - switch (right.type()) {
|
| - case Value::INTEGER: // int - int -> subtraction.
|
| - left->int_value() -= right.int_value();
|
| - return;
|
| -
|
| - default:
|
| - break;
|
| - }
|
| - break;
|
| -
|
| - // Left-hand-side string.
|
| - case Value::STRING:
|
| - break; // All are errors.
|
| -
|
| - // Left-hand-side list.
|
| - case Value::LIST:
|
| - RemoveMatchesFromList(op_node, left, right, err);
|
| - return;
|
| -
|
| - default:
|
| - break;
|
| - }
|
| -
|
| - *err = Err(op_node->op(), "Incompatible types to add.",
|
| - std::string("I see a ") + Value::DescribeType(left->type()) + " and a " +
|
| - Value::DescribeType(right.type()) + ".");
|
| -}
|
| -
|
| -Value ExecuteMinusEquals(Scope* scope,
|
| - const BinaryOpNode* op_node,
|
| - const Token& left,
|
| - const Value& right,
|
| - Err* err) {
|
| - Value* left_value =
|
| - scope->GetValueForcedToCurrentScope(left.value(), op_node);
|
| - if (!left_value) {
|
| - *err = Err(left, "Undefined variable for -=.",
|
| - "I don't have something with this name in scope now.");
|
| - return Value();
|
| - }
|
| - ValueMinusEquals(op_node, left_value, right, false, err);
|
| - left_value->set_origin(op_node);
|
| - scope->MarkUnused(left.value());
|
| - return Value();
|
| -}
|
| -
|
| -// Plus/Minus -----------------------------------------------------------------
|
| -
|
| -Value ExecutePlus(Scope* scope,
|
| - const BinaryOpNode* op_node,
|
| - const Value& left,
|
| - const Value& right,
|
| - Err* err) {
|
| - Value ret = left;
|
| - ValuePlusEquals(scope, op_node, Token(), &ret, right, true, err);
|
| - ret.set_origin(op_node);
|
| - return ret;
|
| -}
|
| -
|
| -Value ExecuteMinus(Scope* scope,
|
| - const BinaryOpNode* op_node,
|
| - const Value& left,
|
| - const Value& right,
|
| - Err* err) {
|
| - Value ret = left;
|
| - ValueMinusEquals(op_node, &ret, right, true, err);
|
| - ret.set_origin(op_node);
|
| - return ret;
|
| -}
|
| -
|
| -// Comparison -----------------------------------------------------------------
|
| -
|
| -Value ExecuteEqualsEquals(Scope* scope,
|
| - const BinaryOpNode* op_node,
|
| - const Value& left,
|
| - const Value& right,
|
| - Err* err) {
|
| - if (left == right)
|
| - return Value(op_node, 1);
|
| - return Value(op_node, 0);
|
| -}
|
| -
|
| -Value ExecuteNotEquals(Scope* scope,
|
| - const BinaryOpNode* op_node,
|
| - const Value& left,
|
| - const Value& right,
|
| - Err* err) {
|
| - // Evaluate in terms of ==.
|
| - Value result = ExecuteEqualsEquals(scope, op_node, left, right, err);
|
| - result.int_value() = static_cast<int64>(!result.int_value());
|
| - return result;
|
| -}
|
| -
|
| -Value FillNeedsToIntegersError(const BinaryOpNode* op_node,
|
| - const Value& left,
|
| - const Value& right,
|
| - Err* err) {
|
| - *err = Err(op_node, "Comparison requires two integers.",
|
| - "This operator can only compare two integers.");
|
| - err->AppendRange(left.origin()->GetRange());
|
| - err->AppendRange(right.origin()->GetRange());
|
| - return Value();
|
| -}
|
| -
|
| -Value ExecuteLessEquals(Scope* scope,
|
| - const BinaryOpNode* op_node,
|
| - const Value& left,
|
| - const Value& right,
|
| - Err* err) {
|
| - if (left.type() != Value::INTEGER || right.type() != Value::INTEGER)
|
| - return FillNeedsToIntegersError(op_node, left, right, err);
|
| - return Value(op_node, left.int_value() <= right.int_value());
|
| -}
|
| -
|
| -Value ExecuteGreaterEquals(Scope* scope,
|
| - const BinaryOpNode* op_node,
|
| - const Value& left,
|
| - const Value& right,
|
| - Err* err) {
|
| - if (left.type() != Value::INTEGER || right.type() != Value::INTEGER)
|
| - return FillNeedsToIntegersError(op_node, left, right, err);
|
| - return Value(op_node, left.int_value() >= right.int_value());
|
| -}
|
| -
|
| -Value ExecuteGreater(Scope* scope,
|
| - const BinaryOpNode* op_node,
|
| - const Value& left,
|
| - const Value& right,
|
| - Err* err) {
|
| - if (left.type() != Value::INTEGER || right.type() != Value::INTEGER)
|
| - return FillNeedsToIntegersError(op_node, left, right, err);
|
| - return Value(op_node, left.int_value() > right.int_value());
|
| -}
|
| -
|
| -Value ExecuteLess(Scope* scope,
|
| - const BinaryOpNode* op_node,
|
| - const Value& left,
|
| - const Value& right,
|
| - Err* err) {
|
| - if (left.type() != Value::INTEGER || right.type() != Value::INTEGER)
|
| - return FillNeedsToIntegersError(op_node, left, right, err);
|
| - return Value(op_node, left.int_value() < right.int_value());
|
| -}
|
| -
|
| -// Binary ----------------------------------------------------------------------
|
| -
|
| -Value ExecuteOr(Scope* scope,
|
| - const BinaryOpNode* op_node,
|
| - const Value& left,
|
| - const Value& right,
|
| - Err* err) {
|
| - return Value(op_node,
|
| - static_cast<int64>(left.InterpretAsInt() || right.InterpretAsInt()));
|
| -}
|
| -
|
| -Value ExecuteAnd(Scope* scope,
|
| - const BinaryOpNode* op_node,
|
| - const Value& left,
|
| - const Value& right,
|
| - Err* err) {
|
| - return Value(op_node,
|
| - static_cast<int64>(left.InterpretAsInt() && right.InterpretAsInt()));
|
| -}
|
| -
|
| -} // namespace
|
| -
|
| -// ----------------------------------------------------------------------------
|
| -
|
| -bool IsUnaryOperator(const Token& token) {
|
| - if (token.type() != Token::OPERATOR)
|
| - return false;
|
| - return token.value() == "!";
|
| -}
|
| -
|
| -bool IsBinaryOperator(const Token& token) {
|
| - if (token.type() != Token::OPERATOR)
|
| - return false;
|
| - return token.value() == "=" ||
|
| - token.value() == "+=" ||
|
| - token.value() == "-=" ||
|
| - token.value() == "+" ||
|
| - token.value() == "-" ||
|
| - token.value() == "==" ||
|
| - token.value() == "!=" ||
|
| - token.value() == "<=" ||
|
| - token.value() == ">=" ||
|
| - token.value() == "<" ||
|
| - token.value() == ">" ||
|
| - token.value() == "&&" ||
|
| - token.value() == "||";
|
| -}
|
| -
|
| -bool IsFunctionCallArgBeginScoper(const Token& token) {
|
| - return token.IsScoperEqualTo("(");
|
| -}
|
| -
|
| -bool IsFunctionCallArgEndScoper(const Token& token) {
|
| - return token.IsScoperEqualTo(")");
|
| -}
|
| -
|
| -bool IsScopeBeginScoper(const Token& token) {
|
| - return token.IsScoperEqualTo("{");
|
| -}
|
| -
|
| -bool IsScopeEndScoper(const Token& token) {
|
| - return token.IsScoperEqualTo("}");
|
| -}
|
| -
|
| -Value ExecuteUnaryOperator(Scope* scope,
|
| - const UnaryOpNode* op_node,
|
| - const Value& expr,
|
| - Err* err) {
|
| - DCHECK(op_node->op().IsOperatorEqualTo("!"));
|
| - return Value(op_node, !expr.InterpretAsInt());
|
| -}
|
| -
|
| -Value ExecuteBinaryOperator(Scope* scope,
|
| - const BinaryOpNode* op_node,
|
| - const ParseNode* left,
|
| - const ParseNode* right,
|
| - Err* err) {
|
| - const Token& op = op_node->op();
|
| -
|
| - // First handle the ones that take an lvalue.
|
| - if (op.IsOperatorEqualTo("=") ||
|
| - op.IsOperatorEqualTo("+=") ||
|
| - op.IsOperatorEqualTo("-=")) {
|
| - const IdentifierNode* left_id = left->AsIdentifier();
|
| - if (!left_id) {
|
| - *err = Err(op, "Operator requires an lvalue.",
|
| - "This thing on the left is not an idenfitier.");
|
| - err->AppendRange(left->GetRange());
|
| - return Value();
|
| - }
|
| - const Token& dest = left_id->value();
|
| -
|
| - Value right_value = right->Execute(scope, err);
|
| - if (err->has_error())
|
| - return Value();
|
| - if (right_value.type() == Value::NONE) {
|
| - *err = Err(op, "Operator requires an rvalue.",
|
| - "This thing on the right does not evaluate to a value.");
|
| - err->AppendRange(right->GetRange());
|
| - return Value();
|
| - }
|
| -
|
| - if (op.IsOperatorEqualTo("="))
|
| - return ExecuteEquals(scope, op_node, dest, right_value, err);
|
| - if (op.IsOperatorEqualTo("+="))
|
| - return ExecutePlusEquals(scope, op_node, dest, right_value, err);
|
| - if (op.IsOperatorEqualTo("-="))
|
| - return ExecuteMinusEquals(scope, op_node, dest, right_value, err);
|
| - NOTREACHED();
|
| - return Value();
|
| - }
|
| -
|
| - // Left value.
|
| - Value left_value = left->Execute(scope, err);
|
| - if (err->has_error())
|
| - return Value();
|
| - if (left_value.type() == Value::NONE) {
|
| - *err = Err(op, "Operator requires an value.",
|
| - "This thing on the left does not evaluate to a value.");
|
| - err->AppendRange(left->GetRange());
|
| - return Value();
|
| - }
|
| -
|
| - // Right value. Note: don't move this above to share code with the lvalue
|
| - // version since in this case we want to execute the left side first.
|
| - Value right_value = right->Execute(scope, err);
|
| - if (err->has_error())
|
| - return Value();
|
| - if (right_value.type() == Value::NONE) {
|
| - *err = Err(op, "Operator requires an value.",
|
| - "This thing on the right does not evaluate to a value.");
|
| - err->AppendRange(right->GetRange());
|
| - return Value();
|
| - }
|
| -
|
| - // +, -.
|
| - if (op.IsOperatorEqualTo("-"))
|
| - return ExecuteMinus(scope, op_node, left_value, right_value, err);
|
| - if (op.IsOperatorEqualTo("+"))
|
| - return ExecutePlus(scope, op_node, left_value, right_value, err);
|
| -
|
| - // Comparisons.
|
| - if (op.IsOperatorEqualTo("=="))
|
| - return ExecuteEqualsEquals(scope, op_node, left_value, right_value, err);
|
| - if (op.IsOperatorEqualTo("!="))
|
| - return ExecuteNotEquals(scope, op_node, left_value, right_value, err);
|
| - if (op.IsOperatorEqualTo(">="))
|
| - return ExecuteGreaterEquals(scope, op_node, left_value, right_value, err);
|
| - if (op.IsOperatorEqualTo("<="))
|
| - return ExecuteLessEquals(scope, op_node, left_value, right_value, err);
|
| - if (op.IsOperatorEqualTo(">"))
|
| - return ExecuteGreater(scope, op_node, left_value, right_value, err);
|
| - if (op.IsOperatorEqualTo("<"))
|
| - return ExecuteLess(scope, op_node, left_value, right_value, err);
|
| -
|
| - // ||, &&.
|
| - if (op.IsOperatorEqualTo("||"))
|
| - return ExecuteOr(scope, op_node, left_value, right_value, err);
|
| - if (op.IsOperatorEqualTo("&&"))
|
| - return ExecuteAnd(scope, op_node, left_value, right_value, err);
|
| -
|
| - return Value();
|
| -}
|
|
|