// Copyright 2017 The Bazel Authors. All rights reserved.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//    http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
package com.google.devtools.build.lib.query2.engine;

import com.google.common.collect.ImmutableMap;
import com.google.common.collect.ImmutableSet;
import com.google.common.primitives.Booleans;
import com.google.devtools.build.lib.query2.engine.QueryEnvironment.Argument;
import com.google.devtools.build.lib.query2.engine.QueryEnvironment.ArgumentType;
import com.google.devtools.build.lib.query2.engine.QueryEnvironment.QueryFunction;

/**
 * An implementation of {@link QueryExpressionVisitor} which recursively visits all nested {@link
 * QueryExpression}s.
 */
public abstract class AggregatingQueryExpressionVisitor<T, C>
    implements QueryExpressionVisitor<T, C> {

  @Override
  public T visit(BinaryOperatorExpression binaryOperatorExpression, C context) {
    ImmutableMap.Builder<QueryExpression, T> builder = ImmutableMap.builder();
    for (QueryExpression expr : binaryOperatorExpression.getOperands()) {
      builder.put(expr, expr.accept(this, context));
    }

    return aggregate(builder.build());
  }

  @Override
  public T visit(FunctionExpression functionExpression, C context) {
    ImmutableMap.Builder<QueryExpression, T> builder = ImmutableMap.builder();
    for (Argument argument : functionExpression.getArgs()) {
      if (argument.getType() == ArgumentType.EXPRESSION) {
        builder.put(argument.getExpression(), argument.getExpression().accept(this, context));
      }
    }

    return aggregate(builder.build());
  }

  @Override
  public T visit(LetExpression letExpression, C context) {
    return aggregate(
        ImmutableMap.of(
            letExpression.getVarExpr(), letExpression.getVarExpr().accept(this, context),
            letExpression.getBodyExpr(), letExpression.getBodyExpr().accept(this, context)));
  }

  @Override
  public T visit(SetExpression setExpression, C context) {
    ImmutableMap.Builder<QueryExpression, T> builder = ImmutableMap.builder();
    for (TargetLiteral targetLiteral : setExpression.getWords()) {
      builder.put(targetLiteral, targetLiteral.accept(this, context));
    }

    return aggregate(builder.build());
  }

  /**
   * Aggregates results from all sub-expression visitations. The map is guaranteed to include
   * results for all direct sub-expressions.
   */
  protected abstract T aggregate(ImmutableMap<QueryExpression, T> resultMap);

  /**
   * Returns {@code true} when the query expression contains at least one {@link QueryFunction}
   * whose name is in the set of {@code functionName}.
   */
  public static class ContainsFunctionQueryExpressionVisitor
      extends AggregatingQueryExpressionVisitor<Boolean, Void>
      implements QueryExpressionVisitor<Boolean, Void> {

    private final ImmutableSet<String> functionNames;

    public ContainsFunctionQueryExpressionVisitor(Iterable<String> functionNames) {
      this.functionNames = ImmutableSet.copyOf(functionNames);
    }

    @Override
    public Boolean visit(TargetLiteral targetLiteral, Void context) {
      return false;
    }

    @Override
    public Boolean visit(SetExpression setExpression, Void context) {
      return false;
    }

    @Override
    public Boolean visit(FunctionExpression functionExpression, Void context) {
      QueryFunction function = functionExpression.getFunction();
      if (functionNames.contains(function.getName())) {
        return true;
      } else {
        return super.visit(functionExpression, context);
      }
    }

    @Override
    protected Boolean aggregate(ImmutableMap<QueryExpression, Boolean> resultMap) {
      return Booleans.contains(Booleans.toArray(resultMap.values()), true);
    }
  }
}

@@ -1044,16 +1044,64 @@
 unction;
+%0Aimport java.util.HashMap;%0Aimport java.util.Map;
 %0A%0A/**%0A *
@@ -1428,36 +1428,19 @@
 ) %7B%0A    
-ImmutableMap.Builder
+Map
 %3CQueryEx
@@ -1456,38 +1456,46 @@
  T%3E 
-builder = ImmutableMap.builder
+queryExpressionMapping = new HashMap%3C%3E
 ();%0A
@@ -1570,31 +1570,46 @@
 ()) %7B%0A      
-builder
+queryExpressionMapping
 .put(expr, e
@@ -1634,33 +1634,32 @@
 ontext));%0A    %7D%0A
-%0A
     return aggre
@@ -1659,38 +1659,66 @@
 n aggregate(
-builder.build(
+ImmutableMap.copyOf(queryExpressionMapping
 ));%0A  %7D%0A%0A  @
@@ -1799,36 +1799,19 @@
 ) %7B%0A    
-ImmutableMap.Builder
+Map
 %3CQueryEx
@@ -1827,38 +1827,46 @@
  T%3E 
-builder = ImmutableMap.builder
+queryExpressionMapping = new HashMap%3C%3E
 ();%0A
@@ -1993,28 +1993,56 @@
         
-builder.put(
+queryExpressionMapping.put(%0A            
 argument
@@ -2140,38 +2140,66 @@
 n aggregate(
-builder.build(
+ImmutableMap.copyOf(queryExpressionMapping
 ));%0A  %7D%0A%0A  @
@@ -2581,28 +2581,11 @@
     
-ImmutableMap.Builder
+Map
 %3CQue
@@ -2605,38 +2605,46 @@
  T%3E 
-builder = ImmutableMap.builder
+queryExpressionMapping = new HashMap%3C%3E
 ();%0A
@@ -2716,23 +2716,38 @@
 %7B%0A      
-builder
+queryExpressionMapping
 .put(tar
@@ -2828,22 +2828,50 @@
 ate(
-builder.build(
+ImmutableMap.copyOf(queryExpressionMapping
 ));%0A

Fix bug where we might have two reference-equals query subexpressions in an expression being passed to an AggregatingQueryExpressionVisitor.