C++/スクリプト/言語仕様/コンパイラ のバックアップ(No.2)

  0
  1

Module:
    ModuleDecl ModuleDef
    ModuleDecl ExternalModuleDecls ModuleDef

  0
  1
  2
  3
  4

ModuleDecl:
    "module" ModulePath ";"
 
ModulePath:
    NamespacePath "." SymbolName

  0
  1
  2
  3
  4
  5

NamespacePath:
    Namespace
    Namespace "." NamespacePath
 
Namespace:
    Identifier

  0
  1
  2
  3
  4

SymbolPath:
    SymbolName
    NamespacePath SymbolName
 
SymbolName:
    Identifier

  0
  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12

ExternalModuleDecls:
    ExternalModuleDecl
    ExternalModuleDecl ExternalModuleDecls
 
ExternalModuleDecl:
    ImportExternalModule
    UsingExternalModule
 
ImportExternalModule:
    "import" ModulePath ";"
 
UsingExternalModule
    "using" ModulePath ";"

  0
  1
  2
  3
  4
  5
  6
  7
  8
  9

ModuleDef:
    AliasDef
    ClassDef
    EnumDef
    InterfaceDef
    PodDef
    StructDef
    TypedefDef
    UtilityDef
 
# ただしModuleNameと同じ必要がある

  0
  1
  2

AliasDef:
    'alias' SymbolPath SymbolName
 
# ここのSymbolPathはstaticなシンボルに限定

  0
  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18

EnumDef:
    'enum' EnumAssignValueDef ';'
    'enum' EnumNoAssignValueDef ';'
    'enum' '{' EnumValueDefs '}' ';'
 
EnumValueDef:
    EnumAssignValueDef
    EnumNoAssignValueDef
 
EnumAssignValueDef:
    SymbolName '=' Expression
 
EnumNoAssignValueDef:
    SymbolName
 
EnumValueDefs:
    EnumValueDef
    EnumValueDef ','
    EnumValueDef ',' EnumValueDefs

  0
  1
  2

TypedefDef:
    'typedef' SymbolPath SymbolName
 
# ここのSymbolPathはstaticなシンボルに限定