Skip to content

ParameterizedTypes.sdf3

pdmosses/java-front/lang.java/syntax/java/types/ParameterizedTypes.sdf3

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

module 

// 4.5. Parameterized Types

imports
  java/types/ReferenceTypes
  java/interfaces/Annotations 

context-free sorts

  
  TypeArgument
  WildCard

context-free syntax

  .TypeArguments = [<[{TypeArgument ", "}+]>]
  TypeArgument = ReferenceType
  TypeArgument = WildCard
  WildCard.WildCard = <<{Annotation " "}*> ?>
  WildCard.WildCardExtends = <<{Annotation " "}*> ? extends <ReferenceType>>
  WildCard.WildCardSuper = <<{Annotation " "}*> ? super <ReferenceType>>