Home
last modified time | relevance | path

Searched refs:duplicated_ids_index (Results 1 – 1 of 1) sorted by relevance

/dports/devel/tla/tla-1.3.5/src/tla/libarch/
H A Dproj-tree-lint.c45 struct hashtree * duplicated_ids_index; member
243 thunk.duplicated_ids_index = hashtree_alloc (&tree_lint_hashtree_rules); in arch_tree_lint()
248 …find_unused_ids (&(answer->ids_sans_files), thunk.explicit_ids, thunk.duplicated_ids_index, &tree_… in arch_tree_lint()
254 hashtree_free (thunk.duplicated_ids_index, tree_lint_hashtree_freefn, &tree_lint_hashtree_rules); in arch_tree_lint()
401 …item = hashtree_store (thunk->duplicated_ids_index, hash_key (id), (void *)id, &tree_lint_hashtree… in tree_lint_callback()