test1.lst

编译原理课设

	3: 获取单词: int
	3: [标识] 内容为 main
	3: (
	3: )
	4: {
	5: 获取单词: int
	5: [标识] 内容为 a
	5: =
	5: [整数] 内容为 1
	5: ;
	6: 获取单词: int
	6: [标识] 内容为 b
	6: =
	6: [整数] 内容为 2
	6: ;
	7: 获取单词: if
	7: (
	7: [标识] 内容为 a
	7: >
	7: [整数] 内容为 0
	7: )
	8: {
	9: [标识] 内容为 a
	9: =
	9: [标识] 内容为 a
	9: +
	9: [标识] 内容为 b
	9: ;
	10: }
	11: 获取单词: else
	12: {
	13: [标识] 内容为 b
	13: =
	13: [标识] 内容为 b
	13: +
	13: [标识] 内容为 a
	13: ;
	14: }
	15: 获取单词: return
	15: [整数] 内容为 0
	15: ;
	16: }
	16: 未知标记: 0 个

语法树:
  函数定义 名称: main	(返回类型: 整型)
    复合声明 
      标识声明 变量类型: 整型
        分配空间
          变量: a
          整型常数: 1
      标识声明 变量类型: 整型
        分配空间
          变量: b
          整型常数: 2
      IF
        操作符: >
          变量: a
          整型常数: 0
        复合声明 
          分配空间
            变量: a
            操作符: +
              变量: a
              变量: b
        复合声明 
          分配空间
            变量: b
            操作符: +
              变量: b
              变量: a
      RETURN
        整型常数: 0

构建符号表...

函数表:

函数名         返回值类型
-------------  ----------
main           整型
参数
---------

符号表:

嵌套等级: 0
变量名         类型 && 偏移
-------------  ------------

嵌套等级: 1
变量名         类型 && 偏移
-------------  ------------
a              整型  -2
b              整型  -4

嵌套等级: 2
变量名         类型 && 偏移
-------------  ------------

嵌套等级: 2
变量名         类型 && 偏移
-------------  ------------

检查类型...

类型检查完毕!