update

version0.7/pda.h

@@ -30,6 +30,7 @@ enum token_type
 	__var,// var reserve word
 	__func,// func reserve word
 	__unknown_type_id,__identifier,__identifiers,
+	__number,__string,
 	__scalar,__scalars,__list,__hash,
 	__hash_member,__hash_members,
 	__statement,__statements,
@@ -40,9 +41,10 @@ enum token_type
 	__return
 };
 
+const int max_token_len=20;
 struct cmp_seq
 {
-	int tokens[20];
+	int tokens[max_token_len];
 	int res;
 }par[]=
 {
@@ -60,15 +62,115 @@ struct cmp_seq
 	{{__identifier,__left_curve,__right_curve},                                   __identifier},
 	{{__identifier,__left_curve,__scalar,__right_curve},                          __identifier}
 };
-
 int num_of_par=sizeof(par)/sizeof(cmp_seq);
 
-class pda
+class PDA
 {
 	private:
 		std::stack<parse_unit> main_stack;
-		std::stack<parse_unit> cmp_stack;
-		std::stack<parse_unit> recog_stack;
+		std::stack<parse_unit> comp_stack;
+		std::stack<parse_unit> recognized_stack;
+		std::stack<parse_unit> error_stack;
 	public:
-		
+		void stack_input(std::stack<parse_unit>& temp)
+		{
+			while(!temp.empty())
+			{
+				main_stack.push(temp.top());
+				temp.pop();
+			}
+			return;
+		}
+		void turn_back_stack_member(const int num)
+		{
+			for(int i=0;i<num;++i)
+			{
+				main_stack.push(recognized_stack.top());
+				recognized_stack.pop();
+			}
+			return;
+		}
+		void comp_progress()
+		{
+			parse_unit temp;
+			temp.line=0;
+			temp.type=0;
+			
+			while(!main_stack.empty())
+			{
+				bool ispar=false;
+				for(int i=0;i<num_of_par;++i)
+				{
+					while(!comp_stack.empty())
+						comp_stack.pop();
+					for(int j=max_token_len-1;j>=0;--j)
+					{
+						if(par[i].tokens[j])
+						{
+							temp.type=par[i].tokens[j];
+							comp_stack.push(temp);
+						}
+					}
+					int cnt=0;
+					while((!comp_stack.empty()) && (!main_stack.empty()))
+					{
+						if(comp_stack.top().type==__null_end)
+						{
+							++cnt;
+							comp_stack.pop();
+							if(comp_stack.empty())
+								break;
+						}
+						if(comp_stack.top().type==main_stack.top().type)
+						{
+							++cnt;
+							comp_stack.pop();
+							recognized_stack.push(main_stack.top());
+							main_stack.pop();
+						}
+						else
+						{
+							turn_back_stack_member(cnt);
+							break;
+						}
+					}
+					if(comp_stack.empty())
+					{
+						ispar=true;
+						break;
+					}
+				}
+				if(!ispar)
+				{
+					error_stack.push(main_stack.top());
+					main_stack.pop();
+				}
+			}
+			if(!error_stack.empty())
+			{
+				std::stack<parse_unit> temp;
+				while(!error_stack.empty())
+				{
+					temp.push(error_stack.top());
+					error_stack.pop();
+				}
+				std::cout<<">>[Error] Parse error:";
+				int now_line=0;
+				while(!temp.empty())
+				{
+					if(temp.top().line!=now_line)
+					{
+						now_line=temp.top().line;
+						std::cout<<std::endl<<"line "<<now_line<<" ";
+					}
+					print_token_type(temp.top().type);
+					std::cout<<" ";
+					temp.pop();
+				}
+				std::cout<<std::endl;
+			}
+			else
+				std::cout<<">>[Parse] 0 error occurred."<<std::endl;
+			return;
+		}
 };