carbon-lang/toolchain/parse/handle_alias.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/lex/token_kind.h"
#include "toolchain/lex/tokenized_buffer.h"
#include "toolchain/parse/context.h"
#include "toolchain/parse/node_kind.h"
#include "toolchain/parse/state.h"

namespace Carbon::Parse {

auto HandleAlias(Context& context) -> void {
  auto state = context.PopState();

  context.PushState(state, State::AliasAfterName);
  context.PushState(State::DeclNameAndParamsAsNone, state.token);
}

auto HandleAliasAfterName(Context& context) -> void {
  auto state = context.PopState();

  if (state.has_error) {
    context.RecoverFromDeclError(state, NodeKind::Alias,
                                 /*skip_past_likely_end=*/true);
    return;
  }

  if (auto equal = context.ConsumeIf(Lex::TokenKind::Equal)) {
    context.AddLeafNode(NodeKind::AliasInitializer, *equal);
    context.PushState(state, State::AliasFinish);
    context.PushState(State::Expr);
  } else {
    CARBON_DIAGNOSTIC(ExpectedAliasInitializer, Error,
                      "`alias` requires a `=` for the source.");
    context.emitter().Emit(*context.position(), ExpectedAliasInitializer);
    context.RecoverFromDeclError(state, NodeKind::Alias,
                                 /*skip_past_likely_end=*/true);
  }
}

auto HandleAliasFinish(Context& context) -> void {
  auto state = context.PopState();

  if (state.has_error) {
    context.RecoverFromDeclError(state, NodeKind::Alias,
                                 /*skip_past_likely_end=*/true);
    return;
  }

  if (auto semi = context.ConsumeIf(Lex::TokenKind::Semi)) {
    context.AddNode(NodeKind::Alias, *semi, state.subtree_start,
                    state.has_error);
  } else {
    context.EmitExpectedDeclSemi(Lex::TokenKind::Alias);
    context.RecoverFromDeclError(state, NodeKind::Alias,
                                 /*skip_past_likely_end=*/true);
  }
}

}  // namespace Carbon::Parse