Searched refs:tree_lint_hashtree_rules (Results 1 – 1 of 1) sorted by relevance
| /dports/devel/tla/tla-1.3.5/src/tla/libarch/ |
| H A D | proj-tree-lint.c | 28 …el_table explicit_ids, struct hashtree * id_map, struct hashtree_rules * tree_lint_hashtree_rules);
56 static struct hashtree_rules tree_lint_hashtree_rules = { str_key_eq, 0, 0, 0, 0, 0 }; variable
243 thunk.duplicated_ids_index = hashtree_alloc (&tree_lint_hashtree_rules); in arch_tree_lint()
248 …nswer->ids_sans_files), thunk.explicit_ids, thunk.duplicated_ids_index, &tree_lint_hashtree_rules); in arch_tree_lint()
254 hashtree_free (thunk.duplicated_ids_index, tree_lint_hashtree_freefn, &tree_lint_hashtree_rules); in arch_tree_lint()
263 …rel_table explicit_ids, struct hashtree * id_map, struct hashtree_rules * tree_lint_hashtree_rules) in find_unused_ids() argument
269 …r (explicit_ids, i, 0)), (void *)rel_peek_str (explicit_ids, i, 0), tree_lint_hashtree_rules) == 0) in find_unused_ids()
401 …hashtree_store (thunk->duplicated_ids_index, hash_key (id), (void *)id, &tree_lint_hashtree_rules); in tree_lint_callback()
|