nitdoc: migrate github commentbox to jQuery.UI widget
[nit.git] / c_src / frontend.sep.0.h
1 #include "nit.common.h"
2 extern const int COLOR_frontend__ToolContext___64ddummy;
3 short int frontend__ToolContext__dummy(val* self);
4 void frontend__ToolContext__dummy_61d(val* self, short int p0);
5 extern const int COLOR_phase__ToolContext__phases;
6 extern const int COLOR_simple_misc_analysis__ToolContext__simple_misc_analysis_phase;
7 extern const int COLOR_modelize_property__ToolContext__modelize_property_phase;
8 extern const int COLOR_poset__POSet__add_edge;
9 extern const int COLOR_scope__ToolContext__scope_phase;
10 short int frontend__ToolContext__do_dummy(val* self);
11 extern const int COLOR_phase__ToolContext__phases_list;
12 extern const int COLOR_abstract_collection__Collection__iterator;
13 extern const int COLOR_abstract_collection__Iterator__is_ok;
14 extern const int COLOR_abstract_collection__Iterator__item;
15 extern const int COLOR_frontend__Phase__process_mainmodule;
16 extern const int COLOR_abstract_collection__Iterator__next;
17 void frontend__ToolContext__run_global_phases(val* self, val* p0);
18 void frontend__Phase__process_mainmodule(val* self, val* p0);