TimeStamp ::= GeneralizeTime
In addition, error annotations (red boxes) appear in the overview ruler positioned on the right hand side of the editor. These error annotations indicate that the compilation unit is currently not correct. If you hover over the second red box, a tool tip appears: GeneralizeTime cannot be resolved to a type, which is correct since we miss-spell the GeneralizedTime to GeneralizeTime.
TimeStamp ::= GeneralizeTimewith:
TimeStamp ::= GeneralizedTime
Next Section: 格式化您的代码