Merge branch 'pu/parser_tables_in_c' into wip
[nit.git] / c_src / control_flow._sep.h
index 32bd3be..5f8968d 100644 (file)
-#ifndef control_flow__sep
-#define control_flow__sep
+/* This C header file is generated by NIT to compile modules and programs that requires control_flow. */
+#ifndef control_flow_sep
+#define control_flow_sep
 #include "syntax_base._sep.h"
 #include <nit_common.h>
 
-extern const classtable_elt_t VFT_ControlFlowVisitor[];
+extern const classtable_elt_t VFT_VariableContext[];
 
-extern const classtable_elt_t VFT_ControlFlowContext[];
+extern const classtable_elt_t VFT_RootVariableContext[];
 
-extern const classtable_elt_t VFT_ABlockControler[];
-
-extern const classtable_elt_t VFT_AControlableBlock[];
+extern const classtable_elt_t VFT_SubVariableContext[];
+extern const char *LOCATE_control_flow;
 extern const int SFT_control_flow[];
-#define COLOR_control_flow___MMSrcModule___do_control_flow SFT_control_flow[0]
-#define ID_ControlFlowVisitor SFT_control_flow[1]
-#define COLOR_ControlFlowVisitor SFT_control_flow[2]
-#define COLOR_control_flow___ControlFlowVisitor____once_count SFT_control_flow[3]
-#define COLOR_control_flow___ControlFlowVisitor____control_flow_ctx SFT_control_flow[4]
-#define INIT_TABLE_POS_ControlFlowVisitor SFT_control_flow[5]
-#define COLOR_control_flow___ControlFlowVisitor___once_count SFT_control_flow[6]
-#define COLOR_control_flow___ControlFlowVisitor___once_count__eq SFT_control_flow[7]
-#define COLOR_control_flow___ControlFlowVisitor___control_flow_ctx SFT_control_flow[8]
-#define COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq SFT_control_flow[9]
-#define COLOR_control_flow___ControlFlowVisitor___init SFT_control_flow[10]
-#define ID_ControlFlowContext SFT_control_flow[11]
-#define COLOR_ControlFlowContext SFT_control_flow[12]
-#define COLOR_control_flow___ControlFlowContext____prev SFT_control_flow[13]
-#define COLOR_control_flow___ControlFlowContext____has_return SFT_control_flow[14]
-#define COLOR_control_flow___ControlFlowContext____unreash SFT_control_flow[15]
-#define COLOR_control_flow___ControlFlowContext____already_unreash SFT_control_flow[16]
-#define COLOR_control_flow___ControlFlowContext____base_block SFT_control_flow[17]
-#define INIT_TABLE_POS_ControlFlowContext SFT_control_flow[18]
-#define COLOR_control_flow___ControlFlowContext___prev SFT_control_flow[19]
-#define COLOR_control_flow___ControlFlowContext___has_return SFT_control_flow[20]
-#define COLOR_control_flow___ControlFlowContext___has_return__eq SFT_control_flow[21]
-#define COLOR_control_flow___ControlFlowContext___unreash SFT_control_flow[22]
-#define COLOR_control_flow___ControlFlowContext___unreash__eq SFT_control_flow[23]
-#define COLOR_control_flow___ControlFlowContext___already_unreash SFT_control_flow[24]
-#define COLOR_control_flow___ControlFlowContext___already_unreash__eq SFT_control_flow[25]
-#define COLOR_control_flow___ControlFlowContext___base_block SFT_control_flow[26]
-#define COLOR_control_flow___ControlFlowContext___base_block__eq SFT_control_flow[27]
-#define COLOR_control_flow___ControlFlowContext___sub SFT_control_flow[28]
-#define COLOR_control_flow___ControlFlowContext___init SFT_control_flow[29]
-#define COLOR_control_flow___ControlFlowContext___with SFT_control_flow[30]
-#define COLOR_control_flow___PNode___accept_control_flow SFT_control_flow[31]
-#define COLOR_SUPER_control_flow___AMethPropdef___accept_control_flow SFT_control_flow[32]
-#define COLOR_SUPER_control_flow___AConcreteMethPropdef___accept_control_flow SFT_control_flow[33]
-#define COLOR_SUPER_control_flow___AReturnExpr___accept_control_flow SFT_control_flow[34]
-#define ID_ABlockControler SFT_control_flow[35]
-#define COLOR_ABlockControler SFT_control_flow[36]
-#define COLOR_control_flow___ABlockControler____block SFT_control_flow[37]
-#define INIT_TABLE_POS_ABlockControler SFT_control_flow[38]
-#define COLOR_control_flow___ABlockControler___block SFT_control_flow[39]
-#define COLOR_SUPER_control_flow___ABreakExpr___accept_control_flow SFT_control_flow[40]
-#define COLOR_SUPER_control_flow___AContinueExpr___accept_control_flow SFT_control_flow[41]
-#define COLOR_SUPER_control_flow___AAbortExpr___accept_control_flow SFT_control_flow[42]
-#define ID_AControlableBlock SFT_control_flow[43]
-#define COLOR_AControlableBlock SFT_control_flow[44]
-#define INIT_TABLE_POS_AControlableBlock SFT_control_flow[45]
-#define COLOR_SUPER_control_flow___AControlableBlock___accept_control_flow SFT_control_flow[46]
-#define COLOR_SUPER_control_flow___AOnceExpr___accept_control_flow SFT_control_flow[47]
-typedef void (* control_flow___MMSrcModule___do_control_flow_t)(val_t  self, val_t  param0);
-void control_flow___MMSrcModule___do_control_flow(val_t  self, val_t  param0);
-typedef void (* control_flow___ControlFlowVisitor___visit_t)(val_t  self, val_t  param0);
-void control_flow___ControlFlowVisitor___visit(val_t  self, val_t  param0);
-#define ATTR_control_flow___ControlFlowVisitor____once_count(recv) ATTR(recv, COLOR_control_flow___ControlFlowVisitor____once_count)
-typedef val_t (* control_flow___ControlFlowVisitor___once_count_t)(val_t  self);
-val_t control_flow___ControlFlowVisitor___once_count(val_t  self);
-typedef void (* control_flow___ControlFlowVisitor___once_count__eq_t)(val_t  self, val_t  param0);
-void control_flow___ControlFlowVisitor___once_count__eq(val_t  self, val_t  param0);
-#define ATTR_control_flow___ControlFlowVisitor____control_flow_ctx(recv) ATTR(recv, COLOR_control_flow___ControlFlowVisitor____control_flow_ctx)
-typedef val_t (* control_flow___ControlFlowVisitor___control_flow_ctx_t)(val_t  self);
-val_t control_flow___ControlFlowVisitor___control_flow_ctx(val_t  self);
-typedef void (* control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)(val_t  self, val_t  param0);
-void control_flow___ControlFlowVisitor___control_flow_ctx__eq(val_t  self, val_t  param0);
-typedef void (* control_flow___ControlFlowVisitor___init_t)(val_t  self, val_t  param0, val_t  param1, int* init_table);
-void control_flow___ControlFlowVisitor___init(val_t  self, val_t  param0, val_t  param1, int* init_table);
-val_t NEW_control_flow___ControlFlowVisitor___init(val_t  param0, val_t  param1);
-#define ATTR_control_flow___ControlFlowContext____prev(recv) ATTR(recv, COLOR_control_flow___ControlFlowContext____prev)
-typedef val_t (* control_flow___ControlFlowContext___prev_t)(val_t  self);
-val_t control_flow___ControlFlowContext___prev(val_t  self);
-#define ATTR_control_flow___ControlFlowContext____has_return(recv) ATTR(recv, COLOR_control_flow___ControlFlowContext____has_return)
-typedef val_t (* control_flow___ControlFlowContext___has_return_t)(val_t  self);
-val_t control_flow___ControlFlowContext___has_return(val_t  self);
-typedef void (* control_flow___ControlFlowContext___has_return__eq_t)(val_t  self, val_t  param0);
-void control_flow___ControlFlowContext___has_return__eq(val_t  self, val_t  param0);
-#define ATTR_control_flow___ControlFlowContext____unreash(recv) ATTR(recv, COLOR_control_flow___ControlFlowContext____unreash)
-typedef val_t (* control_flow___ControlFlowContext___unreash_t)(val_t  self);
-val_t control_flow___ControlFlowContext___unreash(val_t  self);
-typedef void (* control_flow___ControlFlowContext___unreash__eq_t)(val_t  self, val_t  param0);
-void control_flow___ControlFlowContext___unreash__eq(val_t  self, val_t  param0);
-#define ATTR_control_flow___ControlFlowContext____already_unreash(recv) ATTR(recv, COLOR_control_flow___ControlFlowContext____already_unreash)
-typedef val_t (* control_flow___ControlFlowContext___already_unreash_t)(val_t  self);
-val_t control_flow___ControlFlowContext___already_unreash(val_t  self);
-typedef void (* control_flow___ControlFlowContext___already_unreash__eq_t)(val_t  self, val_t  param0);
-void control_flow___ControlFlowContext___already_unreash__eq(val_t  self, val_t  param0);
-#define ATTR_control_flow___ControlFlowContext____base_block(recv) ATTR(recv, COLOR_control_flow___ControlFlowContext____base_block)
-typedef val_t (* control_flow___ControlFlowContext___base_block_t)(val_t  self);
-val_t control_flow___ControlFlowContext___base_block(val_t  self);
-typedef void (* control_flow___ControlFlowContext___base_block__eq_t)(val_t  self, val_t  param0);
-void control_flow___ControlFlowContext___base_block__eq(val_t  self, val_t  param0);
-typedef val_t (* control_flow___ControlFlowContext___sub_t)(val_t  self);
-val_t control_flow___ControlFlowContext___sub(val_t  self);
-typedef void (* control_flow___ControlFlowContext___init_t)(val_t  self, int* init_table);
-void control_flow___ControlFlowContext___init(val_t  self, int* init_table);
-val_t NEW_control_flow___ControlFlowContext___init();
-typedef void (* control_flow___ControlFlowContext___with_t)(val_t  self, val_t  param0, int* init_table);
-void control_flow___ControlFlowContext___with(val_t  self, val_t  param0, int* init_table);
-val_t NEW_control_flow___ControlFlowContext___with(val_t  param0);
-typedef void (* control_flow___PNode___accept_control_flow_t)(val_t  self, val_t  param0);
-void control_flow___PNode___accept_control_flow(val_t  self, val_t  param0);
-typedef void (* control_flow___AMethPropdef___accept_control_flow_t)(val_t  self, val_t  param0);
-void control_flow___AMethPropdef___accept_control_flow(val_t  self, val_t  param0);
-typedef void (* control_flow___AConcreteMethPropdef___accept_control_flow_t)(val_t  self, val_t  param0);
-void control_flow___AConcreteMethPropdef___accept_control_flow(val_t  self, val_t  param0);
-typedef void (* control_flow___ABlockExpr___accept_control_flow_t)(val_t  self, val_t  param0);
-void control_flow___ABlockExpr___accept_control_flow(val_t  self, val_t  param0);
-typedef void (* control_flow___AReturnExpr___accept_control_flow_t)(val_t  self, val_t  param0);
-void control_flow___AReturnExpr___accept_control_flow(val_t  self, val_t  param0);
-#define ATTR_control_flow___ABlockControler____block(recv) ATTR(recv, COLOR_control_flow___ABlockControler____block)
-typedef val_t (* control_flow___ABlockControler___block_t)(val_t  self);
-val_t control_flow___ABlockControler___block(val_t  self);
-typedef void (* control_flow___ABreakExpr___accept_control_flow_t)(val_t  self, val_t  param0);
-void control_flow___ABreakExpr___accept_control_flow(val_t  self, val_t  param0);
-typedef void (* control_flow___AContinueExpr___accept_control_flow_t)(val_t  self, val_t  param0);
-void control_flow___AContinueExpr___accept_control_flow(val_t  self, val_t  param0);
-typedef void (* control_flow___AAbortExpr___accept_control_flow_t)(val_t  self, val_t  param0);
-void control_flow___AAbortExpr___accept_control_flow(val_t  self, val_t  param0);
-typedef void (* control_flow___AIfExpr___accept_control_flow_t)(val_t  self, val_t  param0);
-void control_flow___AIfExpr___accept_control_flow(val_t  self, val_t  param0);
-typedef void (* control_flow___AControlableBlock___accept_control_flow_t)(val_t  self, val_t  param0);
-void control_flow___AControlableBlock___accept_control_flow(val_t  self, val_t  param0);
-typedef void (* control_flow___AOnceExpr___accept_control_flow_t)(val_t  self, val_t  param0);
-void control_flow___AOnceExpr___accept_control_flow(val_t  self, val_t  param0);
+#define ID_VariableContext (SFT_control_flow[0])
+#define COLOR_VariableContext (SFT_control_flow[1])
+#define ATTR_control_flow___VariableContext____dico(recv) ATTR(recv, (SFT_control_flow[2] + 0))
+#define ATTR_control_flow___VariableContext____all_variables(recv) ATTR(recv, (SFT_control_flow[2] + 1))
+#define ATTR_control_flow___VariableContext____stypes(recv) ATTR(recv, (SFT_control_flow[2] + 2))
+#define ATTR_control_flow___VariableContext____visitor(recv) ATTR(recv, (SFT_control_flow[2] + 3))
+#define ATTR_control_flow___VariableContext____node(recv) ATTR(recv, (SFT_control_flow[2] + 4))
+#define ATTR_control_flow___VariableContext____unreash(recv) ATTR(recv, (SFT_control_flow[2] + 5))
+#define ATTR_control_flow___VariableContext____already_unreash(recv) ATTR(recv, (SFT_control_flow[2] + 6))
+#define ATTR_control_flow___VariableContext____set_variables(recv) ATTR(recv, (SFT_control_flow[2] + 7))
+#define INIT_TABLE_POS_VariableContext (SFT_control_flow[3] + 0)
+#define CALL_control_flow___VariableContext_____bra(recv) ((control_flow___VariableContext_____bra_t)CALL((recv), (SFT_control_flow[3] + 1)))
+#define CALL_control_flow___VariableContext___add(recv) ((control_flow___VariableContext___add_t)CALL((recv), (SFT_control_flow[3] + 2)))
+#define CALL_control_flow___VariableContext___mark_is_set(recv) ((control_flow___VariableContext___mark_is_set_t)CALL((recv), (SFT_control_flow[3] + 3)))
+#define CALL_control_flow___VariableContext___check_is_set(recv) ((control_flow___VariableContext___check_is_set_t)CALL((recv), (SFT_control_flow[3] + 4)))
+#define CALL_control_flow___VariableContext___stype(recv) ((control_flow___VariableContext___stype_t)CALL((recv), (SFT_control_flow[3] + 5)))
+#define CALL_control_flow___VariableContext___stype__eq(recv) ((control_flow___VariableContext___stype__eq_t)CALL((recv), (SFT_control_flow[3] + 6)))
+#define CALL_control_flow___VariableContext___sub(recv) ((control_flow___VariableContext___sub_t)CALL((recv), (SFT_control_flow[3] + 7)))
+#define CALL_control_flow___VariableContext___sub_with(recv) ((control_flow___VariableContext___sub_with_t)CALL((recv), (SFT_control_flow[3] + 8)))
+#define CALL_control_flow___VariableContext___node(recv) ((control_flow___VariableContext___node_t)CALL((recv), (SFT_control_flow[3] + 9)))
+#define CALL_control_flow___VariableContext___init(recv) ((control_flow___VariableContext___init_t)CALL((recv), (SFT_control_flow[3] + 10)))
+#define CALL_control_flow___VariableContext___unreash(recv) ((control_flow___VariableContext___unreash_t)CALL((recv), (SFT_control_flow[3] + 11)))
+#define CALL_control_flow___VariableContext___unreash__eq(recv) ((control_flow___VariableContext___unreash__eq_t)CALL((recv), (SFT_control_flow[3] + 12)))
+#define CALL_control_flow___VariableContext___already_unreash(recv) ((control_flow___VariableContext___already_unreash_t)CALL((recv), (SFT_control_flow[3] + 13)))
+#define CALL_control_flow___VariableContext___already_unreash__eq(recv) ((control_flow___VariableContext___already_unreash__eq_t)CALL((recv), (SFT_control_flow[3] + 14)))
+#define CALL_control_flow___VariableContext___set_variables(recv) ((control_flow___VariableContext___set_variables_t)CALL((recv), (SFT_control_flow[3] + 15)))
+#define CALL_control_flow___VariableContext___is_set(recv) ((control_flow___VariableContext___is_set_t)CALL((recv), (SFT_control_flow[3] + 16)))
+#define CALL_control_flow___VariableContext___merge(recv) ((control_flow___VariableContext___merge_t)CALL((recv), (SFT_control_flow[3] + 17)))
+#define CALL_control_flow___VariableContext___merge2(recv) ((control_flow___VariableContext___merge2_t)CALL((recv), (SFT_control_flow[3] + 18)))
+#define ID_RootVariableContext (SFT_control_flow[4])
+#define COLOR_RootVariableContext (SFT_control_flow[5])
+#define INIT_TABLE_POS_RootVariableContext (SFT_control_flow[6] + 0)
+#define CALL_control_flow___RootVariableContext___init(recv) ((control_flow___RootVariableContext___init_t)CALL((recv), (SFT_control_flow[6] + 1)))
+#define ID_SubVariableContext (SFT_control_flow[7])
+#define COLOR_SubVariableContext (SFT_control_flow[8])
+#define ATTR_control_flow___SubVariableContext____prev(recv) ATTR(recv, (SFT_control_flow[9] + 0))
+#define INIT_TABLE_POS_SubVariableContext (SFT_control_flow[10] + 0)
+#define CALL_control_flow___SubVariableContext___prev(recv) ((control_flow___SubVariableContext___prev_t)CALL((recv), (SFT_control_flow[10] + 1)))
+#define CALL_control_flow___SubVariableContext___with_prev(recv) ((control_flow___SubVariableContext___with_prev_t)CALL((recv), (SFT_control_flow[10] + 2)))
+#define CALL_control_flow___Variable___must_be_set(recv) ((control_flow___Variable___must_be_set_t)CALL((recv), (SFT_control_flow[11] + 0)))
+#define LOCATE_control_flow___VariableContext___to_s "control_flow::VariableContext::(string::Object::to_s)"
+val_t control_flow___VariableContext___to_s(val_t p0);
+typedef val_t (*control_flow___VariableContext___to_s_t)(val_t p0);
+#define LOCATE_control_flow___VariableContext_____bra "control_flow::VariableContext::[]"
+val_t control_flow___VariableContext_____bra(val_t p0, val_t p1);
+typedef val_t (*control_flow___VariableContext_____bra_t)(val_t p0, val_t p1);
+#define LOCATE_control_flow___VariableContext___add "control_flow::VariableContext::add"
+void control_flow___VariableContext___add(val_t p0, val_t p1);
+typedef void (*control_flow___VariableContext___add_t)(val_t p0, val_t p1);
+#define LOCATE_control_flow___VariableContext___mark_is_set "control_flow::VariableContext::mark_is_set"
+void control_flow___VariableContext___mark_is_set(val_t p0, val_t p1);
+typedef void (*control_flow___VariableContext___mark_is_set_t)(val_t p0, val_t p1);
+#define LOCATE_control_flow___VariableContext___check_is_set "control_flow::VariableContext::check_is_set"
+void control_flow___VariableContext___check_is_set(val_t p0, val_t p1, val_t p2);
+typedef void (*control_flow___VariableContext___check_is_set_t)(val_t p0, val_t p1, val_t p2);
+#define LOCATE_control_flow___VariableContext___stype "control_flow::VariableContext::stype"
+val_t control_flow___VariableContext___stype(val_t p0, val_t p1);
+typedef val_t (*control_flow___VariableContext___stype_t)(val_t p0, val_t p1);
+#define LOCATE_control_flow___VariableContext___stype__eq "control_flow::VariableContext::stype="
+void control_flow___VariableContext___stype__eq(val_t p0, val_t p1, val_t p2);
+typedef void (*control_flow___VariableContext___stype__eq_t)(val_t p0, val_t p1, val_t p2);
+#define LOCATE_control_flow___VariableContext___sub "control_flow::VariableContext::sub"
+val_t control_flow___VariableContext___sub(val_t p0, val_t p1);
+typedef val_t (*control_flow___VariableContext___sub_t)(val_t p0, val_t p1);
+#define LOCATE_control_flow___VariableContext___sub_with "control_flow::VariableContext::sub_with"
+val_t control_flow___VariableContext___sub_with(val_t p0, val_t p1, val_t p2, val_t p3);
+typedef val_t (*control_flow___VariableContext___sub_with_t)(val_t p0, val_t p1, val_t p2, val_t p3);
+#define LOCATE_control_flow___VariableContext___node "control_flow::VariableContext::node"
+val_t control_flow___VariableContext___node(val_t p0);
+typedef val_t (*control_flow___VariableContext___node_t)(val_t p0);
+#define LOCATE_control_flow___VariableContext___init "control_flow::VariableContext::init"
+void control_flow___VariableContext___init(val_t p0, val_t p1, val_t p2, int* init_table);
+typedef void (*control_flow___VariableContext___init_t)(val_t p0, val_t p1, val_t p2, int* init_table);
+val_t NEW_VariableContext_control_flow___VariableContext___init(val_t p0, val_t p1);
+#define LOCATE_control_flow___VariableContext___unreash "control_flow::VariableContext::unreash"
+val_t control_flow___VariableContext___unreash(val_t p0);
+typedef val_t (*control_flow___VariableContext___unreash_t)(val_t p0);
+#define LOCATE_control_flow___VariableContext___unreash__eq "control_flow::VariableContext::unreash="
+void control_flow___VariableContext___unreash__eq(val_t p0, val_t p1);
+typedef void (*control_flow___VariableContext___unreash__eq_t)(val_t p0, val_t p1);
+#define LOCATE_control_flow___VariableContext___already_unreash "control_flow::VariableContext::already_unreash"
+val_t control_flow___VariableContext___already_unreash(val_t p0);
+typedef val_t (*control_flow___VariableContext___already_unreash_t)(val_t p0);
+#define LOCATE_control_flow___VariableContext___already_unreash__eq "control_flow::VariableContext::already_unreash="
+void control_flow___VariableContext___already_unreash__eq(val_t p0, val_t p1);
+typedef void (*control_flow___VariableContext___already_unreash__eq_t)(val_t p0, val_t p1);
+#define LOCATE_control_flow___VariableContext___set_variables "control_flow::VariableContext::set_variables"
+val_t control_flow___VariableContext___set_variables(val_t p0);
+typedef val_t (*control_flow___VariableContext___set_variables_t)(val_t p0);
+#define LOCATE_control_flow___VariableContext___is_set "control_flow::VariableContext::is_set"
+val_t control_flow___VariableContext___is_set(val_t p0, val_t p1);
+typedef val_t (*control_flow___VariableContext___is_set_t)(val_t p0, val_t p1);
+#define LOCATE_control_flow___VariableContext___merge "control_flow::VariableContext::merge"
+void control_flow___VariableContext___merge(val_t p0, val_t p1);
+typedef void (*control_flow___VariableContext___merge_t)(val_t p0, val_t p1);
+#define LOCATE_control_flow___VariableContext___merge2 "control_flow::VariableContext::merge2"
+void control_flow___VariableContext___merge2(val_t p0, val_t p1, val_t p2, val_t p3);
+typedef void (*control_flow___VariableContext___merge2_t)(val_t p0, val_t p1, val_t p2, val_t p3);
+#define LOCATE_control_flow___RootVariableContext___init "control_flow::RootVariableContext::init"
+void control_flow___RootVariableContext___init(val_t p0, val_t p1, val_t p2, int* init_table);
+typedef void (*control_flow___RootVariableContext___init_t)(val_t p0, val_t p1, val_t p2, int* init_table);
+val_t NEW_RootVariableContext_control_flow___RootVariableContext___init(val_t p0, val_t p1);
+#define LOCATE_control_flow___SubVariableContext_____bra "control_flow::SubVariableContext::(control_flow::VariableContext::[])"
+val_t control_flow___SubVariableContext_____bra(val_t p0, val_t p1);
+typedef val_t (*control_flow___SubVariableContext_____bra_t)(val_t p0, val_t p1);
+#define LOCATE_control_flow___SubVariableContext___stype "control_flow::SubVariableContext::(control_flow::VariableContext::stype)"
+val_t control_flow___SubVariableContext___stype(val_t p0, val_t p1);
+typedef val_t (*control_flow___SubVariableContext___stype_t)(val_t p0, val_t p1);
+#define LOCATE_control_flow___SubVariableContext___is_set "control_flow::SubVariableContext::(control_flow::VariableContext::is_set)"
+val_t control_flow___SubVariableContext___is_set(val_t p0, val_t p1);
+typedef val_t (*control_flow___SubVariableContext___is_set_t)(val_t p0, val_t p1);
+#define LOCATE_control_flow___SubVariableContext___prev "control_flow::SubVariableContext::prev"
+val_t control_flow___SubVariableContext___prev(val_t p0);
+typedef val_t (*control_flow___SubVariableContext___prev_t)(val_t p0);
+#define LOCATE_control_flow___SubVariableContext___with_prev "control_flow::SubVariableContext::with_prev"
+void control_flow___SubVariableContext___with_prev(val_t p0, val_t p1, val_t p2, int* init_table);
+typedef void (*control_flow___SubVariableContext___with_prev_t)(val_t p0, val_t p1, val_t p2, int* init_table);
+val_t NEW_SubVariableContext_control_flow___SubVariableContext___with_prev(val_t p0, val_t p1);
+val_t NEW_Variable_syntax_base___Variable___init(val_t p0, val_t p1);
+#define LOCATE_control_flow___Variable___must_be_set "control_flow::Variable::must_be_set"
+val_t control_flow___Variable___must_be_set(val_t p0);
+typedef val_t (*control_flow___Variable___must_be_set_t)(val_t p0);
+val_t NEW_VarVariable_syntax_base___VarVariable___init(val_t p0, val_t p1);
+#define LOCATE_control_flow___VarVariable___must_be_set "control_flow::VarVariable::(control_flow::Variable::must_be_set)"
+val_t control_flow___VarVariable___must_be_set(val_t p0);
+typedef val_t (*control_flow___VarVariable___must_be_set_t)(val_t p0);
 #endif