parser syntax in Time_specification package

Technical (archive)
1

Which syntax is used in the parse specifications in the time_specification
Package? (For example Data Types Information Model Rev 2.1.0 in section
8.2.2.1)

I have seen that Backus–Naur form (BNF) is used in some other places in
the specification. However, the parse specifications in the
Time_specification package does not look like BNF.

/Björn