Function TEST

common/ast_test.cc:30–65

using ::testing::Truly;

TEST(AstImpl, RawExprCtor) {
  // arrange
  // make ast for 2 + 1 == 3
  Expr expr;
  auto& call = expr.mutable_call_expr();
  expr.set_id(5);
  call.set_function("_==_");
  auto& eq_lhs = call.mutable_args().emplace_back();
  eq_lhs.mutable_call_expr().set_function("_+_");
  eq_lhs.set_id(3);
  auto& sum_lhs = eq_lhs.mutable_call_expr().mutable_args().emplace_back();
  sum_lhs.mutable_const_expr().set_int_value(2);
  sum_lhs.set_id(1);
  auto& sum_rhs = eq_lhs.mutable_call_expr().mutable_args().emplace_back();
  sum_rhs.mutable_const_expr().set_int_value(1);
  sum_rhs.set_id(2);
  auto& eq_rhs = call.mutable_args().emplace_back();
  eq_rhs.mutable_const_expr().set_int_value(3);
  eq_rhs.set_id(4);

  SourceInfo source_info;
  source_info.mutable_positions()[5] = 6;

  // act
  Ast ast(std::move(expr), std::move(source_info));

  // assert
  ASSERT_FALSE(ast.is_checked());
  EXPECT_EQ(ast.GetTypeOrDyn(1), TypeSpec(DynTypeSpec()));
  EXPECT_EQ(ast.GetReturnType(), TypeSpec(DynTypeSpec()));
  EXPECT_EQ(ast.GetReference(1), nullptr);
  EXPECT_TRUE(ast.root_expr().has_call_expr());
  EXPECT_EQ(ast.root_expr().call_expr().function(), "_==_");
  EXPECT_EQ(ast.root_expr().id(), 5);  // Parser IDs leaf to root.
  EXPECT_EQ(ast.source_info().positions().at(5), 6);  // start pos of ==
}

TEST(AstImpl, CheckedExprCtor) {
  Expr expr;