一个简单的C语言语法检查器的实现
我自己的实现方法的核心过程：首先用一个非终结符代表所有要检查的程序代码，然后根据文法将这个整体的符号不断展开，以拼凑成按检查的程序的顺序排列的终结符序列，能成功说明语法正确，否则有错误。
关键词：分词；First集；Select集；
目前还存在的问题：
1.因为同一个非终结符->终结符的转化可能有多种解释，所以目前我的非终结符展开这里是用递归写的，因此不能定位具体错在哪里。
2.int a={1,2};int a[2]={1,'b'};这种该出错的地方不会出错。这个比较致命，但目前还没想好怎么解决。
代码部分借鉴了这里，我直接用了他的分词的scnner函数和宏定义的部分。他的程序总共2000+行，我改了一下，总共只用1000行就实现了他的功能，其中500行是抄的他的分词......并且修改了他的程序里的一些错误。
Grammar.txt：文法的定义
<程序闭包> -> <声明语句闭包> #
<程序闭包> -> <函数定义> #
<程序闭包> -> $ #
<函数定义> -> <修饰词闭包> <类型> <变量> ( <参数声明> ) { <函数块> } #
<修饰词闭包> -> <修饰词> <修饰词闭包> #
<修饰词闭包> -> $ #
<修饰词> -> describe #
<类型> -> type <取地址> #
<取地址> -> <星号闭包> #
<星号闭包> -> <星号> <星号闭包> #
<星号闭包> -> $ #
<星号> -> * #
<变量> -> <标志符> <数组下标> #
<标志符> -> id #
<数组下标> -> [ <因式> ] #
<数组下标> -> $ #
<因式> -> ( <表达式> ) #
<因式> -> <变量> #
<因式> -> <数字> #
<数字> -> digit #
<数字> -> string #
<表达式> -> <因子> <项> #
<因子> -> <因式> <因式递归> #
<因式递归> -> * <因式> <因式递归> #
<因式递归> -> / <因式> <因式递归> #
<因式递归> -> $ #
<项> -> + <因子> <项> #
<项> -> - <因子> <项> #
<项> -> $ #
<参数声明> -> <声明> <声明闭包> #
<参数声明> -> $ #
<声明> -> <修饰词闭包> <类型> <变量> <赋初值> #
<赋初值> -> = <右值> #
<赋初值> -> $ #
<右值> -> <表达式> #
<右值> -> { <多个数据> } #
<多个数据> -> <数字> <数字闭包> #
<数字闭包> -> , <数字> <数字闭包> #
<数字闭包> -> $ #
<声明闭包> -> , <声明> <声明闭包> #
<声明闭包> -> $ #
<函数块> -> <声明语句闭包> <函数块闭包> #
<声明语句闭包> -> <声明语句> <声明语句闭包> #
<声明语句闭包> -> $ #
<声明语句> -> <声明> ; #
<函数块闭包> -> <赋值函数> <函数块闭包> #
<函数块闭包> -> <for循环> <函数块闭包> #
<函数块闭包> -> <条件语句> <函数块闭包> #
<函数块闭包> -> <函数返回> <函数块闭包> #
<函数块闭包> -> $ #
<赋值函数> -> <变量> <赋值或函数调用> #
<赋值或函数调用> -> = <右值> ; #
<赋值或函数调用> -> ( <参数列表> ) ; #
<参数列表> -> <参数> <参数闭包> #
<参数闭包> -> , <参数> <参数闭包> #
<参数闭包> -> $ #
<参数> -> <标志符> #
<参数> -> <数字> #
<参数> -> <字符串> #
<字符串> -> string #
<for循环> -> for ( <赋值函数> <逻辑表达式> ; <后缀表达式> ) { <函数块> } #
<逻辑表达式> -> <表达式> <逻辑运算符> <表达式> #
<逻辑运算符> -> < #
<逻辑运算符> -> > #
<逻辑运算符> -> == #
<逻辑运算符> -> != #
<后缀表达式> -> <变量> <后缀运算符> #
<后缀运算符> -> ++ #
<后缀运算符> -> -- #
<条件语句> -> if ( <逻辑表达式> ) { <函数块> } <否则语句> #
<否则语句> -> else { <函数块> } #
<否则语句> -> $ #
<函数返回> -> return <因式> ; #
Grammar.cpp：主程序
#include "initialize.h"
int main() {
Init();
Scan();
Analyse();
getchar();
return 0;
}
initialize.h：初始化
#ifndef __INIT__
#define __INIT__
#include "WA.h"
#include "SA.h"
#include "Macro_Struct.h"
void InitKeyMap() {
keyMap.clear();
keyMap.push_back(make_pair("auto", AUTO));
keyMap.push_back(make_pair("break", BREAK));
keyMap.push_back(make_pair("case", CASE));
keyMap.push_back(make_pair("char", CHAR));
keyMap.push_back(make_pair("const", CONST));
keyMap.push_back(make_pair("continue", CONTINUE));
keyMap.push_back(make_pair("default", DEFAULT));
keyMap.push_back(make_pair("do", DO));
keyMap.push_back(make_pair("double", DOUBLE));
keyMap.push_back(make_pair("else", ELSE));
keyMap.push_back(make_pair("enum", ENUM));
keyMap.push_back(make_pair("extern", EXTERN));
keyMap.push_back(make_pair("float", FLOAT));
keyMap.push_back(make_pair("for", FOR));
keyMap.push_back(make_pair("goto", GOTO));
keyMap.push_back(make_pair("if", IF));
keyMap.push_back(make_pair("int", INT));
keyMap.push_back(make_pair("long", LONG));
keyMap.push_back(make_pair("register", REGISTER));
keyMap.push_back(make_pair("return", RETURN));
keyMap.push_back(make_pair("short", SHORT));
keyMap.push_back(make_pair("signed", SIGNED));
keyMap.push_back(make_pair("sizeof", SIZEOF));
keyMap.push_back(make_pair("static", STATIC));
keyMap.push_back(make_pair("struct", STRUCT));
keyMap.push_back(make_pair("switch", SWITCH));
keyMap.push_back(make_pair("typedef", TYPEDEF));
keyMap.push_back(make_pair("union", UNION));
keyMap.push_back(make_pair("unsigned", UNSIGNED));
keyMap.push_back(make_pair("void", VOID));
keyMap.push_back(make_pair("volatile", VOLATILE));
keyMap.push_back(make_pair("while", WHILE));
keyMap.push_back(make_pair("describe", DESCRIBE));
keyMap.push_back(make_pair("type", TYPE));
//keyMap.push_back(make_pair("string", STRING));
keyMap.push_back(make_pair("digit", DIGIT));
}
void InitOperMap() {
operMap.clear();
operMap.push_back(make_pair("!", NOT));
operMap.push_back(make_pair("&", BYTE_AND));
operMap.push_back(make_pair("~", COMPLEMENT));
operMap.push_back(make_pair("^", BYTE_XOR));
operMap.push_back(make_pair("*", MUL));
operMap.push_back(make_pair("/", DIV));
operMap.push_back(make_pair("%", MOD));
operMap.push_back(make_pair("+", ADD));
operMap.push_back(make_pair("-", SUB));
operMap.push_back(make_pair("<", LES_THAN));
operMap.push_back(make_pair(">", GRT_THAN));
operMap.push_back(make_pair("=", ASG));
operMap.push_back(make_pair("->", ARROW));
operMap.push_back(make_pair("++", SELF_ADD));
operMap.push_back(make_pair("--", SELF_SUB));
operMap.push_back(make_pair("<<", LEFT_MOVE));
operMap.push_back(make_pair(">>", RIGHT_MOVE));
operMap.push_back(make_pair("<=", LES_EQUAL));
operMap.push_back(make_pair(">=", GRT_EQUAL));
operMap.push_back(make_pair("==", EQUAL));
operMap.push_back(make_pair("!=", NOT_EQUAL));
operMap.push_back(make_pair("&&", AND));
operMap.push_back(make_pair("||", OR));
operMap.push_back(make_pair("+=", COMPLETE_ADD));
operMap.push_back(make_pair("-=", COMPLETE_SUB));
operMap.push_back(make_pair("*=", COMPLETE_MUL));
operMap.push_back(make_pair("/=", COMPLETE_DIV));
operMap.push_back(make_pair("^=", COMPLETE_BYTE_XOR));
operMap.push_back(make_pair("&=", COMPLETE_BYTE_AND));
operMap.push_back(make_pair("~=", COMPLETE_COMPLEMENT));
operMap.push_back(make_pair("%=", COMPLETE_MOD));
operMap.push_back(make_pair("|", BYTE_OR));
}
void InitLimitMap() {
limitMap.clear();
limitMap.push_back(make_pair("(", LEFT_BRA));
limitMap.push_back(make_pair(")", RIGHT_BRA));
limitMap.push_back(make_pair("[", LEFT_INDEX));
limitMap.push_back(make_pair("]", RIGHT_INDEX));
limitMap.push_back(make_pair("{", L_BOUNDER));
limitMap.push_back(make_pair("}", R_BOUNDER));
limitMap.push_back(make_pair(".", POINTER));
limitMap.push_back(make_pair("#", JING));
limitMap.push_back(make_pair("_", UNDER_LINE));
limitMap.push_back(make_pair(",", COMMA));
limitMap.push_back(make_pair(";", SEMI));
limitMap.push_back(make_pair("'", SIN_QUE));
limitMap.push_back(make_pair("\"", DOU_QUE));
}
void ShowExprList() {
for (int i = 0; i < ExprNum; i++) {
printf("%s -> ", Signature[Expr[i][0]].first);
for (int j = 2; j <= Expr[i][1]; j++) {
printf("%s ", Signature[Expr[i][j]].first);
}
printf("\n");
}
}
void DFS_NullPossibility(int x) {
//printf("%s\n",Signature[x].first);
if (visited[x]) {
return;
}
visited[x] = true;
for (int i = 0; i < ExprNum; i++) {
if (Expr[i][0] != x) {
continue;
}
bool ret = true;
for (int j = 2; j <= Expr[i][1]; j++) {
DFS_NullPossibility(Expr[i][j]);
ret &= canBeNull[Expr[i][j]];
}
if (ret) {
visited[x] = true;
canBeNull[x] = true;
return;
}
}
}
void ReadExpr() {
Signature.clear();
ifstream fin("Grammar.txt");
char str[50][50];
int Length = 0;
while (fin >> str[Length]) {
if (strcmp(str[Length], "#") == 0) {
for (int i = 0; i < Length; i++) {
if (strcmp(str[i], "->") == 0) {
Expr[ExprNum][i] = Length - 1;
continue;
}
int signID = FindSignature(str[i]);
if (signID == -1) {
int tempLen = strlen(str[i]);
if (str[i][0] == '<' && str[i][tempLen - 1] == '>') {
pair<char *, bool> tempPair;
tempPair.first = new char [tempLen + 1];
memcpy(tempPair.first, str[i], tempLen);
tempPair.first[tempLen] = '\0';
tempPair.second = Scalable;
Signature.push_back(tempPair);
} else {
pair<char *, bool> tempPair;
tempPair.first = new char [tempLen + 1];
memcpy(tempPair.first, str[i], tempLen);
tempPair.first[tempLen] = '\0';
tempPair.second = unScalsble;
Signature.push_back(tempPair);
}
signID = Signature.size() - 1;
}
Expr[ExprNum][i] = signID;
}
Length = 0;
ExprNum++;
} else {
Length++;
}
}
fin.close();
memset(canBeNull, false, sizeof(canBeNull));
for (int i = 0; i < Signature.size(); i++) {
if (strcmp(Signature[i].first, "$") == 0) {
canBeNull[i] = true;
}
}
memset(visited, false, sizeof(visited));
for (int i = 0; i < Signature.size(); i++) {
if (Signature[i].second == Scalable) {
DFS_NullPossibility(i);
}
}
//ShowExprList();
}
void DFS_FirstSet(int x) {
if (visited[x] || Signature[x].second == unScalsble) {
return;
}
visited[x] = true;
for (int i = 0; i < ExprNum; i++) {
if (Expr[i][0] != x) {
continue;
}
for (int j = 2; j <= Expr[i][1]; j++) {
if (Signature[Expr[i][j]].second == unScalsble) {
First[x][Expr[i][j]] = true;
} else {
DFS_FirstSet(Expr[i][j]);
for (int k = 0; k < Signature.size(); k++) {
if (First[Expr[i][j]][k]) {
First[x][k] = true;
}
}
}
if (!canBeNull[Expr[i][j]]) {
break;
}
}
}
}
void GetFirstSet() {
memset(First, false, sizeof(First));
memset(visited, false, sizeof(visited));
for (int i = 0; i < Signature.size(); i++) {
if (Signature[i].second == unScalsble) {
continue;
}
DFS_FirstSet(i);
}
}
void GetFollowSet() {}
void GetSelectSet() {
memset(Select, false, sizeof(Select));
for (int i = 0; i < ExprNum; i++) {
for (int j = 2; j <= Expr[i][1]; j++) {
if (Signature[Expr[i][j]].second == unScalsble) {
Select[i][Expr[i][j]] = true;
} else {
for (int k = 0; k < Signature.size(); k++) {
if (First[Expr[i][j]][k]) {
Select[i][k] = true;
}
}
}
if (!canBeNull[Expr[i][j]]) {
break;
}
}
if (!canBeNull[Expr[i][0]]) {
Select[i][FindSignature("$")] = false;
}
}
}
void ShowShiftList() {
for (int i = 0; i < Signature.size(); i++) {
for (int j = 0; j < Signature.size(); j++) {
if (ShiftList[i][j][0][0] <= 1 || i == j) {
continue;
}
printf("%3d %30s -> %30s\n", ShiftList[i][j][0][0], Signature[i].first, Signature[j].first);
for (int k = 1; k <= ShiftList[i][j][0][0]; k++) {
printf("---------->");
for (int h = 1; h <= ShiftList[i][j][k][0]; h++) {
printf("%s ", Signature[ShiftList[i][j][k][h]].first);
}
printf("\n");
}
}
}
}
void GetShiftList() {
memset(ShiftList, 0, sizeof(ShiftList));
for (int i = 0; i < ExprNum; i++) {
for (int j = 0; j < Signature.size(); j++) {
if (!Select[i][j]) {
continue;
}
/*if (Signature[j].second == Scalable) {
printf("OMG\n");
}*/
ShiftList[Expr[i][0]][j][0][0]++;
for (int k = 1; k <= Expr[i][1]; k++) {
ShiftList[Expr[i][0]][j][ShiftList[Expr[i][0]][j][0][0]][k - 1] = Expr[i][k];
}
ShiftList[Expr[i][0]][j][ShiftList[Expr[i][0]][j][0][0]][0]--;
}
}
//ShowShiftList();
}
void Init() {
InitKeyMap();
InitOperMap();
InitLimitMap();
tokenList.clear();
errorList.clear();
ReadExpr();
GetFirstSet();
GetFollowSet();
GetSelectSet();
GetShiftList();
}
#endif
WA.h：词法分析
#ifndef __WA__
#define __WA__
#include "stdafx.h"
#include "Macro_Struct.h"
vector<pair<const char *, int>> keyMap;
vector<pair<const char *, int>> operMap;
vector<pair<const char *, int>> limitMap;
vector<Token> tokenList;
vector<Error> errorList;
int SeekKey(char * word) {
for (int i = 0; i < keyMap.size(); i++) {
if (strcmp(word, keyMap[i].first) == 0) {
return keyMap[i].second;
}
}
return IDENTIFER;
}
void InsertToken(char * content, char * describe, int type, int line) {
Token tempToken;
strcpy_s(tempToken.content, content);
strcpy_s(tempToken.describe, describe);
tempToken.type = type;
tempToken.line = line;
tokenList.push_back(tempToken);
}
void InsertError(char * content, char * describe, int type, int line) {
Error tempError;
strcpy_s(tempError.content, content);
strcpy_s(tempError.describe, describe);
tempError.type = type;
tempError.line = line;
errorList.push_back(tempError);
printf("Line %d:%s\n", line, describe);
}
void preProcess(char * word, int line) {
regex INCLUDE_REGEX("#include\\s*<[\\w\\.]+>\\s*");
regex DEFINE_REGEX("#define\\s+\\w+\\s+\\w+\\s*");
if (regex_match(word, INCLUDE_REGEX)) {
return;
}
if (regex_match(word, DEFINE_REGEX)) {
return;
}
InsertError(word, PRE_PROCESS_ERROR, PRE_PROCESS_ERROR_NUM, line);
}
void Scan() {
char ch;
char array[30];//单词长度上限是30
char * word;
int i;
int line = 1;//行数
FILE * infile;
errno_t err = fopen_s(&infile, "input.txt", "r");
ch = fgetc(infile);
while (ch != EOF) {
i = 0;
//以字母或者下划线开头,处理关键字或者标识符
if ((ch >= 'A' && ch <= 'Z') || (ch >= 'a' && ch <= 'z') || ch == '_') {
while ((ch >= 'A' && ch <= 'Z') || (ch >= 'a' && ch <= 'z') || (ch >= '0' && ch <= '9') || ch == '_') {
array[i++] = ch;
ch = fgetc(infile);
}
word = new char[i + 1];
memcpy(word, array, i);
word[i] = '\0';
int seekTemp = SeekKey(word);
if (seekTemp != IDENTIFER) {
InsertToken(word, KEY_DESC, seekTemp, line);
} else {
InsertToken(word, IDENTIFER_DESC, seekTemp, line);
}
fseek(infile, -1L, SEEK_CUR); //向后回退一位
}
//以数字开头，处理数字
else if (ch >= '0' && ch <= '9') {
int flag = 0;
int flag2 = 0;
//处理整数
while (ch >= '0' && ch <= '9') {
array[i++] = ch;
ch = fgetc(infile);
}
//处理float
if (ch == '.') {
flag2 = 1;
array[i++] = ch;
ch = fgetc(infile);
if (ch >= '0' && ch <= '9') {
while (ch >= '0' && ch <= '9') {
array[i++] = ch;
ch = fgetc(infile);
}
} else {
flag = 1;
}
//处理Double
if (ch == 'E' || ch == 'e') {
array[i++] = ch;
ch = fgetc(infile);
if (ch == '+' || ch == '-') {
array[i++] = ch;
ch = fgetc(infile);
}
if (ch >= '0' && ch <= '9') {
array[i++] = ch;
ch = fgetc(infile);
} else {
flag = 2;
}
}
}
word = new char[i + 1];
memcpy(word, array, i);
word[i] = '\0';
if (flag == 1) {
InsertError(word, FLOAT_ERROR, FLOAT_ERROR_NUM, line);
} else if (flag == 2) {
InsertError(word, DOUBLE_ERROR, DOUBLE_ERROR_NUM, line);
} else {
if (flag2 == 0) {
InsertToken(word, CONSTANT_DESC, INT_VAL, line);
} else {
InsertToken(word, CONSTANT_DESC, FLOAT_VAL, line);
}
}
fseek(infile, -1L, SEEK_CUR); //向后回退一位
}
//以"/"开头
else if (ch == '/') {
ch = fgetc(infile);
//处理运算符"/="
if (ch == '=') {
InsertToken("/=", OPE_DESC, COMPLETE_DIV, line);
}
//处理"/**/"型注释
else if (ch == '*') {
ch = fgetc(infile);
while (1) {
while (ch != '*') {
if (ch == '\n') {
line++;
}
ch = fgetc(infile);
if (ch == EOF) {
InsertError(_NULL, NOTE_ERROR, NOTE_ERROR_NUM, line);
return;
}
}
ch = fgetc(infile);
if (ch == '/') {
break;
}
if (ch == EOF) {
InsertError(_NULL, NOTE_ERROR, NOTE_ERROR_NUM, line);
return;
}
}
InsertToken(_NULL, NOTE_DESC, NOTE1, line);
}
//处理"//"型注释
else if (ch == '/') {
while (ch != '\n') {
ch = fgetc(infile);
if (ch == EOF) {
InsertToken(_NULL, NOTE_DESC, NOTE2, line);
return;
}
}
line++;
InsertToken(_NULL, NOTE_DESC, NOTE2, line);
if (ch == EOF) {
return;
}
}
//处理除号
else {
InsertToken("/", OPE_DESC, DIV, line);
}
}
//处理常量字符串
else if (ch == '"') {
InsertToken("\"", CLE_OPE_DESC, DOU_QUE, line);
ch = fgetc(infile);
i = 0;
while (ch != '"') {
array[i++] = ch;
if (ch == '\n') {
line++;
}
ch = fgetc(infile);
if (ch == EOF) {
InsertError(_NULL, STRING_ERROR, STRING_ERROR_NUM, line);
return;
}
}
word = new char[i + 1];
memcpy(word, array, i);
word[i] = '\0';
InsertToken(word, CONSTANT_DESC, STRING_VAL, line);
InsertToken("\"", CLE_OPE_DESC, DOU_QUE, line);
}
//处理常量字符
else if (ch == '\'') {
InsertToken("\'", CLE_OPE_DESC, SIN_QUE, line);
ch = fgetc(infile);
i = 0;
while (ch != '\'') {
array[i++] = ch;
if (ch == '\n') {
line++;
}
ch = fgetc(infile);
if (ch == EOF) {
InsertError(_NULL, CHARCONST_ERROR, CHARCONST_ERROR_NUM, line);
return;
}
}
word = new char[i + 1];
memcpy(word, array, i);
word[i] = '\0';
InsertToken(word, CONSTANT_DESC, CHAR_VAL, line);
InsertToken("\'", CLE_OPE_DESC, SIN_QUE, line);
} else if (ch == ' ' || ch == '\t' || ch == '\r' || ch == '\n') {
if (ch == '\n') {
line++;
}
} else {
if (ch == EOF) {
return;
}
//处理头文件和宏常量（预处理）
else if (ch == '#') {
while (ch != '\n' && ch != EOF) {
array[i++] = ch;
ch = fgetc(infile);
}
word = new char[i + 1];
memcpy(word, array, i);
word[i] = '\0';
preProcess(word, line);
fseek(infile, -1L, SEEK_CUR); //向后回退一位
}
//处理-开头的运算符
else if (ch == '-') {
array[i++] = ch;
ch = fgetc(infile);
if (ch >= '0' && ch <= '9') {
int flag = 0;
int flag2 = 0;
//处理整数
while (ch >= '0' && ch <= '9') {
array[i++] = ch;
ch = fgetc(infile);
}
//处理float
if (ch == '.') {
flag2 = 1;
array[i++] = ch;
ch = fgetc(infile);
if (ch >= '0' && ch <= '9') {
while (ch >= '0' && ch <= '9') {
array[i++] = ch;
ch = fgetc(infile);
}
} else {
flag = 1;
}
//处理Double
if (ch == 'E' || ch == 'e') {
array[i++] = ch;
ch = fgetc(infile);
if (ch == '+' || ch == '-') {
array[i++] = ch;
ch = fgetc(infile);
}
if (ch >= '0' && ch <= '9') {
array[i++] = ch;
ch = fgetc(infile);
} else {
flag = 2;
}
}
}
word = new char[i + 1];
memcpy(word, array, i);
word[i] = '\0';
if (flag == 1) {
InsertError(word, FLOAT_ERROR, FLOAT_ERROR_NUM, line);
} else if (flag == 2) {
InsertError(word, DOUBLE_ERROR, DOUBLE_ERROR_NUM, line);
} else {
if (flag2 == 0) {
InsertToken(word, CONSTANT_DESC, INT_VAL, line);
} else {
InsertToken(word, CONSTANT_DESC, FLOAT_VAL, line);
}
}
fseek(infile, -1L, SEEK_CUR); //向后回退一位
} else if (ch == '>') {
InsertToken("->", OPE_DESC, ARROW, line);
} else if (ch == '-') {
InsertToken("--", OPE_DESC, SELF_SUB, line);
} else if (ch == '=') {
InsertToken("--", OPE_DESC, SELF_SUB, line);
} else {
InsertToken("-", OPE_DESC, SUB, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理+开头的运算符
else if (ch == '+') {
ch = fgetc(infile);
if (ch == '+') {
InsertToken("++", OPE_DESC, SELF_ADD, line);
} else if (ch == '=') {
InsertToken("+=", OPE_DESC, COMPLETE_ADD, line);
} else {
InsertToken("+", OPE_DESC, ADD, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理*开头的运算符
else if (ch == '*') {
ch = fgetc(infile);
if (ch == '=') {
InsertToken("*=", OPE_DESC, COMPLETE_MUL, line);
} else {
InsertToken("*", OPE_DESC, MUL, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理按^开头的运算符
else if (ch == '^') {
ch = fgetc(infile);
if (ch == '=') {
InsertToken("^=", OPE_DESC, COMPLETE_BYTE_XOR, line);
} else {
InsertToken("^", OPE_DESC, BYTE_XOR, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理%开头的运算符
else if (ch == '%') {
ch = fgetc(infile);
if (ch == '=') {
InsertToken("%=", OPE_DESC, COMPLETE_MOD, line);
} else {
InsertToken("%", OPE_DESC, MOD, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理&开头的运算符
else if (ch == '&') {
ch = fgetc(infile);
if (ch == '=') {
InsertToken("&=", OPE_DESC, COMPLETE_BYTE_AND, line);
} else if (ch == '&') {
InsertToken("&&", OPE_DESC, AND, line);
} else {
InsertToken("&", OPE_DESC, BYTE_AND, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理~开头的运算符
else if (ch == '~') {
ch = fgetc(infile);
if (ch == '=') {
InsertToken("~=", OPE_DESC, COMPLETE_COMPLEMENT, line);
} else {
InsertToken("~", OPE_DESC, COMPLEMENT, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理!开头的运算符
else if (ch == '!') {
ch = fgetc(infile);
if (ch == '=') {
InsertToken("!=", OPE_DESC, NOT_EQUAL, line);
} else {
InsertToken("!", OPE_DESC, NOT, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理<开头的运算符
else if (ch == '<') {
ch = fgetc(infile);
if (ch == '<') {
InsertToken("<<", OPE_DESC, LEFT_MOVE, line);
} else if (ch == '=') {
InsertToken("<=", OPE_DESC, LES_EQUAL, line);
} else {
InsertToken("<", OPE_DESC, LES_THAN, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理>开头的运算符
else if (ch == '>') {
ch = fgetc(infile);
if (ch == '>') {
InsertToken(">>", OPE_DESC, RIGHT_MOVE, line);
} else if (ch == '=') {
InsertToken(">=", OPE_DESC, GRT_EQUAL, line);
} else {
InsertToken(">", OPE_DESC, GRT_THAN, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理|开头的运算符
else if (ch == '|') {
ch = fgetc(infile);
if (ch == '|') {
InsertToken("||", OPE_DESC, OR, line);
} else {
InsertToken("|", OPE_DESC, BYTE_OR, line);
fseek(infile, -1L, SEEK_CUR);
}
} else if (ch == '=') {
ch = fgetc(infile);
if (ch == '=') {
InsertToken("==", OPE_DESC, EQUAL, line);
} else {
InsertToken("=", OPE_DESC, ASG, line);
fseek(infile, -1L, SEEK_CUR);
}
} else if (ch == '(') {
InsertToken("(", CLE_OPE_DESC, LEFT_BRA, line);
} else if (ch == ')') {
InsertToken(")", CLE_OPE_DESC, RIGHT_BRA, line);
} else if (ch == '[') {
InsertToken("[", CLE_OPE_DESC, LEFT_INDEX, line);
} else if (ch == ']') {
InsertToken("]", CLE_OPE_DESC, RIGHT_INDEX, line);
} else if (ch == '{') {
InsertToken("{", CLE_OPE_DESC, L_BOUNDER, line);
} else if (ch == '}') {
InsertToken("}", CLE_OPE_DESC, R_BOUNDER, line);
} else if (ch == '.') {
InsertToken(".", CLE_OPE_DESC, POINTER, line);
} else if (ch == ',') {
InsertToken(",", CLE_OPE_DESC, COMMA, line);
} else if (ch == ';') {
InsertToken(";", CLE_OPE_DESC, SEMI, line);
} else {
char temp[2];
temp[0] = ch;
temp[1] = '\0';
InsertError(temp, CHAR_ERROR, CHAR_ERROR_NUM, line);
}
}
ch = fgetc(infile);
}
fclose(infile);
}
#endif
SA.h：语法分析
#ifndef __SA__
#define __SA__
#include "stdafx.h"
#include "Macro_Struct.h"
#include "initialize.h"
#define unScalsble false
#define Scalable true
vector<pair<char *, bool>> Signature;
int CodeStack[5000], TryStack[5000], tokenId[5000];
int Csize = 0, Tsize = 0;
int Expr[100][100];
int ExprNum = 0;
bool First[100][100];
bool visited[100];
bool Follow[100][100];
bool Select[100][100];
int ShiftList[100][100][10][100];
bool canBeNull[100];
int ArrayFlag;
int FindSignature(char * str) {
for (int i = 0; i < Signature.size(); i++) {
if (strcmp(str, Signature[i].first) == 0) {
return i;
}
}
return -1;
}
int Try(int top, int sn, int ptr) {
if (ptr < 0 || Tsize <= top) {
return -10;
}
int Expl = TryStack[top];
Tsize += (ShiftList[Expl][CodeStack[ptr]][sn][0] - 1);
for (int i = 1; i <= ShiftList[Expl][CodeStack[ptr]][sn][0]; i++) {
TryStack[Tsize - i] = ShiftList[Expl][CodeStack[ptr]][sn][i];
}
while (Tsize > top) {
if (ptr < 0) {
if (canBeNull[TryStack[Tsize - 1]]) {
Tsize--;
continue;
} else {
printf("Line%2d:%s can\' t explain as %s \n", tokenList[tokenId[0]].line, tokenList[tokenId[0]].content, Signature[Expl].first);
return -10;
}
}
if (TryStack[Tsize - 1] == CodeStack[ptr]) {
Tsize--;
ptr--;
continue;
}
if (Signature[TryStack[Tsize - 1]].second == unScalsble) {
printf("Line%2d:%s can\' t explain as %s \n", tokenList[tokenId[ptr]].line, tokenList[tokenId[ptr]].content, Signature[Expl].first);
return -10;
}
if (ShiftList[TryStack[Tsize - 1]][CodeStack[ptr]][0][0] == 0) {
if (canBeNull[TryStack[Tsize - 1]]) {
Tsize--;
continue;
} else {
printf("Line%2d:%s can\' t explain as %s \n", tokenList[tokenId[ptr]].line, tokenList[tokenId[ptr]].content, Signature[Expl].first);
return -10;
}
}
bool Match = false;
for (int i = 1; i <= ShiftList[TryStack[Tsize - 1]][CodeStack[ptr]][0][0]; i++) {
int tempTs = Tsize;
int tempTi = TryStack[Tsize - 1];
int ret = Try(Tsize - 1, i, ptr);
if (ret != -10) {
Match = true;
ptr = ret;
break;
} else {
Tsize = tempTs;
TryStack[Tsize - 1] = tempTi;
}
}
if (!Match) {
printf("Line%2d:%s can\' t explain as %s \n", tokenList[tokenId[ptr]].line, tokenList[tokenId[ptr]].content, Signature[Expl].first);
return -10;
}
}
return ptr;
}
void Analyse() {
for (int i = tokenList.size() - 1; i >= 0; i--) {
if (tokenList[i].type == AUTO ||
tokenList[i].type == CONST ||
tokenList[i].type == UNSIGNED ||
tokenList[i].type == SIGNED ||
tokenList[i].type == STATIC ||
tokenList[i].type == VOLATILE) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("describe");
} else if (tokenList[i].type == INT_VAL) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("digit");
} else if (tokenList[i].type == CHAR ||
tokenList[i].type == DOUBLE ||
tokenList[i].type == FLOAT ||
tokenList[i].type == INT ||
tokenList[i].type == LONG ||
tokenList[i].type == SHORT ||
tokenList[i].type == VOID) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("type");
} else if (tokenList[i].type == STRING_VAL) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("string");
} else if (tokenList[i].type == DOU_QUE ||
tokenList[i].type == SIN_QUE ||
tokenList[i].type == NOTE1 ||
tokenList[i].type == NOTE2) {
} else if (tokenList[i].type == IDENTIFER) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("id");
} else if (tokenList[i].type == FOR) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("for");
} else if (tokenList[i].type == IF) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("if");
} else if (tokenList[i].type == ELSE) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("else");
} else if (tokenList[i].type == RETURN) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("return");
} else {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature(tokenList[i].content);
}
if (tokenList[i].type != DOU_QUE && tokenList[i].type != SIN_QUE) {
printf("%15s %15s %15d\n", Signature[CodeStack[Csize - 1]].first, tokenList[i].content, tokenList[i].type);
}
}
ArrayFlag = -1;
while (Csize) {
if (ShiftList[0][CodeStack[Csize - 1]][0][0] == 0) {
printf("Error:Line%2d %s\n", tokenList[tokenId[Csize - 1]].line, tokenList[tokenId[Csize - 1]].content);
break;
}
bool Match = false;
for (int i = 1; i <= ShiftList[0][CodeStack[Csize - 1]][0][0]; i++) {
Tsize = 1;
TryStack[0] = 0;
int ret = Try(0, i, Csize - 1);
if (ret != -10) {
Match = true;
Csize = ret + 1;
break;
}
}
if (!Match) {
printf("Error:Line%2d %s\n", tokenList[tokenId[Csize - 1]].line, tokenList[tokenId[Csize - 1]].content);
break;
}
}
if (Csize == 0) {
printf("Successful\n");
}
}
#endif
Macro_Struct.h：宏定义以及结构体定义
#ifndef __MS__
#define __MS__
#define AUTO 1
#define BREAK 2
#define CASE 3
#define CHAR 4
#define CONST 5
#define CONTINUE 6
#define DEFAULT 7
#define DO 8
#define DOUBLE 9
#define ELSE 10
#define ENUM 11
#define EXTERN 12
#define FLOAT 13
#define FOR 14
#define GOTO 15
#define IF 16
#define INT 17
#define LONG 18
#define REGISTER 19
#define RETURN 20
#define SHORT 21
#define SIGNED 22
#define SIZEOF 23
#define STATIC 24
#define STRUCT 25
#define SWITCH 26
#define TYPEDEF 27
#define UNION 28
#define UNSIGNED 29
#define VOID 30
#define VOLATILE 31
#define WHILE 32
#define KEY_DESC "关键字"
//标志符
#define IDENTIFER 40
#define IDENTIFER_DESC "标志符"
//常量
#define INT_VAL 51 //整形常量
#define CHAR_VAL 52 //字符常量
#define FLOAT_VAL 53 //浮点数常量
#define STRING_VAL 54 //双精度浮点数常量
#define MACRO_VAL 55 //宏常量
#define CONSTANT_DESC "常量"
//运算符
#define NOT 61 // !
#define BYTE_AND 62 //&
#define COMPLEMENT 63 // ~
#define BYTE_XOR 64 // ^
#define MUL 65 // *
#define DIV 66// /
#define MOD 67 // %
#define ADD 68 // +
#define SUB 69 // -
#define LES_THAN 70 // <
#define GRT_THAN 71 // >
#define ASG 72 // =
#define ARROW 73 // ->
#define SELF_ADD 74 // ++
#define SELF_SUB 75 // --
#define LEFT_MOVE 76 // <<
#define RIGHT_MOVE 77 // >>
#define LES_EQUAL 78 // <=
#define GRT_EQUAL 79 // >=
#define EQUAL 80 // ==
#define NOT_EQUAL 81 // !=
#define AND 82 // &&
#define OR 83 // ||
#define COMPLETE_ADD 84 // +=
#define COMPLETE_SUB 85 // -=
#define COMPLETE_MUL 86 // *=
#define COMPLETE_DIV 87 // /=
#define COMPLETE_BYTE_XOR 88 // ^=
#define COMPLETE_BYTE_AND 89 // &=
#define COMPLETE_COMPLEMENT 90 // ~=
#define COMPLETE_MOD 91 //%=
#define BYTE_OR 92 // |
#define OPE_DESC "运算符"
//限界符
#define LEFT_BRA 100 // (
#define RIGHT_BRA 101 // )
#define LEFT_INDEX 102 // [
#define RIGHT_INDEX 103 // ]
#define L_BOUNDER 104 // {
#define R_BOUNDER 105 // }
#define POINTER 106 // .
#define JING 107 // #
#define UNDER_LINE 108 // _
#define COMMA 109 // ,
#define SEMI 110 // ;
#define SIN_QUE 111 // '
#define DOU_QUE 112 // "
#define CLE_OPE_DESC "限界符"
#define NOTE1 120 // "/**/"注释
#define NOTE2 121 // "//"注释
#define NOTE_DESC "注释"
#define HEADER 130 //头文件
#define HEADER_DESC "头文件"
//错误类型
#define FLOAT_ERROR "float表示错误"
#define FLOAT_ERROR_NUM 1
#define DOUBLE_ERROR "double表示错误"
#define DOUBLE_ERROR_NUM 2
#define NOTE_ERROR "注释没有结束符"
#define NOTE_ERROR_NUM 3
#define STRING_ERROR "字符串常量没有结束符"
#define STRING_ERROR_NUM 4
#define CHARCONST_ERROR "字符常量没有结束符"
#define CHARCONST_ERROR_NUM 5
#define CHAR_ERROR "非法字符"
#define CHAR_ERROR_NUM 6
#define LEFT_BRA_ERROR "'('没有对应项"
#define LEFT_BRA_ERROR_NUM 7
#define RIGHT_BRA_ERROR "')'没有对应项"
#define RIGHT_BRA_ERROR_NUM 8
#define LEFT_INDEX_ERROR "'['没有对应项"
#define LEFT_INDEX_ERROR_NUM 9
#define RIGHT_INDEX_ERROR "']'没有对应项"
#define RIGHT_INDEX_ERROR_NUM 10
#define L_BOUNDER_ERROR "'{'没有对应项"
#define L_BOUNDER_ERROR_NUM 11
#define R_BOUNDER_ERROR "'}'没有对应项"
#define R_BOUNDER_ERROR_NUM 12
#define PRE_PROCESS_ERROR "预处理错误" //头文件或者宏定义错误
#define PRE_PROCESS_ERROR_NUM 13
#define _NULL "无"
#define DESCRIBE 4000
#define TYPE 4001
#define STRING 4002
#define DIGIT 4003
struct Token
{
char content[30];//内容
char describe[30];//描述
int type;//种别码
int line;//所在行数
};
struct Error {
char content[30];//错误内容
char describe[30];//错误描述
int type;
int line;//所在行数
};
#endif
stdafx.h：头文件包含
#ifndef __STDAFX__
#define __STDAFX__
#include <iostream>
#include <fstream>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <vector>
#include <iomanip>
#include <stack>
#include <regex>
using namespace std;
#endif
input.txt：要检查的程序
---------------2016.9.23更新---------------
又改了好几天，这个程序终于告一段落了，最近几天在之前的基础上又修改了一些错误，增加了一些功能，主要包括以下几个点：
1.把函数的声明和定义分开，在头文件中声明，在源文件中实现。
2.修改了声明语句必须放在相应部分的头部的缺陷。
3.修改了程序不认识true和false等缺陷。
4.增加了对break和continue语句正确性的检查。
5.增加了允许多维数组的语法规则。
6.修改了return后必须有数值的缺陷。
7.修改了程序不认识<=和>=的缺陷。
8.增加了允许在for循环的小括号中定义变量的规则。
9.增加了类类型的定义规则。
10.增加了使用变量时允许使用.操作符以使用其成员的规则。
11.增加了允许一个表达式在任何可以使用数字的地方作为数字出现，如数组下标，函数参数，逻辑表达式和逻辑表达式的一项等的规则。
12.修改了预处理部分不计算在行数内的缺陷。
13.增加了大错误出现位置的大致定位功能。
14.增加了检查出错误后跳过一定长度继续检查的功能。
全部代码：
头文件：
Macro_Struct.h
#include"stdafx.h"
#ifndef __MACRO__
#define __MACRO__
#define AUTO 1
#define BREAK 2
#define CASE 3
#define CHAR 4
#define CONST 5
#define CONTINUE 6
#define DEFAULT 7
#define DO 8
#define DOUBLE 9
#define ELSE 10
#define ENUM 11
#define EXTERN 12
#define FLOAT 13
#define FOR 14
#define GOTO 15
#define IF 16
#define INT 17
#define LONG 18
#define REGISTER 19
#define RETURN 20
#define SHORT 21
#define SIGNED 22
//#define SIZEOF 23
#define STATIC 24
#define STRUCT 25
#define SWITCH 26
#define TYPEDEF 27
#define UNION 28
#define UNSIGNED 29
#define VOID 30
#define VOLATILE 31
#define WHILE 32
#define BOOL 33
#define TRUE 34
#define FALSE 35
#define KEY_DESC "关键字"
//标志符
#define IDENTIFER 40
#define IDENTIFER_DESC "标志符"
//常量
#define INT_VAL 51 //整形常量
#define CHAR_VAL 52 //字符常量
#define FLOAT_VAL 53 //浮点数常量
#define STRING_VAL 54 //双精度浮点数常量
#define MACRO_VAL 55 //宏常量
#define CONSTANT_DESC "常量"
//运算符
#define NOT 61 // !
#define BYTE_AND 62 //&
#define COMPLEMENT 63 // ~
#define BYTE_XOR 64 // ^
#define MUL 65 // *
#define DIV 66// /
#define MOD 67 // %
#define ADD 68 // +
#define SUB 69 // -
#define LES_THAN 70 // <
#define GRT_THAN 71 // >
#define ASG 72 // =
#define ARROW 73 // ->
#define SELF_ADD 74 // ++
#define SELF_SUB 75 // --
#define LEFT_MOVE 76 // <<
#define RIGHT_MOVE 77 // >>
#define LES_EQUAL 78 // <=
#define GRT_EQUAL 79 // >=
#define EQUAL 80 // ==
#define NOT_EQUAL 81 // !=
#define AND 82 // &&
#define OR 83 // ||
#define COMPLETE_ADD 84 // +=
#define COMPLETE_SUB 85 // -=
#define COMPLETE_MUL 86 // *=
#define COMPLETE_DIV 87 // /=
#define COMPLETE_BYTE_XOR 88 // ^=
#define COMPLETE_BYTE_AND 89 // &=
#define COMPLETE_COMPLEMENT 90 // ~=
#define COMPLETE_MOD 91 //%=
#define BYTE_OR 92 // |
#define OPE_DESC "运算符"
//限界符
#define LEFT_BRA 100 // (
#define RIGHT_BRA 101 // )
#define LEFT_INDEX 102 // [
#define RIGHT_INDEX 103 // ]
#define L_BOUNDER 104 // {
#define R_BOUNDER 105 // }
#define POINTER 106 // .
#define JING 107 // #
#define UNDER_LINE 108 // _
#define COMMA 109 // ,
#define SEMI 110 // ;
#define SIN_QUE 111 // '
#define DOU_QUE 112 // "
#define CLE_OPE_DESC "限界符"
#define NOTE1 120 // "/**/"注释
#define NOTE2 121 // "//"注释
#define NOTE_DESC "注释"
#define HEADER 130 //头文件
#define HEADER_DESC "头文件"
//错误类型
#define FLOAT_ERROR "float表示错误"
#define FLOAT_ERROR_NUM 1
#define DOUBLE_ERROR "double表示错误"
#define DOUBLE_ERROR_NUM 2
#define NOTE_ERROR "注释没有结束符"
#define NOTE_ERROR_NUM 3
#define STRING_ERROR "字符串常量没有结束符"
#define STRING_ERROR_NUM 4
#define CHARCONST_ERROR "字符常量没有结束符"
#define CHARCONST_ERROR_NUM 5
#define CHAR_ERROR "非法字符"
#define CHAR_ERROR_NUM 6
#define LEFT_BRA_ERROR "'('没有对应项"
#define LEFT_BRA_ERROR_NUM 7
#define RIGHT_BRA_ERROR "')'没有对应项"
#define RIGHT_BRA_ERROR_NUM 8
#define LEFT_INDEX_ERROR "'['没有对应项"
#define LEFT_INDEX_ERROR_NUM 9
#define RIGHT_INDEX_ERROR "']'没有对应项"
#define RIGHT_INDEX_ERROR_NUM 10
#define L_BOUNDER_ERROR "'{'没有对应项"
#define L_BOUNDER_ERROR_NUM 11
#define R_BOUNDER_ERROR "'}'没有对应项"
#define R_BOUNDER_ERROR_NUM 12
#define PRE_PROCESS_ERROR "预处理错误" //头文件或者宏定义错误
#define PRE_PROCESS_ERROR_NUM 13
#define _NULL "无"
#define DESCRIBE 4000
#define TYPE 4001
#define STRING 4002
#define DIGIT 4003
#define unScalsble false
#define Scalable true
#define SHOWTRYDETAIL false
#define MAXLENGTH 10000
#define MAXSIGN 200
struct Token {
char content[300];//内容
char describe[300];//描述
int type;//种别码
int line;//所在行数
};
struct Error {
char content[300];//错误内容
char describe[300];//错误描述
int type;
int line;//所在行数
};
#endif
initial.h
#ifndef __INITIAL__
#define __INITIAL__
#include "Macro_Struct.h"
void InitKeyMap();
void InitOperMap();
void InitLimitMap();
int FindSignature(char * str);
void DFS_NullPossibility(int x);
void ShowExprList();
void ShowShiftList();
void ReadExpr();
void DFS_FirstSet(int x);
void GetFirstSet();
void GetSelectSet();
void GetShiftList();
void Init();
#endif
SA.h
#ifndef __SA__
#define __SA__
#include "Macro_Struct.h"
#include "initial.h"
void ShowTryStack(FILE * ofile);
void ShowCodeStack(FILE * ofile, int ptr);
bool SelfDefineType(int x);
int SearchNext(int x);
int Try(int top, int sn, int ptr);
void Analyse();
#endif
WA.h
#ifndef __WA__
#define __WA__
#include "Macro_Struct.h"
#include "initial.h"
int SeekKey(char * word);
void InsertToken(char * content, char * describe, int type, int line);
void InsertError___(char * content, char * describe, int type, int line);
void preProcess(char * word, int line);
void ShowTokenList();
void Scan();
void Bracket();
#endif
stdafx.h
#ifndef __STDAFX__
#define __STDAFX__
#include <iostream>
#include <fstream>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <vector>
#include <iomanip>
#include <stack>
#include <regex>
#include <map>
#include <windows.h>
#include <process.h>
using namespace std;
#endif
源文件：
initial.cpp
#include "stdafx.h"
#include "initial.h"
vector<pair<const char *, int>> keyMap;
vector<pair<const char *, int>> operMap;
vector<pair<const char *, int>> limitMap;
vector<Token> tokenList;
vector<Error> errorList;
vector<pair<char *, bool>> Signature;
int Expr[MAXSIGN][100];
int ExprNum = 0;
bool First[MAXSIGN][MAXSIGN];
bool visited[MAXSIGN];
bool Follow[MAXSIGN][MAXSIGN];
bool Select[MAXSIGN][MAXSIGN];
int ShiftList[MAXSIGN][MAXSIGN][10][100];
int LoopDepth[MAXLENGTH];
int BracketMatch[MAXLENGTH];
bool canBeNull[MAXSIGN];
int cnt;
void InitKeyMap() {
keyMap.clear();
keyMap.push_back(make_pair("auto", AUTO));
keyMap.push_back(make_pair("break", BREAK));
keyMap.push_back(make_pair("case", CASE));
keyMap.push_back(make_pair("char", CHAR));
keyMap.push_back(make_pair("const", CONST));
keyMap.push_back(make_pair("continue", CONTINUE));
keyMap.push_back(make_pair("default", DEFAULT));
keyMap.push_back(make_pair("do", DO));
keyMap.push_back(make_pair("double", DOUBLE));
keyMap.push_back(make_pair("else", ELSE));
keyMap.push_back(make_pair("enum", ENUM));
keyMap.push_back(make_pair("extern", EXTERN));
keyMap.push_back(make_pair("float", FLOAT));
keyMap.push_back(make_pair("for", FOR));
keyMap.push_back(make_pair("goto", GOTO));
keyMap.push_back(make_pair("if", IF));
keyMap.push_back(make_pair("int", INT));
keyMap.push_back(make_pair("long", LONG));
keyMap.push_back(make_pair("register", REGISTER));
keyMap.push_back(make_pair("return", RETURN));
keyMap.push_back(make_pair("short", SHORT));
keyMap.push_back(make_pair("signed", SIGNED));
//keyMap.push_back(make_pair("sizeof", SIZEOF));
keyMap.push_back(make_pair("static", STATIC));
keyMap.push_back(make_pair("struct", STRUCT));
keyMap.push_back(make_pair("switch", SWITCH));
keyMap.push_back(make_pair("typedef", TYPEDEF));
keyMap.push_back(make_pair("union", UNION));
keyMap.push_back(make_pair("unsigned", UNSIGNED));
keyMap.push_back(make_pair("void", VOID));
keyMap.push_back(make_pair("volatile", VOLATILE));
keyMap.push_back(make_pair("while", WHILE));
keyMap.push_back(make_pair("bool", BOOL));
keyMap.push_back(make_pair("true", TRUE));
keyMap.push_back(make_pair("false", FALSE));
//keyMap.push_back(make_pair("describe", DESCRIBE));
//keyMap.push_back(make_pair("type", TYPE));
//keyMap.push_back(make_pair("string", STRING));
//keyMap.push_back(make_pair("digit", DIGIT));
}
void InitOperMap() {
operMap.clear();
operMap.push_back(make_pair("!", NOT));
operMap.push_back(make_pair("&", BYTE_AND));
operMap.push_back(make_pair("~", COMPLEMENT));
operMap.push_back(make_pair("^", BYTE_XOR));
operMap.push_back(make_pair("*", MUL));
operMap.push_back(make_pair("/", DIV));
operMap.push_back(make_pair("%", MOD));
operMap.push_back(make_pair("+", ADD));
operMap.push_back(make_pair("-", SUB));
operMap.push_back(make_pair("<", LES_THAN));
operMap.push_back(make_pair(">", GRT_THAN));
operMap.push_back(make_pair("=", ASG));
operMap.push_back(make_pair("->", ARROW));
operMap.push_back(make_pair("++", SELF_ADD));
operMap.push_back(make_pair("--", SELF_SUB));
operMap.push_back(make_pair("<<", LEFT_MOVE));
operMap.push_back(make_pair(">>", RIGHT_MOVE));
operMap.push_back(make_pair("<=", LES_EQUAL));
operMap.push_back(make_pair(">=", GRT_EQUAL));
operMap.push_back(make_pair("==", EQUAL));
operMap.push_back(make_pair("!=", NOT_EQUAL));
operMap.push_back(make_pair("&&", AND));
operMap.push_back(make_pair("||", OR));
operMap.push_back(make_pair("+=", COMPLETE_ADD));
operMap.push_back(make_pair("-=", COMPLETE_SUB));
operMap.push_back(make_pair("*=", COMPLETE_MUL));
operMap.push_back(make_pair("/=", COMPLETE_DIV));
operMap.push_back(make_pair("^=", COMPLETE_BYTE_XOR));
operMap.push_back(make_pair("&=", COMPLETE_BYTE_AND));
operMap.push_back(make_pair("~=", COMPLETE_COMPLEMENT));
operMap.push_back(make_pair("%=", COMPLETE_MOD));
operMap.push_back(make_pair("|", BYTE_OR));
}
void InitLimitMap() {
limitMap.clear();
limitMap.push_back(make_pair("(", LEFT_BRA));
limitMap.push_back(make_pair(")", RIGHT_BRA));
limitMap.push_back(make_pair("[", LEFT_INDEX));
limitMap.push_back(make_pair("]", RIGHT_INDEX));
limitMap.push_back(make_pair("{", L_BOUNDER));
limitMap.push_back(make_pair("}", R_BOUNDER));
limitMap.push_back(make_pair(".", POINTER));
limitMap.push_back(make_pair("#", JING));
limitMap.push_back(make_pair("_", UNDER_LINE));
limitMap.push_back(make_pair(",", COMMA));
limitMap.push_back(make_pair(";", SEMI));
limitMap.push_back(make_pair("'", SIN_QUE));
limitMap.push_back(make_pair("\"", DOU_QUE));
}
//计算符号所对应的数字
int FindSignature(char * str) {
for (int i = 0; i < Signature.size(); i++) {
if (strcmp(str, Signature[i].first) == 0) {
return i;
}
}
return -1;
}
//数字x对应的符号能否为空
void DFS_NullPossibility(int x) {
//printf("%s\n",Signature[x].first);
if (visited[x]) {
return;
}
visited[x] = true;
for (int i = 0; i < ExprNum; i++) {
if (Expr[i][0] != x) {
continue;
}
bool ret = true;
for (int j = 2; j <= Expr[i][1]; j++) {
DFS_NullPossibility(Expr[i][j]);
ret &= canBeNull[Expr[i][j]];
}
if (ret) {
visited[x] = true;
canBeNull[x] = true;
return;
}
}
}
//输出产生式列表
void ShowExprList() {
for (int i = 0; i < ExprNum; i++) {
printf("%s -> ", Signature[Expr[i][0]].first);
for (int j = 2; j <= Expr[i][1]; j++) {
printf("%s ", Signature[Expr[i][j]].first);
}
printf("\n");
}
}
//输出状态转移关系
void ShowShiftList() {
for (int i = 0; i < Signature.size(); i++) {
for (int j = 0; j < Signature.size(); j++) {
if (ShiftList[i][j][0][0] <= 1 || i == j) {
continue;
}
printf("%3d %30s -> %30s\n", ShiftList[i][j][0][0], Signature[i].first, Signature[j].first);
for (int k = 1; k <= ShiftList[i][j][0][0]; k++) {
printf("---------->");
for (int h = 1; h <= ShiftList[i][j][k][0]; h++) {
printf("%s ", Signature[ShiftList[i][j][k][h]].first);
}
printf("\n");
}
}
}
}
//读入语法产生式
void ReadExpr() {
Signature.clear();
ifstream fin("Grammar.txt");
char str[50][50];
int Length = 0;
while (fin >> str[Length]) {
//读入一行产生式
if (strcmp(str[Length], "#") == 0) {
for (int i = 0; i < Length; i++) {
if (strcmp(str[i], "->") == 0) {
Expr[ExprNum][i] = Length - 1;
continue;
}
//将产生式中新出现的符号添加至符号列表
int signID = FindSignature(str[i]);
if (signID == -1) {
int tempLen = strlen(str[i]);
//添加非终结符
if (str[i][0] == '<' && str[i][tempLen - 1] == '>') {
pair<char *, bool> tempPair;
tempPair.first = new char [tempLen + 1];
memcpy(tempPair.first, str[i], tempLen);
tempPair.first[tempLen] = '\0';
tempPair.second = Scalable;
Signature.push_back(tempPair);
} else {//添加终结符
pair<char *, bool> tempPair;
tempPair.first = new char [tempLen + 1];
memcpy(tempPair.first, str[i], tempLen);
tempPair.first[tempLen] = '\0';
tempPair.second = unScalsble;
Signature.push_back(tempPair);
}
signID = Signature.size() - 1;
}
Expr[ExprNum][i] = signID;
}
Length = 0;
ExprNum++;
} else {
Length++;
}
}
fin.close();
//计算一个符号是否可以为空
memset(canBeNull, false, sizeof(canBeNull));
for (int i = 0; i < Signature.size(); i++) {
if (strcmp(Signature[i].first, "$") == 0) {
canBeNull[i] = true;
}
}
memset(visited, false, sizeof(visited));
for (int i = 0; i < Signature.size(); i++) {
if (Signature[i].second == Scalable) {
DFS_NullPossibility(i);
}
}
//加入符号未定义符号
pair<char *, bool> tempPair;
tempPair.first = new char [6];
memcpy(tempPair.first, "undef", 5);
tempPair.first[5] = '\0';
tempPair.second = unScalsble;
Signature.push_back(tempPair);
canBeNull[Signature.size() - 1] = false;
//ShowExprList();
}
//求数字x对应的符号的First集
void DFS_FirstSet(int x) {
if (visited[x] || Signature[x].second == unScalsble) {
return;
}
visited[x] = true;
for (int i = 0; i < ExprNum; i++) {
if (Expr[i][0] != x) {
continue;
}
for (int j = 2; j <= Expr[i][1]; j++) {
if (Signature[Expr[i][j]].second == unScalsble) {
First[x][Expr[i][j]] = true;
} else {
DFS_FirstSet(Expr[i][j]);
for (int k = 0; k < Signature.size(); k++) {
if (First[Expr[i][j]][k]) {
First[x][k] = true;
}
}
}
if (!canBeNull[Expr[i][j]]) {
break;
}
}
}
}
//求所有非终结符的First集
void GetFirstSet() {
memset(First, false, sizeof(First));
memset(visited, false, sizeof(visited));
for (int i = 0; i < Signature.size(); i++) {
if (Signature[i].second == unScalsble) {
continue;
}
DFS_FirstSet(i);
}
}
//求所有表达式的Select集
void GetSelectSet() {
memset(Select, false, sizeof(Select));
for (int i = 0; i < ExprNum; i++) {
for (int j = 2; j <= Expr[i][1]; j++) {
if (Signature[Expr[i][j]].second == unScalsble) {
Select[i][Expr[i][j]] = true;
} else {
for (int k = 0; k < Signature.size(); k++) {
if (First[Expr[i][j]][k]) {
Select[i][k] = true;
}
}
}
if (!canBeNull[Expr[i][j]]) {
break;
}
}
if (!canBeNull[Expr[i][0]]) {
Select[i][FindSignature("$")] = false;
}
}
}
//求非终结符->终结符的状态转移关系
void GetShiftList() {
memset(ShiftList, 0, sizeof(ShiftList));
int i, j;
for (i = 0; i < ExprNum; i++) {
for (j = 0; j < Signature.size(); j++) {
if (!Select[i][j]) {
continue;
}
ShiftList[Expr[i][0]][j][0][0]++;
for (int k = 1; k <= Expr[i][1]; k++) {
ShiftList[Expr[i][0]][j][ShiftList[Expr[i][0]][j][0][0]][k - 1] = Expr[i][k];
}
ShiftList[ Expr[i][0] ] [j] [ ShiftList[Expr[i][0]][j][0][0] ] [0]--;
}
}
//ShowShiftList();
}
//初始化语法
void Init() {
InitKeyMap();//初始化关键字
InitOperMap();//初始化操作符
InitLimitMap();//初始化限界符
tokenList.clear();
errorList.clear();
memset(LoopDepth, 0, sizeof(LoopDepth));
memset(BracketMatch, 0, sizeof(BracketMatch));
ReadExpr();//读入语法产生式
GetFirstSet();//计算First集
GetSelectSet();//计算Select集
GetShiftList();//计算状态转移关系
}
WA.cpp
#include "stdafx.h"
#include "WA.h"
extern vector<pair<const char *, int>> keyMap;
extern vector<pair<const char *, int>> operMap;
extern vector<pair<const char *, int>> limitMap;
extern vector<Token> tokenList;
extern vector<Error> errorList;
extern int LoopDepth[MAXLENGTH];
extern int BracketMatch[MAXLENGTH];
int BracStack[MAXLENGTH];
int Bsize;
FILE * WAofile;
errno_t WAerr = fopen_s(&WAofile, "WA.txt", "w");
//求字符串对应的关键字
int SeekKey(char * word) {
for (int i = 0; i < keyMap.size(); i++) {
if (strcmp(word, keyMap[i].first) == 0) {
return keyMap[i].second;
}
}
return IDENTIFER;
}
//加入一个token
void InsertToken(char * content, char * describe, int type, int line) {
Token tempToken;
strcpy_s(tempToken.content, content);
strcpy_s(tempToken.describe, describe);
tempToken.type = type;
tempToken.line = line;
tokenList.push_back(tempToken);
}
//加入一个错误
void InsertError___(char * content, char * describe, int type, int line) {
Error tempError;
strcpy_s(tempError.content, content);
strcpy_s(tempError.describe, describe);
tempError.type = type;
tempError.line = line;
errorList.push_back(tempError);
printf("Error:Line %d:%s\n", line, describe);
}
//检查预处理语句
void preProcess(char * word, int line) {
regex INCLUDE_REGEX("#include\\s*<[a-zA-Z0-9_\\.]+>\\s*");
regex DEFINE_REGEX("#define\\s+\\w+\\s+\\w+\\s*");
if (regex_match(word, INCLUDE_REGEX)) {
return;
}
if (regex_match(word, DEFINE_REGEX)) {
return;
}
InsertError___(word, PRE_PROCESS_ERROR, PRE_PROCESS_ERROR_NUM, line);
}
//输出token列表
void ShowTokenList() {
fprintf_s(WAofile, "\n------------------------------------------------------------------------------\n");
fprintf_s(WAofile, "%20s %20s %20s\n", "单词", "描述", "行数");
for (int i = 0; i < tokenList.size(); i++) {
fprintf_s(WAofile, "%20s %20s %20d\n", tokenList[i].content, tokenList[i].describe, tokenList[i].line);
}
fprintf_s(WAofile, "\n------------------------------------------------------------------------------\n");
}
//读入输入文件，分词
void Scan() {
char ch;
char array[300];//单词长度上限是30
char word[300];
int i;
int line = 1;//行数
FILE * infile;
errno_t err = fopen_s(&infile, "input.txt", "r");
ch = fgetc(infile);
while (ch != EOF) {
i = 0;
//以字母或者下划线开头,处理关键字或者标识符
if ((ch >= 'A' && ch <= 'Z') || (ch >= 'a' && ch <= 'z') || ch == '_') {
while ((ch >= 'A' && ch <= 'Z') || (ch >= 'a' && ch <= 'z') || (ch >= '0' && ch <= '9') || ch == '_') {
array[i++] = ch;
ch = fgetc(infile);
}
memcpy(word, array, i);
word[i] = '\0';
int seekTemp = SeekKey(word);
if (seekTemp != IDENTIFER) {
InsertToken(word, KEY_DESC, seekTemp, line);
} else {
InsertToken(word, IDENTIFER_DESC, seekTemp, line);
}
fseek(infile, -1L, SEEK_CUR); //向后回退一位
}
//以数字开头，处理数字
else if (ch >= '0' && ch <= '9') {
int flag = 0;
int flag2 = 0;
//处理整数
while (ch >= '0' && ch <= '9') {
array[i++] = ch;
ch = fgetc(infile);
}
//处理float
if (ch == '.') {
flag2 = 1;
array[i++] = ch;
ch = fgetc(infile);
if (ch >= '0' && ch <= '9') {
while (ch >= '0' && ch <= '9') {
array[i++] = ch;
ch = fgetc(infile);
}
} else {
flag = 1;
}
//处理Double
if (ch == 'E' || ch == 'e') {
array[i++] = ch;
ch = fgetc(infile);
if (ch == '+' || ch == '-') {
array[i++] = ch;
ch = fgetc(infile);
}
if (ch >= '0' && ch <= '9') {
array[i++] = ch;
ch = fgetc(infile);
} else {
flag = 2;
}
}
}
memcpy(word, array, i);
word[i] = '\0';
if (flag == 1) {
InsertError___(word, FLOAT_ERROR, FLOAT_ERROR_NUM, line);
} else if (flag == 2) {
InsertError___(word, DOUBLE_ERROR, DOUBLE_ERROR_NUM, line);
} else {
if (flag2 == 0) {
InsertToken(word, CONSTANT_DESC, INT_VAL, line);
} else {
InsertToken(word, CONSTANT_DESC, FLOAT_VAL, line);
}
}
fseek(infile, -1L, SEEK_CUR); //向后回退一位
}
//以"/"开头
else if (ch == '/') {
ch = fgetc(infile);
//处理运算符"/="
if (ch == '=') {
InsertToken("/=", OPE_DESC, COMPLETE_DIV, line);
}
//处理"/**/"型注释
else if (ch == '*') {
ch = fgetc(infile);
while (1) {
while (ch != '*') {
if (ch == '\n') {
line++;
}
ch = fgetc(infile);
if (ch == EOF) {
InsertError___(_NULL, NOTE_ERROR, NOTE_ERROR_NUM, line);
return;
}
}
ch = fgetc(infile);
if (ch == '/') {
break;
}
if (ch == EOF) {
InsertError___(_NULL, NOTE_ERROR, NOTE_ERROR_NUM, line);
return;
}
}
InsertToken(_NULL, NOTE_DESC, NOTE1, line);
}
//处理"//"型注释
else if (ch == '/') {
while (ch != '\n') {
ch = fgetc(infile);
if (ch == EOF) {
InsertToken(_NULL, NOTE_DESC, NOTE2, line);
return;
}
}
line++;
InsertToken(_NULL, NOTE_DESC, NOTE2, line);
if (ch == EOF) {
return;
}
}
//处理除号
else {
InsertToken("/", OPE_DESC, DIV, line);
}
}
//处理常量字符串
else if (ch == '"') {
InsertToken("\"", CLE_OPE_DESC, DOU_QUE, line);
ch = fgetc(infile);
i = 0;
while (ch != '"') {
array[i++] = ch;
if (ch == '\n') {
line++;
}
if (ch == '\\') {
array[i++] = ch;
ch = fgetc(infile);
array[i++] = ch;
}
ch = fgetc(infile);
if (ch == EOF) {
InsertError___(_NULL, STRING_ERROR, STRING_ERROR_NUM, line);
break;
}
}
memcpy(word, array, i);
word[i] = '\0';
InsertToken(word, CONSTANT_DESC, STRING_VAL, line);
InsertToken("\"", CLE_OPE_DESC, DOU_QUE, line);
}
//处理常量字符
else if (ch == '\'') {
InsertToken("\'", CLE_OPE_DESC, SIN_QUE, line);
ch = fgetc(infile);
i = 0;
while (ch != '\'') {
array[i++] = ch;
if (ch == '\n') {
line++;
}
if (ch == '\\') {
array[i++] = ch;
ch = fgetc(infile);
array[i++] = ch;
}
ch = fgetc(infile);
if (ch == EOF) {
InsertError___(_NULL, CHARCONST_ERROR, CHARCONST_ERROR_NUM, line);
break;
}
}
memcpy(word, array, i);
word[i] = '\0';
InsertToken(word, CONSTANT_DESC, CHAR_VAL, line);
InsertToken("\'", CLE_OPE_DESC, SIN_QUE, line);
} else if (ch == ' ' || ch == '\t' || ch == '\r' || ch == '\n') {
if (ch == '\n') {
line++;
}
} else {
if (ch == EOF) {
return;
}
//处理头文件和宏常量（预处理）
else if (ch == '#') {
while (ch != '\n' && ch != EOF) {
array[i++] = ch;
ch = fgetc(infile);
}
line++;
memcpy(word, array, i);
word[i] = '\0';
preProcess(word, line);
//fseek(infile, -1L, SEEK_CUR); //向后回退一位
}
//处理-开头的运算符
else if (ch == '-') {
array[i++] = ch;
ch = fgetc(infile);
if (ch >= '0' && ch <= '9') {
int flag = 0;
int flag2 = 0;
//处理整数
while (ch >= '0' && ch <= '9') {
array[i++] = ch;
ch = fgetc(infile);
}
//处理float
if (ch == '.') {
flag2 = 1;
array[i++] = ch;
ch = fgetc(infile);
if (ch >= '0' && ch <= '9') {
while (ch >= '0' && ch <= '9') {
array[i++] = ch;
ch = fgetc(infile);
}
} else {
flag = 1;
}
//处理Double
if (ch == 'E' || ch == 'e') {
array[i++] = ch;
ch = fgetc(infile);
if (ch == '+' || ch == '-') {
array[i++] = ch;
ch = fgetc(infile);
}
if (ch >= '0' && ch <= '9') {
array[i++] = ch;
ch = fgetc(infile);
} else {
flag = 2;
}
}
}
memcpy(word, array, i);
word[i] = '\0';
if (flag == 1) {
InsertError___(word, FLOAT_ERROR, FLOAT_ERROR_NUM, line);
} else if (flag == 2) {
InsertError___(word, DOUBLE_ERROR, DOUBLE_ERROR_NUM, line);
} else {
if (flag2 == 0) {
InsertToken(word, CONSTANT_DESC, INT_VAL, line);
} else {
InsertToken(word, CONSTANT_DESC, FLOAT_VAL, line);
}
}
fseek(infile, -1L, SEEK_CUR); //向后回退一位
} else if (ch == '>') {
InsertToken("->", OPE_DESC, ARROW, line);
} else if (ch == '-') {
InsertToken("--", OPE_DESC, SELF_SUB, line);
} else if (ch == '=') {
InsertToken("--", OPE_DESC, SELF_SUB, line);
} else {
InsertToken("-", OPE_DESC, SUB, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理+开头的运算符
else if (ch == '+') {
ch = fgetc(infile);
if (ch == '+') {
InsertToken("++", OPE_DESC, SELF_ADD, line);
} else if (ch == '=') {
InsertToken("+=", OPE_DESC, COMPLETE_ADD, line);
} else {
InsertToken("+", OPE_DESC, ADD, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理*开头的运算符
else if (ch == '*') {
ch = fgetc(infile);
if (ch == '=') {
InsertToken("*=", OPE_DESC, COMPLETE_MUL, line);
} else {
InsertToken("*", OPE_DESC, MUL, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理按^开头的运算符
else if (ch == '^') {
ch = fgetc(infile);
if (ch == '=') {
InsertToken("^=", OPE_DESC, COMPLETE_BYTE_XOR, line);
} else {
InsertToken("^", OPE_DESC, BYTE_XOR, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理%开头的运算符
else if (ch == '%') {
ch = fgetc(infile);
if (ch == '=') {
InsertToken("%=", OPE_DESC, COMPLETE_MOD, line);
} else {
InsertToken("%", OPE_DESC, MOD, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理&开头的运算符
else if (ch == '&') {
ch = fgetc(infile);
if (ch == '=') {
InsertToken("&=", OPE_DESC, COMPLETE_BYTE_AND, line);
} else if (ch == '&') {
InsertToken("&&", OPE_DESC, AND, line);
} else {
InsertToken("&", OPE_DESC, BYTE_AND, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理~开头的运算符
else if (ch == '~') {
ch = fgetc(infile);
if (ch == '=') {
InsertToken("~=", OPE_DESC, COMPLETE_COMPLEMENT, line);
} else {
InsertToken("~", OPE_DESC, COMPLEMENT, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理!开头的运算符
else if (ch == '!') {
ch = fgetc(infile);
if (ch == '=') {
InsertToken("!=", OPE_DESC, NOT_EQUAL, line);
} else {
InsertToken("!", OPE_DESC, NOT, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理<开头的运算符
else if (ch == '<') {
ch = fgetc(infile);
if (ch == '<') {
InsertToken("<<", OPE_DESC, LEFT_MOVE, line);
} else if (ch == '=') {
InsertToken("<=", OPE_DESC, LES_EQUAL, line);
} else {
InsertToken("<", OPE_DESC, LES_THAN, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理>开头的运算符
else if (ch == '>') {
ch = fgetc(infile);
if (ch == '>') {
InsertToken(">>", OPE_DESC, RIGHT_MOVE, line);
} else if (ch == '=') {
InsertToken(">=", OPE_DESC, GRT_EQUAL, line);
} else {
InsertToken(">", OPE_DESC, GRT_THAN, line);
fseek(infile, -1L, SEEK_CUR);
}
}
//处理|开头的运算符
else if (ch == '|') {
ch = fgetc(infile);
if (ch == '|') {
InsertToken("||", OPE_DESC, OR, line);
} else {
InsertToken("|", OPE_DESC, BYTE_OR, line);
fseek(infile, -1L, SEEK_CUR);
}
} else if (ch == '=') {
ch = fgetc(infile);
if (ch == '=') {
InsertToken("==", OPE_DESC, EQUAL, line);
} else {
InsertToken("=", OPE_DESC, ASG, line);
fseek(infile, -1L, SEEK_CUR);
}
} else if (ch == '(') {
InsertToken("(", CLE_OPE_DESC, LEFT_BRA, line);
} else if (ch == ')') {
InsertToken(")", CLE_OPE_DESC, RIGHT_BRA, line);
} else if (ch == '[') {
InsertToken("[", CLE_OPE_DESC, LEFT_INDEX, line);
} else if (ch == ']') {
InsertToken("]", CLE_OPE_DESC, RIGHT_INDEX, line);
} else if (ch == '{') {
InsertToken("{", CLE_OPE_DESC, L_BOUNDER, line);
} else if (ch == '}') {
InsertToken("}", CLE_OPE_DESC, R_BOUNDER, line);
} else if (ch == '.') {
InsertToken(".", CLE_OPE_DESC, POINTER, line);
} else if (ch == ',') {
InsertToken(",", CLE_OPE_DESC, COMMA, line);
} else if (ch == ';') {
InsertToken(";", CLE_OPE_DESC, SEMI, line);
} else {
char temp[2];
temp[0] = ch;
temp[1] = '\0';
InsertError___(temp, CHAR_ERROR, CHAR_ERROR_NUM, line);
}
}
ch = fgetc(infile);
}
fclose(infile);
for (int i = 1; i < tokenList.size(); i++) {
if (tokenList[i - 1].type == STRUCT && tokenList[i].type == IDENTIFER) {
tokenList[i].type = TYPE;
}
}
ShowTokenList();
}
//检查括号是否匹配
void Bracket() {
//大括号
Bsize = 0;
for (int i = 0; i < tokenList.size(); i++) {
if (strcmp(tokenList[i].content, "{") == 0) {
BracStack[Bsize++] = i;
}
if (strcmp(tokenList[i].content, "}") == 0) {
if (Bsize) {
if (strcmp(tokenList[BracStack[Bsize - 1]].content, "{") == 0) {
BracketMatch[BracStack[Bsize - 1]] = i;
BracketMatch[i] = BracStack[Bsize - 1];
Bsize--;
} else {
BracStack[Bsize++] = i;
}
} else {
BracStack[Bsize++] = i;
}
}
}
for (int i = 0; i < Bsize; i++) {
if (strcmp(tokenList[BracStack[i]].content, "{") == 0) {
printf("Error:Line %d:expect }\n", tokenList[BracStack[i]].line);
} else {
printf("Error:Line %d:unexpected }\n", tokenList[BracStack[i]].line);
}
}
//中括号
Bsize = 0;
for (int i = 0; i < tokenList.size(); i++) {
if (strcmp(tokenList[i].content, "[") == 0) {
BracStack[Bsize++] = i;
}
if (strcmp(tokenList[i].content, "]") == 0) {
if (Bsize) {
if (strcmp(tokenList[BracStack[Bsize - 1]].content, "[") == 0) {
BracketMatch[BracStack[Bsize - 1]] = i;
BracketMatch[i] = BracStack[Bsize - 1];
Bsize--;
} else {
BracStack[Bsize++] = i;
}
} else {
BracStack[Bsize++] = i;
}
}
}
for (int i = 0; i < Bsize; i++) {
if (strcmp(tokenList[BracStack[i]].content, "[") == 0) {
printf("Error:Line %d:expect ]\n", tokenList[BracStack[i]].line);
} else {
printf("Error:Line %d:unexpected ]\n", tokenList[BracStack[i]].line);
}
}
//小括号
Bsize = 0;
for (int i = 0; i < tokenList.size(); i++) {
if (strcmp(tokenList[i].content, "(") == 0) {
BracStack[Bsize++] = i;
}
if (strcmp(tokenList[i].content, ")") == 0) {
if (Bsize) {
if (strcmp(tokenList[BracStack[Bsize - 1]].content, "(") == 0) {
BracketMatch[BracStack[Bsize - 1]] = i;
BracketMatch[i] = BracStack[Bsize - 1];
Bsize--;
} else {
BracStack[Bsize++] = i;
}
} else {
BracStack[Bsize++] = i;
}
}
}
for (int i = 0; i < Bsize; i++) {
if (strcmp(tokenList[BracStack[i]].content, "(") == 0) {
printf("Error:Line %d:expect )\n", tokenList[BracStack[i]].line);
} else {
printf("Error:Line %d:unexpected )\n", tokenList[BracStack[i]].line);
}
}
//计算每个token所在的循环深度
int l, r;
for (int i = 0; i < tokenList.size(); i++) {
if (strcmp(tokenList[i].content, "for") == 0 || strcmp(tokenList[i].content, "while") == 0) {
l = tokenList.size();
for (int j = i + 1; j < tokenList.size(); j++) {
if (strcmp(tokenList[j].content, "{") == 0) {
l = j;
break;
}
}
r = (BracketMatch[l] == 0 ? tokenList.size() : BracketMatch[l]);
for (int j = l; j <= r; j++) {
LoopDepth[j]++;
}
}
}
}
SA.cpp
#include "stdafx.h"
#include "SA.h"
extern vector<Token> tokenList;
extern vector<pair<char *, bool>> Signature;
int CodeStack[MAXLENGTH], TryStack[MAXLENGTH], tokenId[MAXLENGTH];
int Csize = 0, Tsize = 0;
extern int ShiftList[MAXSIGN][MAXSIGN][10][100];
extern bool canBeNull[MAXSIGN];
extern int LoopDepth[MAXLENGTH];
extern int cnt;
int keyWord;
int ErrorCnt;
FILE * ofile;
errno_t err = fopen_s(&ofile, "detail.txt", "w");
int tokenNeed, tokenFound, unMatchLine, unMatchPtr, tryLength;
FILE * SAofile;
errno_t SAerr = fopen_s(&SAofile, "SA.txt", "w");
//输出匹配栈
void ShowTryStack(FILE * ofile) {
if (Tsize <= 0) {
printf("OMG\n");
}
fprintf_s(ofile, "\n-----------------------------------------------------------------------------------------------------------------\n");
fprintf_s(ofile, "%15s ", "TryStack:");
for (int i = Tsize - 1; i >= 0; i--) {
fprintf_s(ofile, "%s ", Signature[TryStack[i]].first);
}
fprintf_s(ofile, "\n");
}
//输出程序栈
void ShowCodeStack(FILE * ofile, int ptr) {
fprintf_s(ofile, "%15s ", "CodeStack:");
for (int i = ptr; i >= 0; i--) {
fprintf_s(ofile, "%s ", Signature[CodeStack[i]].first);
}
fprintf_s(ofile, "\n");
fprintf_s(ofile, "-----------------------------------------------------------------------------------------------------------------\n");
}
//标识符是否为自定义类型
bool SelfDefineType(int x) {
for (int i = 0; i < x; i++)
if (strcmp(tokenList[i].content, tokenList[x].content) == 0 && tokenList[i].type == TYPE) {
return true;
}
return false;
}
//匹配失败后重新开始位置
int SearchNext(int x) {
int Mor = 0;
bool changed = false;
for (int i = x; i >= 0; i--) {
if (strcmp(Signature[CodeStack[i]].first, "{") == 0) {
Mor += 10000;
changed = true;
}
if (strcmp(Signature[CodeStack[i]].first, "[") == 0) {
Mor += 100;
changed = true;
}
if (strcmp(Signature[CodeStack[i]].first, "(") == 0) {
Mor += 1;
changed = true;
}
if (strcmp(Signature[CodeStack[i]].first, "}") == 0) {
Mor -= 10000;
changed = true;
}
if (strcmp(Signature[CodeStack[i]].first, "]") == 0) {
Mor -= 100;
changed = true;
}
if (strcmp(Signature[CodeStack[i]].first, ")") == 0) {
Mor -= 1;
changed = true;
}
if (Mor == 0 && changed) {
return i - 1;
}
}
return -1;
}
//尝试展开非终结符
int Try(int top, int sn, int ptr) {
if (ptr < 0 || Tsize <= top) {
return -10;
}
int Expl = TryStack[top];
Tsize += (ShiftList[Expl][CodeStack[ptr]][sn][0] - 1);
for (int i = 1; i <= ShiftList[Expl][CodeStack[ptr]][sn][0]; i++) {
TryStack[Tsize - i] = ShiftList[Expl][CodeStack[ptr]][sn][i];
}
keyWord = Expl;
while (Tsize > top) {
//fprintf_s(ofile, "\n%d", ++cnt);
//ShowTryStack(ofile);
//ShowCodeStack(ofile, ptr);
//若程序栈为空
if (ptr < 0) {
if (canBeNull[TryStack[Tsize - 1]]) {
Tsize--;
continue;
} else {
if (SHOWTRYDETAIL) {
printf("Line %2d:%s:%s can\' t explain as %s \n", tokenList[tokenId[0]].line, Signature[keyWord].first, tokenList[tokenId[0]].content, Signature[TryStack[top]].first);
}
if ((unMatchPtr > ptr) || ((unMatchPtr == ptr) && (Tsize > tryLength))) {
unMatchPtr = ptr;
tryLength = Tsize;
tokenNeed = TryStack[Tsize - 1];
tokenFound = -1;
unMatchLine = tokenList[tokenId[0]].line;
}
return -10;
}
}
//未定义符号
if (CodeStack[ptr] == Signature.size() - 1) {
printf("Error %d:Line %d:undefined sign <--------\n", ++ErrorCnt, tokenList[tokenId[ptr]].line);
ptr--;
continue;
}
//是否为break或continue语句
if (strcmp(Signature[CodeStack[ptr]].first, "break") == 0 || strcmp(Signature[CodeStack[ptr]].first, "continue") == 0) {
if (LoopDepth[tokenId[ptr]] == 0) {
printf("Error %d:Line %d:can\'t break or continue out of loop <--------\n", ++ErrorCnt, tokenList[tokenId[ptr]].line);
}
ptr--;
if (ptr >= 0) {
if (strcmp(Signature[CodeStack[ptr]].first, ";") == 0) {
ptr--;
} else {
printf("Error %d:Line %d:expect ; <--------\n", ++ErrorCnt, tokenList[tokenId[ptr]].line);
}
} else {
printf("Error %d:Line %d:expect ; <--------\n", ++ErrorCnt, tokenList[tokenId[ptr]].line);
}
}
//若两栈栈顶元素相同
if (TryStack[Tsize - 1] == CodeStack[ptr]) {
Tsize--;
ptr--;
continue;
}
//若匹配栈栈顶为终结符
if (Signature[TryStack[Tsize - 1]].second == unScalsble) {
if (SHOWTRYDETAIL) {
printf("Line %2d:%s:%s can\' t explain as %s \n", tokenList[tokenId[0]].line, Signature[keyWord].first, tokenList[tokenId[0]].content, Signature[TryStack[top]].first);
}
if ((unMatchPtr > ptr) || ((unMatchPtr == ptr) && (Tsize > tryLength))) {
unMatchPtr = ptr;
tryLength = Tsize;
tokenNeed = TryStack[Tsize - 1];
tokenFound = CodeStack[ptr];
unMatchLine = tokenList[tokenId[ptr]].line;
}
return -10;
}
//若无法由匹配栈栈顶转移至程序栈栈顶
if (ShiftList[TryStack[Tsize - 1]][CodeStack[ptr]][0][0] == 0) {
if (canBeNull[TryStack[Tsize - 1]]) {
Tsize--;
continue;
} else {
if (SHOWTRYDETAIL) {
printf("Line %2d:%s:%s can\' t explain as %s \n", tokenList[tokenId[0]].line, Signature[keyWord].first, tokenList[tokenId[0]].content, Signature[TryStack[top]].first);
}
if ((unMatchPtr > ptr) || ((unMatchPtr == ptr) && (Tsize > tryLength))) {
unMatchPtr = ptr;
tryLength = Tsize;
tokenNeed = TryStack[Tsize - 1];
tokenFound = CodeStack[ptr];
unMatchLine = tokenList[tokenId[ptr]].line;
}
return -10;
}
}
//将匹配站栈顶按状态转移关系展开
if (ShiftList[TryStack[Tsize - 1]][CodeStack[ptr]][0][0] == 1) {
int temp = TryStack[Tsize - 1];
keyWord = temp;
Tsize += (ShiftList[temp][CodeStack[ptr]][1][0] - 1);
for (int i = 1; i <= ShiftList[temp][CodeStack[ptr]][1][0]; i++) {
TryStack[Tsize - i] = ShiftList[temp][CodeStack[ptr]][1][i];
}
} else {
bool Match = false;
int tempKeyWord = keyWord;
int tempTs = Tsize;
int tempTi = TryStack[Tsize - 1];
int tempPtr = ptr;
int MINptr = ptr;
for (int i = ShiftList[TryStack[tempTs - 1]][CodeStack[tempPtr]][0][0]; i >= 1; i--) {
int ret = Try(Tsize - 1, i, tempPtr);
if (ret != -10) {
Match = true;
if (MINptr > ret) {
MINptr = ret;
}
}
Tsize = tempTs;
TryStack[Tsize - 1] = tempTi;
}
if (!Match) {
if (SHOWTRYDETAIL) {
printf("Line %2d:%s:%s can\' t explain as %s \n", tokenList[tokenId[0]].line, Signature[keyWord].first, tokenList[tokenId[0]].content, Signature[TryStack[top]].first);
}
if ((unMatchPtr > ptr) || ((unMatchPtr == ptr) && (Tsize > tryLength))) {
unMatchPtr = ptr;
tryLength = Tsize;
tokenNeed = TryStack[Tsize - 1];
tokenFound = CodeStack[ptr];
unMatchLine = tokenList[tokenId[ptr]].line;
}
return -10;
} else {
ptr = MINptr;
Tsize--;
}
keyWord = tempKeyWord;
}
}
return ptr;
}
//插入符号
void InsertSign(int i) {
if (tokenList[i].type == AUTO || tokenList[i].type == CONST || tokenList[i].type == UNSIGNED || tokenList[i].type == SIGNED ||
tokenList[i].type == STATIC || tokenList[i].type == VOLATILE) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("describe");
} else if (tokenList[i].type == INT_VAL || tokenList[i].type == FLOAT_VAL || tokenList[i].type == CHAR_VAL || tokenList[i].type == TRUE ||
tokenList[i].type == FALSE) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("digit");
} else if (tokenList[i].type == CHAR || tokenList[i].type == DOUBLE || tokenList[i].type == FLOAT || tokenList[i].type == INT ||
tokenList[i].type == LONG || tokenList[i].type == SHORT || tokenList[i].type == VOID || tokenList[i].type == BOOL ||
tokenList[i].type == TYPE || SelfDefineType(i)) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("type");
} else if (tokenList[i].type == STRING_VAL) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("string");
} else if (tokenList[i].type == DOU_QUE || tokenList[i].type == SIN_QUE || tokenList[i].type == NOTE1 || tokenList[i].type == NOTE2) {
} else if (tokenList[i].type == IDENTIFER) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("id");
} else if (tokenList[i].type == FOR) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("for");
} else if (tokenList[i].type == IF) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("if");
} else if (tokenList[i].type == ELSE) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("else");
} else if (tokenList[i].type == RETURN) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("return");
} else if (tokenList[i].type == STRUCT) {
tokenId[Csize] = i;
CodeStack[Csize++] = FindSignature("struct");
} else {
tokenId[Csize] = i;
int temp = FindSignature(tokenList[i].content);
if (temp != -1) {
CodeStack[Csize++] = temp;
} else {
CodeStack[Csize++] = Signature.size() - 1;
}
}
if (tokenList[i].type != DOU_QUE && tokenList[i].type != SIN_QUE) {
fprintf_s(SAofile, "%5d %15s %15s %15d\n", Csize - 1, Signature[CodeStack[Csize - 1]].first, tokenList[i].content, tokenList[i].line);
}
}
//语法检查
void Analyse() {
//将token列表转化为程序栈
fprintf_s(SAofile, " %5s %15s %15s %15s\n", "标号" , "符号", "单词", "行数");
for (int i = tokenList.size() - 1; i >= 0; i--) {
InsertSign(i);
}
cnt = 0;
//按语法产生式检查程序栈是否符合语法
while (Csize) {
if (ShiftList[0][CodeStack[Csize - 1]][0][0] == 0) {
printf("Error:Line %2d %s <--------\n", tokenList[tokenId[Csize - 1]].line, tokenList[tokenId[Csize - 1]].content);
Csize = SearchNext(Csize - 1) + 1;
continue;
}
bool Match = false;
unMatchPtr = 0x7FFFFFFF;
tryLength = 0x7FFFFFFF;
for (int i = 1; i <= ShiftList[0][CodeStack[Csize - 1]][0][0]; i++) {
Tsize = 1;
TryStack[0] = 0;
int ret = Try(0, i, Csize - 1);
if (ret != -10) {
Match = true;
Csize = ret + 1;
break;
}
}
if (!Match) {
printf("Error %d:Line %2d %s <--------\n", ++ErrorCnt, tokenList[tokenId[Csize - 1]].line, tokenList[tokenId[Csize - 1]].content);
printf("Error:Line %d:%s needed,%s found.\n", unMatchLine, Signature[tokenNeed].first, (tokenFound == -1 ? ("NULL") : (Signature[tokenFound].first)));
Csize = SearchNext(Csize - 1) + 1;
}
}
printf("Finish\n");
fclose(ofile);
}
Grammar.cpp
#include "stdafx.h"
#include "Macro_Struct.h"
#include "initial.h"
#include "WA.h"
#include "SA.h"
int main() {
Init();//初始化语法
Scan();//词法检查
Bracket();//检查括号是否匹配
Analyse();//语法检查
getchar();
return 0;
}
资源文件：
Grammar.txt
<程序闭包> -> <声明语句> #
<程序闭包> -> <函数定义> #
<程序闭包> -> <类定义> #
<程序闭包> -> $ #
<类定义> -> struct type { <声明语句闭包> } ; #
<函数定义> -> <修饰词闭包> <类型> <变量> ( <参数声明> ) { <函数块> } #
<修饰词闭包> -> <修饰词> <修饰词闭包> #
<修饰词闭包> -> $ #
<修饰词> -> describe #
<类型> -> type <取地址> #
<取地址> -> <星号闭包> #
<星号闭包> -> <星号> <星号闭包> #
<星号闭包> -> $ #
<星号> -> * #
<变量> -> <标志符闭包> <数组闭包> #
<标志符闭包> -> id <数组闭包> #
<标志符闭包> -> id <数组闭包> . <标志符闭包> #
<标志符闭包> -> id <数组闭包> . <标志符闭包> ( <参数列表> ) #
<数组闭包> -> <数组下标> <数组闭包> #
<数组闭包> -> $ #
<数组下标> -> [ <表达式> ] #
<数组下标> -> $ #
<因式> -> ( <表达式> ) #
<因式> -> <变量> #
<因式> -> <数字> #
<数字> -> digit #
<数字> -> string #
<表达式> -> <变量> ( <参数列表> ) #
<表达式> -> <因子> <项> #
<表达式> -> <后缀表达式> #
<表达式> -> <前缀表达式> #
<因子> -> <因式> <因式递归> #
<因式递归> -> * <因式> <因式递归> #
<因式递归> -> / <因式> <因式递归> #
<因式递归> -> $ #
<项> -> + <因子> <项> #
<项> -> - <因子> <项> #
<项> -> $ #
<参数声明> -> <声明> <声明闭包> #
<参数声明> -> $ #
<声明> -> <修饰词闭包> <类型> <变量> <赋初值> #
<赋初值> -> = <右值> #
<赋初值> -> $ #
<右值> -> <表达式> #
<右值> -> { <多个数据> } #
<多个数据> -> <数字> <数字闭包> #
<数字闭包> -> , <数字> <数字闭包> #
<数字闭包> -> $ #
<声明闭包> -> , <声明> <声明闭包> #
<声明闭包> -> $ #
<函数块> -> <函数块闭包> #
<声明语句闭包> -> <声明语句> <声明语句闭包> #
<声明语句闭包> -> $ #
<声明语句> -> <声明> ; #
<函数块闭包> -> <变量> ; <函数块闭包> #
<函数块闭包> -> <声明语句> <函数块闭包> #
<函数块闭包> -> <赋值函数> <函数块闭包> #
<函数块闭包> -> <for循环> <函数块闭包> #
<函数块闭包> -> <while循环> <函数块闭包> #
<函数块闭包> -> <条件语句> <函数块闭包> #
<函数块闭包> -> <函数返回> <函数块闭包> #
<函数块闭包> -> <表达式> ; <函数块闭包> #
<函数块闭包> -> $ #
<赋值函数> -> <变量> <赋值或函数调用> #
<赋值或函数调用> -> = <右值> ; #
<赋值或函数调用> -> ( <参数列表> ) ; #
<参数列表> -> $ #
<参数列表> -> <参数> <参数闭包> #
<参数闭包> -> , <参数> <参数闭包> #
<参数闭包> -> $ #
<参数> -> <标志符闭包> #
<参数> -> <数字> #
<参数> -> <字符串> #
<参数> -> <表达式> #
<字符串> -> string #
<for循环> -> for ( <赋值函数> <逻辑表达式> ; <后缀表达式> ) { <函数块> } #
<for循环> -> for ( type <赋值函数> <逻辑表达式> ; <后缀表达式> ) { <函数块> } #
<while循环> -> while ( <逻辑表达式> ) { <函数块> } #
<逻辑表达式> -> <表达式> #
<逻辑表达式> -> <表达式> <逻辑运算符> <逻辑表达式> #
<逻辑运算符> -> < #
<逻辑运算符> -> > #
<逻辑运算符> -> == #
<逻辑运算符> -> != #
<逻辑运算符> -> <= #
<逻辑运算符> -> >= #
<逻辑运算符> -> || #
<逻辑运算符> -> && #
<后缀表达式> -> <变量> <后缀运算符> #
<后缀运算符> -> ++ #
<后缀运算符> -> -- #
<前缀表达式> -> <前缀运算符> <变量> #
<前缀运算符> -> ++ #
<前缀运算符> -> -- #
<前缀运算符> -> ! #
<条件语句> -> if ( <逻辑表达式> ) { <函数块> } <否则语句> #
<否则语句> -> else { <函数块闭包> } #
<否则语句> -> $ #
<函数返回> -> return <因式> ; #
<函数返回> -> return ; #
<终结符> -> break #
<终结符> -> continue #
input.txt
#define NOT 61
#define BYTE_AND 62
#define COMPLEMENT 63
#define BYTE_XOR 64
#define MUL 65
#define DIV 66
#define MOD 67
#define ADD 68
#define SUB 69
#define GRT_THAN 71
#define ASG 72
#define ARROW 73
#define SELF_ADD 74
#define SELF_SUB 75
#define LEFT_MOVE 76
#define RIGHT_MOVE 77
#define LES_EQUAL 78
#define GRT_EQUAL 79
#define EQUAL 80
#define NOT_EQUAL 81
#define AND 82
#define OR 83
#define COMPLETE_ADD 84
#define COMPLETE_SUB 85
#define COMPLETE_MUL 86
#define COMPLETE_DIV 87
#define COMPLETE_BYTE_XOR 88
#define COMPLETE_BYTE_AND 89
#define COMPLETE_COMPLEMENT 90
#define COMPLETE_MOD 91
#define BYTE_OR 92
struct Token {
char content[300];
char describe[300];
int type;
int line;
};
struct Error {
char content[300];
char describe[300];
int type;
int line;
};
int Expr[100][100];
int ExprNum = 0;
bool First[100][100];
bool visited[100];
bool Follow[100][100];
bool Select[100][100];
int ShiftList[100][100][10][100];
bool canBeNull[100];
int ArrayFlag;
int cnt;
int FindSignature(char * str) {
for (i = 0; i < Signature.size(); i++) {
if (strcmp(str, Signature[i].first) == 0) {
return i;
}
}
return -1;
}
void ShowExprList() {
for (i = 0; i < ExprNum; i++) {
printf("%s -> ", Signature[Expr[i][0]].first);
for (j = 2; j < Expr[i][1]; j++) {
printf("%s ", Signature[Expr[i][j]].first);
}
printf("\n");
}
}
int DFS_NullPossibility(int x) {
if (visited[x] == 1) {
return 0;
}
visited[x] = 1;
for (i = 0; i < ExprNum; i++) {
if (Expr[i][0] != x) {
}
bool ret = 1;
for (j = 2; j < Expr[i][1]; j++) {
DFS_NullPossibility(Expr[i][j]);
ret = canBeNull[Expr[i][j]];
}
if (ret == 1) {
visited[x] = 1;
canBeNull[x] = 1;
return 0;
}
}
}
void ReadExpr() {
Signature.clear();
char str[50][50];
int Length = 0;
while (1 == 1) {
if (strcmp(str[Length], "#") == 0) {
for (i = 0; i < Length; i++) {
if (strcmp(str[i], "->") == 0) {
Expr[ExprNum][i] = Length - 1;
}
int signID = FindSignature(str[i]);
if (signID == -1) {
int tempLen = strlen(str[i]);
signID = Signature.size() - 1;
}
Expr[ExprNum][i] = signID;
}
Length = 0;
ExprNum++;
} else {
Length++;
}
}
fin.close();
memset(canBeNull, false, sizeof(canBeNull));
for (i = 0; i < Signature.size(); i++) {
if (strcmp(Signature[i].first, "$") == 0) {
canBeNull[i] = 1;
}
}
memset(visited, false, sizeof(visited));
for (i = 0; i < Signature.size(); i++) {
if (Signature[i].second == Scalable) {
DFS_NullPossibility(i);
}
}
memcpy(tempPair.first, "undef", 5);
tempPair.first[5] = "\0";
tempPair.second = unScalsble;
Signature.push_back(tempPair);
canBeNull[Signature.size() - 1] = 0;
}
void DFS_FirstSet(int x) {
visited[x] = 1;
for (i = 0; i < ExprNum; i++) {
if (Expr[i][0] != x) {
}
for (j = 2; j < Expr[i][1]; j++) {
if (Signature[Expr[i][j]].second == unScalsble) {
First[x][Expr[i][j]] = 1;
} else {
DFS_FirstSet(Expr[i][j]);
for (k = 0; k < Signature.size(); k++) {
if (First[Expr[i][j]][k] == 1) {
First[x][k] = 1;
}
}
}
if (canBeNull[Expr[i][j]] == 0) {
}
}
}
}
void GetFirstSet() {
memset(First, false, sizeof(First));
memset(visited, false, sizeof(visited));
for (int i = 0; i < Signature.size(); i++) {
if (Signature[i].second == unScalsble) {
continue;
}
DFS_FirstSet(i);
}
}
void GetSelectSet() {
memset(Select, false, sizeof(Select));
for (int i = 0; i < ExprNum; i++) {
for (int j = 2; j <= Expr[i][1]; j++) {
if (Signature[Expr[i][j]].second == unScalsble) {
Select[i][Expr[i][j]] = true;
} else {
for (int k = 0; k < Signature.size(); k++) {
if (First[Expr[i][j]][k]) {
Select[i][k] = true;
}
}
}
if (!canBeNull[Expr[i][j]]) {
break;
}
}
if (!canBeNull[Expr[i][0]]) {
Select[i][FindSignature("$")] = false;
}
}
}
void ShowShiftList() {
for (int i = 0; i < Signature.size(); i++) {
for (int j = 0; j < Signature.size(); j++) {
if (ShiftList[i][j][0][0] <= 1 || i == j) {
continue;
}
printf("%3d %30s -> %30s\n", ShiftList[i][j][0][0], Signature[i].first, Signature[j].first);
for (int k = 1; k <= ShiftList[i][j][0][0]; k++) {
printf("---------->");
for (int h = 1; h <= ShiftList[i][j][k][0]; h++) {
printf("%s ", Signature[ShiftList[i][j][k][h]].first);
}
printf("\n");
}
}
}
}
void GetShiftList() {
memset(ShiftList, 0, sizeof(ShiftList));
for (int i = 0; i < ExprNum; i++) {
for (int j = 0; j < Signature.size(); j++) {
if (!Select[i][j]) {
continue;
}
ShiftList[Expr[i][0]][j][0][0]++;
for (int k = 1; k <= Expr[i][1]; k++) {
ShiftList[Expr[i][0]][j][ShiftList[Expr[i][0]][j][0][0]][k - 1] = Expr[i][k];
}
ShiftList[Expr[i][0]][j][ShiftList[Expr[i][0]][j][0][0]][0]--;
}
}
//ShowShiftList();
}
void Init() {
InitKeyMap();
InitOperMap();
InitLimitMap();
tokenList.clear();
errorList.clear();
ReadExpr();
GetFirstSet();
GetSelectSet();
GetShiftList();
}
int SeekKey(char * word) {
for (int i = 0; i < keyMap.size(); i++) {
if (strcmp(word, keyMap[i].first) == 0) {
return keyMap[i].second;
}
}
return IDENTIFER;
}
void InsertToken(char * content, char * describe, int type, int line) {
Token tempToken;
strcpy_s(tempToken.content, content);
strcpy_s(tempToken.describe, describe);
tempToken.type = type;
tempToken.line = line;
tokenList.push_back(tempToken);
}
void InsertToken(char * content, char * describe, int type, int line) {
Token tempToken;
strcpy_s(tempToken.content, content);
strcpy_s(tempToken.describe, describe);
tempToken.type = type;
tempToken.line = line;
tokenList.push_back(tempToken);
}
void InsertError___(char * content, char * describe, int type, int line) {
Error tempError;
strcpy_s(tempError.content, content);
strcpy_s(tempError.describe, describe);
tempError.type = type;
tempError.line = line;
errorList.push_back(tempError);
printf("Line %d:%s\n", line, describe);
}
