carbon-lang/toolchain/semantics/semantics_ir_factory_test.cpp

// 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

#include "toolchain/semantics/semantics_ir_factory.h"

#include <gmock/gmock.h>
#include <gtest/gtest.h>

#include <optional>

#include "toolchain/diagnostics/mocks.h"
#include "toolchain/lexer/tokenized_buffer.h"
#include "toolchain/parser/parse_tree.h"
#include "toolchain/source/source_buffer.h"

namespace Carbon::Testing {
namespace {

using ::testing::_;

class SemanticsIRFactoryTest : public ::testing::Test {
 protected:
  auto Analyze(llvm::Twine t) -> SemanticsIR {
    source_buffer.emplace(std::move(*SourceBuffer::CreateFromText(t.str())));
    tokenized_buffer = TokenizedBuffer::Lex(*source_buffer, consumer);
    EXPECT_FALSE(tokenized_buffer->has_errors());
    parse_tree = ParseTree::Parse(*tokenized_buffer, consumer);
    EXPECT_FALSE(parse_tree->has_errors());
    return SemanticsIRFactory::Build(*parse_tree);
  }

  std::optional<SourceBuffer> source_buffer;
  std::optional<TokenizedBuffer> tokenized_buffer;
  std::optional<ParseTree> parse_tree;
  MockDiagnosticConsumer consumer;
};

TEST_F(SemanticsIRFactoryTest, Empty) {
  EXPECT_CALL(consumer, HandleDiagnostic(_)).Times(0);
  Analyze("");
}

TEST_F(SemanticsIRFactoryTest, FunctionBasic) {
  EXPECT_CALL(consumer, HandleDiagnostic(_)).Times(0);
  Analyze("fn Foo() {}");
}

TEST_F(SemanticsIRFactoryTest, FunctionDuplicate) {
  Analyze(R"(fn Foo() {}
             fn Foo() {}
            )");
}

}  // namespace
}  // namespace Carbon::Testing