parser grammar JavaParser;

options {

tokenVocab = JavaLexer;

}

: packageDeclaration? (importDeclaration | ';')* (typeDeclaration | ';')* EOF

| moduleDeclaration EOF

;

: annotation* PACKAGE qualifiedName ';'

;

: IMPORT STATIC? qualifiedName ('.' '*')? ';'

;

: classOrInterfaceModifier* (

classDeclaration

| enumDeclaration

| interfaceDeclaration

| annotationTypeDeclaration

| recordDeclaration

)

;

: classOrInterfaceModifier

| NATIVE

| SYNCHRONIZED

| TRANSIENT

| VOLATILE

;

: annotation

| PUBLIC

| PROTECTED

| PRIVATE

| STATIC

| ABSTRACT

| FINAL // FINAL for class only -- does not apply to interfaces

| STRICTFP

| SEALED // Java17

| NON_SEALED // Java17

;

: FINAL

| annotation

;

: CLASS identifier typeParameters? (EXTENDS typeType)? (IMPLEMENTS typeList)? (

PERMITS typeList

)? // Java17

classBody

;

: '<' typeParameter (',' typeParameter)* '>'

;

: annotation* identifier (EXTENDS annotation* typeBound)?

;

: typeType ('&' typeType)*

;

: ENUM identifier (IMPLEMENTS typeList)? '{' enumConstants? ','? enumBodyDeclarations? '}'

;

: enumConstant (',' enumConstant)*

;

: annotation* identifier arguments? classBody?

;

: ';' classBodyDeclaration*

;

: INTERFACE identifier typeParameters? (EXTENDS typeList)? (PERMITS typeList)? interfaceBody

;

: '{' classBodyDeclaration* '}'

;

: '{' interfaceBodyDeclaration* '}'

;

: ';'

| STATIC? block

| modifier* memberDeclaration

;

: recordDeclaration //Java17

| methodDeclaration

| genericMethodDeclaration

| fieldDeclaration

| constructorDeclaration

| genericConstructorDeclaration

| interfaceDeclaration

| annotationTypeDeclaration

| classDeclaration

| enumDeclaration

;

: typeTypeOrVoid identifier formalParameters ('[' ']')* (THROWS qualifiedNameList)? methodBody

;

: block

| ';'

;

: typeType

| VOID

;

: typeParameters methodDeclaration

;

: typeParameters constructorDeclaration

;

: identifier formalParameters (THROWS qualifiedNameList)? constructorBody = block

;

: modifier* identifier constructorBody = block

;

: typeType variableDeclarators ';'

;

: modifier* interfaceMemberDeclaration

| ';'

;

: recordDeclaration // Java17

| constDeclaration

| interfaceMethodDeclaration

| genericInterfaceMethodDeclaration

| interfaceDeclaration

| annotationTypeDeclaration

| classDeclaration

| enumDeclaration

;

: typeType constantDeclarator (',' constantDeclarator)* ';'

;

: identifier ('[' ']')* '=' variableInitializer

;

: interfaceMethodModifier* interfaceCommonBodyDeclaration

;

: annotation

| PUBLIC

| ABSTRACT

| DEFAULT

| STATIC

| STRICTFP

;

: interfaceMethodModifier* typeParameters interfaceCommonBodyDeclaration

;

: annotation* typeTypeOrVoid identifier formalParameters ('[' ']')* (THROWS qualifiedNameList)? methodBody

;

: variableDeclarator (',' variableDeclarator)*

;

: variableDeclaratorId ('=' variableInitializer)?

;

: identifier ('[' ']')*

;

: arrayInitializer

| expression

;

: '{' (variableInitializer (',' variableInitializer)* ','?)? '}'

;

: (identifier typeArguments? '.')* typeIdentifier typeArguments?

;

: typeType

| annotation* '?' ((EXTENDS | SUPER) typeType)?

;

: qualifiedName (',' qualifiedName)*

;

: '(' (

receiverParameter?

| receiverParameter (',' formalParameterList)?

| formalParameterList?

) ')'

;

: typeType (identifier '.')* THIS

;

: formalParameter (',' formalParameter)* (',' lastFormalParameter)?

| lastFormalParameter

;

: variableModifier* typeType variableDeclaratorId

;

: variableModifier* typeType annotation* '...' variableDeclaratorId

;

: lambdaLVTIParameter (',' lambdaLVTIParameter)*

;

: variableModifier* VAR identifier

;

: identifier ('.' identifier)*

;

: STRING_LITERAL

;

: MULTI_STRING_LIT

;

: baseStringLiteral

| multilineStringLiteral

;

: integerLiteral

| floatLiteral

| CHAR_LITERAL

| stringLiteral

| BOOL_LITERAL

| NULL_LITERAL

| TEXT_BLOCK // Java17

;

: DECIMAL_LITERAL

