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
65
66
|
//===-- lib/Parser/misc-parsers.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
//
//===----------------------------------------------------------------------===//
// Parser templates and constexpr parsers shared by multiple
// per-type parser implementation source files.
#ifndef FORTRAN_PARSER_MISC_PARSERS_H_
#define FORTRAN_PARSER_MISC_PARSERS_H_
#include "basic-parsers.h"
#include "token-parsers.h"
#include "type-parsers.h"
#include "flang/Parser/message.h"
#include "flang/Parser/parse-tree.h"
namespace Fortran::parser {
// R401 xzy-list -> xzy [, xzy]...
template <typename PA> inline constexpr auto nonemptyList(const PA &p) {
return nonemptySeparated(p, ","_tok); // p-list
}
template <typename PA>
inline constexpr auto nonemptyList(MessageFixedText error, const PA &p) {
return withMessage(error, nonemptySeparated(p, ","_tok)); // p-list
}
template <typename PA> inline constexpr auto optionalList(const PA &p) {
return defaulted(nonemptySeparated(p, ","_tok)); // [p-list]
}
// R402 xzy-name -> name
// R516 keyword -> name
constexpr auto keyword{construct<Keyword>(name)};
// R1101 block -> [execution-part-construct]...
constexpr auto block{many(executionPartConstruct)};
constexpr auto listOfNames{nonemptyList("expected names"_err_en_US, name)};
constexpr auto star{construct<Star>("*"_tok)};
constexpr auto allocatable{construct<Allocatable>("ALLOCATABLE"_tok)};
constexpr auto contiguous{construct<Contiguous>("CONTIGUOUS"_tok)};
constexpr auto optional{construct<Optional>("OPTIONAL"_tok)};
constexpr auto pointer{construct<Pointer>("POINTER"_tok)};
constexpr auto protectedAttr{construct<Protected>("PROTECTED"_tok)};
constexpr auto save{construct<Save>("SAVE"_tok)};
template <typename A> common::IfNoLvalue<std::list<A>, A> singletonList(A &&x) {
std::list<A> result;
result.emplace_back(std::move(x));
return result;
}
template <typename A>
common::IfNoLvalue<std::optional<A>, A> presentOptional(A &&x) {
return std::make_optional(std::move(x));
}
} // namespace Fortran::parser
#endif
|
