grammar/src/attributes.grm - third_party/github/JetBrains/kotlin - Git at Google

 /**
 ## Annotations
 */

 annotations
   : annotation*
   ;

 annotation
   : "[" annotationEntry+ "]"
   : annotationEntry
   ;

 annotationEntry
   : SimpleName{"."} typeArguments? valueArguments?
   ;
	/**
	## Annotations
	*/

	annotations
	: annotation*
	;

	annotation
	: "[" annotationEntry+ "]"
	: annotationEntry
	;

	annotationEntry
	: SimpleName{"."} typeArguments? valueArguments?
	;