1//===-- lib/Parser/type-parsers.h -------------------------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9#ifndef FORTRAN_PARSER_TYPE_PARSERS_H_
10#define FORTRAN_PARSER_TYPE_PARSERS_H_
11
12#include "flang/Parser/instrumented-parser.h"
13#include "flang/Parser/parse-tree.h"
14#include <optional>
15
16namespace Fortran::parser {
17
18// Many parsers in the grammar are defined as instances of this Parser<>
19// class template, i.e. as the anonymous sole parser for a given type.
20// This usage requires that their Parse() member functions be defined
21// separately, typically with a parsing expression wrapped up in an
22// TYPE_PARSER() macro call.
23template <typename A> struct Parser {
24 using resultType = A;
25 constexpr Parser() {}
26 constexpr Parser(const Parser &) = default;
27 static std::optional<resultType> Parse(ParseState &);
28};
29
30#define CONTEXT_PARSER(contextText, pexpr) \
31 instrumented((contextText), inContext((contextText), (pexpr)))
32
33// To allow use of the Fortran grammar (or parts of it) outside the
34// context of constructing the actual parser.
35#define TYPE_PARSER(pexpr)
36#define TYPE_CONTEXT_PARSER(context, pexpr)
37
38// Some specializations of Parser<> are used multiple times, or are
39// of some special importance, so we instantiate them once here and
40// give them names rather than referencing them as anonymous Parser<T>{}
41// objects in the right-hand sides of productions.
42constexpr Parser<Program> program; // R501 - the "top level" production
43constexpr Parser<SpecificationPart> specificationPart; // R504
44constexpr Parser<ImplicitPart> implicitPart; // R505
45constexpr Parser<DeclarationConstruct> declarationConstruct; // R507
46constexpr Parser<SpecificationConstruct> specificationConstruct; // R508
47constexpr Parser<ExecutionPart> executionPart; // R509
48constexpr Parser<ExecutionPartConstruct> executionPartConstruct; // R510
49constexpr Parser<InternalSubprogramPart> internalSubprogramPart; // R511
50constexpr Parser<ActionStmt> actionStmt; // R515
51constexpr Parser<Name> name; // R603
52constexpr Parser<LiteralConstant> literalConstant; // R605
53constexpr Parser<NamedConstant> namedConstant; // R606
54constexpr Parser<TypeParamValue> typeParamValue; // R701
55constexpr Parser<TypeSpec> typeSpec; // R702
56constexpr Parser<DeclarationTypeSpec> declarationTypeSpec; // R703
57constexpr Parser<IntrinsicTypeSpec> intrinsicTypeSpec; // R704
58constexpr Parser<IntegerTypeSpec> integerTypeSpec; // R705
59constexpr Parser<KindSelector> kindSelector; // R706
60constexpr Parser<SignedIntLiteralConstant> signedIntLiteralConstant; // R707
61constexpr Parser<IntLiteralConstant> intLiteralConstant; // R708
62constexpr Parser<UnsignedLiteralConstant> unsignedLiteralConstant;
63constexpr Parser<KindParam> kindParam; // R709
64constexpr Parser<RealLiteralConstant> realLiteralConstant; // R714
65constexpr Parser<CharLength> charLength; // R723
66constexpr Parser<CharLiteralConstant> charLiteralConstant; // R724
67constexpr Parser<CharLiteralConstantSubstring> charLiteralConstantSubstring;
68constexpr Parser<Initialization> initialization; // R743 & R805
69constexpr Parser<DerivedTypeSpec> derivedTypeSpec; // R754
70constexpr Parser<TypeDeclarationStmt> typeDeclarationStmt; // R801
71constexpr Parser<NullInit> nullInit; // R806
72constexpr Parser<AccessSpec> accessSpec; // R807
73constexpr Parser<LanguageBindingSpec> languageBindingSpec; // R808, R1528
74constexpr Parser<EntityDecl> entityDecl; // R803
75constexpr Parser<CoarraySpec> coarraySpec; // R809
76constexpr Parser<ArraySpec> arraySpec; // R815
77constexpr Parser<ComponentArraySpec> componentArraySpec;
78constexpr Parser<ExplicitShapeSpec> explicitShapeSpec; // R816
79constexpr Parser<DeferredShapeSpecList> deferredShapeSpecList; // R820
80constexpr Parser<AssumedImpliedSpec> assumedImpliedSpec; // R821
81constexpr Parser<IntentSpec> intentSpec; // R826
82constexpr Parser<DataStmt> dataStmt; // R837
83constexpr Parser<DataImpliedDo> dataImpliedDo; // R840
84constexpr Parser<ParameterStmt> parameterStmt; // R851
85constexpr Parser<OldParameterStmt> oldParameterStmt;
86constexpr Parser<Designator> designator; // R901
87constexpr Parser<Variable> variable; // R902
88constexpr Parser<Substring> substring; // R908
89constexpr Parser<DataRef> dataRef; // R911, R914, R917
90constexpr Parser<StructureComponent> structureComponent; // R913
91constexpr Parser<SubscriptTriplet> subscriptTriplet; // R921
92constexpr Parser<AllocateStmt> allocateStmt; // R927
93constexpr Parser<StatVariable> statVariable; // R929
94constexpr Parser<StatOrErrmsg> statOrErrmsg; // R942 & R1165
95constexpr Parser<DefinedOpName> definedOpName; // R1003, R1023, R1414, & R1415
96constexpr Parser<Expr> expr; // R1022
97constexpr Parser<SpecificationExpr> specificationExpr; // R1028
98constexpr Parser<AssignmentStmt> assignmentStmt; // R1032
99constexpr Parser<PointerAssignmentStmt> pointerAssignmentStmt; // R1033
100constexpr Parser<WhereStmt> whereStmt; // R1041, R1045, R1046
101constexpr Parser<WhereConstruct> whereConstruct; // R1042
102constexpr Parser<WhereBodyConstruct> whereBodyConstruct; // R1044
103constexpr Parser<ForallConstruct> forallConstruct; // R1050
104constexpr Parser<ForallAssignmentStmt> forallAssignmentStmt; // R1053
105constexpr Parser<ForallStmt> forallStmt; // R1055
106constexpr Parser<Selector> selector; // R1105
107constexpr Parser<EndSelectStmt> endSelectStmt; // R1143 & R1151 & R1155
108constexpr Parser<ConcurrentHeader> concurrentHeader; // R1125
109constexpr Parser<IoUnit> ioUnit; // R1201, R1203
110constexpr Parser<FileUnitNumber> fileUnitNumber; // R1202
111constexpr Parser<IoControlSpec> ioControlSpec; // R1213, R1214
112constexpr Parser<Format> format; // R1215
113constexpr Parser<InputItem> inputItem; // R1216
114constexpr Parser<OutputItem> outputItem; // R1217
115constexpr Parser<InputImpliedDo> inputImpliedDo; // R1218, R1219
116constexpr Parser<OutputImpliedDo> outputImpliedDo; // R1218, R1219
117constexpr Parser<PositionOrFlushSpec> positionOrFlushSpec; // R1227 & R1229
118constexpr Parser<FormatStmt> formatStmt; // R1301
119constexpr Parser<InterfaceBlock> interfaceBlock; // R1501
120constexpr Parser<GenericSpec> genericSpec; // R1508
121constexpr Parser<ProcInterface> procInterface; // R1513
122constexpr Parser<ProcDecl> procDecl; // R1515
123constexpr Parser<FunctionReference> functionReference; // R1520
124constexpr Parser<ActualArgSpec> actualArgSpec; // R1523
125constexpr Parser<PrefixSpec> prefixSpec; // R1527
126constexpr Parser<FunctionSubprogram> functionSubprogram; // R1529
127constexpr Parser<FunctionStmt> functionStmt; // R1530
128constexpr Parser<Suffix> suffix; // R1532
129constexpr Parser<EndFunctionStmt> endFunctionStmt; // R1533
130constexpr Parser<SubroutineSubprogram> subroutineSubprogram; // R1534
131constexpr Parser<SubroutineStmt> subroutineStmt; // R1535
132constexpr Parser<DummyArg> dummyArg; // R1536
133constexpr Parser<EndSubroutineStmt> endSubroutineStmt; // R1537
134constexpr Parser<EntryStmt> entryStmt; // R1541
135constexpr Parser<ContainsStmt> containsStmt; // R1543
136constexpr Parser<CompilerDirective> compilerDirective;
137constexpr Parser<OpenACCConstruct> openaccConstruct;
138constexpr Parser<OpenACCDeclarativeConstruct> openaccDeclarativeConstruct;
139constexpr Parser<OpenMPConstruct> openmpConstruct;
140constexpr Parser<OpenMPDeclarativeConstruct> openmpDeclarativeConstruct;
141constexpr Parser<OmpEndLoopDirective> ompEndLoopDirective;
142constexpr Parser<IntrinsicVectorTypeSpec> intrinsicVectorTypeSpec; // Extension
143constexpr Parser<VectorTypeSpec> vectorTypeSpec; // Extension
144constexpr Parser<UnsignedTypeSpec> unsignedTypeSpec; // Extension
145} // namespace Fortran::parser
146#endif // FORTRAN_PARSER_TYPE_PARSERS_H_
147

source code of flang/lib/Parser/type-parsers.h