carbon-lang/toolchain/check/diagnostic_helpers.h

// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
// Exceptions. See /LICENSE for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception

#ifndef CARBON_TOOLCHAIN_CHECK_DIAGNOSTIC_HELPERS_H_
#define CARBON_TOOLCHAIN_CHECK_DIAGNOSTIC_HELPERS_H_

#include "llvm/ADT/APSInt.h"
#include "toolchain/parse/node_ids.h"
#include "toolchain/parse/tree_node_diagnostic_converter.h"
#include "toolchain/sem_ir/ids.h"

namespace Carbon::Check {

// Diagnostic locations produced by checking may be either a parse node
// directly, or an inst ID which is later translated to a parse node.
struct SemIRLocation {
  // NOLINTNEXTLINE(google-explicit-constructor)
  SemIRLocation(SemIR::InstId inst_id) : inst_id(inst_id), is_inst_id(true) {}

  // NOLINTNEXTLINE(google-explicit-constructor)
  SemIRLocation(Parse::NodeLocation node_location)
      : node_location(node_location), is_inst_id(false) {}
  // NOLINTNEXTLINE(google-explicit-constructor)
  SemIRLocation(Parse::NodeId node_id)
      : SemIRLocation(Parse::NodeLocation(node_id)) {}

  union {
    SemIR::InstId inst_id;
    Parse::NodeLocation node_location;
  };

  bool is_inst_id;
};

// An integer value together with its type. The type is used to determine how to
// format the value in diagnostics.
struct TypedInt {
  using DiagnosticType = DiagnosticTypeInfo<llvm::APSInt>;

  SemIR::TypeId type;
  llvm::APInt value;
};

}  // namespace Carbon::Check

#endif  // CARBON_TOOLCHAIN_CHECK_DIAGNOSTIC_HELPERS_H_