////////////////////////////////////////////////
//                                            //
//    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))