Python写个Basic解析器（1）解析全局变量声明。

def _make_dim(self):
while True:
'''
变量必须是一个标识符，但如使用了某个保留的关键字
将引起一个错误。
'''
if self._reader.type == BSCTK_KEYWORD:
return 0x80000010
'''
变量必须是一个标识符所以它不能是关键字也不能是操作符。
'''
if self._reader.type != BSCTK_IDENT:
return 0x80000027
'''
如果变量名已经使用过则出错防止变量名冲突。
'''
if self._vars.index(self._reader.name) != -1:
return 0x8000000f

'''
预先设定新变量的信息，保存变量名称。
'''
value = 0
array = None
type = VT_VARIANT
name = self._reader.name

if self._reader.next() == BSCTK_OPERATOR:
'''
先处理数组的维数部分，后面的类型声明可以共用。
如果是一个正大括号，这说明此变量是一个数组。
'''
if self._reader.value == BSCOP_OP:
array = []
while True:
'''
维数可能是个表达式，但必须是常数表达式所以其中不能包含有变量。
此值在通过计算后可以给出具体的数值。
'''
res, data = self._make_const_expr(int)
if res > 0:
return res
'''
插入数组的维数，如果目标数组是多维数组，那么array中
每个元素就是每个维数。
'''
array.append(data)
'''
如果是个多维数组，这里应该是操作符","，
将继续取下一个维值。
'''
if self._reader.type != BSCTK_OPERATOR or \
self._reader.value != BSCOP_COMMA:
break
'''
数组声明完毕，必须以反括号结尾，如果不是说明代码出错。
'''
if self._reader.value != BSCOP_CP:
return 0x80000034

'''
读取括号后面的标识符。
'''
self._reader.next()

if self._reader.type == BSCTK_KEYWORD:
'''
如果是关键字，那么必须是"AS"
'''
if self._reader.value != BSCOP_AS:
return 0x80000035

'''
"AS"后面也必须是类型关键字，因为还没有设计支持自定义变量，所以这里将报错。
'''
if self._reader.next() != BSCTK_KEYWORD:
return 0x80000025

'''
根据找到的变量关键字换成对应的变量索引。
'''
type = self._match_type(self._reader.value)
'''
这里可能将会有后续的改进使得能够支持自定义的类型。
目前是报错，因为还不支持自定义类型。
'''
if type == -1:
return 0x80000048
elif self._reader.type == BSCTK_OPERATOR:
'''
如果是操作符在变量名后面，我们需要解析此操作符，表示此变量为默认类型
默认类型VT_VARIANT没有任何类型描述信息，所以后面应该是","号。
'''
if self._reader.value == BSCOP_COMMA:
'''
如果是","表示此变量为默认类型，返回上一个符号","。
'''
type = VT_VARIANT
self._reader.back()
else:
'''
不是默认类型也不是数组，如果是嵌入的符号变量类型说明就给它对应的类型。
如果没有匹配到类型操作符就是错误。
'''
type = self._match_type(self._reader.value, False)
if type == -1:
return 0x80000025
else:
'''
变量标识符后面只能是类型声明关键字或操作符。除此之外应是语法错误。
'''
return 0x80000003

'''
将变量存入变量管理器。
'''
self._vars.set(name, array, value, type)

'''
读取变量类型描述符后面的记号，应该是换行或者","号。
'''
self._reader.next()

'''
否则是换行或文件结尾，表示所有变量声明解析完成所以退出循环。
'''
if self._reader.type == BSCTK_ENDL or \
self._reader.type == BSCTK_ENDF:
break

'''
如果是","号表示有多个变量声明它们之间的间隔必须是操作符","号。
'''
if self._reader.type == BSCTK_OPERATOR:
if self._reader.value == BSCOP_COMMA:
self._reader.next()
continue

'''
如果一个变量解析完后其后不是","操作符。
那么这应该是一个错误，无效类型描述符的错误。
'''
return 0x80000048

return 0