Go to the source code of this file.
Functions | |
| ptr_module | set_current_module () |
| ptr_definition | update_module_symbol () |
| ptr_module | create_module () |
| char * | make_module_token () |
| ptr_module | extract_module_from_name () |
| ptr_psi_term | get_function_value () |
| char * | strip_module_name () |
| char * | print_symbol () |
| void | pretty_symbol () |
| void | pretty_quote_symbol () |
| ptr_module | find_module () |
| ptr_definition | update_feature () |
| long | c_set_module () |
| long | c_open_module () |
| long | c_public () |
| long | c_private () |
| long | c_private_feature () |
| long | c_display_modules () |
| long | c_display_persistent () |
| long | c_trace_input () |
| long | c_replace () |
| long | c_current_module () |
| long | c_alias () |
| int | get_module () |
Variables | |
| ptr_module | bi_module |
| ptr_module | user_module |
| ptr_module | no_module |
| ptr_module | x_module |
| ptr_module | syntax_module |
| ptr_node | module_table |
| ptr_module | current_module |
| ptr_module | sys_module |
| long | display_modules |
| long | display_persistent |
| long | trace_input |
| long c_alias | ( | ) |
Definition at line 1182 of file modules.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_keyword::combined_name, wl_keyword::definition, deref_ptr, Errorline(), FALSE, get_two_args(), hash_lookup(), wl_definition::keyword, wl_module::module_name, wl_keyword::symbol, wl_module::symbol_table, TRUE, wl_psi_term::type, and Warningline.
Referenced by init_built_in_types().
| long c_current_module | ( | ) |
Definition at line 975 of file modules.c.
References wl_goal::a, aim, wl_goal::b, deref_ptr, heap_copy_string(), wl_module::module_name, NULL, push_goal(), quoted_string, stack_psi_term(), TRUE, wl_psi_term::type, unify, and wl_psi_term::value.
Referenced by init_built_in_types().
| long c_display_modules | ( | ) |
Definition at line 742 of file modules.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref_ptr, display_modules, Errorline(), FALSE, get_two_args(), TRUE, and wl_psi_term::type.
Referenced by init_built_in_types().
| long c_display_persistent | ( | ) |
Definition at line 778 of file modules.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref_ptr, display_persistent, Errorline(), FALSE, get_two_args(), TRUE, and wl_psi_term::type.
Referenced by init_built_in_types().
| long c_open_module | ( | ) |
Definition at line 532 of file modules.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref_ptr, Errorline(), FALSE, and open_module_tree().
Referenced by init_built_in_types().
| long c_private | ( | ) |
Definition at line 716 of file modules.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref_ptr, Errorline(), FALSE, MAKE_PRIVATE, traverse_tree(), and TRUE.
Referenced by init_built_in_types().
| long c_private_feature | ( | ) |
Definition at line 1306 of file modules.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref_ptr, Errorline(), FALSE, MAKE_FEATURE_PRIVATE, traverse_tree(), and TRUE.
Referenced by init_built_in_types().
| long c_public | ( | ) |
Definition at line 690 of file modules.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref_ptr, Errorline(), FALSE, MAKE_PUBLIC, traverse_tree(), and TRUE.
Referenced by init_built_in_types().
| long c_replace | ( | ) |
Definition at line 936 of file modules.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_node::data, deref_ptr, Errorline(), FALSE, featcmp(), find(), get_two_args(), NULL, replace(), three, TRUE, and wl_psi_term::type.
Referenced by init_built_in_types().
| long c_set_module | ( | ) |
Definition at line 501 of file modules.c.
References wl_goal::a, aim, wl_psi_term::attr_list, create_module(), deref_ptr, Errorline(), FALSE, get_two_args(), set_current_module(), string_val(), and TRUE.
Referenced by init_built_in_types().
| long c_trace_input | ( | ) |
Definition at line 814 of file modules.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref_ptr, Errorline(), FALSE, get_two_args(), trace_input, TRUE, and wl_psi_term::type.
Referenced by init_built_in_types().
| ptr_module create_module | ( | ) |
| ptr_module extract_module_from_name | ( | ) |
| ptr_module find_module | ( | ) |
| ptr_psi_term get_function_value | ( | ) |
| int get_module | ( | ) |
| char* make_module_token | ( | ) |
| void pretty_quote_symbol | ( | ) |
| void pretty_symbol | ( | ) |
| char* print_symbol | ( | ) |
| ptr_module set_current_module | ( | ) |
| char* strip_module_name | ( | ) |
| ptr_definition update_feature | ( | ) |
| ptr_definition update_module_symbol | ( | ) |
Definition at line 31 of file modules.c.
Referenced by c_parse(), c_read(), check(), init_built_in_types(), insert_math_builtins(), insert_sys_builtins(), insert_type_builtins(), raw_setup_builtins(), and set_parse_queryflag().
| long display_modules |
Definition at line 37 of file modules.c.
Referenced by c_display_modules(), do_pretty_attr(), pretty_quote_symbol(), pretty_symbol(), and print_symbol().
| long display_persistent |
Definition at line 33 of file modules.c.
Referenced by check(), init_built_in_types(), insert_math_builtins(), and insert_type_builtins().
Definition at line 35 of file modules.c.
Referenced by check(), insert_dbm_builtins(), and insert_sys_builtins().
| long trace_input |
Definition at line 32 of file modules.c.
Referenced by check(), init_system(), main(), WFInit(), and what_next_aim().
1.5.4