#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()))
        {
            ++error;
            error_info(error_line,lack_semi);
        }
    }
    std::cout<<">> [parse] complete generation. "<<error<<" error(s)."<<std::endl;
    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)
{
    if(node.get_type()==ast_function)
        return true;
    if(node.get_children().empty() || (node.get_type()!=ast_definition && node.get_type()!=ast_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;
    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_right_curve:--curve_cnt;break;
        }
        if(curve_cnt==1 && 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 && 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_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)
    {
        error_info(error_line,lack_identifier);
        return node;
    }
    node.set_line(tok_list[ptr].line);
    node.set_type(ast_hashmember);
    node.add_child(id_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)
    {
        node.add_child(args_list_gen());
        ++ptr;
    }
    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);
        }
    }
    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()))
            {
                ++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);}
        ++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)
        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;
        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_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_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