void display_nonclass_funcs() { HashTable *func_tbl = CG(function_table); st_output_debug_string("Functions:\n\n"); display_functions(func_tbl); st_output_debug_string("\n\n"); }
void dispaly_classes() { HashTable *class_tbl = CG(class_table); class_entry *ce = NULL; Bucket *p; st_output_debug_string("Classes:\n\n"); p = class_tbl->pListHead; while (p != NULL) { ce = p->pDataPtr; st_output_debug_string("class %s {\n", ce->name); st_output_debug_string(" Methods:\n"); display_functions(&ce->function_table); display_properties(&ce->properties_info); st_output_debug_string("}\n\n"); p = p->pListNext; } }
void model_pp(std::ostream & out, model_core const & md) { display_uninterp_sorts(out, md); display_constants(out, md); display_functions(out, md); }
void model_v2_pp(std::ostream & out, model_core const & md, bool partial) { display_constants(out, md); display_functions(out, md, partial); }