parsetree.h

Go to the documentation of this file.

/*2:*/
#line 68 "parsetree.w"
#ifndef PARSETREE_H
#define PARSETREE_H

#include <iostream>
#include <memory>
#include <string>

#include "parse_types.h" 
#include "parser.tab.h" 
namespace atlas
{
namespace interpreter
{/*14:*/
#line 254 "parsetree.w"
void destroy_expr(expr_p e);/*:14*//*25:*/
#line 414 "parsetree.w"
expr_p make_int_denotation(int val,const YYLTYPE&loc);
expr_p make_bool_denotation(bool val,const YYLTYPE&loc);
expr_p make_string_denotation(std::string*val_p,const YYLTYPE&loc);/*:25*//*33:*/
#line 537 "parsetree.w"
expr_p make_applied_identifier(id_type id,const YYLTYPE&loc);
expr_p make_dollar(const YYLTYPE&loc);
expr_p make_break(unsigned n,const YYLTYPE&loc);
expr_p make_die(const YYLTYPE&loc);
expr_p make_return(expr_p exp,const YYLTYPE&loc);/*:33*//*44:*/
#line 696 "parsetree.w"
raw_expr_list make_exprlist_node(expr_p e,raw_expr_list l);
raw_expr_list reverse_expr_list(raw_expr_list l);
expr_p wrap_tuple_display(raw_expr_list l,const YYLTYPE&loc);
expr_p wrap_list_display(raw_expr_list l,const YYLTYPE&loc);/*:44*//*47:*/
#line 735 "parsetree.w"
void destroy_exprlist(raw_expr_list l);/*:47*//*58:*/
#line 880 "parsetree.w"
expr_p make_application_node(expr_p f,raw_expr_list args,
const YYLTYPE&loc,const YYLTYPE&left,const YYLTYPE&right);
expr_p make_application_node(expr_p f,expr_p arg,const YYLTYPE&loc);/*:58*//*63:*/
#line 949 "parsetree.w"
expr_p make_unary_call(id_type name,expr_p arg,
const YYLTYPE&loc,const YYLTYPE&op_loc);
expr_p make_binary_call(id_type name,expr_p x,expr_p y,
const YYLTYPE&loc,const YYLTYPE&op_loc);/*:63*//*69:*/
#line 1022 "parsetree.w"
expr_p make_negation(expr_p exp,const YYLTYPE&loc);/*:69*//*76:*/
#line 1179 "parsetree.w"
raw_form_stack start_formula
(expr_p e,id_type op,int prio,const YYLTYPE&op_loc);
raw_form_stack start_unary_formula(id_type op,int prio,const YYLTYPE&op_loc);
raw_form_stack extend_formula
(raw_form_stack pre,expr_p e,id_type op,int prio,const YYLTYPE&op_loc);
expr_p end_formula(raw_form_stack pre,expr_p e,const YYLTYPE&loc);
void destroy_formula(raw_form_stack s);/*:76*//*83:*/
#line 1348 "parsetree.w"
raw_patlist make_pattern_node(raw_patlist prev,raw_id_pat&pattern);/*:83*//*85:*/
#line 1361 "parsetree.w"
void destroy_pattern(raw_patlist p);
void destroy_id_pat(const raw_id_pat&p);
raw_patlist reverse_patlist(raw_patlist p);/*:85*//*94:*/
#line 1489 "parsetree.w"
raw_let_list make_let_node(raw_id_pat&pattern,expr_p val);
raw_let_list append_let_node(raw_let_list prev,raw_let_list cur);
expr_p make_let_expr_node(raw_let_list decls,expr_p body,const YYLTYPE&loc);
std::pair<id_pat,expr>zip_decls(raw_let_list decls);/*:94*//*98:*/
#line 1569 "parsetree.w"
void destroy_letlist(raw_let_list l);/*:98*//*102:*/
#line 1618 "parsetree.w"
void destroy_type(type_p t);
void destroy_type_list(raw_type_list t);/*:102*//*109:*/
#line 1670 "parsetree.w"
expr_p make_lambda_node(raw_patlist pat_l,raw_type_list type_l,expr_p body,
const YYLTYPE&loc);/*:109*//*120:*/
#line 1789 "parsetree.w"
expr_p make_conditional_node(expr_p c,expr_p t,expr_p e,const YYLTYPE&loc);/*:120*//*127:*/
#line 1854 "parsetree.w"
expr_p make_int_case_node(expr_p selector,raw_expr_list ins,const YYLTYPE&loc);/*:127*//*138:*/
#line 1999 "parsetree.w"
expr_p make_while_node(expr_p b,unsigned flags,const YYLTYPE&loc);
expr_p make_for_node
(raw_id_pat&id,expr_p ip,expr_p b,unsigned flags,const YYLTYPE&loc);
expr_p make_cfor_node
(id_type id,expr_p count,expr_p bound,expr_p b,unsigned flags,
const YYLTYPE&loc);/*:138*//*148:*/
#line 2152 "parsetree.w"
expr_p make_subscription_node
(expr_p a,expr_p i,bool reversed,const YYLTYPE&loc);
expr_p make_slice_node
(expr_p a,expr_p lower,expr_p upper,unsigned flags,const YYLTYPE&loc);/*:148*//*158:*/
#line 2259 "parsetree.w"
expr_p make_cast(type_p type,expr_p exp,const YYLTYPE&loc);/*:158*//*168:*/
#line 2328 "parsetree.w"
expr_p make_op_cast(id_type name,type_p type,const YYLTYPE&loc);/*:168*//*178:*/
#line 2409 "parsetree.w"
expr_p make_assignment(id_type lhs,expr_p rhs,const YYLTYPE&loc);
expr_p make_multi_assignment(raw_id_pat&lhs,expr_p rhs,const YYLTYPE&loc);/*:178*//*188:*/
#line 2506 "parsetree.w"
expr_p make_comp_ass(expr_p lhs,expr_p rhs,const YYLTYPE&loc);
expr_p make_comp_upd_ass(expr_p lhs,id_type op,expr_p rhs,
const YYLTYPE&loc,const YYLTYPE&op_loc);/*:188*//*194:*/
#line 2600 "parsetree.w"
expr_p make_recfun(id_type f,expr_p d,
const YYLTYPE&loc,const YYLTYPE&f_loc);/*:194*//*201:*/
#line 2680 "parsetree.w"
expr_p make_sequence
(expr_p first,expr_p last,unsigned which,const YYLTYPE&loc);/*:201*//*206:*/
#line 2734 "parsetree.w"
id_type lookup_identifier(const char*);
void include_file(int skip_seen);/*:206*//*9:*/
#line 175 "parsetree.w"
std::ostream&operator<<(std::ostream&out,const source_location&sl);/*:9*//*19:*/
#line 333 "parsetree.w"
std::ostream&operator<<(std::ostream&out,const expr&e);/*:19*//*51:*/
#line 799 "parsetree.w"
bool is_empty(const expr&e);/*:51*//*87:*/
#line 1387 "parsetree.w"
std::ostream&operator<<(std::ostream&out,const id_pat&p);/*:87*/
#line 83 "parsetree.w"

}
}

#endif/*:2*/