00001 /* $Id: modules.h,v 1.3 1994/12/15 22:07:42 duchier Exp $ */ 00002 00003 ptr_module set_current_module(); 00004 ptr_definition update_module_symbol(); 00005 ptr_module create_module(); 00006 char *make_module_token(); 00007 ptr_module extract_module_from_name(); 00008 ptr_definition update_module_symbol(); 00009 ptr_psi_term get_function_value(); 00010 char *strip_module_name(); 00011 char *print_symbol(); 00012 void pretty_symbol(); 00013 void pretty_quote_symbol(); 00014 ptr_module find_module(); 00015 ptr_definition update_feature(); 00016 00017 long c_set_module(); 00018 long c_open_module(); 00019 long c_public(); 00020 long c_private(); 00021 long c_private_feature(); 00022 long c_display_modules(); 00023 long c_display_persistent(); /* RM: Feb 12 1993 */ 00024 long c_trace_input(); 00025 long c_replace(); 00026 long c_current_module(); 00027 long c_alias(); /* RM: Feb 22 1993 */ 00028 int get_module(); /* RM: Mar 11 1993 */ 00029 00030 extern ptr_module bi_module; /* Module for public built-ins */ 00031 extern ptr_module user_module; /* Default module for user input */ 00032 extern ptr_module no_module; 00033 extern ptr_module x_module; /* '#ifdef X11' unnecessary */ 00034 extern ptr_module syntax_module; /* Module for minimal Prolog syntax */ 00035 extern ptr_node module_table; /* The table of modules */ 00036 extern ptr_module current_module; /* The current module for the tokenizer */ 00037 extern ptr_module sys_module; 00038 00039 extern long display_modules; 00040 extern long display_persistent; 00041 00042 extern long trace_input;
1.5.4