1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
%%%
%% Section 4.5: Parameterized Types
%%
%% @author Martin Bravenboer <martin@cs.uu.nl>
%%%
module languages/java-15/types/ParameterizedTypes
imports
languages/java-15/types/ReferenceTypes
exports
sorts
TypeArgs
ActualTypeArg
WildcardBound
context-free syntax
"<" {ActualTypeArg ","}+ ">" -> TypeArgs {cons("TypeArgs")}
Type -> ActualTypeArg
"?" WildcardBound? -> ActualTypeArg {cons("Wildcard")}
"extends" RefType -> WildcardBound {cons("WildcardUpperBound")}
"super" RefType -> WildcardBound {cons("WildcardLowerBound")}
|
