forked from xxq250/Nasal-Interpreter
287 lines
5.8 KiB
C++
287 lines
5.8 KiB
C++
#ifndef __ABSTRACT_SYNTAX_TREE_CPP__
|
|
#define __ABSTRACT_SYNTAX_TREE_CPP__
|
|
#include "abstract_syntax_tree.h"
|
|
int exit_type=0;
|
|
|
|
var abstract_syntax_tree::condition()
|
|
{
|
|
var cond;
|
|
cond.set_number(0);
|
|
if(this->type==__cmp_equal)
|
|
{
|
|
|
|
}
|
|
else if(this->type==__cmp_not_equal)
|
|
{
|
|
|
|
}
|
|
else if(this->type==__cmp_less)
|
|
{
|
|
|
|
}
|
|
else if(this->type==__cmp_more)
|
|
{
|
|
|
|
}
|
|
else if(this->type==__cmp_less_or_equal)
|
|
{
|
|
|
|
}
|
|
else if(this->type==__cmp_more_or_equal)
|
|
{
|
|
|
|
}
|
|
else if(this->type==__or_operator)
|
|
{
|
|
|
|
}
|
|
else if(this->type==__and_operator)
|
|
{
|
|
|
|
}
|
|
else
|
|
{
|
|
|
|
}
|
|
return cond;
|
|
}
|
|
|
|
bool abstract_syntax_tree::check()
|
|
{
|
|
bool ret=false;
|
|
var cond=condition();
|
|
if(cond.get_number()==0)
|
|
ret=false;
|
|
else
|
|
ret=true;
|
|
return ret;
|
|
}
|
|
|
|
var abstract_syntax_tree::call_id()
|
|
{
|
|
var temp;
|
|
if(scope.search_var(name))
|
|
temp=scope.get_var(name);
|
|
else
|
|
{
|
|
std::cout<<">>[Runtime-error] cannot find a var named \'"<<name<<"\'."<<std::endl;
|
|
exit_type=__find_var_failure;
|
|
return temp;
|
|
}
|
|
if(!children.empty())
|
|
{
|
|
;
|
|
}
|
|
return temp;
|
|
}
|
|
|
|
var abstract_syntax_tree::get_value()
|
|
{
|
|
var temp;
|
|
temp.set_type(type);
|
|
if(type==__id)
|
|
temp=call_id();
|
|
else if(type==__number)
|
|
temp.set_number(number);
|
|
else if(type==__string)
|
|
temp.set_string(str);
|
|
else if(type==__array)
|
|
{
|
|
var new_var;
|
|
for(std::list<abstract_syntax_tree>::iterator i=children.begin();i!=children.end();++i)
|
|
{
|
|
new_var=i->get_value();
|
|
temp.append_array(new_var);
|
|
}
|
|
}
|
|
else if(type==__hash)
|
|
{
|
|
var new_var;
|
|
for(std::list<abstract_syntax_tree>::iterator i=children.begin();i!=children.end();++i)
|
|
{
|
|
new_var=i->children.begin()->get_value();
|
|
new_var.set_name(i->name);
|
|
temp.append_array(new_var);
|
|
}
|
|
}
|
|
else if(type==__function)
|
|
temp.set_function(*this);
|
|
else
|
|
{
|
|
std::cout<<">>[Runtime-error] incorrect value."<<std::endl;
|
|
exit_type=__get_value_failure;
|
|
}
|
|
return temp;
|
|
}
|
|
void abstract_syntax_tree::run_root()
|
|
{
|
|
scope.set_clear();
|
|
int beg_time,end_time;
|
|
exit_type=__process_exited_successfully;
|
|
beg_time=time(NULL);
|
|
for(std::list<abstract_syntax_tree>::iterator i=children.begin();i!=children.end();++i)
|
|
{
|
|
if(i->type==__definition)
|
|
{
|
|
var new_var;
|
|
std::list<abstract_syntax_tree>::iterator j=i->children.begin();
|
|
std::string _name=j->name;
|
|
if(!scope.search_var(_name))
|
|
{
|
|
++j;
|
|
if(j!=i->children.end())
|
|
new_var=j->get_value();
|
|
new_var.set_name(_name);
|
|
scope.add_new_var(new_var);
|
|
}
|
|
else
|
|
{
|
|
std::cout<<">>[Runtime-error] redeclaration of \'"<<_name<<"\'."<<std::endl;
|
|
exit_type=__redeclaration;
|
|
break;
|
|
}
|
|
}
|
|
else if(i->type==__number)
|
|
std::cout<<i->number<<std::endl;
|
|
else if(i->type==__string)
|
|
std::cout<<i->str<<std::endl;
|
|
else if(i->type==__id)
|
|
std::cout<<i->call_id().get_name()<<std::endl;
|
|
else if(i->type==__while)
|
|
{
|
|
scope.add_new_block_scope();
|
|
i->run_loop();
|
|
scope.pop_last_block_scope();
|
|
}
|
|
else if(i->type==__ifelse)
|
|
{
|
|
scope.add_new_block_scope();
|
|
i->run_ifelse();
|
|
scope.pop_last_block_scope();
|
|
}
|
|
if(exit_type!=__process_exited_successfully)
|
|
break;
|
|
}
|
|
end_time=time(NULL);
|
|
std::cout<<"--------------------------------------------------------------------------------------"<<std::endl;
|
|
std::cout<<">>[Runtime] process exited after "<<end_time-beg_time<<" sec(s) with returned state \'";
|
|
print_exit_type(exit_type);
|
|
std::cout<<"\'."<<std::endl;
|
|
scope.set_clear();
|
|
return;
|
|
}
|
|
|
|
int abstract_syntax_tree::run_loop()
|
|
{
|
|
int ret=0;
|
|
scope.add_new_local_scope();
|
|
|
|
abstract_syntax_tree condition=children.front();
|
|
abstract_syntax_tree blk=children.back();
|
|
while(condition.check())
|
|
{
|
|
int type=blk.run_block();
|
|
if(type==__break)
|
|
break;
|
|
else if(type==__return)
|
|
{
|
|
ret=__return;
|
|
break;
|
|
}
|
|
}
|
|
scope.pop_last_local_scope();
|
|
return ret;
|
|
}
|
|
|
|
int abstract_syntax_tree::run_ifelse()
|
|
{
|
|
int ret=0;
|
|
scope.add_new_local_scope();
|
|
for(std::list<abstract_syntax_tree>::iterator i=children.begin();i!=children.end();++i)
|
|
{
|
|
if(i->children.front().check())
|
|
{
|
|
ret=i->children.back().run_block();
|
|
break;
|
|
}
|
|
}
|
|
scope.pop_last_local_scope();
|
|
return ret;
|
|
}
|
|
|
|
void abstract_syntax_tree::run_func()
|
|
{
|
|
scope.add_new_block_scope();
|
|
scope.add_new_local_scope();
|
|
|
|
scope.pop_last_block_scope();
|
|
return;
|
|
}
|
|
|
|
int abstract_syntax_tree::run_block()
|
|
{
|
|
scope.add_new_local_scope();
|
|
for(std::list<abstract_syntax_tree>::iterator i=children.begin();i!=children.end();++i)
|
|
{
|
|
if(i->type==__definition)
|
|
{
|
|
var new_var;
|
|
std::list<abstract_syntax_tree>::iterator j=i->children.begin();
|
|
std::string _name=j->name;
|
|
if(!scope.search_var(_name))
|
|
{
|
|
++j;
|
|
if(j!=i->children.end())
|
|
new_var=j->get_value();
|
|
new_var.set_name(_name);
|
|
scope.add_new_var(new_var);
|
|
}
|
|
else
|
|
{
|
|
std::cout<<">>[Runtime-error] redeclaration of \'"<<_name<<"\'."<<std::endl;
|
|
exit_type=__redeclaration;
|
|
break;
|
|
}
|
|
}
|
|
else if(i->type==__number)
|
|
std::cout<<i->number<<std::endl;
|
|
else if(i->type==__string)
|
|
std::cout<<i->str<<std::endl;
|
|
else if(i->type==__id)
|
|
std::cout<<i->call_id().get_name()<<std::endl;
|
|
else if(i->type==__while)
|
|
{
|
|
int type=i->run_loop();
|
|
if(type)
|
|
{
|
|
if(type==__return)
|
|
return type;
|
|
else
|
|
{
|
|
std::cout<<"[Runtime-error] incorrect use of break/continue."<<std::endl;
|
|
exit_type=__error_command_use;
|
|
}
|
|
}
|
|
}
|
|
else if(i->type==__ifelse)
|
|
{
|
|
int type=i->run_ifelse();
|
|
if(type)
|
|
return type;
|
|
}
|
|
else if(i->type==__continue)
|
|
return __continue;
|
|
else if(i->type==__break)
|
|
return __break;
|
|
else if(i->type==__return)
|
|
return __return;
|
|
if(exit_type!=__process_exited_successfully)
|
|
break;
|
|
}
|
|
scope.pop_last_local_scope();
|
|
return 0;
|
|
}
|
|
|
|
|
|
#endif
|