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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
%%%
%% Section 8.3: Field Declarations
%%
%% @author Martin Bravenboer <martin@cs.uu.nl>
%%%
module languages/java-14/classes/FieldDeclarations
imports
languages/java-14/lexical/Identifiers
languages/java-14/lexical/Modifiers
languages/java-14/types/Main
languages/java-14/arrays/ArrayInitializers
languages/java-14/expressions/Main
exports
sorts
FieldDec
VarDec
VarDecId
Dim
VarInit
context-free syntax
FieldMod* Type { VarDec ","}+ ";" -> FieldDec {cons("FieldDec")}
VarDecId -> VarDec {cons("VarDec")}
VarDecId "=" VarInit -> VarDec {cons("VarDec")}
Id -> VarDecId
Id Dim+ -> VarDecId {cons("ArrayVarDecId")}
"[" "]" -> Dim {cons("Dim")}
Expr -> VarInit
ArrayInit -> VarInit
sorts FieldMod
context-free syntax
Public -> FieldMod
Protected -> FieldMod
Private -> FieldMod
Static -> FieldMod
Final -> FieldMod
Transient -> FieldMod
Volatile -> FieldMod
|
