1512 lines
41 KiB
C++
1512 lines
41 KiB
C++
#ifndef __NASAL_PARSE_H__
|
|
#define __NAsAL_PARSE_H__
|
|
|
|
/*
|
|
_,,,_
|
|
.' `'.
|
|
/ ____ \ Fucking Nasal Parser
|
|
| .-'_ _\/ /
|
|
\_/ a a| /
|
|
(,` \ | .----.
|
|
| -' | /| '--.
|
|
\ '= / || ]| `-.
|
|
/`-.__.' || ]| ::|
|
|
.-'`-.__ \__ || ]| ::|
|
|
/ `` `. || ]| ::|
|
|
_ | \ \ \ \| ]| .-'
|
|
/ \| \ | \ L.__ .--'(
|
|
| |\ `. | \ ,---|_ \---------,
|
|
| | '. './\ \/ .--._|=- |_ /|
|
|
| \ '. `'.'. /`\/ .-' '. / |
|
|
| | `'. `;-:-;`)| |-./ |
|
|
| /_ `'--./_ ` )/'-------------')/) |
|
|
\ | `""""----"`\//`""`/,===..'`````````/ ( |
|
|
| | / `---` `===' / ) |
|
|
/ \ / / ( |
|
|
| '------. |'--------------------'| ) |
|
|
\ `-| | / |
|
|
`--...,______| | ( |
|
|
| | | | ) ,|
|
|
| | | | ( /||
|
|
| | | | )/ `"
|
|
/ \ | | (/
|
|
.' /I\ '.| | /)
|
|
.-'_.'/ \'. | | /
|
|
``` `"""` `| .-------------------.||
|
|
`"` `"`
|
|
*/
|
|
|
|
class nasal_parse
|
|
{
|
|
#ifndef error_line
|
|
#define error_line (tok_list[ptr>=tok_list_size? tok_list_size-1:ptr].line)
|
|
#endif
|
|
|
|
private:
|
|
int tok_list_size;
|
|
int ptr;
|
|
int error;
|
|
nasal_ast root;
|
|
std::vector<token> tok_list;
|
|
void reset();
|
|
bool check_multi_definition();
|
|
bool check_multi_scalar();
|
|
bool check_function_end(nasal_ast&);
|
|
bool check_special_call();
|
|
bool need_semi_check(nasal_ast&);
|
|
nasal_ast null_node_gen();
|
|
nasal_ast nil_gen();
|
|
nasal_ast number_gen();
|
|
nasal_ast string_gen();
|
|
nasal_ast id_gen();
|
|
nasal_ast vector_gen();
|
|
nasal_ast hash_gen();
|
|
nasal_ast hash_member_gen();
|
|
nasal_ast func_gen();
|
|
nasal_ast args_list_gen();
|
|
nasal_ast expr();
|
|
nasal_ast exprs_gen();
|
|
nasal_ast calculation();
|
|
nasal_ast or_expr();
|
|
nasal_ast and_expr();
|
|
nasal_ast cmp_expr();
|
|
nasal_ast additive_expr();
|
|
nasal_ast multive_expr();
|
|
nasal_ast unary();
|
|
nasal_ast scalar();
|
|
nasal_ast call_scalar();
|
|
nasal_ast call_hash();
|
|
nasal_ast call_vector();
|
|
nasal_ast call_func();
|
|
nasal_ast subvec();
|
|
nasal_ast definition();
|
|
nasal_ast normal_def();
|
|
nasal_ast var_incurve_def();
|
|
nasal_ast var_outcurve_def();
|
|
nasal_ast multi_id();
|
|
nasal_ast multi_scalar();
|
|
nasal_ast multi_assgin();
|
|
nasal_ast loop();
|
|
nasal_ast while_loop();
|
|
nasal_ast for_loop();
|
|
nasal_ast forei_loop();
|
|
nasal_ast new_iter_gen();
|
|
nasal_ast conditional();
|
|
nasal_ast continue_expr();
|
|
nasal_ast break_expr();
|
|
nasal_ast return_expr();
|
|
public:
|
|
int get_error();
|
|
void clear();
|
|
void set_toklist(std::vector<token>&);
|
|
void main_process();
|
|
nasal_ast& get_root();
|
|
};
|
|
|
|
int nasal_parse::get_error()
|
|
{
|
|
return this->error;
|
|
}
|
|
|
|
void nasal_parse::clear()
|
|
{
|
|
this->tok_list_size=0;
|
|
this->ptr=0;
|
|
this->error=0;
|
|
this->tok_list.clear();
|
|
this->root.clear();
|
|
return;
|
|
}
|
|
|
|
void nasal_parse::set_toklist(std::vector<token>& lex_token)
|
|
{
|
|
this->tok_list=lex_token;
|
|
this->tok_list_size=this->tok_list.size();
|
|
return;
|
|
}
|
|
|
|
void nasal_parse::main_process()
|
|
{
|
|
this->reset();
|
|
root.set_line(1);
|
|
root.set_type(ast_root);
|
|
while(ptr<tok_list_size)
|
|
{
|
|
root.add_child(expr());
|
|
++ptr;
|
|
if(ptr<tok_list_size && tok_list[ptr].type==tok_semi)
|
|
++ptr;
|
|
else if(root.get_children().empty() || need_semi_check(root.get_children().back()))
|
|
{
|
|
// the last expression can be recognized without semi
|
|
if(ptr<tok_list_size)
|
|
{
|
|
++error;
|
|
error_info(error_line-1,lack_semi);
|
|
}
|
|
}
|
|
if(root.get_children().size())
|
|
{
|
|
int type=root.get_children().back().get_type();
|
|
if(type==ast_continue || type==ast_break || type==ast_return)
|
|
{
|
|
++error;
|
|
error_info(root.get_children().back().get_line(),error_expr,ast_str(type));
|
|
}
|
|
}
|
|
}
|
|
return;
|
|
}
|
|
|
|
nasal_ast& nasal_parse::get_root()
|
|
{
|
|
return root;
|
|
}
|
|
|
|
void nasal_parse::reset()
|
|
{
|
|
this->ptr=0;
|
|
this->error=0;
|
|
this->root.clear();
|
|
return;
|
|
}
|
|
|
|
bool nasal_parse::check_multi_definition()
|
|
{
|
|
return ptr+1<tok_list_size && tok_list[ptr+1].type==tok_var;
|
|
}
|
|
|
|
bool nasal_parse::check_multi_scalar()
|
|
{
|
|
bool ret=false;
|
|
int check_ptr=ptr+1,curve_cnt=1,bracket_cnt=0,brace_cnt=0;
|
|
while(check_ptr<tok_list_size && curve_cnt)
|
|
{
|
|
switch(tok_list[check_ptr].type)
|
|
{
|
|
case tok_left_curve: ++curve_cnt; break;
|
|
case tok_left_bracket: ++bracket_cnt;break;
|
|
case tok_left_brace: ++brace_cnt; break;
|
|
case tok_right_curve: --curve_cnt; break;
|
|
case tok_right_bracket:--bracket_cnt;break;
|
|
case tok_right_brace: --brace_cnt; break;
|
|
}
|
|
if(curve_cnt==1 && !bracket_cnt && !brace_cnt && tok_list[check_ptr].type==tok_comma)
|
|
{
|
|
ret=true;
|
|
break;
|
|
}
|
|
++check_ptr;
|
|
}
|
|
return ret;
|
|
}
|
|
|
|
bool nasal_parse::check_function_end(nasal_ast& node)
|
|
{
|
|
int type=node.get_type();
|
|
if(type==ast_function)
|
|
return true;
|
|
else if(type==ast_number || type==ast_identifier || type==ast_string || type==ast_nil || type==ast_vector || type==ast_hash)
|
|
return false;
|
|
if(
|
|
node.get_children().empty() ||
|
|
(
|
|
type!=ast_definition &&
|
|
type!=ast_equal &&
|
|
type!=ast_add_equal &&
|
|
type!=ast_sub_equal &&
|
|
type!=ast_mult_equal &&
|
|
type!=ast_div_equal &&
|
|
type!=ast_link_equal
|
|
)
|
|
)
|
|
return false;
|
|
else
|
|
return check_function_end(node.get_children().back());
|
|
return false;
|
|
}
|
|
|
|
bool nasal_parse::check_special_call()
|
|
{
|
|
// special call means like this:
|
|
// function_name(a:1,b:2,c:3);
|
|
int check_ptr=ptr+1;
|
|
int curve_cnt=1,bracket_cnt=0,brace_cnt=0,ques_cnt=0;
|
|
bool ret=false;
|
|
while(check_ptr<tok_list_size && curve_cnt)
|
|
{
|
|
switch(tok_list[check_ptr].type)
|
|
{
|
|
case tok_left_curve: ++curve_cnt; break;
|
|
case tok_left_bracket: ++bracket_cnt;break;
|
|
case tok_left_brace: ++brace_cnt; break;
|
|
case tok_right_curve: --curve_cnt; break;
|
|
case tok_right_bracket:--bracket_cnt;break;
|
|
case tok_right_brace: --brace_cnt; break;
|
|
}
|
|
if(curve_cnt==1 && !bracket_cnt && !brace_cnt && tok_list[check_ptr].type==tok_quesmark)
|
|
{
|
|
// m?1:0 will be recognized as normal parameter
|
|
ret=false;
|
|
break;
|
|
}
|
|
if(curve_cnt==1 && !bracket_cnt && !brace_cnt && tok_list[check_ptr].type==tok_colon)
|
|
{
|
|
ret=true;
|
|
break;
|
|
}
|
|
++check_ptr;
|
|
}
|
|
return ret;
|
|
}
|
|
|
|
bool nasal_parse::need_semi_check(nasal_ast& node)
|
|
{
|
|
int type=node.get_type();
|
|
if(type==ast_for || type==ast_foreach || type==ast_forindex || type==ast_while || type==ast_conditional)
|
|
return false;
|
|
return !check_function_end(node);
|
|
}
|
|
|
|
nasal_ast nasal_parse::null_node_gen()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_null);
|
|
return node;
|
|
}
|
|
|
|
nasal_ast nasal_parse::nil_gen()
|
|
{
|
|
nasal_ast node;
|
|
if(ptr>=tok_list_size) return node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_nil);
|
|
return node;
|
|
}
|
|
|
|
nasal_ast nasal_parse::number_gen()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_number);
|
|
node.set_str(tok_list[ptr].str);
|
|
return node;
|
|
}
|
|
|
|
nasal_ast nasal_parse::string_gen()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_string);
|
|
node.set_str(tok_list[ptr].str);
|
|
return node;
|
|
}
|
|
|
|
nasal_ast nasal_parse::id_gen()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_identifier);
|
|
node.set_str(tok_list[ptr].str);
|
|
return node;
|
|
}
|
|
|
|
nasal_ast nasal_parse::vector_gen()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_vector);
|
|
++ptr;
|
|
while(ptr<tok_list_size && tok_list[ptr].type!=tok_right_bracket)
|
|
{
|
|
node.add_child(calculation());
|
|
++ptr;
|
|
if(ptr<tok_list_size && tok_list[ptr].type==tok_comma) ++ptr;
|
|
else if(ptr<tok_list_size && tok_list[ptr].type!=tok_comma && tok_list[ptr].type!=tok_right_bracket)
|
|
{
|
|
error_info(error_line,lack_comma);
|
|
++error;
|
|
break;
|
|
}
|
|
}
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_bracket)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_right_bracket);
|
|
}
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::hash_gen()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_hash);
|
|
++ptr;
|
|
while (ptr<tok_list_size && tok_list[ptr].type!=tok_right_brace)
|
|
{
|
|
node.add_child(hash_member_gen());
|
|
++ptr;
|
|
if(ptr>=tok_list_size) break;
|
|
if(tok_list[ptr].type==tok_comma) ++ptr;
|
|
else if(tok_list[ptr].type!=tok_comma && tok_list[ptr].type!=tok_right_brace)
|
|
{
|
|
error_info(error_line,lack_comma);
|
|
++error;
|
|
break;
|
|
}
|
|
}
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_brace)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_right_brace);
|
|
}
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::hash_member_gen()
|
|
{
|
|
nasal_ast node;
|
|
if(ptr>=tok_list_size || (tok_list[ptr].type!=tok_identifier && tok_list[ptr].type!=tok_string))
|
|
{
|
|
error_info(error_line,lack_identifier);
|
|
++error;
|
|
return node;
|
|
}
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_hashmember);
|
|
node.add_child(tok_list[ptr].type==tok_identifier?id_gen():string_gen());
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_colon)
|
|
{
|
|
error_info(error_line,lack_colon);
|
|
++error;
|
|
return node;
|
|
}
|
|
++ptr;
|
|
if(ptr<tok_list_size) node.add_child(calculation());
|
|
else
|
|
{
|
|
error_info(error_line,lack_scalar);
|
|
++error;
|
|
}
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::func_gen()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_function);
|
|
++ptr;
|
|
if(ptr>=tok_list_size)
|
|
{
|
|
error_info(error_line,lack_left_curve);
|
|
++error;
|
|
return node;
|
|
}
|
|
if(tok_list[ptr].type!=tok_left_curve && tok_list[ptr].type!=tok_left_brace)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_func_content);
|
|
return node;
|
|
}
|
|
if(tok_list[ptr].type==tok_left_curve)
|
|
{
|
|
node.add_child(args_list_gen());
|
|
++ptr;
|
|
}
|
|
else
|
|
{
|
|
nasal_ast null_argument_list;
|
|
node.add_child(null_argument_list);
|
|
}
|
|
if(ptr>=tok_list_size)
|
|
{
|
|
error_info(error_line,lack_left_brace);
|
|
++error;
|
|
return node;
|
|
}
|
|
node.add_child(exprs_gen());
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::args_list_gen()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_args);
|
|
++ptr;
|
|
while(ptr<tok_list_size && tok_list[ptr].type!=tok_right_curve)
|
|
{
|
|
nasal_ast tmp;
|
|
if(tok_list[ptr].type!=tok_identifier)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_args);
|
|
return node;
|
|
}
|
|
tmp=id_gen();
|
|
++ptr;
|
|
if(ptr<tok_list_size && (tok_list[ptr].type==tok_equal || tok_list[ptr].type==tok_ellipsis))
|
|
{
|
|
nasal_ast special_arg;
|
|
special_arg.set_line(tok_list[ptr].line);
|
|
if(tok_list[ptr].type==tok_equal)
|
|
{
|
|
special_arg.add_child(tmp);
|
|
++ptr;
|
|
special_arg.add_child(scalar());
|
|
special_arg.set_type(ast_default_arg);
|
|
}
|
|
else
|
|
{
|
|
special_arg=tmp;
|
|
special_arg.set_type(ast_dynamic_id);
|
|
}
|
|
node.add_child(special_arg);
|
|
}
|
|
else
|
|
{
|
|
--ptr;
|
|
node.add_child(tmp);
|
|
}
|
|
++ptr;
|
|
if(ptr>=tok_list_size || (tok_list[ptr].type!=tok_comma && tok_list[ptr].type!=tok_right_curve))
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_comma);
|
|
return node;
|
|
}
|
|
if(tok_list[ptr].type==tok_comma)
|
|
++ptr;
|
|
}
|
|
if(ptr>=tok_list_size)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_right_curve);
|
|
}
|
|
|
|
std::string args_format="func(";
|
|
int node_child_size=node.get_children().size();
|
|
for(int i=0;i<node_child_size;++i)
|
|
{
|
|
switch(node.get_children()[i].get_type())
|
|
{
|
|
case ast_identifier: args_format+="val";break;
|
|
case ast_default_arg: args_format+="val=scalar";break;
|
|
case ast_dynamic_id: args_format+="val...";break;
|
|
}
|
|
if(i!=node_child_size-1)
|
|
args_format+=",";
|
|
}
|
|
args_format+=")";
|
|
bool checked_default_val=false;
|
|
bool checked_dynamic_ids=false;
|
|
for(int i=0;i<node_child_size;++i)
|
|
{
|
|
if(node.get_children()[i].get_type()==ast_default_arg)
|
|
checked_default_val=true;
|
|
else if(node.get_children()[i].get_type()==ast_dynamic_id)
|
|
checked_dynamic_ids=true;
|
|
if(checked_default_val && node.get_children()[i].get_type()!=ast_default_arg)
|
|
{
|
|
++error;
|
|
error_info(node.get_children()[i].get_line(),default_arg_not_end,args_format);
|
|
}
|
|
if(checked_dynamic_ids && i!=node_child_size-1)
|
|
{
|
|
++error;
|
|
error_info(node.get_children()[i].get_line(),dynamic_id_not_end,args_format);
|
|
}
|
|
}
|
|
std::map<std::string,bool> argname_table;
|
|
for(int i=0;i<node_child_size;++i)
|
|
{
|
|
int tmp_type=node.get_children()[i].get_type();
|
|
std::string new_name;
|
|
switch(tmp_type)
|
|
{
|
|
case ast_dynamic_id:
|
|
case ast_identifier:new_name=node.get_children()[i].get_str();break;
|
|
case ast_default_arg:new_name=node.get_children()[i].get_children()[0].get_str();break;
|
|
}
|
|
if(argname_table.find(new_name)!=argname_table.end())
|
|
{
|
|
error_info(node.get_children()[i].get_line(),name_repetition);
|
|
++error;
|
|
}
|
|
else
|
|
argname_table[new_name]=true;
|
|
}
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::expr()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
switch(tok_list[ptr].type)
|
|
{
|
|
case tok_nil:
|
|
case tok_number:
|
|
case tok_string:
|
|
case tok_identifier:
|
|
case tok_func:
|
|
case tok_left_bracket:
|
|
case tok_left_brace:
|
|
case tok_sub:
|
|
case tok_not: node=calculation(); break;
|
|
case tok_var: node=definition(); break;
|
|
case tok_left_curve:
|
|
if(check_multi_definition())
|
|
node=definition();
|
|
else if(check_multi_scalar())
|
|
node=multi_assgin();
|
|
else
|
|
node=calculation();
|
|
break;
|
|
case tok_for:
|
|
case tok_forindex:
|
|
case tok_foreach:
|
|
case tok_while: node=loop(); break;
|
|
case tok_if: node=conditional(); break;
|
|
case tok_continue: node=continue_expr(); break;
|
|
case tok_break: node=break_expr(); break;
|
|
case tok_return: node=return_expr(); break;
|
|
case tok_semi: --ptr; break;
|
|
default: error_info(error_line,error_token,tok_list[ptr].str);++error;break;
|
|
}
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::exprs_gen()
|
|
{
|
|
nasal_ast node;
|
|
if(ptr>=tok_list_size)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_exprs);
|
|
return node;
|
|
}
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_block);
|
|
if(tok_list[ptr].type==tok_left_brace)
|
|
{
|
|
int left_brace_line=tok_list[ptr].line;
|
|
++ptr;
|
|
while(ptr<tok_list_size && tok_list[ptr].type!=tok_right_brace)
|
|
{
|
|
node.add_child(expr());
|
|
++ptr;
|
|
if(ptr<tok_list_size && tok_list[ptr].type==tok_semi)
|
|
++ptr;
|
|
else if(node.get_children().empty() || need_semi_check(node.get_children().back()))
|
|
{
|
|
// the last expression can be recognized without semi
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_brace)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_semi);
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_brace)
|
|
{
|
|
++error;
|
|
error_info(left_brace_line,exprs_lack_rbrace);
|
|
}
|
|
}
|
|
else
|
|
{
|
|
node.add_child(expr());
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_semi)
|
|
--ptr;
|
|
}
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::calculation()
|
|
{
|
|
nasal_ast node;
|
|
if(ptr>=tok_list_size)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_calculation);
|
|
return node;
|
|
}
|
|
node=or_expr();
|
|
++ptr;
|
|
if(ptr<tok_list_size && tok_list[ptr].type==tok_quesmark)
|
|
{
|
|
nasal_ast tmp;
|
|
tmp.set_line(tok_list[ptr].line);
|
|
tmp.set_type(ast_trinocular);
|
|
tmp.add_child(node);
|
|
++ptr;
|
|
if(ptr<tok_list_size) tmp.add_child(calculation());
|
|
else
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_calculation);
|
|
return node;
|
|
}
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_colon)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_colon);
|
|
return node;
|
|
}
|
|
++ptr;
|
|
if(ptr<tok_list_size) tmp.add_child(calculation());
|
|
else{ ++error; error_info(error_line,lack_calculation);}
|
|
node=tmp;
|
|
}
|
|
else if(
|
|
ptr<tok_list_size &&
|
|
(
|
|
tok_list[ptr].type==tok_equal ||
|
|
tok_list[ptr].type==tok_add_equal ||
|
|
tok_list[ptr].type==tok_sub_equal ||
|
|
tok_list[ptr].type==tok_mult_equal ||
|
|
tok_list[ptr].type==tok_div_equal ||
|
|
tok_list[ptr].type==tok_link_equal
|
|
)
|
|
)
|
|
{
|
|
nasal_ast tmp;
|
|
tmp.set_line(tok_list[ptr].line);
|
|
switch(tok_list[ptr].type)
|
|
{
|
|
case tok_equal: tmp.set_type(ast_equal); break;
|
|
case tok_add_equal: tmp.set_type(ast_add_equal); break;
|
|
case tok_sub_equal: tmp.set_type(ast_sub_equal); break;
|
|
case tok_mult_equal: tmp.set_type(ast_mult_equal); break;
|
|
case tok_div_equal: tmp.set_type(ast_div_equal); break;
|
|
case tok_link_equal: tmp.set_type(ast_link_equal); break;
|
|
}
|
|
tmp.add_child(node);
|
|
++ptr;
|
|
if(ptr<tok_list_size) tmp.add_child(calculation());
|
|
else{ ++error; error_info(error_line,lack_calculation);}
|
|
node=tmp;
|
|
}
|
|
else --ptr;
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::or_expr()
|
|
{
|
|
nasal_ast node;
|
|
node=and_expr();
|
|
++ptr;
|
|
while(ptr<tok_list_size && tok_list[ptr].type==tok_or)
|
|
{
|
|
nasal_ast tmp;
|
|
tmp.set_line(tok_list[ptr].line);
|
|
tmp.set_type(ast_or);
|
|
tmp.add_child(node);
|
|
++ptr;
|
|
if(ptr<tok_list_size) tmp.add_child(and_expr());
|
|
else{ ++error; error_info(error_line,lack_calculation);}
|
|
node=tmp;
|
|
++ptr;
|
|
}
|
|
--ptr;
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::and_expr()
|
|
{
|
|
nasal_ast node;
|
|
node=cmp_expr();
|
|
++ptr;
|
|
while(ptr<tok_list_size && tok_list[ptr].type==tok_and)
|
|
{
|
|
nasal_ast tmp;
|
|
tmp.set_line(tok_list[ptr].line);
|
|
tmp.set_type(ast_and);
|
|
tmp.add_child(node);
|
|
++ptr;
|
|
if(ptr<tok_list_size) tmp.add_child(cmp_expr());
|
|
else{ ++error; error_info(error_line,lack_calculation);}
|
|
node=tmp;
|
|
++ptr;
|
|
}
|
|
--ptr;
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::cmp_expr()
|
|
{
|
|
nasal_ast node;
|
|
node=additive_expr();
|
|
++ptr;
|
|
while(
|
|
ptr<tok_list_size &&
|
|
(
|
|
tok_list[ptr].type==tok_cmp_equal ||
|
|
tok_list[ptr].type==tok_cmp_not_equal ||
|
|
tok_list[ptr].type==tok_less_than ||
|
|
tok_list[ptr].type==tok_less_equal ||
|
|
tok_list[ptr].type==tok_greater_than ||
|
|
tok_list[ptr].type==tok_greater_equal
|
|
)
|
|
)
|
|
{
|
|
nasal_ast tmp;
|
|
tmp.set_line(tok_list[ptr].line);
|
|
switch(tok_list[ptr].type)
|
|
{
|
|
case tok_cmp_equal: tmp.set_type(ast_cmp_equal); break;
|
|
case tok_cmp_not_equal: tmp.set_type(ast_cmp_not_equal); break;
|
|
case tok_less_than: tmp.set_type(ast_less_than); break;
|
|
case tok_less_equal: tmp.set_type(ast_less_equal); break;
|
|
case tok_greater_than: tmp.set_type(ast_greater_than); break;
|
|
case tok_greater_equal: tmp.set_type(ast_greater_equal); break;
|
|
}
|
|
tmp.add_child(node);
|
|
++ptr;
|
|
if(ptr<tok_list_size) tmp.add_child(additive_expr());
|
|
else{ ++error; error_info(error_line,lack_calculation);}
|
|
node=tmp;
|
|
++ptr;
|
|
}
|
|
--ptr;
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::additive_expr()
|
|
{
|
|
nasal_ast node;
|
|
node=multive_expr();
|
|
++ptr;
|
|
while(ptr<tok_list_size && (tok_list[ptr].type==tok_add || tok_list[ptr].type==tok_sub || tok_list[ptr].type==tok_link))
|
|
{
|
|
nasal_ast tmp;
|
|
tmp.set_line(tok_list[ptr].line);
|
|
switch(tok_list[ptr].type)
|
|
{
|
|
case tok_add: tmp.set_type(ast_add); break;
|
|
case tok_sub: tmp.set_type(ast_sub); break;
|
|
case tok_link: tmp.set_type(ast_link); break;
|
|
}
|
|
tmp.add_child(node);
|
|
++ptr;
|
|
if(ptr<tok_list_size) tmp.add_child(multive_expr());
|
|
else{ ++error; error_info(error_line,lack_calculation);}
|
|
node=tmp;
|
|
++ptr;
|
|
}
|
|
--ptr;
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::multive_expr()
|
|
{
|
|
nasal_ast node;
|
|
node=(tok_list[ptr].type==tok_sub || tok_list[ptr].type==tok_not)?unary():scalar();
|
|
++ptr;
|
|
while(ptr<tok_list_size && (tok_list[ptr].type==tok_mult || tok_list[ptr].type==tok_div))
|
|
{
|
|
nasal_ast tmp;
|
|
tmp.set_line(tok_list[ptr].line);
|
|
switch(tok_list[ptr].type)
|
|
{
|
|
case tok_mult:tmp.set_type(ast_mult);break;
|
|
case tok_div: tmp.set_type(ast_div); break;
|
|
}
|
|
tmp.add_child(node);
|
|
++ptr;
|
|
if(ptr<tok_list_size)
|
|
tmp.add_child((tok_list[ptr].type==tok_sub || tok_list[ptr].type==tok_not)?unary():scalar());
|
|
else
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_calculation);
|
|
break;
|
|
}
|
|
node=tmp;
|
|
++ptr;
|
|
}
|
|
--ptr;
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::unary()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
switch(tok_list[ptr].type)
|
|
{
|
|
case tok_sub:node.set_type(ast_unary_sub);break;
|
|
case tok_not:node.set_type(ast_unary_not);break;
|
|
}
|
|
++ptr;
|
|
if(ptr<tok_list_size) node.add_child(scalar());
|
|
else{ ++error; error_info(error_line,lack_calculation);}
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::scalar()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
if(tok_list[ptr].type==tok_nil)
|
|
node=nil_gen();
|
|
else if(tok_list[ptr].type==tok_number)
|
|
node=number_gen();
|
|
else if(tok_list[ptr].type==tok_string)
|
|
node=string_gen();
|
|
else if(tok_list[ptr].type==tok_identifier)
|
|
node=id_gen();
|
|
else if(tok_list[ptr].type==tok_func)
|
|
{
|
|
if(ptr+1<tok_list_size && tok_list[ptr+1].type==tok_identifier)
|
|
{
|
|
++ptr;
|
|
node=id_gen();
|
|
}
|
|
else
|
|
node=func_gen();
|
|
}
|
|
else if(tok_list[ptr].type==tok_left_bracket)
|
|
node=vector_gen();
|
|
else if(tok_list[ptr].type==tok_left_brace)
|
|
node=hash_gen();
|
|
else if(tok_list[ptr].type==tok_left_curve)
|
|
{
|
|
++ptr;
|
|
if(ptr<tok_list_size) node=calculation();
|
|
else{ ++error; error_info(node.get_line(),lack_calculation);}
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_curve)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_right_curve);
|
|
}
|
|
}
|
|
else
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_scalar);
|
|
return node;
|
|
}
|
|
++ptr;
|
|
if(ptr<tok_list_size && (tok_list[ptr].type==tok_left_curve || tok_list[ptr].type==tok_left_bracket || tok_list[ptr].type==tok_dot))
|
|
{
|
|
nasal_ast tmp=node;
|
|
node.clear();
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_call);
|
|
node.add_child(tmp);
|
|
}
|
|
while(ptr<tok_list_size && (tok_list[ptr].type==tok_left_curve || tok_list[ptr].type==tok_left_bracket || tok_list[ptr].type==tok_dot))
|
|
{
|
|
node.add_child(call_scalar());
|
|
++ptr;
|
|
}
|
|
--ptr;
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::call_scalar()
|
|
{
|
|
nasal_ast node;
|
|
switch(tok_list[ptr].type)
|
|
{
|
|
case tok_left_curve: node=call_func(); break;
|
|
case tok_left_bracket: node=call_vector(); break;
|
|
case tok_dot: node=call_hash(); break;
|
|
}
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::call_hash()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_call_hash);
|
|
++ptr;
|
|
if(ptr<tok_list_size && tok_list[ptr].type==tok_identifier)
|
|
node.set_str(tok_list[ptr].str);
|
|
else
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_identifier);
|
|
}
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::call_vector()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_call_vec);
|
|
++ptr;
|
|
while(ptr<tok_list_size && tok_list[ptr].type!=tok_right_bracket)
|
|
{
|
|
node.add_child(subvec());
|
|
++ptr;
|
|
if(ptr<tok_list_size && tok_list[ptr].type==tok_comma) ++ptr;
|
|
else if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_bracket)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_comma);
|
|
break;
|
|
}
|
|
}
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_bracket)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_right_bracket);
|
|
}
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::call_func()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_call_func);
|
|
bool special_call=check_special_call();
|
|
++ptr;
|
|
while(ptr<tok_list_size && tok_list[ptr].type!=tok_right_curve)
|
|
{
|
|
node.add_child(special_call?hash_member_gen():calculation());
|
|
++ptr;
|
|
if(ptr<tok_list_size && tok_list[ptr].type==tok_comma) ++ptr;
|
|
else if(ptr>=tok_list_size || (tok_list[ptr].type!=tok_comma && tok_list[ptr].type!=tok_right_curve))
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_comma);
|
|
break;
|
|
}
|
|
}
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_curve)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_right_curve);
|
|
}
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::subvec()
|
|
{
|
|
nasal_ast node;
|
|
if(tok_list[ptr].type==tok_colon)
|
|
{
|
|
--ptr;
|
|
node=nil_gen();
|
|
}
|
|
else node=calculation();
|
|
++ptr;
|
|
if(ptr<tok_list_size && tok_list[ptr].type==tok_colon)
|
|
{
|
|
nasal_ast tmp;
|
|
++ptr;
|
|
if(ptr<tok_list_size)
|
|
{
|
|
tmp.set_line(node.get_line());
|
|
tmp.set_type(ast_subvec);
|
|
tmp.add_child(node);
|
|
if(tok_list[ptr].type==tok_comma || tok_list[ptr].type==tok_right_bracket)
|
|
{
|
|
--ptr;
|
|
tmp.add_child(nil_gen());
|
|
}
|
|
else tmp.add_child(calculation());
|
|
node=tmp;
|
|
}
|
|
}
|
|
else --ptr;
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::definition()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_definition);
|
|
if(tok_list[ptr].type==tok_var)
|
|
{
|
|
++ptr;
|
|
switch(tok_list[ptr].type)
|
|
{
|
|
case tok_identifier:node.add_child(normal_def()); break;
|
|
case tok_left_curve:node.add_child(var_outcurve_def()); break;
|
|
default:
|
|
++error;
|
|
error_info(error_line,lack_identifier);
|
|
return node;
|
|
}
|
|
}
|
|
else if(tok_list[ptr].type==tok_left_curve)
|
|
node.add_child(var_incurve_def());
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_equal)
|
|
{
|
|
++error;
|
|
if(ptr<tok_list_size && (tok_list[ptr].type==tok_dot || tok_list[ptr].type==tok_left_bracket || tok_list[ptr].type==tok_left_curve) && !node.get_children().back().get_children().size())
|
|
error_info(error_line,definition_use_call);
|
|
else
|
|
error_info(error_line,lack_equal);
|
|
return node;
|
|
}
|
|
++ptr;
|
|
if(ptr>=tok_list_size)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_scalar);
|
|
return node;
|
|
}
|
|
if(tok_list[ptr].type==tok_left_curve)
|
|
node.add_child(check_multi_scalar()?multi_scalar():calculation());
|
|
else
|
|
node.add_child(calculation());
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::normal_def()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_str(tok_list[ptr].str);
|
|
node.set_type(ast_identifier);
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::var_incurve_def()
|
|
{
|
|
nasal_ast node;
|
|
++ptr;// check_multi_definition will check the 'var'
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_identifier)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_identifier);
|
|
return node;
|
|
}
|
|
node=multi_id();
|
|
++ptr;
|
|
if(ptr<tok_list_size && (tok_list[ptr].type==tok_dot || tok_list[ptr].type==tok_left_bracket || tok_list[ptr].type==tok_left_curve))
|
|
{
|
|
++error;
|
|
error_info(error_line,multi_id_use_call);
|
|
}
|
|
else if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_curve)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_right_curve);
|
|
}
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::var_outcurve_def()
|
|
{
|
|
nasal_ast node;
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_identifier)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_identifier);
|
|
return node;
|
|
}
|
|
node=multi_id();
|
|
++ptr;
|
|
if(ptr<tok_list_size && (tok_list[ptr].type==tok_dot || tok_list[ptr].type==tok_left_bracket || tok_list[ptr].type==tok_left_curve))
|
|
{
|
|
++error;
|
|
error_info(error_line,multi_id_use_call);
|
|
}
|
|
else if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_curve)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_right_curve);
|
|
}
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::multi_id()
|
|
{
|
|
nasal_ast node;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_identifier)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_identifier);
|
|
return node;
|
|
}
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_multi_id);
|
|
node.add_child(id_gen());
|
|
++ptr;
|
|
while(ptr<tok_list_size && tok_list[ptr].type==tok_comma)
|
|
{
|
|
++ptr;
|
|
if(ptr<tok_list_size && tok_list[ptr].type==tok_identifier)
|
|
node.add_child(id_gen());
|
|
else
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_identifier);
|
|
break;
|
|
}
|
|
++ptr;
|
|
}
|
|
--ptr;
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::multi_scalar()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_multi_scalar);
|
|
++ptr;
|
|
while(ptr<tok_list_size && tok_list[ptr].type!=tok_right_curve)
|
|
{
|
|
node.add_child(calculation());
|
|
++ptr;
|
|
if(ptr>=tok_list_size) break;
|
|
if(tok_list[ptr].type==tok_comma) ++ptr;
|
|
else if(tok_list[ptr].type!=tok_comma && tok_list[ptr].type!=tok_right_curve)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_comma);
|
|
break;
|
|
}
|
|
}
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_curve)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_right_curve);
|
|
}
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::multi_assgin()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_multi_assign);
|
|
node.add_child(multi_scalar());
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_equal)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_equal);
|
|
return node;
|
|
}
|
|
++ptr;
|
|
if(ptr>=tok_list_size)
|
|
{
|
|
++error;
|
|
error_info(error_line,multi_assign_lack_val);
|
|
return node;
|
|
}
|
|
if(tok_list[ptr].type==tok_left_curve)
|
|
node.add_child(check_multi_scalar()?multi_scalar():calculation());
|
|
else
|
|
node.add_child(calculation());
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::loop()
|
|
{
|
|
nasal_ast node;
|
|
if(ptr>=tok_list_size)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_token,"loop");
|
|
return node;
|
|
}
|
|
switch(tok_list[ptr].type)
|
|
{
|
|
case tok_while: node=while_loop(); break;
|
|
case tok_for: node=for_loop(); break;
|
|
case tok_forindex:
|
|
case tok_foreach: node=forei_loop(); break;
|
|
}
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::while_loop()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_while);
|
|
++ptr;
|
|
if(ptr<tok_list_size && tok_list[ptr].type==tok_left_curve)
|
|
{
|
|
++ptr;
|
|
node.add_child(calculation());
|
|
}
|
|
else
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_left_curve);
|
|
return node;
|
|
}
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_curve)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_right_curve);
|
|
return node;
|
|
}
|
|
++ptr;
|
|
node.add_child(exprs_gen());
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::for_loop()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_for);
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_left_curve)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_left_curve);
|
|
return node;
|
|
}
|
|
// first expression
|
|
++ptr;
|
|
if(ptr>=tok_list_size)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_definition);
|
|
return node;
|
|
}
|
|
if(tok_list[ptr].type==tok_semi)
|
|
{
|
|
node.add_child(null_node_gen());
|
|
--ptr;
|
|
}
|
|
else if(tok_list[ptr].type==tok_var)
|
|
node.add_child(definition());
|
|
else
|
|
node.add_child(calculation());
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_semi)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_semi);
|
|
return node;
|
|
}
|
|
// conditional expression
|
|
++ptr;
|
|
if(ptr>=tok_list_size)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_calculation);
|
|
return node;
|
|
}
|
|
if(tok_list[ptr].type==tok_semi)
|
|
{
|
|
node.add_child(null_node_gen());
|
|
--ptr;
|
|
}
|
|
else
|
|
node.add_child(calculation());
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_semi)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_semi);
|
|
return node;
|
|
}
|
|
//after loop expression
|
|
++ptr;
|
|
if(ptr>=tok_list_size)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_calculation);
|
|
return node;
|
|
}
|
|
if(tok_list[ptr].type==tok_right_curve)
|
|
{
|
|
node.add_child(null_node_gen());
|
|
--ptr;
|
|
}
|
|
else
|
|
node.add_child(calculation());
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_curve)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_right_curve);
|
|
return node;
|
|
}
|
|
++ptr;
|
|
node.add_child(exprs_gen());
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::forei_loop()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
switch(tok_list[ptr].type)
|
|
{
|
|
case tok_forindex: node.set_type(ast_forindex);break;
|
|
case tok_foreach: node.set_type(ast_foreach); break;
|
|
}
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_left_curve)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_left_curve);
|
|
return node;
|
|
}
|
|
// first expression
|
|
// foreach/forindex must have an iterator to loop through
|
|
++ptr;
|
|
if(ptr>=tok_list_size || (tok_list[ptr].type!=tok_var && tok_list[ptr].type!=tok_identifier))
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_loop_iter);
|
|
return node;
|
|
}
|
|
node.add_child(new_iter_gen());
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_semi)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_semi);
|
|
return node;
|
|
}
|
|
++ptr;
|
|
if(ptr>=tok_list_size)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_calculation);
|
|
return node;
|
|
}
|
|
node.add_child(calculation());
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_curve)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_right_curve);
|
|
return node;
|
|
}
|
|
++ptr;
|
|
node.add_child(exprs_gen());
|
|
return node;
|
|
}
|
|
|
|
nasal_ast nasal_parse::new_iter_gen()
|
|
{
|
|
nasal_ast node;
|
|
if(tok_list[ptr].type==tok_var)
|
|
{
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_new_iter);
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_identifier)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_identifier);
|
|
return node;
|
|
}
|
|
node.add_child(id_gen());
|
|
}
|
|
else
|
|
{
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_call);
|
|
node.add_child(id_gen());
|
|
++ptr;
|
|
while(ptr<tok_list_size && (tok_list[ptr].type==tok_left_curve || tok_list[ptr].type==tok_left_bracket || tok_list[ptr].type==tok_dot))
|
|
{
|
|
node.add_child(call_scalar());
|
|
++ptr;
|
|
}
|
|
--ptr;
|
|
}
|
|
return node;
|
|
}
|
|
|
|
nasal_ast nasal_parse::conditional()
|
|
{
|
|
nasal_ast node;
|
|
nasal_ast tmp;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_conditional);
|
|
tmp.set_line(tok_list[ptr].line);
|
|
tmp.set_type(ast_if);
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_left_curve)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_left_curve);
|
|
return node;
|
|
}
|
|
++ptr;
|
|
tmp.add_child(calculation());
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_curve)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_right_curve);
|
|
return node;
|
|
}
|
|
++ptr;
|
|
tmp.add_child(exprs_gen());
|
|
node.add_child(tmp);
|
|
// end of if-expression
|
|
++ptr;
|
|
while(ptr<tok_list_size && (tok_list[ptr].type==tok_elsif || (tok_list[ptr].type==tok_else && ptr+1<tok_list_size && tok_list[ptr+1].type==tok_if)))
|
|
{
|
|
if(tok_list[ptr].type==tok_else) ++ptr;
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_left_curve)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_left_curve);
|
|
return node;
|
|
}
|
|
tmp.set_line(tok_list[ptr].line);
|
|
tmp.set_type(ast_elsif);
|
|
tmp.get_children().clear();
|
|
++ptr;
|
|
tmp.add_child(calculation());
|
|
++ptr;
|
|
if(ptr>=tok_list_size || tok_list[ptr].type!=tok_right_curve)
|
|
{
|
|
++error;
|
|
error_info(error_line,lack_right_curve);
|
|
return node;
|
|
}
|
|
++ptr;
|
|
tmp.add_child(exprs_gen());
|
|
node.add_child(tmp);
|
|
++ptr;
|
|
}
|
|
// end of elsif-expression
|
|
// after this process,ptr will point to the next token of exprs_gen()'s last token
|
|
// for example
|
|
// else if(scalar){} else {}
|
|
// ptr^
|
|
if(ptr<tok_list_size && tok_list[ptr].type==tok_else)
|
|
{
|
|
tmp.set_line(tok_list[ptr].line);
|
|
tmp.set_type(ast_else);
|
|
tmp.get_children().clear();
|
|
++ptr;
|
|
tmp.add_child(exprs_gen());
|
|
node.add_child(tmp);
|
|
}
|
|
else
|
|
--ptr;
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::continue_expr()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_continue);
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::break_expr()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_break);
|
|
return node;
|
|
}
|
|
nasal_ast nasal_parse::return_expr()
|
|
{
|
|
nasal_ast node;
|
|
node.set_line(tok_list[ptr].line);
|
|
node.set_type(ast_return);
|
|
++ptr;
|
|
if(ptr<tok_list_size)
|
|
{
|
|
int type=tok_list[ptr].type;
|
|
if(type==tok_nil || type==tok_number || type==tok_string || type==tok_identifier || type==tok_func ||
|
|
type==tok_sub || type==tok_not || type==tok_left_curve || type==tok_left_bracket || type==tok_left_brace)
|
|
node.add_child(calculation());
|
|
else
|
|
--ptr;
|
|
}
|
|
return node;
|
|
}
|
|
#endif
|