mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-24 22:02:23 +01:00
Özgür
d11ee4b2b1
This implements parsing of the [`observe`](https://docs.carbon-lang.dev/docs/design/generics/details.html#observing-a-type-implements-an-interface) declarations. - Added states and node kinds. - Added node categories. - Added a diagnostic for invalid keywords/operators. - Implemented parser state handlers. - Added structs to `typed_nodes.h`. - Added parser tests.
73 lines
2.5 KiB
C++
73 lines
2.5 KiB
C++
// 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/parse/context.h"
|
|
#include "toolchain/parse/handle.h"
|
|
#include "toolchain/parse/node_kind.h"
|
|
#include "toolchain/parse/precedence.h"
|
|
#include "toolchain/parse/state.h"
|
|
#include "toolchain/parse/typed_nodes.h"
|
|
|
|
namespace Carbon::Parse {
|
|
auto HandleObserveAfterIntroducer(Context& context) -> void {
|
|
auto state = context.PopState();
|
|
|
|
context.PushState(state, StateKind::ObserveOperator);
|
|
context.PushStateForExpr(PrecedenceGroup::ForRequirements());
|
|
}
|
|
|
|
auto HandleObserveOperator(Context& context) -> void {
|
|
auto state = context.PopState();
|
|
|
|
switch (context.PositionKind()) {
|
|
case Lex::TokenKind::EqualEqual: {
|
|
state.token = context.Consume();
|
|
context.PushState(state, StateKind::ObserveFinishOperator);
|
|
context.PushStateForExpr(PrecedenceGroup::ForRequirements());
|
|
return;
|
|
}
|
|
case Lex::TokenKind::Impls: {
|
|
state.token = context.Consume();
|
|
context.PushState(state, StateKind::ObserveFinishOperator);
|
|
context.PushState(StateKind::Expr);
|
|
return;
|
|
}
|
|
default: {
|
|
if (!state.has_error) {
|
|
CARBON_DIAGNOSTIC(ExpectedObserveOperator, Error,
|
|
"observe should use `==` or `impls` operator");
|
|
context.emitter().Emit(*context.position(), ExpectedObserveOperator);
|
|
}
|
|
context.RecoverFromDeclError(state, NodeKind::ObserveDecl,
|
|
/*skip_past_likely_end=*/true);
|
|
return;
|
|
}
|
|
}
|
|
}
|
|
|
|
auto HandleObserveFinishOperator(Context& context) -> void {
|
|
auto state = context.PopState();
|
|
auto token_kind = context.tokens().GetKind(state.token);
|
|
|
|
if (token_kind == Lex::TokenKind::EqualEqual) {
|
|
context.AddNode(NodeKind::ObserveEqualEqual, state.token, state.has_error);
|
|
} else {
|
|
context.AddNode(NodeKind::ObserveImpls, state.token, state.has_error);
|
|
}
|
|
if (context.PositionIs(Lex::TokenKind::Semi)) {
|
|
context.PushState(state, StateKind::ObserveDecl);
|
|
} else {
|
|
context.PushState(state, StateKind::ObserveOperator);
|
|
}
|
|
}
|
|
|
|
auto HandleObserveDecl(Context& context) -> void {
|
|
auto state = context.PopState();
|
|
context.AddNodeExpectingDeclSemi(state, NodeKind::ObserveDecl,
|
|
Lex::TokenKind::Observe,
|
|
/*is_def_allowed=*/false);
|
|
}
|
|
} // namespace Carbon::Parse
|