访问【WRITE-BUG数字空间】_[内附完整源码和文档]

语义分析本质上就是在语法分析的基础上进一步完善分析的功能。举个例子来说，在语法分析部分的 if_stmt 函数中，在语义上判断条件必须返回布尔类型的值，因此我们加入一个判断，判断是否结果为布尔类型，如果不是的话就抛出异常。

一、关键词(KEY)
Tiny+ 中可能出现的关键词包括以下这些

// 定义语法中所有可能出现的关键词
bool Token::is_KEY(string& str) {
return str == “true” || str == “false” || str == “or” ||
str == “and” || str == “not” || str == “int” ||
str == “bool” || str == “string” || str == “while” ||
str == “do” || str == “if” || str == “then” ||
str == “else” || str == “end” || str == “repeat”
|| str == “until” || str == “read” || str == “write”;
}
二、特殊符号(SYM)
常见特殊符号包括以下这些，其中注释用大括号包括。

// 判断是否为特殊符号
bool LexicalAnalysis::is_special_symbol(char c) {
return c == ‘:’ || c == ‘,’ || c == ‘;’ ||
c == ‘<’ || c == ‘>’ || c == ‘=’ ||
c == ‘+’ || c == ‘-’ || c == ‘*’ ||
c == ‘/’ || c == ‘(’ || c == ‘)’ ||
c == ‘{’ || c == ‘}’;
}
其中单引号包括起来的是字符串，需要特殊考虑。在处理单引号包括的内容时，我们不做任何处理，并维持当前单引号状态

三、标识符(ID)
标识符由非数字开头的字符串，用来代表变量名等。

四、空白(blank)
Tiny 中常见空白包括：空格（0x20）、水平制表（0x09）、垂直制表（0x0B）、换页（0x0C）、回车（0x0D）和换行符（0x0A）

语义分析实验
一、实验目的
语义分析本质上就是在语法分析的基础上进一步完善分析的功能。举个例子来说，在语法分析部分的 if_stmt 函数中，在语义上判断条件必须返回布尔类型的值，因此我们加入一个判断，判断是否结果为布尔类型，如果不是的话就抛出异常。