test2.lst

编译原理课设

	3: 获取单词: int
	3: [标识] 内容为 g
	3: ;
	5: 获取单词: void
	5: [标识] 内容为 hello
	5: (
	5: 获取单词: char
	5: [标识] 内容为 c
	5: ,
	5: 获取单词: char
	5: [标识] 内容为 d
	5: )
	6: {
	7: 获取单词: int
	7: [标识] 内容为 e
	7: ,
	7: [标识] 内容为 f
	7: ,
	7: [标识] 内容为 g
	7: ;
	8: [标识] 内容为 c
	8: =
	8: [字串] 内容为 'b'
	8: ;
	9: [标识] 内容为 d
	9: =
	9: [字串] 内容为 'e'
	9: ;
	10: }
	12: 获取单词: int
	12: [标识] 内容为 main
	12: (
	12: )
	13: {
	14: 获取单词: int
	14: [标识] 内容为 a
	14: =
	14: [整数] 内容为 10
	14: ;
	15: 获取单词: float
	15: [标识] 内容为 b
	15: =
	15: [整数] 内容为 1
	15: ;
	16: 获取单词: char
	16: [标识] 内容为 c
	16: =
	16: [标识] 内容为 a
	16: ;
	18: 获取单词: while
	18: (
	18: [标识] 内容为 a
	18: >
	18: [整数] 内容为 1
	18: )
	19: {
	20: 获取单词: int
	20: [标识] 内容为 i
	20: =
	20: [整数] 内容为 1
	20: ;
	21: 获取单词: if
	21: (
	21: [标识] 内容为 a
	21: >
	21: [整数] 内容为 2
	21: )
	22: {
	23: 获取单词: int
	23: [标识] 内容为 j
	23: ,
	23: [标识] 内容为 k
	23: ;
	24: [标识] 内容为 a
	24: =
	24: [标识] 内容为 a
	24: -
	24: [整数] 内容为 1
	24: ;
	25: }
	26: 获取单词: else
	27: [标识] 内容为 a
	27: =
	27: [标识] 内容为 a
	27: +
	27: [整数] 内容为 1
	27: ;
	28: 获取单词: while
	28: (
	28: [标识] 内容为 a
	28: ==
	28: [整数] 内容为 1
	28: )
	29: {
	30: [标识] 内容为 c
	30: =
	30: [字串] 内容为 'b'
	30: ;
	31: }
	32: }
	33: 获取单词: return
	33: [整数] 内容为 0
	33: ;
	34: }
	34: 未知标记: 0 个

语法树:
  标识声明 变量类型: 整型
    变量: g
  函数定义 名称: hello	(返回类型: 无值型)
    参数声明 参数类型: 字符型
    参数声明 参数类型: 字符型
    复合声明 
      标识声明 变量类型: 整型
        变量: e
        变量: f
        变量: g
      分配空间
        变量: c
        字符常数: b
      分配空间
        变量: d
        字符常数: e
  函数定义 名称: main	(返回类型: 整型)
    复合声明 
      标识声明 变量类型: 整型
        分配空间
          变量: a
          整型常数: 10
      标识声明 变量类型: 实型
        分配空间
          变量: b
          整型常数: 1
      标识声明 变量类型: 字符型
        分配空间
          变量: a
          变量: a
      WHILE
        操作符: >
          变量: a
          整型常数: 1
        复合声明 
          标识声明 变量类型: 整型
            分配空间
              变量: i
              整型常数: 1
          IF
            操作符: >
              变量: a
              整型常数: 2
            复合声明 
              标识声明 变量类型: 整型
                变量: j
                变量: k
              分配空间
                变量: a
                操作符: -
                  变量: a
                  整型常数: 1
            分配空间
              变量: a
              操作符: +
                变量: a
                整型常数: 1
          WHILE
            操作符: ==
              变量: a
              整型常数: 1
            复合声明 
              分配空间
                变量: c
                字符常数: b
      RETURN
        整型常数: 0

构建符号表...

函数表:

函数名         返回值类型
-------------  ----------
hello          无值型
参数
---------
c 字符型  14
d 字符型  16

函数表:

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

符号表:

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

嵌套等级: 1
变量名         类型 && 偏移
-------------  ------------
e              整型  -2
f              整型  -4
g              整型  -6

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

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

嵌套等级: 3
变量名         类型 && 偏移
-------------  ------------
j              整型  -2
k              整型  -4

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

检查类型...
类型错误在第 30 行
类型错误在第 30 行

类型检查完毕!