#include"parser.h"
#include"stdarg.h"
#include "semantics.h"

#define enter(x) printf("enter in ");printf(x);printf("\n")

#define back(x)printf("exit from ");printf(x);printf("\n")

#define call_match(x)printf("matchtoken ");printf(x);printf("\n")

#define Tree_trace(x) PrintSyntaxTree(x,1);

double Parameter=0,
Origin_x=0,
Origin_y=0,
Scale_x=1,
Scale_y=1,
Rot_angle=0;

static Token token;

//-------輔助函數聲明
static void FetchToken();
static void MatchToken(enum Token_Type AToken);
static void SyntaxError(int case_of);
static void ErrMsg(unsigned LineNo,char *descrip,char *string);
static void PrintSyntaxTree(struct ExprNode *root,int indent);

//--------非終結符的遞歸子程序聲明
static void Program();
static void Statement();
static void OriginStatement();
static void RotStatement();
static void ScaleStatement();
static void ForStatement();
static struct ExprNode *Expression();
static struct ExprNode *Term();
static struct ExprNode *Factor();
static struct ExprNode *Component();
static struct ExprNode *Atom();
//---------外接口與語法樹的構造函數聲明
extern void Parser(char *SrcFilePtr);
static struct ExprNode *MakeExprNode(enum Token_Type opcode,...);

//---------通過詞法分析器接口
static void FetchToken()
{
	token=GetToken();

	if(token.type==ERRTOKEN)
		SyntaxError(1);
}

//--------匹配記號
static void MatchToken(enum Token_Type The_Token)
{
	if(token.type!=The_Token)
		SyntaxError(2);
	FetchToken();
}
//-------語法錯誤處理
static void SyntaxError(int case_of)
{
	switch(case_of)
	{
	case 1:ErrMsg(LineNo,"錯誤記號哦",token.lexeme);
		break;
	case 2:ErrMsg(LineNo,"非預期符號",token.lexeme);
		break;
	}
}
//------打印錯誤信息
void ErrMsg(unsigned LineNo,char *descrip,char *string)
{
#ifdef PARSER_DEBUG
	printf("Line No %5d:%s %s!\n",LineNo,descrip,string);
#else
	char msg[256];
	memset(msg,0,256);
	sprintf(msg,"Line No %5d:%s %s!\n",LineNo,descrip,string);
#endif

#ifdef _VC_COMPILER
	MessageBox(NULL,msg,"error!",MB_OK);
#endif
//

#ifdef _BC_COMPIKER
	printf("%s\n",msg);
#endif

	CloseScanner();
	exit(1);
}

//---------先序遍歷并且打印表達式的語法樹
void PrintSyntaxTree(struct ExprNode *root,int indent)
{
	int temp;
	for(temp=1;temp<=indent;temp++)
		printf("\t");
	switch(root->OpCode)
	{
	case PLUS:     printf("%s\n","+");break;
	case MINUS:    printf("%s\n","-");break;
	case MUL:      printf("%s\n","*");break;
	case DIV:      printf("%s\n","/");break;
	case POWER:    printf("%s\n","**");break;
	case FUNC:     printf("%x\n",root->Content.CaseFunc.MathFuncPtr);
		           break;
	case CONST_ID: printf("%f\n",root->Content.CaseConst);
		           break;
    case T:        printf("%s\n","T");break;
    default: printf("Error Tree Node!\n");
		exit(0);
	}
	if(root->OpCode==CONST_ID||root->OpCode==T)
	{
		return;
	}
	if(root->OpCode==FUNC)
		PrintSyntaxTree(root->Content.CaseFunc.Child,indent+1);
	else
	{
		PrintSyntaxTree(root->Content.CaseOperator.Left, indent+1);
		PrintSyntaxTree(root->Content.CaseOperator.Right,indent+1);
	}
}
//--------繪圖語言解釋器的入口

