Embedded Software System Testing

Appendix 2 Semantics and Usage of RT-ESTDL

A2.1 Lexical Rules

1. Whitespace and notes

   In RT-ESTDL, white space is used to separate adjacent identifiers, keywords and constants in the program, mainly including spaces, tabs, line breaks, page breaks and comments.

   In RT-ESTDL, comments can appear between any two tokens, and the following three forms of comment statements can be supported:

   •  C language style notes, such as / * @ Hello word! * /, Multi line comments can be supported;
   • C++ style comments, single line comments starting with / /;

2. Identifier

   In RT-ESTDL, the identifier consists of letters and numbers, and the requirements are as follows: the first character must be a letter; Underscores are also used as letters; Case sensitive; The identifier ...