| HEX_LITERAL

| OCT_LITERAL

| BINARY_LITERAL

;

: FLOAT_LITERAL

| HEX_FLOAT_LITERAL

;

: (identifier DOT)* '@' identifier

;

: ('@' qualifiedName | altAnnotationQualifiedName) (

'(' ( elementValuePairs | elementValue)? ')'

)?

;

: elementValuePair (',' elementValuePair)*

;

: identifier '=' elementValue

;

: expression

| annotation

| elementValueArrayInitializer

;

: '{' (elementValue (',' elementValue)*)? ','? '}'

;

: '@' INTERFACE identifier annotationTypeBody

;

: '{' annotationTypeElementDeclaration* '}'

;

: modifier* annotationTypeElementRest

| ';' // this is not allowed by the grammar, but apparently allowed by the actual compiler

;

: typeType annotationMethodOrConstantRest ';'

| classDeclaration ';'?

| interfaceDeclaration ';'?

| enumDeclaration ';'?

| annotationTypeDeclaration ';'?

| recordDeclaration ';'? // Java17

;

: annotationMethodRest

| annotationConstantRest

;

: identifier '(' ')' defaultValue?

;

: variableDeclarators

;

: DEFAULT elementValue

;

: OPEN? MODULE qualifiedName moduleBody

;

: '{' moduleDirective* '}'

;

: REQUIRES requiresModifier* qualifiedName ';'

| EXPORTS qualifiedName (TO qualifiedName)? ';'

| OPENS qualifiedName (TO qualifiedName)? ';'

| USES qualifiedName ';'

| PROVIDES qualifiedName WITH qualifiedName ';'

;

: TRANSITIVE

| STATIC

;

: RECORD identifier typeParameters? recordHeader (IMPLEMENTS typeList)? recordBody

;

: '(' recordComponentList? ')'

;

: recordComponent (',' recordComponent)*

;

: typeType identifier

;

: '{' (classBodyDeclaration | compactConstructorDeclaration)* '}'

;

: '{' blockStatement* '}'

;

: localVariableDeclaration ';'

| localTypeDeclaration

| statement

;

: variableModifier* (VAR identifier '=' expression | typeType variableDeclarators)

;

: IDENTIFIER

| MODULE

| OPEN

| REQUIRES

| EXPORTS

| OPENS

| TO

| USES

| PROVIDES

| WITH

| TRANSITIVE

| YIELD

| SEALED

| PERMITS

| RECORD

| VAR

;

typeIdentifier // Identifiers that are not restricted for type declarations

: IDENTIFIER

| MODULE

| OPEN

| REQUIRES

| EXPORTS

| OPENS

| TO

| USES

| PROVIDES

| WITH

| TRANSITIVE

| SEALED

| PERMITS

| RECORD

;

: classOrInterfaceModifier* (classDeclaration | interfaceDeclaration | recordDeclaration)

;

: blockLabel = block

| ASSERT expression (':' expression)? ';'

| IF parExpression statement (ELSE statement)?

| FOR '(' forControl ')' statement

| WHILE parExpression statement

| DO statement WHILE parExpression ';'

| TRY block (catchClause+ finallyBlock? | finallyBlock)

| TRY resourceSpecification block catchClause* finallyBlock?

| SWITCH parExpression '{' switchBlockStatementGroup* switchLabel* '}'

| SYNCHRONIZED parExpression block

| RETURN expression? ';'

| THROW expression ';'

| BREAK identifier? ';'

| CONTINUE identifier? ';'

| YIELD expression ';' // Java17

| SEMI

| statementExpression = expression ';'

| switchExpression ';'? // Java17

| identifierLabel = identifier ':' statement

;

: CATCH '(' variableModifier* catchType identifier ')' block

;

: qualifiedName ('|' qualifiedName)*

;

: FINALLY block

;

: '(' resources ';'? ')'

;

: resource (';' resource)*

;

: variableModifier* (classOrInterfaceType variableDeclaratorId | VAR identifier) '=' expression

| qualifiedName

;

: switchLabel+ blockStatement+

;

: CASE (

constantExpression = expression

| enumConstantName = IDENTIFIER

| typeType varName = identifier

) ':'

| DEFAULT ':'

;

: enhancedForControl

| forInit? ';' expression? ';' forUpdate = expressionList?

;

: localVariableDeclaration

| expressionList

;

: variableModifier* (typeType | VAR) variableDeclaratorId ':' expression

;

: '(' expression ')'

;

: expression (',' expression)*

;

: (identifier | THIS | SUPER) arguments

;

// Expression order in accordance with https://introcs.cs.princeton.edu/java/11precedence/

// Level 16, Primary, array and member access

: primary #PrimaryExpression

| expression '[' expression ']' #SquareBracketExpression

