// Copyright 2014 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.skyframe;

import com.google.common.base.Predicate;
import com.google.common.base.Predicates;
import com.google.common.collect.Iterables;
import com.google.devtools.build.lib.actions.ActionLookupData;
import com.google.devtools.build.lib.actions.Artifact;
import com.google.devtools.build.lib.cmdline.Label;
import com.google.devtools.build.lib.pkgcache.PackageProvider;
import com.google.devtools.build.lib.skyframe.TargetCompletionValue.TargetCompletionKey;
import com.google.devtools.build.lib.skyframe.TestCompletionValue.TestCompletionKey;
import com.google.devtools.build.skyframe.CycleInfo;
import com.google.devtools.build.skyframe.SkyFunctionName;
import com.google.devtools.build.skyframe.SkyKey;

/**
 * Reports cycles between Actions and Artifacts. These indicates cycles within a rule.
 */
public class ActionArtifactCycleReporter extends AbstractLabelCycleReporter {
  @SuppressWarnings("unchecked")
  private static final Predicate<SkyKey> IS_ARTIFACT_OR_ACTION_SKY_KEY =
      Predicates.or(
          SkyFunctions.isSkyFunction(Artifact.ARTIFACT),
          SkyFunctions.isSkyFunction(SkyFunctions.ACTION_EXECUTION),
          SkyFunctions.isSkyFunction(SkyFunctions.TARGET_COMPLETION),
          SkyFunctions.isSkyFunction(SkyFunctions.TEST_COMPLETION));

  ActionArtifactCycleReporter(PackageProvider packageProvider) {
    super(packageProvider);
  }

  @Override
  protected String prettyPrint(SkyKey key) {
    return prettyPrint(key.functionName(), key.argument());
  }

  private static String prettyPrintArtifact(Artifact artifact) {
    return "file: " + artifact.getRootRelativePathString();
  }

  private static String prettyPrint(SkyFunctionName skyFunctionName, Object arg) {
    if (arg instanceof Artifact) {
      return prettyPrintArtifact(((Artifact) arg));
    } else if (arg instanceof ActionLookupData) {
      return "action from: " + arg;
    } else if (arg instanceof TargetCompletionKey
        && skyFunctionName.equals(SkyFunctions.TARGET_COMPLETION)) {
      return "configured target: " + ((TargetCompletionKey) arg).actionLookupKey().getLabel();
    } else if (arg instanceof TestCompletionKey
        && skyFunctionName.equals(SkyFunctions.TEST_COMPLETION)) {
      return "test target: " + ((TestCompletionKey) arg).configuredTargetKey().getLabel();
    }
    throw new IllegalStateException(
        "Argument is not Action, TargetCompletion or TestCompletion: " + arg);
  }

  @Override
  protected Label getLabel(SkyKey key) {
    Object arg = key.argument();
    if (arg instanceof Artifact) {
      return ((Artifact) arg).getOwner();
    } else if (arg instanceof ActionLookupData) {
      return ((ActionLookupData) arg).getLabel();
    } else if (arg instanceof TargetCompletionKey
        && key.functionName().equals(SkyFunctions.TARGET_COMPLETION)) {
      return ((TargetCompletionKey) arg).actionLookupKey().getLabel();
    } else if (arg instanceof TestCompletionKey
        && key.functionName().equals(SkyFunctions.TEST_COMPLETION)) {
      return ((TestCompletionKey) arg).configuredTargetKey().getLabel();
    }
    throw new IllegalStateException(
        "Argument is not Action, TargetCompletion or TestCompletion: " + arg);
  }

  @Override
  protected boolean canReportCycle(SkyKey topLevelKey, CycleInfo cycleInfo) {
    return IS_ARTIFACT_OR_ACTION_SKY_KEY.apply(topLevelKey)
        && Iterables.all(cycleInfo.getCycle(), IS_ARTIFACT_OR_ACTION_SKY_KEY);
  }
}

@@ -701,93 +701,8 @@
 cate
-;%0Aimport com.google.common.base.Predicates;%0Aimport com.google.common.collect.Iterable
 s;%0Ai
@@ -979,22 +979,16 @@
 kyframe.
-Target
 Completi
@@ -993,30 +993,37 @@
 tion
-Value.TargetCompletion
+Function.TopLevelActionLookup
 Key;
@@ -1269,16 +1269,53 @@
 .SkyKey;
+%0Aimport java.util.function.Predicate;
 %0A%0A/**%0A *
@@ -1485,41 +1485,8 @@
 r %7B%0A
-  @SuppressWarnings(%22unchecked%22)%0A
   pr
@@ -1767,24 +1767,94 @@
 OMPLETION),%0A
+          SkyFunctions.isSkyFunction(SkyFunctions.ASPECT_COMPLETION),%0A
           Sk
@@ -2552,38 +2552,111 @@
 of T
-argetCompletionKey
+opLevelActionLookupKey) %7B%0A      TopLevelActionLookupKey key = (TopLevelActionLookupKey) arg;
 %0A      
-  && 
+if (
 skyF
@@ -2707,32 +2707,34 @@
 ETION)) %7B%0A      
+  
 return %22configur
@@ -2748,23 +2748,133 @@
 et: %22 + 
-((Targe
+key.actionLookupKey().getLabel();%0A      %7D%0A      return %22top-level aspect: %22%0A          + ((AspectCompletionValue.Aspec
 tComplet
@@ -2873,35 +2873,35 @@
 tCompletionKey) 
-arg
+key
 ).actionLookupKe
@@ -2900,32 +2900,35 @@
 LookupKey().
-getLabel
+prettyPrint
 ();%0A    %7D el
@@ -3209,32 +3209,51 @@
 TargetCompletion
+, AspectCompletion,
  or TestCompleti
@@ -3569,95 +3569,30 @@
 of T
-argetCompletionKey%0A        && key.functionName().equals(SkyFunctions.TARGET_COMPLETION)
+opLevelActionLookupKey
 ) %7B%0A
@@ -3607,31 +3607,35 @@
 turn ((T
-argetCompletion
+opLevelActionLookup
 Key) arg
@@ -3949,16 +3949,35 @@
 mpletion
+, AspectCompletion,
  or Test
@@ -4138,13 +4138,12 @@
 KEY.
-apply
+test
 (top
@@ -4167,22 +4167,8 @@
  && 
-Iterables.all(
 cycl
@@ -4183,18 +4183,35 @@
 tCycle()
-, 
+.stream().allMatch(
 IS_ARTIF

Handle cycles underneath top-level aspects.