254 | | cmd_line_opts information about the command line options |
255 | | (see src/main/cmd_line_opts.py for more details) |
256 | | perf_params a table that maps each performance parameter to its value |
257 | | module_body_code the code inside the module body block |
258 | | line_no the starting line position of the module code in the source code |
259 | | indent_size an integer representing the number of space characters used in the |
260 | | indentation of the leader annotation |
261 | | annot_body_code the code contained in the annotation body block |
| 254 | perf_params a table that maps each performance parameter to its value |
| 255 | module_body_code the code inside the module body block |
| 256 | annot_body_code the code contained in the annotation body block |
| 257 | cmd_line_opts information about the command line options |
| 258 | (see src/main/cmd_line_opts.py for more details) |
| 259 | line_no the starting line position of the module code in the source code |
| 260 | indent_size an integer representing the number of whitespace characters that |
| 261 | preceed the leader annotation |