词法分析
本模块有2个函数：函数getch获取单个字符。 函数getsym识别保留字、变量标识符、常数、特殊符号等。（验证时间约 786sec）
[Back to Index]
验证特点：变量不变式，宏定义，带命名行为的函数协议
标注说明：1. getch函数验证的性质：getch执行结束时，全局变量ch的值是缓冲区line中下标为cc的元素。
2. getsym函数验证的性质：getsym执行结束时，全局变量sym的值是下一个单词（幽灵数组symStream中下标为\old(symStreamIndex) + 1的元素）。
程序样例
