Java注解语法

Question

是否有 BNF 或 EBNF 描述 Java 注释的语法？

Answer 1

Java相关语法的权威来源当然是JLS。

JLS 18.1 Java 编程语言语法

Annotations:
        Annotation [Annotations]

Annotation:
        @ TypeName [( [Identifier =] ElementValue)]

ElementValue:
        ConditionalExpression
        Annotation
        ElementValueArrayInitializer

... rest ommitted

Answer 2

`/* 注释语法如下。 */

注解 ::= NormalAnnotation
|单成员注释
|标记注释
NormalAnnotation ::= "@" 名称 "(" ( MemberValuePairs )? ")"
MarkerAnnotation ::= "@" 名称
SingleMemberAnnotation ::= "@" 名称 "(" MemberValue ")"
MemberValuePairs ::= MemberValuePair ( "," MemberValuePair )*
会员值对 ::= "= 会员值
成员值 ::= 注释
|成员值数组初始化器
|条件表达式
MemberValueArrayInitializer ::= "{" ( MemberValue ( "," MemberValue )* ( "," )? )? "}"

/* 注释类型。 */

AnnotationTypeDeclaration ::= "@" "interface" AnnotationTypeBody
AnnotationTypeBody ::= "{" ( AnnotationTypeMemberDeclaration )* "}"
AnnotationTypeMemberDeclaration ::= 修饰符 ( 类型 "(" ")" ( DefaultValue )? ";" | ClassOrInterfaceDeclaration | EnumDeclaration | AnnotationTypeDeclaration | FieldDeclaration )
| (“;”)
DefaultValue ::= "default" MemberValue` 从这里。另请参阅他的 博客发布。

Answer 3

Java语言语法

1. 任何类型都可以以[Annotations]为前缀：

   <代码>类型：
   [注释] 标识符 [TypeArguments] {.标识符 [TypeArguments]} {[]}
   [Annotations] BasicType

2. 要允许在数组级别上进行注释（在声明中，而不是构造函数中），请将“{[]}”更改为“{[Annotations] []}”。 （在 JLS [GJSB00] 第二版中，这被抽象为“BracketsOpt”。）例如：

类型：
[注释] 标识符 [TypeArguments]{ .标识符 [TypeArguments]} {[注释] []}
[注释] BasicType

还允许对可变参数进行注释 (...)：
形式参数声明剩余：
VariableDeclaratorId [, FormalParameterDecls]
[Annotations] ... VariableDeclaratorId

3. 通过将“FormalParameters”（它出现在语法中的所有 5 个位置）的使用更改为“FormalParameters [Annotations]”，注释可能会出现在接收器类型上。例如：

   VoidMethodDeclaratorRest：
FormalParameters [Annotations] [throws QualifiedIdentifierList] ( MethodBody | ; )

Answer 4

这是来自官方的 Java 注解的 ANTLRv4 语法（用法和定义）ANTLR GitHub 存储库。

注解使用语法：

altAnnotationQualifiedName
    : (IDENTIFIER DOT)* '@' IDENTIFIER
    ;


annotation
    : ('@' qualifiedName | altAnnotationQualifiedName) ('(' ( elementValuePairs | elementValue )? ')')?
    ;


elementValuePairs
    : elementValuePair (',' elementValuePair)*
    ;


elementValuePair
    : IDENTIFIER '=' elementValue
    ;


elementValue
    : expression
    | annotation
    | elementValueArrayInitializer
    ;


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

注解声明语法：

annotationTypeDeclaration
    : '@' INTERFACE IDENTIFIER annotationTypeBody
    ;


annotationTypeBody
    : '{' (annotationTypeElementDeclaration)* '}'
    ;


annotationTypeElementDeclaration
    : modifier* annotationTypeElementRest
    | ';' // this is not allowed by the grammar, but apparently allowed by the actual compiler
    ;


annotationTypeElementRest
    : typeType annotationMethodOrConstantRest ';'
    | classDeclaration ';'?
    | interfaceDeclaration ';'?
    | enumDeclaration ';'?
    | annotationTypeDeclaration ';'?
    ;


annotationMethodOrConstantRest
    : annotationMethodRest
    | annotationConstantRest
    ;


annotationMethodRest
    : IDENTIFIER '(' ')' defaultValue?
    ;


annotationConstantRest
    : variableDeclarators
    ;


defaultValue
    : DEFAULT elementValue
    ;