| expression bop = '.' (

identifier

| methodCall

| THIS

| NEW nonWildcardTypeArguments? innerCreator

| SUPER superSuffix

| explicitGenericInvocation

) #MemberReferenceExpression

// Method calls and method references are part of primary, and hence level 16 precedence

| methodCall #MethodCallExpression

| expression '::' typeArguments? identifier #MethodReferenceExpression

| typeType '::' (typeArguments? identifier | NEW) #MethodReferenceExpression

| classType '::' typeArguments? NEW #MethodReferenceExpression

// Java17

| switchExpression #ExpressionSwitch

// Level 15 Post-increment/decrement operators

| expression postfix = ('++' | '--') #PostIncrementDecrementOperatorExpression

// Level 14, Unary operators

| prefix = ('+' | '-' | '++' | '--' | '~' | '!') expression #UnaryOperatorExpression

// Level 13 Cast and object creation

| '(' annotation* typeType ('&' typeType)* ')' expression #CastExpression

| NEW creator #ObjectCreationExpression

// Level 12 to 1, Remaining operators

// Level 12, Multiplicative operators

| expression bop = ('*' | '/' | '%') expression #BinaryOperatorExpression

// Level 11, Additive operators

| expression bop = ('+' | '-') expression #BinaryOperatorExpression

// Level 10, Shift operators

| expression ('<' '<' | '>' '>' '>' | '>' '>') expression #BinaryOperatorExpression

// Level 9, Relational operators

| expression bop = ('<=' | '>=' | '>' | '<') expression #BinaryOperatorExpression

| expression bop = INSTANCEOF (typeType | pattern) #InstanceOfOperatorExpression

// Level 8, Equality Operators

| expression bop = ('==' | '!=') expression #BinaryOperatorExpression

// Level 7, Bitwise AND

| expression bop = '&' expression #BinaryOperatorExpression

// Level 6, Bitwise XOR

| expression bop = '^' expression #BinaryOperatorExpression

// Level 5, Bitwise OR

| expression bop = '|' expression #BinaryOperatorExpression

// Level 4, Logic AND

| expression bop = '&&' expression #BinaryOperatorExpression

// Level 3, Logic OR

| expression bop = '||' expression #BinaryOperatorExpression

// Level 2, Ternary

| <assoc = right> expression bop = '?' expression ':' expression #TernaryExpression

// Level 1, Assignment

| <assoc = right> expression bop = (

'='

| '+='

| '-='

| '*='

| '/='

| '&='

| '|='

| '^='

| '>>='

| '>>>='

| '<<='

| '%='

) expression #BinaryOperatorExpression

// Level 0, Lambda Expression // Java8

| lambdaExpression #ExpressionLambda

;

: variableModifier* typeType annotation* identifier

;

: lambdaParameters '->' lambdaBody

;

: identifier

| '(' formalParameterList? ')'

| '(' identifier (',' identifier)* ')'

| '(' lambdaLVTIList? ')'

;

: expression

| block

;

: '(' expression ')'

| THIS

| SUPER

| literal

| identifier

| typeTypeOrVoid '.' CLASS

| nonWildcardTypeArguments (explicitGenericInvocationSuffix | THIS arguments)

;

: SWITCH parExpression '{' switchLabeledRule* '}'

;

: CASE (expressionList | NULL_LITERAL | guardedPattern) (ARROW | COLON) switchRuleOutcome

| DEFAULT (ARROW | COLON) switchRuleOutcome

;

: '(' guardedPattern ')'

| variableModifier* typeType annotation* identifier ('&&' expression)*

| guardedPattern '&&' expression

;

: block

| blockStatement*

;

: (classOrInterfaceType '.')? annotation* identifier typeArguments?

;

: nonWildcardTypeArguments? createdName classCreatorRest

| createdName arrayCreatorRest

;

: identifier typeArgumentsOrDiamond? ('.' identifier typeArgumentsOrDiamond?)*

| primitiveType

;

: identifier nonWildcardTypeArgumentsOrDiamond? classCreatorRest

;

: ('[' ']')+ arrayInitializer

| ('[' expression ']')+ ('[' ']')*

;

: arguments classBody?

;

: nonWildcardTypeArguments explicitGenericInvocationSuffix

;

: '<' '>'

| typeArguments

;

: '<' '>'

| nonWildcardTypeArguments

;

: '<' typeList '>'

;

: typeType (',' typeType)*

;

: annotation* (classOrInterfaceType | primitiveType) (annotation* '[' ']')*

;

: BOOLEAN

| CHAR

| BYTE

| SHORT

| INT

| LONG

| FLOAT

| DOUBLE

;

: '<' typeArgument (',' typeArgument)* '>'

;

: arguments

| '.' typeArguments? identifier arguments?

;

: SUPER superSuffix

| identifier arguments

;

: '(' expressionList? ')'

;