1# Copyright (c) 2021 Jan Dolinár
2#
3# This source code is released for free distribution under the terms of the
4# GNU General Public License version 2.
5#
6# This file contains description of Kotlin grammar based on the ANTLR grammar
7# from https://github.com/Kotlin/kotlin-grammar-gpl2.
8#
9# Notes:
10#   1. This file was originally derived from files (reference grammar files) in https://github.com/Kotlin/kotlin-spec
11#   2. Kotlin/kotlin-spec is distributed under Apache2 license
12#   3. I have requested the original developers to "re-license or dual-license" (see https://github.com/Kotlin/kotlin-spec/issues/70)
13#   4. The request was accepted and the original developer made a new repository https://github.com/Kotlin/kotlin-grammar-gpl2
14#      for redistributing the reference grammar files under GPLv2 license.
15#   5. This file is now derived from Kotlin/kotlin-grammar-gpl2 repository.
16#   6. Unlike many other files in Universal Ctags, this source code is released strictly under GPLv2
17#      and should not be relicensed to later versions of GPL.
18
19
20
21%prefix "pkotlin"
22
23%auxil	"struct parserCtx *"
24
25%earlysource {
26    #include "general.h"
27}
28
29%header {
30	struct parserCtx;
31}
32
33%source {
34#include "kotlin_pre.h"
35}
36
37file <- shebangLine? NL* fileAnnotation* _* packageHeader* _* importList* _* (filePart / _ / unparsable)* EOF
38filePart <- (topLevelObject / (statement _* semi)) {resetFailure(auxil, $0s);}
39unparsable <- [^\n]+ NL* {reportFailure(auxil, $0s);}
40
41### Converted from peg/kotlin/KotlinParser.g4
42
43# options
44# // SECTION: general
45#kotlinFile <- shebangLine? NL* fileAnnotation* _* packageHeader _* importList _* topLevelObject* EOF
46#script <- shebangLine? NL* fileAnnotation* _* packageHeader _* importList _* (statement _* semi)* EOF
47shebangLine <- ShebangLine _* NL+
48fileAnnotation <- (AT_NO_WS / AT_PRE_WS) FILE NL* COLON _* NL* (LSQUARE _* unescapedAnnotation+ _* RSQUARE / unescapedAnnotation) _* NL*
49packageHeader <- PACKAGE {PUSH_KIND(auxil, K_PACKAGE);} _ <identifier> {makeKotlinTag(auxil, $1, $1s, true);} _* semi?
50importList <- importHeader+
51importHeader <- IMPORT _ identifier (DOT MULT / importAlias)? _* semi? _*
52importAlias <- _ AS _ simpleIdentifier
53topLevelObject <- declaration _* semis?
54typeAlias <- modifiers? _* TYPE_ALIAS {PUSH_KIND(auxil, K_TYPEALIAS);} (_ / NL)* <simpleIdentifier> {makeKotlinTag(auxil, $1, $1s, false);} _* (__* typeParameters)? __* ASSIGNMENT __* type
55declaration <- classDeclaration / objectDeclaration / functionDeclaration / propertyDeclaration / typeAlias
56
57# // SECTION: classes
58classDeclaration <- modifiers? (CLASS {PUSH_KIND(auxil, K_CLASS);} / (FUN __*)? INTERFACE {PUSH_KIND(auxil, K_INTERFACE);}) _ NL* <simpleIdentifier> {makeKotlinTag(auxil, $1, $1s, true);} (__* typeParameters)? (__* primaryConstructor)? (__* COLON __* delegationSpecifiers)? (__* typeConstraints)? (__* classBody / __* enumClassBody)? {POP_SCOPE(auxil);}
59primaryConstructor <- (modifiers? CONSTRUCTOR __*)? classParameters
60classBody <- LCURL __* classMemberDeclarations __* RCURL
61classParameters <- LPAREN __* (classParameter (__* COMMA __* classParameter)* (__* COMMA)?)? __* RPAREN
62classParameter <- (modifiers? _* VAL {PUSH_KIND(auxil, K_CONSTANT);} / modifiers? _* VAR {PUSH_KIND(auxil, K_VARIABLE);} / modifiers? {PUSH_KIND(auxil, K_IGNORE);} _*)? __* <simpleIdentifier> {makeKotlinTag(auxil, $1, $1s, true);} _* COLON __* type (__* ASSIGNMENT __* expression)? {POP_SCOPE(auxil);}
63delegationSpecifiers <- annotatedDelegationSpecifier (__* COMMA __* annotatedDelegationSpecifier)*
64delegationSpecifier <- constructorInvocation / explicitDelegation / userType / functionType
65constructorInvocation <- userType _* valueArguments
66annotatedDelegationSpecifier <- annotation* __* delegationSpecifier
67explicitDelegation <- (userType / functionType) __* BY __* expression
68typeParameters <- LANGLE __* typeParameter (__* COMMA __* typeParameter)* (__* COMMA)? __* RANGLE
69typeParameter <- typeParameterModifiers? __* simpleIdentifier (__* COLON __* type)?
70typeConstraints <- WHERE __* typeConstraint (__* COMMA __* typeConstraint)*
71typeConstraint <- annotation* simpleIdentifier __* COLON __* type
72
73# // SECTION: classMembers
74classMemberDeclarations <- (classMemberDeclaration semis?)*
75classMemberDeclaration <- secondaryConstructor / anonymousInitializer / companionObject / declaration
76anonymousInitializer <- INIT __* block
77companionObject <- modifiers? COMPANION __* OBJECT {PUSH_KIND(auxil, K_OBJECT);} <(__* simpleIdentifier)?> {makeKotlinTag(auxil, $1e-$1s != 0 ? $1 : "Companion", $1s, true);} (__* COLON __* delegationSpecifiers)? (__* classBody)? {POP_SCOPE(auxil);}
78functionValueParameters <- LPAREN __* (functionValueParameter (__* COMMA __* functionValueParameter)* (__* COMMA)?)? __* RPAREN
79functionValueParameter <- parameterModifiers? _* parameter (__* ASSIGNMENT __* expression)?
80functionDeclaration <- modifiers? _* FUN {PUSH_KIND(auxil, K_METHOD);} _* (__* typeParameters)? _* (__* receiverTypeAndDot)? __* <simpleIdentifier> {makeKotlinTag(auxil, $1, $1s, true);} __* functionValueParameters _* (__* COLON __* type)? _* (__* typeConstraints)? _* (__* functionBody)? {POP_SCOPE(auxil);}
81functionBody <- block / ASSIGNMENT __* expression
82variableDeclaration <- annotation* __* <simpleIdentifier> {makeKotlinTag(auxil, $1, $1s, false);} (__* COLON __* type)?
83multiVariableDeclaration <- LPAREN __* variableDeclaration _* (__* COMMA __* variableDeclaration)* _* (__* COMMA)? __* RPAREN
84propertyDeclaration <- modifiers? _* (VAL {PUSH_KIND(auxil, K_CONSTANT);} / VAR {PUSH_KIND(auxil, K_VARIABLE);}) _ (__* typeParameters)? (__* receiverTypeAndDot)? (__* (multiVariableDeclaration / variableDeclaration)) (__* typeConstraints)? (__* (ASSIGNMENT __* expression / propertyDelegate))? (semi? _* setter (NL* semi? _* getter)? / semi? _* getter (NL* semi? _* setter)?)?
85propertyDelegate <- BY __* expression
86# TODO: better handling of empty getters and setters?
87getter <- (modifiers _*)? GET __* LPAREN __* RPAREN (__* COLON __* type)? __* functionBody / (modifiers _*)? GET !(_* [^;\r\n])
88setter <- (modifiers _*)? SET __* LPAREN __* parameterWithOptionalType (__* COMMA)? __* RPAREN (__* COLON __* type)? __* functionBody / (modifiers _*)? SET !(_* [^;\r\n])
89parametersWithOptionalType <- LPAREN __* (parameterWithOptionalType (__* COMMA __* parameterWithOptionalType)* (__* COMMA)?)? __* RPAREN
90parameterWithOptionalType <- parameterModifiers? simpleIdentifier __* (COLON __* type)?
91parameter <- simpleIdentifier __* COLON __* type
92objectDeclaration <- modifiers? _* OBJECT {PUSH_KIND(auxil, K_OBJECT);} __* <simpleIdentifier> {makeKotlinTag(auxil, $1, $1s, true);} (__* COLON __* delegationSpecifiers)? (__* classBody)? {POP_SCOPE(auxil);}
93secondaryConstructor <- modifiers? CONSTRUCTOR __* functionValueParameters (__* COLON __* constructorDelegationCall)? __* block?
94constructorDelegationCall <- THIS __* valueArguments / SUPER __* valueArguments
95
96# // SECTION: enumClasses
97enumClassBody <- LCURL __* enumEntries? (__* SEMICOLON __* classMemberDeclarations)? __* RCURL
98enumEntries <- enumEntry (__* COMMA __* enumEntry)* __* COMMA?
99enumEntry <- (modifiers __*)? simpleIdentifier (__* valueArguments)? (__* classBody)?
100
101# // SECTION: types
102type <- typeModifiers? ( functionType / nullableType / parenthesizedType / typeReference)
103typeReference <- userType / DYNAMIC
104nullableType <- (typeReference / parenthesizedType) __* quest+
105quest <- !elvis (QUEST_WS / QUEST_NO_WS)
106userType <- simpleUserType (__* DOT __* simpleUserType)*
107simpleUserType <- simpleIdentifier (__* typeArguments)?
108typeProjection <- typeProjectionModifiers? type / MULT
109typeProjectionModifiers <- typeProjectionModifier+
110typeProjectionModifier <- varianceModifier __* / annotation
111functionType <- (receiverType __* DOT __*)? functionTypeParameters __* ARROW __* type
112functionTypeParameters <- LPAREN __* (parameter / type)? _* (__* COMMA __* (parameter / type))* _* (__* COMMA)? __* RPAREN
113parenthesizedType <- LPAREN __* type __* RPAREN
114receiverType <- (typeModifiers _*)? (nullableType / parenthesizedType / typeReference)
115# parenthesizedUserType <- LPAREN __* userType __* RPAREN / LPAREN __* parenthesizedUserType __* RPAREN
116receiverTypeAndDot <- (typeModifiers _*)? (nullableType __* DOT __* / parenthesizedType __* DOT __* / (simpleUserType __* DOT __*)+)
117
118# // SECTION: statements
119#statements <- (statement (semis statement)*)? semis?
120statements <- (statement _* (semis _* statement _*)*)? _* semis?
121statement <- (label / annotation)* ( declaration / assignment / loopStatement / expression)
122label <- simpleIdentifier (AT_POST_WS / AT_NO_WS) __*
123controlStructureBody <- block / statement
124block <- LCURL __* statements __* RCURL
125loopStatement <- forStatement / whileStatement / doWhileStatement
126forStatement <- FOR __* LPAREN _* annotation* _* (variableDeclaration / multiVariableDeclaration) _ IN _ inside_expression _* RPAREN __* (controlStructureBody)?
127whileStatement <- WHILE __* LPAREN _* inside_expression _* RPAREN __* controlStructureBody / WHILE __* LPAREN _* expression _* RPAREN __* SEMICOLON
128doWhileStatement <- DO __* controlStructureBody? __* WHILE __* LPAREN _* expression _* RPAREN
129assignment <- directlyAssignableExpression _* ASSIGNMENT __* expression / assignableExpression _* assignmentAndOperator __* expression
130semi <- (_* (SEMICOLON / NL) _*) NL*
131semis <- (_* (SEMICOLON / NL) _*)+
132
133# // SECTION: expressions
134expression <- disjunction
135disjunction <- conjunction (__* DISJ __* conjunction)*
136conjunction <- equality (__* CONJ __* equality)*
137equality <- comparison (_* equalityOperator __* comparison _*)*
138comparison <- genericCallLikeComparison (_* comparisonOperator __* genericCallLikeComparison _*)*
139genericCallLikeComparison <- infixOperation (_* callSuffix)*
140infixOperation <- elvisExpression (_* inOperator __* elvisExpression / _* isOperator __* type)*
141elvisExpression <- infixFunctionCall (__* elvis __* infixFunctionCall)*
142elvis <- QUEST_NO_WS COLON
143infixFunctionCall <- rangeExpression (_* simpleIdentifier __* rangeExpression)*
144rangeExpression <- additiveExpression (_* RANGE __* additiveExpression)*
145additiveExpression <- multiplicativeExpression (_* additiveOperator __* multiplicativeExpression)*
146multiplicativeExpression <- asExpression (_* multiplicativeOperator __* asExpression)*
147asExpression <- prefixUnaryExpression (__* asOperator __* type)*
148prefixUnaryExpression <- (unaryPrefix _*)* postfixUnaryExpression
149unaryPrefix <- annotation / label / prefixUnaryOperator __*
150postfixUnaryExpression <- primaryExpression (_* postfixUnarySuffix)+ / primaryExpression
151postfixUnarySuffix <- postfixUnaryOperator / typeArguments / callSuffix / indexingSuffix / navigationSuffix
152directlyAssignableExpression <- postfixUnaryExpression _* assignableSuffix / postfixUnaryExpression / simpleIdentifier / parenthesizedDirectlyAssignableExpression
153parenthesizedDirectlyAssignableExpression <- LPAREN __* inside_directlyAssignableExpression __* RPAREN
154assignableExpression <- prefixUnaryExpression / parenthesizedAssignableExpression
155parenthesizedAssignableExpression <- LPAREN __* inside_assignableExpression __* RPAREN
156assignableSuffix <- navigationSuffix / typeArguments / indexingSuffix
157indexingSuffix <- LSQUARE __* inside_expression (__* COMMA __* inside_expression)* (__* COMMA)? __* RSQUARE
158navigationSuffix <- __* memberAccessOperator __* (simpleIdentifier / parenthesizedExpression / CLASS)
159callSuffix <- typeArguments? _* valueArguments? _* annotatedLambda / typeArguments? _* valueArguments
160annotatedLambda <- annotation* _* label? __* lambdaLiteral
161typeArguments <- LANGLE __* typeProjection (__* COMMA __* typeProjection)* (__* COMMA)? __* RANGLE
162valueArguments <- LPAREN __* RPAREN / LPAREN __* inside_valueArgument (__* COMMA __* inside_valueArgument)* (__* COMMA)? __* RPAREN
163#valueArgument <- annotation? __* (simpleIdentifier __* ASSIGNMENT __*)? MULT? __* expression
164primaryExpression <- thisExpression / superExpression / ifExpression / whenExpression / tryExpression / jumpExpression / parenthesizedExpression/ callableReference / stringLiteral / functionLiteral / objectLiteral / collectionLiteral  / simpleIdentifier / literalConstant
165parenthesizedExpression <- LPAREN __* inside_expression __* RPAREN
166collectionLiteral <- LSQUARE __* inside_expression (__* COMMA __* inside_expression)* (__* COMMA)? __* RSQUARE / LSQUARE __* RSQUARE
167literalConstant <- BooleanLiteral / CharacterLiteral / NullLiteral / RealLiteral / UnsignedLiteral / LongLiteral / HexLiteral / BinLiteral / IntegerLiteral
168stringLiteral <- multiLineStringLiteral / lineStringLiteral
169lineStringLiteral <- QUOTE_OPEN (lineStringExpression / lineStringContent)* QUOTE_CLOSE
170#lineStringLiteral <- QUOTE_OPEN (lineStringExpression / EscapedIdentifier / UniCharacterLiteral / stringChar)* QUOTE_CLOSE
171multiLineStringLiteral <- TRIPLE_QUOTE_OPEN (multiLineStringExpression / multiLineStringContent / MultiLineStringQuote)* TRIPLE_QUOTE_CLOSE
172#multiLineStringLiteral <- TRIPLE_QUOTE_OPEN (multiLineStringExpression / MultiLineStringQuote / EscapedIdentifier / UniChracterLiteral / stringChar)* TRIPLE_QUOTE_CLOSE
173lineStringContent <- LineStrText / LineStrEscapedChar / LineStrRef
174lineStringExpression <- LineStrExprStart __* expression __* RCURL
175multiLineStringContent <- MultiLineStrRef / MultiLineStrText / MultiLineStringQuote
176multiLineStringExpression <- MultiLineStrExprStart __* expression __* RCURL
177
178inside_expression <- inside_disjunction
179inside_disjunction <- inside_conjunction (__* DISJ __* inside_conjunction)*
180inside_conjunction <- inside_equality (__* CONJ __* inside_equality)*
181inside_equality <- inside_comparison ((_ / NL)* equalityOperator __* inside_comparison (_ / NL)*)*
182inside_comparison <- inside_genericCallLikeComparison ((_ / NL)* comparisonOperator __* inside_genericCallLikeComparison (_ / NL)*)*
183inside_genericCallLikeComparison <- inside_infixOperation ((_ / NL)* callSuffix)*
184inside_infixOperation <- inside_elvisExpression ((_ / NL)* inOperator __* inside_elvisExpression / (_ / NL)* isOperator __* type)*
185inside_elvisExpression <- inside_infixFunctionCall (__* elvis __* inside_infixFunctionCall)*
186inside_infixFunctionCall <- inside_rangeExpression ((_ / NL)* simpleIdentifier __* inside_rangeExpression)*
187inside_rangeExpression <- inside_additiveExpression ((_ / NL)* RANGE __* inside_additiveExpression)*
188inside_additiveExpression <- inside_multiplicativeExpression ((_ / NL)* additiveOperator __* inside_multiplicativeExpression)*
189inside_multiplicativeExpression <- inside_asExpression ((_ / NL)* multiplicativeOperator __* inside_asExpression)*
190inside_asExpression <- inside_prefixUnaryExpression (__* asOperator __* type)*
191inside_prefixUnaryExpression <- (inside_unaryPrefix (_ / NL)*)* inside_postfixUnaryExpression
192inside_unaryPrefix <- annotation / label / prefixUnaryOperator __*
193inside_postfixUnaryExpression <- primaryExpression ((_ / NL)* inside_postfixUnarySuffix)+ / primaryExpression
194inside_postfixUnarySuffix <- postfixUnaryOperator / typeArguments / callSuffix / indexingSuffix / navigationSuffix
195inside_directlyAssignableExpression <- inside_postfixUnaryExpression (_ / NL)* assignableSuffix / inside_postfixUnaryExpression / simpleIdentifier / parenthesizedDirectlyAssignableExpression
196inside_assignableExpression <- inside_prefixUnaryExpression / parenthesizedAssignableExpression
197inside_valueArgument <- annotation? __* (simpleIdentifier __* ASSIGNMENT __*)? MULT? __* inside_expression
198
199
200#characterLiteral <- "'" (UniCharacterLiteral / EscapedIdentifier / [^\n\r'\\]) "'"
201#stringChar <- [^"]
202
203lambdaLiteral <- LCURL {PUSH_KIND(auxil, K_METHOD); makeKotlinTag(auxil, "<lambda>", $0s, true);} __* statements __* RCURL {POP_SCOPE(auxil);} / LCURL {PUSH_KIND(auxil, K_METHOD); makeKotlinTag(auxil, "<lambda>", 8, true);} __* lambdaParameters? __* ARROW __* statements __* RCURL {POP_SCOPE(auxil);}
204lambdaParameters <- lambdaParameter (__* COMMA __* lambdaParameter)* (__* COMMA)?
205lambdaParameter <- variableDeclaration / multiVariableDeclaration (__* COLON __* type)?
206anonymousFunction <- FUN {PUSH_KIND(auxil, K_METHOD); makeKotlinTag(auxil, "<anonymous>", $0s, true);} (__* type __* DOT)? __* parametersWithOptionalType (__* COLON __* type)? (__* typeConstraints)? (__* functionBody)? {POP_SCOPE(auxil);}
207functionLiteral <- lambdaLiteral / anonymousFunction
208objectLiteral <- OBJECT __* COLON __* delegationSpecifiers __* classBody / OBJECT __* classBody
209thisExpression <- THIS_AT / THIS !(Letter / UnicodeDigit)
210superExpression <- SUPER_AT / SUPER (LANGLE __* type __* RANGLE)? (AT_NO_WS simpleIdentifier)?
211ifExpression <- IF __* LPAREN __* expression __* RPAREN __* controlStructureBody? __* SEMICOLON? __* ELSE __* (controlStructureBody / SEMICOLON) / IF __* LPAREN __* expression __* RPAREN __* (controlStructureBody / SEMICOLON)
212whenSubject <- LPAREN (annotation* __* VAL __* variableDeclaration __* ASSIGNMENT __*)? expression RPAREN
213whenExpression <- WHEN __* whenSubject? __* LCURL __* (whenEntry __*)* __* RCURL
214whenEntry <- whenCondition (__* COMMA __* whenCondition)* (__* COMMA)? __* ARROW __* controlStructureBody semi? / ELSE __* ARROW __* controlStructureBody semi?
215whenCondition <- expression / rangeTest / typeTest
216rangeTest <- inOperator __* expression
217typeTest <- isOperator __* type
218tryExpression <- TRY __* block ((__* catchBlock)+ (__* finallyBlock)? / __* finallyBlock)
219catchBlock <- CATCH __* LPAREN _* (annotation _*)* simpleIdentifier _* COLON _* type (__* COMMA)? _* RPAREN __* block
220finallyBlock <- FINALLY __* block
221jumpExpression <- THROW __* expression / (RETURN_AT / RETURN) _* expression? / CONTINUE_AT / CONTINUE / BREAK_AT / BREAK
222callableReference <- (receiverType? __* COLONCOLON __* (simpleIdentifier / CLASS))
223assignmentAndOperator <- ADD_ASSIGNMENT / SUB_ASSIGNMENT / MULT_ASSIGNMENT / DIV_ASSIGNMENT / MOD_ASSIGNMENT
224equalityOperator <- EQEQEQ / EQEQ / EXCL_EQEQ / EXCL_EQ
225comparisonOperator <- LE / GE / LANGLE / RANGLE
226inOperator <- IN / NOT_IN
227isOperator <- IS / NOT_IS
228additiveOperator <- ADD / SUB
229multiplicativeOperator <- MULT / DIV / MOD
230asOperator <- AS_SAFE / AS
231prefixUnaryOperator <- INCR / DECR / SUB / ADD / excl
232postfixUnaryOperator <- INCR / DECR / EXCL_NO_WS excl
233excl <- EXCL_WS / EXCL_NO_WS
234memberAccessOperator <- DOT / safeNav / COLONCOLON
235safeNav <- QUEST_NO_WS DOT
236
237# // SECTION: modifiers
238modifiers <- (annotation / modifier)+
239parameterModifiers <- (annotation / parameterModifier)+
240modifier <- (classModifier / memberModifier / visibilityModifier / functionModifier / propertyModifier / inheritanceModifier / parameterModifier / platformModifier) __*
241typeModifiers <- typeModifier+
242typeModifier <- annotation / SUSPEND __*
243classModifier <- ENUM / SEALED / ANNOTATION / DATA / INNER
244memberModifier <- OVERRIDE / LATEINIT
245visibilityModifier <- PUBLIC / PRIVATE / INTERNAL / PROTECTED
246varianceModifier <- IN / OUT
247typeParameterModifiers <- typeParameterModifier+
248typeParameterModifier <- reificationModifier __* / varianceModifier __* / annotation
249functionModifier <- TAILREC / OPERATOR / INFIX / INLINE / EXTERNAL / SUSPEND
250propertyModifier <- CONST
251inheritanceModifier <- ABSTRACT / FINAL / OPEN
252parameterModifier <- VARARG / NOINLINE / CROSSINLINE
253reificationModifier <- REIFIED
254platformModifier <- EXPECT / ACTUAL
255
256# // SECTION: annotations
257annotation <- (singleAnnotation / multiAnnotation) __*
258singleAnnotation <- annotationUseSiteTarget __* unescapedAnnotation / (AT_NO_WS / AT_PRE_WS) unescapedAnnotation
259multiAnnotation <- annotationUseSiteTarget __* LSQUARE unescapedAnnotation+ RSQUARE / (AT_NO_WS / AT_PRE_WS) LSQUARE unescapedAnnotation+ RSQUARE
260annotationUseSiteTarget <- (AT_NO_WS / AT_PRE_WS) (FIELD / PROPERTY / GET / SET / RECEIVER / PARAM / SETPARAM / DELEGATE) __* COLON
261unescapedAnnotation <- constructorInvocation / userType
262
263# // SECTION: identifiers
264simpleIdentifier <- !(hardKeyword !(Letter / '_' / UnicodeDigit)) Identifier / ABSTRACT / ANNOTATION / BY / CATCH / COMPANION / CONSTRUCTOR / CROSSINLINE / DATA / DYNAMIC / ENUM / EXTERNAL / FINAL / FINALLY / GET / IMPORT / INFIX / INIT / INLINE / INNER / INTERNAL / LATEINIT / NOINLINE / OPEN / OPERATOR / OUT / OVERRIDE / PRIVATE / PROTECTED / PUBLIC / REIFIED / SEALED / TAILREC / SET / VARARG / WHERE / FIELD / PROPERTY / RECEIVER / PARAM / SETPARAM / DELEGATE / FILE / EXPECT / ACTUAL / CONST / SUSPEND
265identifier <- simpleIdentifier (__* DOT simpleIdentifier)*
266
267hardKeyword <- AS / BREAK / CLASS / CONTINUE / DO / ELSE / FOR / FUN / IF / IN / INTERFACE / IS / NullLiteral / OBJECT / PACKAGE / RETURN / SUPER / THIS / THROW / TRY / TYPE_ALIAS / TYPEOF / VAL / VAR / WHEN / WHILE / BooleanLiteral
268
269
270### Converted from peg/kotlin/KotlinLexer.g4
271
272
273# // SECTION: lexicalGeneral
274ShebangLine <- '#!' [^\r\n]*
275DelimitedComment <- '/*' (DelimitedComment / !'*/' .)* '*/'
276LineComment <- '//' [^\r\n]*
277#WS <- [\u0020\u0009\u000C]
278#NL <- '\n' / '\r' '\n'?
279Hidden <- DelimitedComment / LineComment / WS
280
281# // SECTION: separatorsAndOperations
282#RESERVED <- '...'
283DOT <- '.'
284COMMA <- ','
285LPAREN <- '('
286RPAREN <- ')'
287LSQUARE <- '['
288RSQUARE <- ']'
289LCURL <- '{'
290# /*
291# * When using another programming language (not Java) to generate a parser,
292# * please replace this code with the corresponding code of a programming language you are using.
293# */
294RCURL <- '}'
295MULT <- '*'
296MOD <- '%'
297DIV <- '/'
298ADD <- '+'
299SUB <- '-'
300INCR <- '++'
301DECR <- '--'
302CONJ <- '&&'
303DISJ <- '||'
304EXCL_WS <- '!' Hidden
305EXCL_NO_WS <- '!'
306COLON <- ':'
307SEMICOLON <- ';'
308ASSIGNMENT <- '=' !'='
309ADD_ASSIGNMENT <- '+='
310SUB_ASSIGNMENT <- '-='
311MULT_ASSIGNMENT <- '*='
312DIV_ASSIGNMENT <- '/='
313MOD_ASSIGNMENT <- '%='
314ARROW <- '->'
315#DOUBLE_ARROW <- '=>'
316RANGE <- '..'
317COLONCOLON <- '::'
318#DOUBLE_SEMICOLON <- ';;'
319#HASH <- '#'
320AT_NO_WS <- '@'
321AT_POST_WS <- '@' (Hidden / NL)
322AT_PRE_WS <- (Hidden / NL) '@'
323#AT_BOTH_WS <- (Hidden / NL) '@' (Hidden / NL)
324QUEST_WS <- '?' Hidden
325QUEST_NO_WS <- '?'
326LANGLE <- '<'
327RANGLE <- '>'
328LE <- '<='
329GE <- '>='
330EXCL_EQ <- '!='
331EXCL_EQEQ <- '!=='
332AS_SAFE <- 'as?'
333EQEQ <- '=='
334EQEQEQ <- '==='
335#SINGLE_QUOTE <- '\''
336
337# // SECTION: keywords
338RETURN_AT <- 'return@' Identifier
339CONTINUE_AT <- 'continue@' Identifier
340BREAK_AT <- 'break@' Identifier
341THIS_AT <- 'this@' Identifier
342SUPER_AT <- 'super@' Identifier
343FILE <- 'file' !(Letter / UnicodeDigit)
344FIELD <- 'field' !(Letter / UnicodeDigit)
345PROPERTY <- 'property' !(Letter / UnicodeDigit)
346GET <- 'get' !(Letter / UnicodeDigit)
347SET <- 'set' !(Letter / UnicodeDigit)
348RECEIVER <- 'receiver' !(Letter / UnicodeDigit)
349PARAM <- 'param' !(Letter / UnicodeDigit)
350SETPARAM <- 'setparam' !(Letter / UnicodeDigit)
351DELEGATE <- 'delegate' !(Letter / UnicodeDigit)
352PACKAGE <- 'package' !(Letter / UnicodeDigit)
353IMPORT <- 'import' !(Letter / UnicodeDigit)
354CLASS <- 'class' !(Letter / UnicodeDigit)
355INTERFACE <- 'interface' !(Letter / UnicodeDigit)
356FUN <- 'fun' !(Letter / UnicodeDigit)
357OBJECT <- 'object' !(Letter / UnicodeDigit)
358VAL <- 'val' !(Letter / UnicodeDigit)
359VAR <- 'var' !(Letter / UnicodeDigit)
360TYPE_ALIAS <- 'typealias' !(Letter / UnicodeDigit)
361CONSTRUCTOR <- 'constructor' !(Letter / UnicodeDigit)
362BY <- 'by' !(Letter / UnicodeDigit)
363COMPANION <- 'companion' !(Letter / UnicodeDigit)
364INIT <- 'init' !(Letter / UnicodeDigit)
365THIS <- 'this' !(Letter / UnicodeDigit)
366SUPER <- 'super' !(Letter / UnicodeDigit)
367TYPEOF <- 'typeof' !(Letter / UnicodeDigit)
368WHERE <- 'where' !(Letter / UnicodeDigit)
369IF <- 'if' !(Letter / UnicodeDigit)
370ELSE <- 'else' !(Letter / UnicodeDigit)
371WHEN <- 'when' !(Letter / UnicodeDigit)
372TRY <- 'try' !(Letter / UnicodeDigit)
373CATCH <- 'catch' !(Letter / UnicodeDigit)
374FINALLY <- 'finally' !(Letter / UnicodeDigit)
375FOR <- 'for' !(Letter / UnicodeDigit)
376DO <- 'do' !(Letter / UnicodeDigit)
377WHILE <- 'while' !(Letter / UnicodeDigit)
378THROW <- 'throw' !(Letter / UnicodeDigit)
379RETURN <- 'return' !(Letter / UnicodeDigit)
380CONTINUE <- 'continue' !(Letter / UnicodeDigit)
381BREAK <- 'break' !(Letter / UnicodeDigit)
382AS <- 'as' !(Letter / UnicodeDigit)
383IS <- 'is' !(Letter / UnicodeDigit)
384IN <- 'in' !(Letter / UnicodeDigit)
385NOT_IS <- '!is' !(Letter / UnicodeDigit)
386NOT_IN <- '!in' !(Letter / UnicodeDigit)
387OUT <- 'out' !(Letter / UnicodeDigit)
388DYNAMIC <- 'dynamic' !(Letter / UnicodeDigit)
389
390# // SECTION: lexicalModifiers
391PUBLIC <- 'public' !(Letter / UnicodeDigit)
392PRIVATE <- 'private' !(Letter / UnicodeDigit)
393PROTECTED <- 'protected' !(Letter / UnicodeDigit)
394INTERNAL <- 'internal' !(Letter / UnicodeDigit)
395ENUM <- 'enum' !(Letter / UnicodeDigit)
396SEALED <- 'sealed' !(Letter / UnicodeDigit)
397ANNOTATION <- 'annotation' !(Letter / UnicodeDigit)
398DATA <- 'data' !(Letter / UnicodeDigit)
399INNER <- 'inner' !(Letter / UnicodeDigit)
400TAILREC <- 'tailrec' !(Letter / UnicodeDigit)
401OPERATOR <- 'operator' !(Letter / UnicodeDigit)
402INLINE <- 'inline' !(Letter / UnicodeDigit)
403INFIX <- 'infix' !(Letter / UnicodeDigit)
404EXTERNAL <- 'external' !(Letter / UnicodeDigit)
405SUSPEND <- 'suspend' !(Letter / UnicodeDigit)
406OVERRIDE <- 'override' !(Letter / UnicodeDigit)
407ABSTRACT <- 'abstract' !(Letter / UnicodeDigit)
408FINAL <- 'final' !(Letter / UnicodeDigit)
409OPEN <- 'open' !(Letter / UnicodeDigit)
410CONST <- 'const' !(Letter / UnicodeDigit)
411LATEINIT <- 'lateinit' !(Letter / UnicodeDigit)
412VARARG <- 'vararg' !(Letter / UnicodeDigit)
413NOINLINE <- 'noinline' !(Letter / UnicodeDigit)
414CROSSINLINE <- 'crossinline' !(Letter / UnicodeDigit)
415REIFIED <- 'reified' !(Letter / UnicodeDigit)
416EXPECT <- 'expect' !(Letter / UnicodeDigit)
417ACTUAL <- 'actual' !(Letter / UnicodeDigit)
418
419# // SECTION: literals
420DecDigit <- [0-9]
421DecDigitNoZero <- [1-9]
422DecDigitOrSeparator <- DecDigit / '_'
423DecDigits <- DecDigit DecDigitOrSeparator* / DecDigit
424DoubleExponent <- [eE] [-+]? DecDigits
425RealLiteral <- FloatLiteral / DoubleLiteral
426FloatLiteral <- DoubleLiteral [fF] / DecDigits [fF]
427DoubleLiteral <- DecDigits? '.' DecDigits DoubleExponent? / DecDigits DoubleExponent
428IntegerLiteral <- DecDigitNoZero DecDigitOrSeparator* / DecDigit
429#IntegerLiteral <- DecDigitNoZero DecDigitOrSeparator* DecDigit / DecDigit
430HexDigit <- [0-9a-fA-F]
431HexDigitOrSeparator <- HexDigit / '_'
432HexLiteral <- '0' [xX] HexDigit HexDigitOrSeparator* / '0' [xX] HexDigit
433BinDigit <- [01]
434BinDigitOrSeparator <- BinDigit / '_'
435BinLiteral <- '0' [bB] BinDigit BinDigitOrSeparator* / '0' [bB] BinDigit
436UnsignedLiteral <- (HexLiteral / BinLiteral / IntegerLiteral) [uU] [lL]?
437LongLiteral <- (HexLiteral / BinLiteral / IntegerLiteral) [lL]
438BooleanLiteral <- 'true'/ 'false'
439NullLiteral <- 'null'
440CharacterLiteral <- '\'' (EscapeSeq / [^\n\r'\\]) '\''
441
442# // SECTION: lexicalIdentifiers
443#UnicodeDigit <- UNICODE_CLASS_ND
444Identifier <- '`' [^`\r\n]+ '`' / (Letter / '_') (Letter / '_' / UnicodeDigit)*
445IdentifierOrSoftKey <- Identifier / ABSTRACT / ANNOTATION / BY / CATCH / COMPANION / CONSTRUCTOR / CROSSINLINE / DATA / DYNAMIC / ENUM / EXTERNAL / FINAL / FINALLY / IMPORT / INFIX / INIT / INLINE / INNER / INTERNAL / LATEINIT / NOINLINE / OPEN / OPERATOR / OUT / OVERRIDE / PRIVATE / PROTECTED / PUBLIC / REIFIED / SEALED / TAILREC / VARARG / WHERE / GET / SET / FIELD / PROPERTY / RECEIVER / PARAM / SETPARAM / DELEGATE / FILE / EXPECT / ACTUAL / CONST / SUSPEND
446FieldIdentifier <- '$' IdentifierOrSoftKey
447UniCharacterLiteral <- '\\' 'u' HexDigit HexDigit HexDigit HexDigit
448EscapedIdentifier <- '\\' ('t' / 'b' / 'r' / 'n' / '\'' / '"' / '\\' / '$')
449EscapeSeq <- UniCharacterLiteral / EscapedIdentifier
450
451# // SECTION: characters
452Letter <- [\u0041-\u005A\u0061-\u007A\u00AA\u00B5\u00BA\u00C0-\u00D6\u00D8-\u00F6\u00F8-\u02C1\u02C6-\u02D1\u02E0-\u02E4\u02EC\u02EE\u0370-\u0374\u0376-\u0377\u037A-\u037D\u0386\u0388-\u038A\u038C\u038E-\u03A1\u03A3-\u03F5\u03F7-\u0481\u048A-\u0527\u0531-\u0556\u0559\u0561-\u0587\u05D0-\u05EA\u05F0-\u05F2\u0620-\u064A\u066E-\u066F\u0671-\u06D3\u06D5\u06E5-\u06E6\u06EE-\u06EF\u06FA-\u06FC\u06FF\u0710\u0712-\u072F\u074D-\u07A5\u07B1\u07CA-\u07EA\u07F4-\u07F5\u07FA\u0800-\u0815\u081A\u0824\u0828\u0840-\u0858\u08A0\u08A2-\u08AC\u0904-\u0939\u093D\u0950\u0958-\u0961\u0971-\u0977\u0979-\u097F\u0985-\u098C\u098F-\u0990\u0993-\u09A8\u09AA-\u09B0\u09B2\u09B6-\u09B9\u09BD\u09CE\u09DC-\u09DD\u09DF-\u09E1\u09F0-\u09F1\u0A05-\u0A0A\u0A0F-\u0A10\u0A13-\u0A28\u0A2A-\u0A30\u0A32-\u0A33\u0A35-\u0A36\u0A38-\u0A39\u0A59-\u0A5C\u0A5E\u0A72-\u0A74\u0A85-\u0A8D\u0A8F-\u0A91\u0A93-\u0AA8\u0AAA-\u0AB0\u0AB2-\u0AB3\u0AB5-\u0AB9\u0ABD\u0AD0\u0AE0-\u0AE1\u0B05-\u0B0C\u0B0F-\u0B10\u0B13-\u0B28\u0B2A-\u0B30\u0B32-\u0B33\u0B35-\u0B39\u0B3D\u0B5C-\u0B5D\u0B5F-\u0B61\u0B71\u0B83\u0B85-\u0B8A\u0B8E-\u0B90\u0B92-\u0B95\u0B99-\u0B9A\u0B9C\u0B9E-\u0B9F\u0BA3-\u0BA4\u0BA8-\u0BAA\u0BAE-\u0BB9\u0BD0\u0C05-\u0C0C\u0C0E-\u0C10\u0C12-\u0C28\u0C2A-\u0C33\u0C35-\u0C39\u0C3D\u0C58-\u0C59\u0C60-\u0C61\u0C85-\u0C8C\u0C8E-\u0C90\u0C92-\u0CA8\u0CAA-\u0CB3\u0CB5-\u0CB9\u0CBD\u0CDE\u0CE0-\u0CE1\u0CF1-\u0CF2\u0D05-\u0D0C\u0D0E-\u0D10\u0D12-\u0D3A\u0D3D\u0D4E\u0D60-\u0D61\u0D7A-\u0D7F\u0D85-\u0D96\u0D9A-\u0DB1\u0DB3-\u0DBB\u0DBD\u0DC0-\u0DC6\u0E01-\u0E30\u0E32-\u0E33\u0E40-\u0E46\u0E81-\u0E82\u0E84\u0E87-\u0E88\u0E8A\u0E8D\u0E94-\u0E97\u0E99-\u0E9F\u0EA1-\u0EA3\u0EA5\u0EA7\u0EAA-\u0EAB\u0EAD-\u0EB0\u0EB2-\u0EB3\u0EBD\u0EC0-\u0EC4\u0EC6\u0EDC-\u0EDF\u0F00\u0F40-\u0F47\u0F49-\u0F6C\u0F88-\u0F8C\u1000-\u102A\u103F\u1050-\u1055\u105A-\u105D\u1061\u1065-\u1066\u106E-\u1070\u1075-\u1081\u108E\u10A0-\u10C5\u10C7\u10CD\u10D0-\u10FA\u10FC-\u1248\u124A-\u124D\u1250-\u1256\u1258\u125A-\u125D\u1260-\u1288\u128A-\u128D\u1290-\u12B0\u12B2-\u12B5\u12B8-\u12BE\u12C0\u12C2-\u12C5\u12C8-\u12D6\u12D8-\u1310\u1312-\u1315\u1318-\u135A\u1380-\u138F\u13A0-\u13F4\u1401-\u166C\u166F-\u167F\u1681-\u169A\u16A0-\u16EA\u16EE-\u16F0\u1700-\u170C\u170E-\u1711\u1720-\u1731\u1740-\u1751\u1760-\u176C\u176E-\u1770\u1780-\u17B3\u17D7\u17DC\u1820-\u1877\u1880-\u18A8\u18AA\u18B0-\u18F5\u1900-\u191C\u1950-\u196D\u1970-\u1974\u1980-\u19AB\u19C1-\u19C7\u1A00-\u1A16\u1A20-\u1A54\u1AA7\u1B05-\u1B33\u1B45-\u1B4B\u1B83-\u1BA0\u1BAE-\u1BAF\u1BBA-\u1BE5\u1C00-\u1C23\u1C4D-\u1C4F\u1C5A-\u1C7D\u1CE9-\u1CEC\u1CEE-\u1CF1\u1CF5-\u1CF6\u1D00-\u1DBF\u1E00-\u1F15\u1F18-\u1F1D\u1F20-\u1F45\u1F48-\u1F4D\u1F50-\u1F57\u1F59\u1F5B\u1F5D\u1F5F-\u1F7D\u1F80-\u1FB4\u1FB6-\u1FBC\u1FBE\u1FC2-\u1FC4\u1FC6-\u1FCC\u1FD0-\u1FD3\u1FD6-\u1FDB\u1FE0-\u1FEC\u1FF2-\u1FF4\u1FF6-\u1FFC\u2071\u207F\u2090-\u209C\u2102\u2107\u210A-\u2113\u2115\u2119-\u211D\u2124\u2126\u2128\u212A-\u212D\u212F-\u2139\u213C-\u213F\u2145-\u2149\u214E\u2160-\u2188\u2C00-\u2C2E\u2C30-\u2C5E\u2C60-\u2CE4\u2CEB-\u2CEE\u2CF2-\u2CF3\u2D00-\u2D25\u2D27\u2D2D\u2D30-\u2D67\u2D6F\u2D80-\u2D96\u2DA0-\u2DA6\u2DA8-\u2DAE\u2DB0-\u2DB6\u2DB8-\u2DBE\u2DC0-\u2DC6\u2DC8-\u2DCE\u2DD0-\u2DD6\u2DD8-\u2DDE\u2E2F\u3005-\u3007\u3021-\u3029\u3031-\u3035\u3038-\u303C\u3041-\u3096\u309D-\u309F\u30A1-\u30FA\u30FC-\u30FF\u3105-\u312D\u3131-\u318E\u31A0-\u31BA\u31F0-\u31FF\u3400\u4DB5\u4E00\u9FCC\uA000-\uA48C\uA4D0-\uA4FD\uA500-\uA60C\uA610-\uA61F\uA62A-\uA62B\uA640-\uA66E\uA67F-\uA697\uA6A0-\uA6EF\uA717-\uA71F\uA722-\uA788\uA78B-\uA78E\uA790-\uA793\uA7A0-\uA7AA\uA7F8-\uA801\uA803-\uA805\uA807-\uA80A\uA80C-\uA822\uA840-\uA873\uA882-\uA8B3\uA8F2-\uA8F7\uA8FB\uA90A-\uA925\uA930-\uA946\uA960-\uA97C\uA984-\uA9B2\uA9CF\uAA00-\uAA28\uAA40-\uAA42\uAA44-\uAA4B\uAA60-\uAA76\uAA7A\uAA80-\uAAAF\uAAB1\uAAB5-\uAAB6\uAAB9-\uAABD\uAAC0\uAAC2\uAADB-\uAADD\uAAE0-\uAAEA\uAAF2-\uAAF4\uAB01-\uAB06\uAB09-\uAB0E\uAB11-\uAB16\uAB20-\uAB26\uAB28-\uAB2E\uABC0-\uABE2\uAC00\uD7A3\uD7B0-\uD7C6\uD7CB-\uD7FB\uF900-\uFA6D\uFA70-\uFAD9\uFB00-\uFB06\uFB13-\uFB17\uFB1D\uFB1F-\uFB28\uFB2A-\uFB36\uFB38-\uFB3C\uFB3E\uFB40-\uFB41\uFB43-\uFB44\uFB46-\uFBB1\uFBD3-\uFD3D\uFD50-\uFD8F\uFD92-\uFDC7\uFDF0-\uFDFB\uFE70-\uFE74\uFE76-\uFEFC\uFF21-\uFF3A\uFF41-\uFF5A\uFF66-\uFFBE\uFFC2-\uFFC7\uFFCA-\uFFCF\uFFD2-\uFFD7\uFFDA-\uFFDC]
453UnicodeDigit <- [\u0030-\u0039\u0660-\u0669\u06F0-\u06F9\u07C0-\u07C9\u0966-\u096F\u09E6-\u09EF\u0A66-\u0A6F\u0AE6-\u0AEF\u0B66-\u0B6F\u0BE6-\u0BEF\u0C66-\u0C6F\u0CE6-\u0CEF\u0D66-\u0D6F\u0E50-\u0E59\u0ED0-\u0ED9\u0F20-\u0F29\u1040-\u1049\u1090-\u1099\u17E0-\u17E9\u1810-\u1819\u1946-\u194F\u19D0-\u19D9\u1A80-\u1A89\u1A90-\u1A99\u1B50-\u1B59\u1BB0-\u1BB9\u1C40-\u1C49\u1C50-\u1C59\uA620-\uA629\uA8D0-\uA8D9\uA900-\uA909\uA9D0-\uA9D9\uAA50-\uAA59\uABF0-\uABF9\uFF10-\uFF19]
454
455# // SECTION: strings
456QUOTE_OPEN <- '"' !'""'
457TRIPLE_QUOTE_OPEN <- '"""'
458QUOTE_CLOSE <- '"'
459LineStrRef <- FieldIdentifier
460#LineStrText <- [^\\"$]+ / '$'
461LineStrText <- [^\\"$]+ / '$'
462LineStrEscapedChar <- EscapedIdentifier / UniCharacterLiteral
463LineStrExprStart <- '${'
464TRIPLE_QUOTE_CLOSE <- '"""""'/ '""""' / '"""'
465MultiLineStringQuote <- '""' !'"' / '"' !'""'
466MultiLineStrRef <- FieldIdentifier
467#MultiLineStrText <- !('"' / '$')+ / '$'
468MultiLineStrText <- [^"$]+ / '$'
469MultiLineStrExprStart <- '${'
470
471_ <- (WS / DelimitedComment / LineComment)+
472__ <- ([ \t\f\r\n] / DelimitedComment / LineComment)+
473WS <- [ \t\f]
474NL <- _* ('\n' / '\r' '\n'?) _*
475EOF <- !.
476
477%%
478#include "kotlin_post.h"
479