1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
%%%
%% Section 15.10: Array Creation Expressions
%%
%% @author Martin Bravenboer <martin@cs.uu.nl>
%%%
module languages/java-15/expressions/ArrayCreation
imports
languages/java-15/expressions/Main
exports
sorts
ArrayCreationExpr
ArrayBaseType
Dim
DimExpr
context-free syntax
ArrayCreationExpr -> Expr
"new" ArrayBaseType DimExpr+ Dim* -> ArrayCreationExpr {cons("NewArray")}
"new" ArrayBaseType Dim+ ArrayInit -> ArrayCreationExpr {cons("NewArray")}
PrimType -> ArrayBaseType
TypeName -> ArrayBaseType
TypeName "<" "?" ">" -> ArrayBaseType {cons("UnboundWld")}
"[" Expr "]" -> DimExpr {cons("Dim")}
"[" "]" -> Dim {cons("Dim")}
|
