Skip to content

FieldDeclarations.sdf3

pdmosses/java-front/lang.java/syntax/java/classes/FieldDeclarations.sdf3

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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
module 

// 8.3. Field Declarations

imports
  java/lexical/Identifiers
  java/lexical/Modifiers
  java/types/ReferenceTypes
  java/types/PrimitiveTypes
  java/types/ParameterizedTypes
  java/interfaces/Annotations
  java/arrays/ArrayInitializers
  java/expressions/Main

context-free sorts

  FieldDeclaration
  
  
  
  FieldModifier
  
  
  UnannReferenceType
  
  UnannArrayType

context-free syntax

  FieldDeclaration.FieldDecl = <<{FieldModifier " "}*> <UnannType> <{VarDecl ", "}+>;>
  .VariableDecl      = Id
  .VariableDeclArray = <<Id><AnnotatedDim+>>
  .VariableDeclInit    = <<VarDeclId> = <VariableInitializer>>
                       = VarDeclId

   = Expression
   = ArrayInitializer

  FieldModifier = Annotation
  FieldModifier = Public
  FieldModifier = Protected
  FieldModifier = Private
  FieldModifier = Static
  FieldModifier = Final
  FieldModifier = Transient
  FieldModifier = Volatile

context-free syntax  

   = UnannPrimitiveType
   = UnannReferenceType

  .NumericType = NumericType
  .BooleanType = "boolean"

  UnannReferenceType = UnannClassType
  UnannReferenceType = UnannArrayType

  .ClassType                       = <<Id><TypeArguments?>>
  .UnannClassOrInterfaceTypeMember = <<UnannClassType>.<{Annotation " "}*> <Id><TypeArguments?>>

//  ambiguous with UnannClassType.ClassType
//  UnannTypeVariable.TypeVar            = Id

  UnannArrayType.UnannArrayTypePrimitive    = <<UnannPrimitiveType> <AnnotatedDim+>>
  UnannArrayType.UnannArrayTypeClassType    = <<UnannClassType> <AnnotatedDim+>>