void Parser(char *SrcFilePtr)
{
	printf("Parser");
	if(!InitScanner(SrcFilePtr))
	{
		printf("Open Source File Error!\n");
		return;
	}
	FetchToken();
	Program();
	CloseScanner();
	printf("Parser");
	return;
}
//--------Program的遞歸子程序
static void Program()
{
	printf("enter in Program\n");
	while(token.type!=NONTOKEN)
	{
		Statement();
		MatchToken(SEMICO);
	}
	printf("back Program\n");
}
//----------Statement的遞歸子程序
static void Statement()
{
	printf("enter in Statement\n");
	switch(token.type)
	{
	case ORIGIN:     OriginStatement();break;
	case SCALE:      ScaleStatement();break;
	case ROT:        RotStatement();break;
	case FOR:        ForStatement();break;
	default :        SyntaxError(2);
	}
	printf("exit from Statement\n");
}
//---------OriginStatement的遞歸子程序
static void OriginStatement(void)
{
	struct ExprNode *tmp;
	printf("*****OriginStatement\n");
	MatchToken(ORIGIN);            printf("matchtoken ORIGIN\n");
	MatchToken(IS);                printf("matchtoken IS\n");
	MatchToken(L_BRACKET);         printf("matchtoken L_BRACKET\n");
	tmp=Expression();      
	Origin_x=GetExprValue(tmp);
	DelExprTree(tmp);

	MatchToken(COMMA);             printf("matchtoken COMMA\n");            
	tmp=Expression();                 
#ifdef PARSER_DEBUG 
	Origin_y=GetExprValue(tmp);
	DelExprTree(tmp);
#endif

	MatchToken(R_BRACKET);          printf("matchtoken R_BRACKET\n");
	printf("*****OriginStatement\n");
}



//-----------Scalestatement的遞歸子程序
static void ScaleStatement(void)
{
	struct ExprNode *tmp;
	printf("*****ScaleStatement\n");     
	MatchToken(SCALE);               printf("matchtoken SCALE\n");
	MatchToken(IS);                  printf("matchtoken IS\n");
	MatchToken(L_BRACKET);           printf("matchtoken L_BRACKET\n");
	tmp=Expression();
#ifdef PARSER_DEBUG
	Scale_x=GetExprValue(tmp);      printf("matchtoken L_BRACKET\n");
	DelExprTree(tmp);
#endif

	MatchToken(COMMA);                printf("matchtoken COMMA\n");
	tmp=Expression();
/*#ifndef PARSER_DEBUG
	Scale_y=GetExprValue(tmp);
	DelExprTree(tmp);
#endif
*/
	MatchToken(R_BRACKET);          printf("matchtoken R_BRACKET\n");
	printf("******Scalestatement\n");
}



//--------RotStatement的遞歸子程序
static void RotStatement(void)
{
	struct ExprNode *tmp;
	printf("*****RotStatement\n");
	MatchToken(ROT);                 printf("matchtoken  ROT\n");                                                      
	MatchToken(IS);                  printf("matchtoken  IS\n");
	tmp=Expression();
/*#ifdef PARSER_DEBUG 
	Rot_angle=GetExprValue(tmp);
	DelExprTree(tmp);
#endif
	*/
	printf("*****RotStatement\n");
}

//------------For的遞歸子程序
static void ForStatement(void)
{
/*#ifndef PARSER_DEBUG
	double Start,End,Step;
#endif
*/
	struct ExprNode *start_ptr,*end_ptr,*step_ptr,
		            *x_ptr,*y_ptr;
	printf("*****ForStatement\n");
	MatchToken(FOR);                 printf("matchtoken  FOR\n");
	MatchToken(T);                   printf("matchtoken  T\n");
	MatchToken(FROM);                printf("matchtoken  FROM\n");
	start_ptr=Expression();
/*#ifndef PARSER_DEBUG 
	Start=GetExprValue(start_ptr);
	DelExprTree(start_ptr);
#endif
*/
	MatchToken(TO);                  printf("matchtoken  TO\n");
	call_match("TO");
	end_ptr=Expression();
/*#ifndef PARSER_DEBUG 
	End=GetExprValue(end_ptr);
	DelExprTree(end_ptr);
#endif
*/
	MatchToken(STEP);                printf("matchtoken  STEP\n");
	call_match("STEP");
	step_ptr=Expression();
/*#ifndef PARSER_DEBUG
	Step=GetExprValue(step_ptr);
	DelExprTree(step_ptr);
#endif
*/
	MatchToken(DRAW);                printf("matchtoken  DRAW\n");
	call_match("DRAW");
	MatchToken(L_BRACKET);           printf("matchtoken  L_BRACKET\n");
	call_match("(");
	x_ptr=Expression();
	MatchToken(COMMA);               printf("matchtoken COMMA \n");
	call_match(",");
	y_ptr=Expression();
	MatchToken(R_BRACKET);           printf("matchtoken  R_BRACKET\n");
	call_match(")");
/*#ifdef PARSER_DEBUG
	DrawLoop(Start,End,Step,x_ptr,y_ptr);
    DelExprTree(x_ptr);
	DelExprTree(y_ptr);
#endif
*/
	printf("*****ForStatement\n");
}
//---------Expression的遞歸子程序
static struct ExprNode *Expression()
{
	struct ExprNode *left,*right;
	Token_Type token_tmp;
	printf("enter in Expression\n");
	left=Term();
	while(token.type==PLUS||token.type==MINUS)
	{
		token_tmp=token.type;
		MatchToken(token_tmp);
		right=Term();
		left=MakeExprNode(token_tmp,left,right);
	}
	Tree_trace(left);
	printf("exit from Expression\n");
	return left;
}



