?? syntax.cpp
字號:
////////////////////////////////////////////////
// //
// Syntax.cpp //
// 語法檢查模塊 //
// 處理整個程序或單個語句語法檢查的請求 //
// 最后更新時間：2004年4月23日11:35 //
// //
////////////////////////////////////////////////
#include <string.h>
#include <ctype.h>
#include "Syntax.h"
void CheckSyntax()
{
// 檢查程序的語法
// 當前行語句的副本
char Line[MaxY];
for (int i = 0; i <= EndLine; i++)
{
// 得到語句行的副本
strcpy(Line, Text[i]->Line);
// 清除前后空格
ClearHeadBlank(Line);
ClearTailBlank(Line);
// 檢查該行
Error = CheckLine(Line);
if (Error != NoError)
{
// 發現語法錯誤
// 顯示語法錯誤
ShowError(Error, i, "");
return;
}
}
}
ErrorType CheckLine(const char strLineIn[MaxY])
{
char strLine[MaxY];
strcpy(strLine, strLineIn);
ClearHeadBlank(strLine);
ClearTailBlank(strLine);
if (strLine[0] == '\0')
{
// 空行
// 返回無錯誤
return NoError;
}
// 存儲首字符串
char Cmd[MaxY];
// 得到首字符串
GetPart(strLine, 1, ' ', Cmd);
if (strcmp(Cmd, "REM") == 0)
{
// 注釋行，跳過語法檢查
}
else if (strcmp(Cmd, "CLS") == 0
|| strcmp(Cmd, "CONTINUE") == 0
|| strcmp(Cmd, "BREAK") == 0
|| strcmp(Cmd, "EXIT") == 0
|| strcmp(Cmd, "ELSE") == 0)
{
// 單命令語句
// 得到其尾字符串
char Tail[MaxY];
GetPart(strLine,2,' ', Tail);
if (Tail[0] != '\0')
{
// 有尾巴
// 有多余部分
return ErrorUnwantedPart;
}
}
else if (strcmp(Cmd, "DIM") == 0)
{
// DIM語句
// 得到變量名
char Var[MaxY];
GetPart(strLine, 2, ' ', Var);
if (Var[0] == '\0')
{
return ErrorMissingVar;
}
if (!VarOK(Var))
{
// 變量名錯誤
return Error;
}
// 檢查AS關鍵字
char Part[MaxY];
GetPart(strLine, 3, ' ', Part);
if (strcmp(Part, "AS") != 0)
{
// 缺少AS
return ErrorMissingAS;
}
// 檢查類型描述
char Type[MaxY];
GetPart(strLine, 4, ' ', Type);
if (strcmp(Type, "INTEGER") != 0
&& strcmp(Type, "REAL") != 0
&& strcmp(Type, "STRING") != 0
&& strcmp(Type, "ARRAY") != 0)
{
// 未知類型
return ErrorMissingVarType;
}
// 得到尾部
char Tail[MaxY];
GetBack(strLine, 4, ' ', Tail);
if (Tail[strlen(Tail) - 1] == ',')
{
// 尾部有多余逗號
return ErrorUnwantedComma;
}
if (strcmp(Type, "ARRAY") == 0)
{
// 是數組類型
if (Tail[0] != '\0')
{
// 檢查每一維是否合法
char Range[MaxY];
strcat(Tail, ",");
GetPart(Tail, 1, ',', Range);
ClearHeadBlank(Range);
int i = 1;
while (Range[0] != '\0')
{
if (!ExpressionOK(Range))
{
// 關于維數的表達式錯誤
return ErrorExpression;
}
i++;
GetPart(Tail, i, ',', Range);
ClearHeadBlank(Range);
}
}
else
{
// 缺少數組的具體大小
return ErrorMissingArraySize;
}
}
else if ( Tail[0] != '\0')
{
// 有尾巴
return ErrorUnwantedPart;
}
}
else if (strcmp(Cmd, "INPUT") == 0)
{
// 檢查INPUT語句
// 存儲變量
char Var[MaxY];
GetBack(strLine, 1, ' ', Var);
ClearBlankInside(Var);
if (!VarOK(Var))
{
return Error;
}
}
else if (strcmp(Cmd, "PRINT") == 0)
{
// 檢查PRINT語句
// 存儲打印序列
char PrintList[MaxY];
GetBack(strLine, 1, ' ', PrintList);
char Part[MaxY] = "";
for (int i = 0; i <= strlen(PrintList); i++)
{
// 掃描打印序列
if (PrintList[i] == ';' || i == strlen(PrintList))
{
// 一個打印元素掃描完成
if (Part[0] != '\0')
{
if (!ExpressionOK(Part))
{
return ErrorExpression;
}
Part[0] = '\0';
}
}
else if (PrintList[i] == '"')
{
// 字符串的開始
// 找字符串的末尾
do
{
i++;
} while (i < strlen(PrintList) && PrintList[i] != '"');
if (i == strlen(PrintList))
{
// 字符串缺少結束引號
return ErrorQuotation;
}
do
{
i++;
if (i < strlen(PrintList) &&
PrintList[i] != ' ' && PrintList[i] != ';')
{
return ErrorPrintSeparate;
}
} while (i < strlen(PrintList) && PrintList[i] != ';');
i++;
}
else if (PrintList[i] != ' ')
{
// 當前字符非空，加如打印元素
strcat(Part, " ");
Part[strlen(Part) - 1] = PrintList[i];
}
}
}
else if (strcmp(Cmd, "GOSUB") == 0 || strcmp(Cmd, "SUB") == 0)
{
// 檢查GOSUB和SUB語句
// 存儲過程名
char Var[MaxY];
GetPart(strLine, 2, ' ', Var);
if (!VarOK(Var))
{
// 過程名非法
return ErrorSubName;
}
// 檢查尾部部分
char Tail[MaxY];
GetPart(strLine, 3, ' ', Tail);
if (Tail [0] != '\0')
{
// 有多余部分
return ErrorUnwantedPart;
}
}
else if (strcmp(Cmd, "FOR") == 0)
{
// 檢查FOR語句
// 當前行的長度
int Len = strlen(strLine);
// 分段部分的參數
char *ptr1;
if ((ptr1 = strstr(strLine, " = ")) == NULL)
{
// FOR語句缺少變量賦值
return ErrorMissingForVarGiveValue;
}
char *ptr2;
if ((ptr2 = strstr(strLine, " TO ")) == NULL)
{
// FOR語句缺少TO
return ErrorMissingTO;
}
char *ptr3;
ptr3 = strstr(strLine, " STEP ");
char strTemp[MaxY];
// 檢查循環變量
GetMid(strLine, 4, Len - strlen(ptr1) - 1, strTemp);
ClearBlankInside(strTemp);
if (!VarOK(strTemp))
{
// 循環變量錯誤
return Error;
}
// 檢查初值部分表達式
GetMid(strLine, Len - strlen(ptr1) + 3, Len - strlen(ptr2) - 1, strTemp);
ClearBlankInside(strTemp);
if (!ExpressionOK(strTemp))
{
// 表達式錯誤
return ErrorExpression;
}
// 檢查終值部分表達式
if (ptr3 == NULL)
{
GetMid(strLine, Len - strlen(ptr2) + 4, Len, strTemp);
}
else
{
GetMid(strLine, Len - strlen(ptr2) + 4, Len - strlen(ptr3) - 1, strTemp);
}
ClearBlankInside(strTemp);
if (!ExpressionOK(strTemp))
{
// 表達式錯誤
return ErrorExpression;
}
// 檢查步長值部分表達式
if (ptr3 != NULL)
{
GetMid(strLine, Len - strlen(ptr3) + 6, Len, strTemp);
ClearBlankInside(strTemp);
if (!ExpressionOK(strTemp))
{
// 表達式錯誤
return ErrorExpression;
}
}
}
else if (strcmp(Cmd, "NEXT") == 0)
{
// 檢查NEXT語句
// 存儲變量名
char Var[MaxY];
GetPart(strLine, 2, ' ', Var);
if (Var[0] != '\0')
{
if (!VarOK(Var))
{
// 變量錯誤
return Error;
}
}
}
else if (strcmp(Cmd, "IF") == 0)
{
// 檢查IF語句
// 檢查末尾關鍵字THEN
char Part[MaxY];
GetMid(strLine, strlen(strLine) - 4, strlen(strLine) - 1, Part);
if (strcmp(Part, "THEN") != 0)
{
// 缺少THEN
return ErrorUnwantedPart;
}
// 檢查布爾表達式
GetMid(strLine, 3, strlen(strLine) - 6, Part);
char Exp[MaxY];
BoolChange(Part, Exp);
if (!BooleanOK(Exp))
{
// 布爾表達式錯誤
return ErrorBool;
}
}
else if (strcmp(Cmd, "DELAY") == 0)
{
// 檢查DELAY語句
// 檢查表達式
char Part[MaxY];
GetPart(strLine, 2, ' ', Part);
ClearBlankInside(Part);
if (!ExpressionOK(Part))
{
// 表達式錯誤
return ErrorExpression;
}
}
else if (strcmp(Cmd, "LOCATE") == 0)
{
// 檢查LOCATE語句
// 存儲參數部分
char Temp[MaxY] = "";
GetBack(strLine, 1, ' ', Temp);
char Part[MaxY];
// 檢查2個參數
for (int i = 1; i <= 2; i++)
{
GetPart(Temp, i, ',', Part);
ClearBlankInside(Part);
if (Part[0] == '\0')
{
return ErrorMissingExpression;
}
if (!ExpressionOK(Part))
{
// 表達式錯誤
return ErrorExpression;
}
}
}
else if (strcmp(Cmd, "END") == 0)
{
// 檢查END語句
// 檢查后面的關鍵字
char Part[MaxY];
GetPart(strLine, 2, ' ', Part);
if (Part[0] != '\0' && strcmp(Part, "IF") != 0 && strcmp(Part, "SUB") != 0)
{
// 不為空，且不是IF和SUB，錯誤
return ErrorUnwantedPart;
}
}
else if (strcmp(Cmd, "DELETE") == 0)
{
// 檢查DELETE語句
// 存儲變量列表
char VarList[MaxY];
GetBack(strLine, 1, ' ', VarList);
ClearBlankInside(VarList);
if (VarList[strlen(VarList) - 1] == ',')
{
// 列表后有多余的逗號
return ErrorUnwantedComma;
}
int i = 1;
// 存儲變量名
char Var[MaxY];
GetPart(VarList, 1, ',', Var);
while (Var[0] != '\0')
{
if (strchr(Var, '('))
{
return ErrorCannotDelArray;
}
else if (!VarOK(Var))
{
// 變量名錯誤
return ErrorVar;
}
// 得到下一個變量名
i++;
GetPart(VarList, i, ',', Var);
}
if (i == 1)
{
// 需要變量名
return ErrorMissingVar;
}
}
else
{
// 檢查賦值語句
char *ptr = strstr(strLine, " = ");
if (ptr != NULL)
{
// 有賦值號
// 存儲賦值號的開始位置
int Pos = strlen(strLine) - strlen(ptr);
// 存儲變量
char Var[MaxY];
GetMid(strLine, 0, Pos - 1, Var);
if (strchr(Var, '('))
{
// 是數組變量
// 存儲下標部分
char Para[MaxY];
GetPart(Var, 2, '(', Para);
Para[strlen(Para) - 1] = '\0';
ClearTailBlank(Para);
if (Para[strlen(Para) - 1] == ',')
{
// 有多余的逗號
return ErrorUnwantedComma;
}
// 檢查數組的每一個下標
char Range[MaxY];
strcat(Para, ",");
GetPart(Para, 1, ',', Range);
ClearBlankInside(Range);
int i = 1;
while (Range[0] != '\0')
{
if (!ExpressionOK(Range))
{
// 表達式錯誤
return ErrorExpression;
}
// 得到下一個下標
i++;
GetPart(Para, i, ',', Range);
ClearBlankInside(Range);
}
if (i == 1)
{
// 缺少下標
return ErrorMissingSubscript;
}
}
else if (!VarOK(Var))
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -