示例#1
0
文件: misc.c 项目: qcs4tracy/SymTable
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");
    
}
示例#2
0
文件: misc.c 项目: qcs4tracy/SymTable
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;
    }

}
示例#3
0
void model_pp(std::ostream & out, model_core const & md) {
    display_uninterp_sorts(out, md);
    display_constants(out, md);
    display_functions(out, md);
}
示例#4
0
void model_v2_pp(std::ostream & out, model_core const & md, bool partial) {
    display_constants(out, md);
    display_functions(out, md, partial);
}