//------------Term的遞歸子程序
static struct ExprNode *Term()
{
	struct ExprNode *left,*right;
	Token_Type token_tmp;
	left = Factor();
	while(token.type==MUL||token.type==DIV)
	{
		token_tmp=token.type;
		MatchToken(token_tmp);
		right=Factor();
		left=MakeExprNode(token_tmp,left,right);
	}
	return left;
}
//-----------Factor的遞歸子程序
static struct ExprNode *Factor()
{
	struct ExprNode *left,*right;
	if(token.type==PLUS)
	{
		MatchToken(PLUS);
		right=Factor();
	}
	else if(token.type==MINUS)
	{
		MatchToken(MINUS);
		right=Factor();
		left=new ExprNode;
		left->OpCode=CONST_ID;
		left->Content.CaseConst=0.0;
		right=MakeExprNode(MINUS,left,right);
	}
	else right=Component();
	return right;
}
//----------Component的遞歸子程序
static struct ExprNode* Component()
{
	struct ExprNode *left,*right;
	left =Atom();
	if(token.type==POWER)
	{
		MatchToken(POWER);
		right=Component();
		left=MakeExprNode(POWER,left,right);
	}
	return left;
}
//----------Atom的遞歸子程序
static struct ExprNode *Atom()
{
	struct Token t=token;
	struct ExprNode *address,*tmp;
	switch(token.type)
	{
	case CONST_ID:
		MatchToken(CONST_ID);
		address=MakeExprNode(CONST_ID,t.value);
		break;
	case T:
		MatchToken(T);
		address=MakeExprNode(T);
		break;
	case FUNC:
		MatchToken(FUNC);
		MatchToken(L_BRACKET);
		tmp=Expression();
		address=MakeExprNode(FUNC,t.FuncPtr,tmp);
		MatchToken(R_BRACKET);
		break;
	case L_BRACKET:
		MatchToken(L_BRACKET);
		address=Expression();
		MatchToken(R_BRACKET);
		break;
	default:
		SyntaxError(2);
	}
	return address;
}
//----------生成語法樹的一個節點
static struct ExprNode *MakeExprNode(enum Token_Type opcode,...)
{
	struct ExprNode *ExprPtr=new (struct ExprNode);
	ExprPtr->OpCode=opcode;
	va_list ArgPtr;
	va_start(ArgPtr,opcode);
	switch(opcode)
	{
	case CONST_ID:
		ExprPtr->Content.CaseConst=(double)va_arg(ArgPtr,double);
		break;
    case T:
		ExprPtr->Content.CaseParmPtr=&Parameter;
		break;
	case FUNC:
		ExprPtr->Content.CaseFunc.MathFuncPtr
			=(FuncPtr)va_arg(ArgPtr,FuncPtr);
		ExprPtr->Content.CaseFunc.Child
			=(struct ExprNode *)va_arg(ArgPtr,struct ExprNode *);
		break;
	default: 
		ExprPtr->Content.CaseOperator.Left
			=(struct ExprNode *)va_arg(ArgPtr,struct ExprNode *);
		ExprPtr->Content.CaseOperator.Right
			=(struct ExprNode *)va_arg(ArgPtr,struct ExprNode *);
		break;
	}
	va_end(ArgPtr);
	return ExprPtr;
}