モジュール その2

モジュール定義の詳細


モジュール識別子
DEFINITIONS ::=　　 
タグディフォルト
BEGIN
モジュール本体
END

モジュール識別子  ::= モジュール参照 割り当て識別子
割り当て識別子    ::= オブジェクト識別子値 | empty


タグデフォルト    ::= EXPLICIT TAGS | IMPLICIT TAGS | empty


モジュール本体         ::= Exports Imports AssignmentList | empty
Exports               ::= EXPORTS SymbolsExported; | empty
SymbolsExported       ::= SymbolList | empty
Imports               ::= IMPORTS SymbolsImported; | empty
SymbolsImported       ::= SymbolsFromModuleList | empty
SymbolsFromModuleList ::= SymbolsFromModule SymbolsFromModuleList | SymbolsFromModule
SymbolsFromModule     ::= SymbolList FROM モジュール識別子
SymbolList            ::= Symbol, SymbolList | Symbol
Symbol                ::= typereference | valuereference
AssignmentList        ::= Assignment AssignmentList | Assignment
Assignment            ::= TypeAssignment | ValueAssignment