1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
//===--- Language.h -------------------------------------------- -*- C++-*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
#ifndef CLANG_PSEUDO_LANGUAGE_H
#define CLANG_PSEUDO_LANGUAGE_H
#include "clang-pseudo/Token.h"
#include "clang-pseudo/grammar/Grammar.h"
#include "clang-pseudo/grammar/LRTable.h"
namespace clang {
namespace pseudo {
class ForestNode;
class TokenStream;
class LRTable;
struct GuardParams {
llvm::ArrayRef<const ForestNode *> RHS;
const TokenStream &Tokens;
// FIXME: use the index of Tokens.
SymbolID Lookahead;
};
// A guard restricts when a grammar rule can be used.
//
// The GLR parser will use the guard to determine whether a rule reduction will
// be conducted. For example, e.g. a guard may allow the rule
// `virt-specifier := IDENTIFIER` only if the identifier's text is 'override`.
//
// Return true if the guard is satisfied.
using RuleGuard = llvm::function_ref<bool(const GuardParams &)>;
// A recovery strategy determines a region of code to skip when parsing fails.
//
// For example, given `class-def := CLASS IDENT { body [recover=Brackets] }`,
// if parsing fails while attempting to parse `body`, we may skip up to the
// matching `}` and assume everything between was a `body`.
//
// The provided index is the token where the skipped region begins.
// Returns the (excluded) end of the range, or Token::Invalid for no recovery.
using RecoveryStrategy =
llvm::function_ref<Token::Index(Token::Index Start, const TokenStream &)>;
// Specify a language that can be parsed by the pseduoparser.
struct Language {
Grammar G;
LRTable Table;
// Binding extension ids to corresponding implementations.
llvm::DenseMap<RuleID, RuleGuard> Guards;
llvm::DenseMap<ExtensionID, RecoveryStrategy> RecoveryStrategies;
// FIXME: add clang::LangOptions.
// FIXME: add default start symbols.
};
} // namespace pseudo
} // namespace clang
#endif // CLANG_PSEUDO_LANGUAGE_H
|
