/* Distributed under the OSI-approved BSD 3-Clause License.  See accompanying
   file LICENSE.rst or https://cmake.org/licensing for details.  */
#pragma once

#include "cmConfigure.h" // IWYU pragma: keep

#include <map>
#include <set>
#include <string>

#include "cmListFileCache.h"

namespace cm {
namespace GenEx {
struct Context;
struct Evaluation;
}
}

struct GeneratorExpressionContent;
class cmGeneratorTarget;

struct cmGeneratorExpressionDAGChecker
{
  enum class ComputingLinkLibraries
  {
    No,
    Yes,
  };
  cmGeneratorExpressionDAGChecker(
    cmGeneratorTarget const* target, std::string property,
    GeneratorExpressionContent const* content,
    cmGeneratorExpressionDAGChecker* parent, cm::GenEx::Context const& context,
    cmListFileBacktrace backtrace = cmListFileBacktrace(),
    ComputingLinkLibraries computingLinkLibraries =
      ComputingLinkLibraries::No);

  enum Result
  {
    DAG,
    SELF_REFERENCE,
    CYCLIC_REFERENCE,
    ALREADY_SEEN
  };

  Result Check() const;

  void ReportError(cm::GenEx::Evaluation* eval, std::string const& expr);

  bool EvaluatingTransitiveProperty() const;
  bool EvaluatingGenexExpression() const;
  bool EvaluatingPICExpression() const;
  bool EvaluatingCompileExpression() const;
  bool EvaluatingLinkExpression() const;
  bool EvaluatingLinkOptionsExpression() const;
  bool EvaluatingLinkerLauncher() const;

  /** Returns true only when computing the actual link dependency
      graph for cmGeneratorTarget::GetLinkImplementationLibraries
      or cmGeneratorTarget::GetLinkInterfaceLibraries.  */
  bool IsComputingLinkLibraries() const;

  enum class ForGenex
  {
    ANY,
    LINK_LIBRARY,
    LINK_GROUP
  };
  bool EvaluatingLinkLibraries(cmGeneratorTarget const* tgt = nullptr,
                               ForGenex genex = ForGenex::ANY) const;

  bool EvaluatingSources() const;

  bool GetTransitivePropertiesOnly() const;
  void SetTransitivePropertiesOnly() { this->TransitivePropertiesOnly = true; }

  bool GetTransitivePropertiesOnlyCMP0131() const;
  void SetTransitivePropertiesOnlyCMP0131() { this->CMP0131 = true; }

  cmGeneratorTarget const* TopTarget() const;

private:
  Result CheckGraph() const;

  cmGeneratorExpressionDAGChecker const* const Parent;
  cmGeneratorExpressionDAGChecker const* const Top;
  cmGeneratorTarget const* Target;
  std::string const Property;
  mutable std::map<cmGeneratorTarget const*, std::set<std::string>> Seen;
  GeneratorExpressionContent const* const Content;
  cmListFileBacktrace const Backtrace;
  Result CheckResult;
  bool TransitivePropertiesOnly = false;
  bool CMP0131 = false;
  bool TopIsTransitiveProperty = false;
  ComputingLinkLibraries const ComputingLinkLibraries_ =
    ComputingLinkLibraries::No;
};