/dports/math/yices/yices-2.6.2/src/utils/ |
H A D | symbol_tables.c | 114 sym_table->ndeleted ++; in stbl_free_record() 196 sym_table->size = n; in stbl_extend() 201 sym_table, sym_table->cost, sym_table->nelems, sym_table->ndeleted, old_size, n); in stbl_extend() 233 sym_table->size = n; in init_stbl() 239 sym_table->cost = 0; in init_stbl() 256 sym_table, sym_table->cost, sym_table->nelems, sym_table->ndeleted, sym_table->size); in delete_stbl() 260 b = sym_table->bnk; in delete_stbl() 293 n = sym_table->size; in reset_stbl() 308 sym_table->cost = 0; in reset_stbl() 445 sym_table->lctr --; in stbl_find() [all …]
|
H A D | symbol_tables.h | 128 extern void init_stbl(stbl_t *sym_table, uint32_t n); 133 static inline void stbl_set_finalizer(stbl_t *sym_table, stbl_finalizer_t fun) { in stbl_set_finalizer() argument 134 sym_table->finalize = fun; in stbl_set_finalizer() 141 extern void delete_stbl(stbl_t *sym_table); 146 extern void reset_stbl(stbl_t *sym_table); 153 extern void stbl_remove(stbl_t *sym_table, const char *symbol); 158 extern int32_t stbl_find(stbl_t *sym_table, const char *symbol); 165 extern void stbl_add(stbl_t *sym_table, char *symbol, int32_t val); 174 extern void stbl_delete_mapping(stbl_t *sym_table, const char *symbol, int32_t val); 184 extern void stbl_iterate(stbl_t *sym_table, void *aux, stbl_iterator_t f); [all …]
|
/dports/math/yices/yices-2.6.2/tests/unit/ |
H A D | test_symbol_table.c | 33 static stbl_t sym_table; variable 126 init_stbl(&sym_table, 0); in main() 129 print_stbl_records(&sym_table); in main() 158 print_stbl_records(&sym_table); in main() 162 reset_stbl(&sym_table); in main() 165 print_stbl_records(&sym_table); in main() 189 x = stbl_find(&sym_table, ""); in main() 211 print_stbl_records(&sym_table); in main() 221 print_stbl_records(&sym_table); in main() 277 sym_table.size, sym_table.nelems, sym_table.ndeleted); in main() [all …]
|
H A D | test_symbol_table2.c | 38 static stbl_t sym_table; variable 119 init_stbl(&sym_table, 0); in main() 128 x = stbl_find(&sym_table, words[i]); in main() 130 stbl_add(&sym_table, words[i], i); in main() 139 x = stbl_find(&sym_table, words[i]); in main() 160 x = stbl_find(&sym_table, words[j]); in main() 168 x = stbl_find(&sym_table, words[j]); in main() 176 x = stbl_find(&sym_table, words[j]); in main() 179 x = stbl_find(&sym_table, words[j]); in main() 197 sym_table.size, sym_table.nelems, sym_table.ndeleted); in main() [all …]
|
H A D | test_symtbl_scoping.c | 52 static stbl_t sym_table; variable 70 init_stbl(&sym_table, 2); // use a small initial size to trigger resizing in init() 71 stbl_set_finalizer(&sym_table, finalize); in init() 89 k = stbl_find(&sym_table, name[i]); in check() 118 stbl_add(&sym_table, clone, scope[i]); in map() 131 stbl_remove(&sym_table, name[i]); in unmap() 174 reset_stbl(&sym_table); in main() 183 delete_stbl(&sym_table); in main()
|
/dports/print/tex-luatex/texlive-20150521-source/texk/web2c/web2c/ |
H A D | web2c-parser.y | 29 #define symbol(x) sym_table[x].id 449 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; 450 sym_table[last_type].upper = sym_table[l_s].upper; 451 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; 452 sym_table[last_type].val = sym_table[l_s].val; 453 sym_table[last_type].val_sym = sym_table[l_s].val_sym; 479 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; 480 sym_table[last_type].upper = sym_table[l_s].upper; 481 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; 482 sym_table[last_type].val = sym_table[l_s].val; [all …]
|
H A D | web2c-parser.c | 71 #define symbol(x) sym_table[x].id 2389 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse() 2390 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse() 2391 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse() 2392 sym_table[last_type].val = sym_table[l_s].val; in yyparse() 2393 sym_table[last_type].val_sym = sym_table[l_s].val_sym; in yyparse() 2428 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse() 2429 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse() 2430 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse() 2431 sym_table[last_type].val = sym_table[l_s].val; in yyparse() [all …]
|
/dports/print/tex-xetex/texlive-20150521-source/texk/web2c/web2c/ |
H A D | web2c-parser.y | 29 #define symbol(x) sym_table[x].id 449 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; 450 sym_table[last_type].upper = sym_table[l_s].upper; 451 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; 452 sym_table[last_type].val = sym_table[l_s].val; 453 sym_table[last_type].val_sym = sym_table[l_s].val_sym; 479 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; 480 sym_table[last_type].upper = sym_table[l_s].upper; 481 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; 482 sym_table[last_type].val = sym_table[l_s].val; [all …]
|
H A D | web2c-parser.c | 71 #define symbol(x) sym_table[x].id 2389 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse() 2390 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse() 2391 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse() 2392 sym_table[last_type].val = sym_table[l_s].val; in yyparse() 2393 sym_table[last_type].val_sym = sym_table[l_s].val_sym; in yyparse() 2428 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse() 2429 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse() 2430 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse() 2431 sym_table[last_type].val = sym_table[l_s].val; in yyparse() [all …]
|
H A D | main.c | 61 struct sym_entry sym_table[sym_table_size]; variable 155 if (strcmp (id, sym_table[ptr].id) == 0) in search_table() 158 ptr = sym_table[ptr].next; in search_table() 173 sym_table[next_sym_free].next = ptr; in add_to_table() 174 sym_table[next_sym_free].val = unused; in add_to_table() 175 sym_table[next_sym_free].id = strings + next_string_free; in add_to_table() 176 sym_table[next_sym_free].var_formal = false; in add_to_table() 177 sym_table[next_sym_free].var_not_needed = false; in add_to_table() 193 ptr = sym_table[ptr].next; in remove_locals()
|
/dports/devel/tex-web2c/texlive-20150521-source/texk/web2c/web2c/ |
H A D | web2c-parser.y | 29 #define symbol(x) sym_table[x].id 449 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; 450 sym_table[last_type].upper = sym_table[l_s].upper; 451 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; 452 sym_table[last_type].val = sym_table[l_s].val; 453 sym_table[last_type].val_sym = sym_table[l_s].val_sym; 479 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; 480 sym_table[last_type].upper = sym_table[l_s].upper; 481 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; 482 sym_table[last_type].val = sym_table[l_s].val; [all …]
|
H A D | web2c-parser.c | 71 #define symbol(x) sym_table[x].id 2389 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse() 2390 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse() 2391 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse() 2392 sym_table[last_type].val = sym_table[l_s].val; in yyparse() 2393 sym_table[last_type].val_sym = sym_table[l_s].val_sym; in yyparse() 2428 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse() 2429 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse() 2430 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse() 2431 sym_table[last_type].val = sym_table[l_s].val; in yyparse() [all …]
|
/dports/devel/tex-synctex/texlive-20150521-source/texk/web2c/web2c/ |
H A D | web2c-parser.y | 29 #define symbol(x) sym_table[x].id 449 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; 450 sym_table[last_type].upper = sym_table[l_s].upper; 451 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; 452 sym_table[last_type].val = sym_table[l_s].val; 453 sym_table[last_type].val_sym = sym_table[l_s].val_sym; 479 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; 480 sym_table[last_type].upper = sym_table[l_s].upper; 481 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; 482 sym_table[last_type].val = sym_table[l_s].val; [all …]
|
H A D | web2c-parser.c | 71 #define symbol(x) sym_table[x].id 2389 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse() 2390 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse() 2391 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse() 2392 sym_table[last_type].val = sym_table[l_s].val; in yyparse() 2393 sym_table[last_type].val_sym = sym_table[l_s].val_sym; in yyparse() 2428 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse() 2429 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse() 2430 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse() 2431 sym_table[last_type].val = sym_table[l_s].val; in yyparse() [all …]
|
/dports/japanese/tex-ptex/texlive-20150521-source/texk/web2c/web2c/ |
H A D | web2c-parser.y | 29 #define symbol(x) sym_table[x].id 449 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; 450 sym_table[last_type].upper = sym_table[l_s].upper; 451 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; 452 sym_table[last_type].val = sym_table[l_s].val; 453 sym_table[last_type].val_sym = sym_table[l_s].val_sym; 479 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; 480 sym_table[last_type].upper = sym_table[l_s].upper; 481 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; 482 sym_table[last_type].val = sym_table[l_s].val; [all …]
|
H A D | web2c-parser.c | 71 #define symbol(x) sym_table[x].id 2389 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse() 2390 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse() 2391 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse() 2392 sym_table[last_type].val = sym_table[l_s].val; in yyparse() 2393 sym_table[last_type].val_sym = sym_table[l_s].val_sym; in yyparse() 2428 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse() 2429 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse() 2430 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse() 2431 sym_table[last_type].val = sym_table[l_s].val; in yyparse() [all …]
|
/dports/print/tex-aleph/texlive-20150521-source/texk/web2c/web2c/ |
H A D | web2c-parser.y | 29 #define symbol(x) sym_table[x].id 449 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; 450 sym_table[last_type].upper = sym_table[l_s].upper; 451 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; 452 sym_table[last_type].val = sym_table[l_s].val; 453 sym_table[last_type].val_sym = sym_table[l_s].val_sym; 479 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; 480 sym_table[last_type].upper = sym_table[l_s].upper; 481 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; 482 sym_table[last_type].val = sym_table[l_s].val; [all …]
|
H A D | web2c-parser.c | 71 #define symbol(x) sym_table[x].id 2389 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse() 2390 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse() 2391 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse() 2392 sym_table[last_type].val = sym_table[l_s].val; in yyparse() 2393 sym_table[last_type].val_sym = sym_table[l_s].val_sym; in yyparse() 2428 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse() 2429 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse() 2430 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse() 2431 sym_table[last_type].val = sym_table[l_s].val; in yyparse() [all …]
|
/dports/print/tex-basic-engines/texlive-20150521-source/texk/web2c/web2c/ |
H A D | web2c-parser.y | 29 #define symbol(x) sym_table[x].id 449 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; 450 sym_table[last_type].upper = sym_table[l_s].upper; 451 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; 452 sym_table[last_type].val = sym_table[l_s].val; 453 sym_table[last_type].val_sym = sym_table[l_s].val_sym; 479 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; 480 sym_table[last_type].upper = sym_table[l_s].upper; 481 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; 482 sym_table[last_type].val = sym_table[l_s].val; [all …]
|
H A D | web2c-parser.c | 71 #define symbol(x) sym_table[x].id 2389 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse() 2390 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse() 2391 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse() 2392 sym_table[last_type].val = sym_table[l_s].val; in yyparse() 2393 sym_table[last_type].val_sym = sym_table[l_s].val_sym; in yyparse() 2428 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse() 2429 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse() 2430 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse() 2431 sym_table[last_type].val = sym_table[l_s].val; in yyparse() [all …]
|
/dports/www/matomo/piwik/vendor/lox/xhprof/xhprof_lib/utils/ |
H A D | callgraph_utils.php | 219 $total_times = $sym_table["main()"]["ct"]; 228 unset($sym_table[$cur_del_func]); 243 foreach ($sym_table as $symbol => $info) { 245 unset($sym_table[$symbol]); 257 foreach ($sym_table as $symbol => $info) { 259 unset($sym_table[$symbol]); 265 $sym_table[$symbol]["id"] = $cur_id; 270 foreach ($sym_table as $symbol => $info) { 354 if (isset($sym_table[$parent]) && isset($sym_table[$child]) && 368 ($sym_table[$parent]["wt"] - $sym_table["$parent"]["excl_wt"])) [all …]
|
/dports/www/moodle310/moodle/lib/xhprof/xhprof_lib/utils/ |
H A D | callgraph_utils.php | 223 $total_times = $sym_table["main()"]["ct"]; 232 unset($sym_table[$cur_del_func]); 247 foreach ($sym_table as $symbol => $info) { 249 unset($sym_table[$symbol]); 261 foreach ($sym_table as $symbol => $info) { 263 unset($sym_table[$symbol]); 269 $sym_table[$symbol]["id"] = $cur_id; 274 foreach ($sym_table as $symbol => $info) { 358 if (isset($sym_table[$parent]) && isset($sym_table[$child]) && 372 ($sym_table[$parent]["wt"] - $sym_table["$parent"]["excl_wt"])) [all …]
|
/dports/www/moodle311/moodle/lib/xhprof/xhprof_lib/utils/ |
H A D | callgraph_utils.php | 223 $total_times = $sym_table["main()"]["ct"]; 232 unset($sym_table[$cur_del_func]); 247 foreach ($sym_table as $symbol => $info) { 249 unset($sym_table[$symbol]); 261 foreach ($sym_table as $symbol => $info) { 263 unset($sym_table[$symbol]); 269 $sym_table[$symbol]["id"] = $cur_id; 274 foreach ($sym_table as $symbol => $info) { 358 if (isset($sym_table[$parent]) && isset($sym_table[$child]) && 372 ($sym_table[$parent]["wt"] - $sym_table["$parent"]["excl_wt"])) [all …]
|
/dports/www/moodle39/moodle/lib/xhprof/xhprof_lib/utils/ |
H A D | callgraph_utils.php | 223 $total_times = $sym_table["main()"]["ct"]; 232 unset($sym_table[$cur_del_func]); 247 foreach ($sym_table as $symbol => $info) { 249 unset($sym_table[$symbol]); 261 foreach ($sym_table as $symbol => $info) { 263 unset($sym_table[$symbol]); 269 $sym_table[$symbol]["id"] = $cur_id; 274 foreach ($sym_table as $symbol => $info) { 358 if (isset($sym_table[$parent]) && isset($sym_table[$child]) && 372 ($sym_table[$parent]["wt"] - $sym_table["$parent"]["excl_wt"])) [all …]
|
/dports/net/aprsc/aprsc-2.1.10.gd72a17c/src/ |
H A D | parse_aprs.c | 115 *sym_table = '/'; in get_symbol_from_dstcall_twochar() 124 *sym_table = '/'; in get_symbol_from_dstcall_twochar() 129 *sym_table = '/'; in get_symbol_from_dstcall_twochar() 138 *sym_table = '/'; in get_symbol_from_dstcall_twochar() 147 *sym_table = '/'; in get_symbol_from_dstcall_twochar() 156 *sym_table = '/'; in get_symbol_from_dstcall_twochar() 165 *sym_table = '/'; in get_symbol_from_dstcall_twochar() 174 *sym_table = '\\'; in get_symbol_from_dstcall_twochar() 183 *sym_table = '\\'; in get_symbol_from_dstcall_twochar() 188 *sym_table = '\\'; in get_symbol_from_dstcall_twochar() [all …]
|