#include "extern.h"#include "trees.h"#include "login.h"#include "types.h"#include "parser.h"#include "copy.h"#include "token.h"#include "print.h"#include "lefun.h"#include "memory.h"#include "built_ins.h"#include "error.h"#include "modules.h"Go to the source code of this file.
| long abort_life | ( | int | nlflag | ) |
Definition at line 2248 of file built_in.c.
References wl_pair_list::b, DEFRULES, FALSE, function, init_system(), main_loop_ok, NOTQUIET, NULL, prove, push_goal(), wl_definition::rule, stack_psi_term(), stdin_cleareof(), TRUE, wl_psi_term::type, wl_definition::type, undo(), and var_occurred.
Referenced by c_abort(), c_read(), copy(), fail_all(), handle_interrupt(), load_aim(), and reportAndAbort().
| int all_public_symbols | ( | ) |
Definition at line 1367 of file modules.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, deref_ptr, first_definition, get_module(), get_two_args(), wl_definition::keyword, wl_keyword::module, wl_definition::next, NULL, wl_keyword::public, push_goal(), stack_cons(), stack_nil(), stack_psi_term(), TRUE, wl_psi_term::type, and unify.
Referenced by init_built_in_types().
| long append_files | ( | char * | s1, | |
| char * | s2 | |||
| ) |
| long c_abort | ( | ) |
Definition at line 2241 of file built_in.c.
References abort_life(), and TRUE.
Referenced by bitvector_binop_code(), bitvector_unop_code(), c_bk_assign(), c_boolpred(), c_eval_disjunction(), call_primitive(), global_unify(), init_built_in_types(), regexp_compile_internal(), and regexp_execute_internal().
| static long c_and | ( | ) | [static] |
Definition at line 1078 of file built_in.c.
References c_logical_main(), and TRUE.
Referenced by init_built_in_types().
| long c_append_file | ( | ) |
Definition at line 5677 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_node::data, deref, deref_args, deref_ptr, Errorline(), FALSE, featcmp(), find(), one, overlap_type(), set_1_2, TRUE, two, wl_psi_term::type, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_apply | ( | ) | [static] |
Definition at line 1227 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, clear_copy(), curry(), wl_node::data, delete_attr(), deref, deref_ptr, distinct_copy(), distinct_tree(), Errorline(), eval, FALSE, featcmp(), find(), function, wl_definition::keyword, merge_unify(), push_goal(), residuate(), wl_definition::rule, wl_keyword::symbol, TRUE, wl_definition::type, and wl_psi_term::type.
Referenced by init_built_in_types().
| long c_args | ( | ) |
Definition at line 5902 of file built_in.c.
References aim, arg_c, arg_v, wl_goal::b, heap_copy_string(), NULL, push_goal(), stack_cons(), stack_nil(), stack_psi_term(), TRUE, wl_psi_term::type, unify, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_ascii | ( | ) | [static] |
Definition at line 4621 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), matches(), REAL, residuate(), set_1, TRUE, wl_psi_term::type, unify_real_result(), and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_assert_first | ( | ) | [static] |
Definition at line 2368 of file built_in.c.
References wl_goal::a, aim, assert_clause(), assert_first, assert_ok, wl_psi_term::attr_list, bk_mark_quote(), deref_ptr, encode_types(), Errorline(), FALSE, get_one_arg(), and TRUE.
Referenced by init_built_in_types().
| static long c_assert_last | ( | ) | [static] |
Definition at line 2396 of file built_in.c.
References wl_goal::a, aim, assert_clause(), assert_first, assert_ok, wl_psi_term::attr_list, bk_mark_quote(), deref_ptr, encode_types(), Errorline(), FALSE, and get_one_arg().
Referenced by init_built_in_types().
| static long c_assign | ( | ) | [static] |
Definition at line 4202 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, clear_copy(), deref_args, deref_ptr, deref_rec, Errorline(), exact_copy(), FALSE, get_two_args(), HEAP, heap_pointer, set_1_2, and TRUE.
| static long c_bk_assign | ( | ) | [static] |
Definition at line 4145 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, c_abort(), wl_psi_term::coref, deref, deref_args, deref_ptr, deref_rec, Errorline(), FALSE, get_two_args(), heap_pointer, push_psi_ptr_value(), release_resid(), release_resid_notrail(), set_1_2, and TRUE.
Referenced by init_built_in_types().
| static long c_boolpred | ( | ) | [static] |
Definition at line 930 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, c_abort(), DEFRULES, deref, deref_args, deref_ptr, Errorline(), FALSE, get_one_arg(), matches(), NULL, predicate, prove, push_goal(), residuate(), set_1, sub_type(), TRUE, wl_definition::type, and wl_psi_term::type.
Referenced by init_built_in_types().
| static long c_call | ( | ) | [static] |
Definition at line 4096 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, choice_stack, curry(), DEFRULES, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), NULL, prove, push_choice_point(), push_goal(), resid_aim, residuate(), set_1, stack_psi_term(), TRUE, wl_psi_term::type, and unify.
| static long c_char | ( | ) | [static] |
Definition at line 4567 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), heap_alloc(), NULL, overlap_type(), push_goal(), REAL, residuate(), set_1, stack_psi_term(), TRUE, wl_psi_term::type, unify, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_chdir | ( | ) | [static] |
Definition at line 4011 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref_ptr, Errorline(), expand_file_name(), FALSE, get_two_args(), matches(), wl_psi_term::type, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_clause | ( | ) | [static] |
Definition at line 2492 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, FALSE, get_two_args(), and pred_clause().
Referenced by init_built_in_types().
| static long c_close | ( | ) | [static] |
Definition at line 2871 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_node::data, deref, deref_args, deref_ptr, equal_types, Errorline(), FALSE, featcmp(), find(), get_two_args(), input_stream, NULL, open_input_file(), open_output_file(), output_stream, set_1, STREAM, TRUE, wl_psi_term::type, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_combined_name | ( | ) | [static] |
Definition at line 5482 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, wl_keyword::combined_name, curry(), deref_ptr, get_two_args(), heap_copy_string(), wl_definition::keyword, NULL, push_goal(), stack_psi_term(), TRUE, wl_psi_term::type, unify, and wl_psi_term::value.
Referenced by init_built_in_types().
| long c_concatenate | ( | ) |
Definition at line 5370 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), wl_node::data, deref, deref_args, deref_ptr, FALSE, featcmp(), find(), one, overlap_type(), residuate(), set_1_2, TRUE, two, wl_psi_term::type, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_cond | ( | ) | [static] |
Definition at line 3300 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), wl_node::data, deref, deref_args, deref_ptr, Errorline(), featcmp(), find(), get_bool_value(), get_one_arg_addr(), goal_stack, i_check_out(), wl_node::key, wl_node::left, NULL, one, predicate, psi_term_ptr, push_goal(), push_ptr_value(), REAL, resid_aim, residuate(), wl_node::right, set_1_2_3, STACK_ALLOC, stack_psi_term(), three, TRUE, two, wl_definition::type, wl_psi_term::type, and unify.
Referenced by init_built_in_types().
| static long c_copy_pointer | ( | ) | [static] |
Definition at line 4331 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, copy_attr_list(), curry(), deref, deref_args, deref_ptr, get_one_arg(), NULL, push_goal(), set_1, stack_psi_term(), TRUE, wl_psi_term::type, unify, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_copy_term | ( | ) | [static] |
Definition at line 4361 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, clear_copy(), curry(), deref, deref_args, deref_ptr, exact_copy(), get_one_arg(), NULL, push_goal(), set_1, STACK, TRUE, and unify.
Referenced by init_built_in_types().
| static long c_declaration | ( | ) | [static] |
Definition at line 2298 of file built_in.c.
References wl_goal::a, aim, deref_ptr, Errorline(), and FALSE.
Referenced by init_built_in_types().
| static long c_delay_check | ( | ) | [static] |
Definition at line 1695 of file built_in.c.
References wl_goal::a, aim, assert_delay_check(), wl_psi_term::attr_list, deref_ptr, inherit_always_check(), and TRUE.
Referenced by init_built_in_types().
| long c_deref_length | ( | ) |
Definition at line 5868 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, wl_psi_term::coref, curry(), wl_node::data, deref_ptr, featcmp(), find(), one, REAL, TRUE, and unify_real_result().
Referenced by init_built_in_types().
| static long c_diff | ( | ) | [static] |
Definition at line 1372 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, FALSE, get_bool_value(), get_real_value(), get_two_args(), nonnum_warning(), REAL, residuate(), residuate2(), set_1_2, TRUE, unify_bool_result(), and unify_real_result().
Referenced by init_built_in_types().
| static long c_diff_address | ( | ) | [static] |
Definition at line 3768 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, FALSE, get_bool_value(), get_two_args(), NULL, push_goal(), REAL, resid_aim, set_1_2, TRUE, unify, and unify_bool_result().
Referenced by init_built_in_types().
| static long c_disj | ( | ) | [static] |
Definition at line 3271 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, DEFRULES, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), NULL, prove, push_choice_point(), push_goal(), resid_aim, set_1_2, Traceline, and TRUE.
Referenced by init_built_in_types().
| static long c_dynamic | ( | ) | [static] |
Definition at line 1663 of file built_in.c.
References wl_goal::a, aim, assert_protected(), wl_psi_term::attr_list, deref_ptr, FALSE, and TRUE.
Referenced by init_built_in_types().
| static long c_equal | ( | ) | [static] |
Definition at line 603 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, FALSE, get_bool_value(), get_real_value(), get_two_args(), nonnum_warning(), REAL, residuate(), residuate2(), set_1_2, TRUE, unify_bool_result(), and unify_real_result().
Referenced by init_built_in_types().
| static long c_eval | ( | ) | [static] |
Definition at line 3811 of file built_in.c.
References wl_goal::a, aim, assert, wl_psi_term::attr_list, wl_goal::b, clear_copy(), curry(), deref, deref_args, deref_ptr, eval_copy(), get_two_args(), i_check_out(), NULL, push_goal(), resid_aim, set_1, STACK, TRUE, wl_psi_term::type, and unify.
Referenced by init_built_in_types().
| static long c_eval_disjunction | ( | ) | [static] |
Definition at line 684 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, c_abort(), deref_ptr, Errorline(), eval, get_two_args(), i_check_out(), NULL, push_choice_point(), push_goal(), resid_aim, wl_definition::rule, TRUE, wl_psi_term::type, and unify.
Referenced by init_built_in_types().
| static long c_eval_inplace | ( | ) | [static] |
Definition at line 3842 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, get_two_args(), i_check_out(), mark_eval(), NULL, push_goal(), resid_aim, set_1, TRUE, and unify.
Referenced by init_built_in_types().
| static long c_exist_feature | ( | ) | [static] |
Definition at line 3376 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, wl_keyword::combined_name, curry(), wl_node::data, deref, deref_args, deref_ptr, featcmp(), find(), get_two_args(), heap_copy_string(), wl_definition::keyword, NULL, wl_keyword::private_feature, push_goal(), REAL, set_1_2, stack_psi_term(), sub_type(), wl_keyword::symbol, three, TRUE, wl_psi_term::type, unify, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_exists | ( | ) | [static] |
Definition at line 1757 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_node::data, deref, deref_args, deref_ptr, Errorline(), FALSE, featcmp(), file_exists(), find(), one, psi_to_string(), set_1, and TRUE.
Referenced by init_built_in_types().
| static long c_exists_choice | ( | ) | [static] |
Definition at line 1928 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, choice_stack, curry(), deref, deref_args, deref_ptr, Errorline(), FALSE, get_real_value(), get_two_args(), wl_choice_point::next, NULL, push_goal(), REAL, set_1_2, set_empty, stack_psi_term(), wl_choice_point::time_stamp, TRUE, wl_psi_term::type, and unify.
Referenced by init_built_in_types().
| static long c_fail | ( | ) | [static] |
| static long c_feature_values | ( | ) | [static] |
Definition at line 3496 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, current_module, curry(), deref, deref_args, deref_ptr, get_module(), get_two_args(), make_feature_list(), NULL, push_goal(), resid_aim, set_1, stack_nil(), TRUE, and unify.
Referenced by init_built_in_types().
| static long c_features | ( | ) | [static] |
Definition at line 3440 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, current_module, curry(), deref, deref_args, deref_ptr, get_module(), get_two_args(), make_feature_list(), NULL, push_goal(), resid_aim, set_1, stack_nil(), TRUE, and unify.
Referenced by init_built_in_types().
| static long c_freeze | ( | ) | [static] |
| static long c_freeze_inner | ( | long | freeze_flag | ) | [static] |
Definition at line 4441 of file built_in.c.
References wl_pair_list::a, wl_goal::a, aim, wl_psi_term::attr_list, wl_pair_list::b, wl_goal::c, can_curry, choice_stack, clear_copy(), curried, DEFRULES, deref_args, deref_ptr, Errorline(), eval_copy(), FALSE, freeze_cut, get_one_arg(), implies_cut, match, MAX_BUILT_INS, wl_pair_list::next, NULL, predicate, prove, push_choice_point(), push_goal(), quote_copy(), resid_aim, resid_vars, wl_definition::rule, save_resid(), set_1, STACK, STACK_ALLOC, stack_pointer, wl_psi_term::status, Traceline, TRUE, wl_definition::type, and wl_psi_term::type.
Referenced by c_freeze(), and c_implies().
| static long c_funct | ( | ) | [static] |
Definition at line 5138 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, curry(), deref_args, deref_ptr, get_two_args(), set_1_2, and TRUE.
| static long c_get | ( | ) | [static] |
Definition at line 2926 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref, deref_args, deref_ptr, eof_flag, Errorline(), FALSE, get_two_args(), heap_alloc(), i_check_out(), NULL, prompt, push_goal(), read_char(), REAL, set_1, stack_psi_term(), TRUE, wl_psi_term::type, unify, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_get_choice | ( | ) | [static] |
Definition at line 1836 of file built_in.c.
References wl_goal::a, aim, wl_goal::b, choice_stack, deref_args, deref_ptr, global_time_stamp, NULL, push_goal(), REAL, real_stack_psi_term(), set_empty, wl_choice_point::time_stamp, TRUE, and unify.
Referenced by init_built_in_types().
| static long c_global | ( | ) | [static] |
Definition at line 2533 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref_ptr, error(), Errorline(), eval, FALSE, global_error_check(), and global_tree().
Referenced by init_built_in_types().
| static long c_global_assign | ( | ) | [static] |
Definition at line 4236 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, clear_copy(), wl_psi_term::coref, deref_args, deref_ptr, deref_rec, Errorline(), FALSE, get_two_args(), heap_pointer, inc_heap_copy(), push_psi_ptr_value(), set_1_2, and TRUE.
Referenced by init_built_in_types().
| static long c_gt | ( | ) | [static] |
Definition at line 537 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, get_bool_value(), get_real_value(), get_two_args(), nonnum_warning(), REAL, residuate(), residuate2(), set_1_2, TRUE, and unify_bool_result().
Referenced by init_built_in_types().
| static long c_gtoe | ( | ) | [static] |
Definition at line 795 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, get_bool_value(), get_real_value(), get_two_args(), nonnum_warning(), REAL, residuate(), residuate2(), set_1_2, TRUE, and unify_bool_result().
Referenced by init_built_in_types().
| int c_halt | ( | ) |
Definition at line 2201 of file built_in.c.
References exit_life(), and TRUE.
Referenced by init_built_in_types().
| static long c_implies | ( | ) | [static] |
Definition at line 4556 of file built_in.c.
References c_freeze_inner(), and FALSE.
Referenced by init_built_in_types().
| long c_initrandom | ( | ) |
Definition at line 5815 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_node::data, deref, deref_args, deref_ptr, FALSE, featcmp(), find(), one, overlap_type(), residuate(), set_1, TRUE, wl_psi_term::type, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_int2string | ( | ) | [static] |
Definition at line 4780 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, Errorline(), FALSE, get_one_arg(), heap_copy_string(), NULL, overlap_type(), push_goal(), REAL, residuate(), set_1, stack_psi_term(), STRLEN, TRUE, wl_psi_term::type, unify, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_is_function | ( | ) | [static] |
Definition at line 1551 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, function, get_one_arg(), NULL, push_goal(), resid_aim, set_1, stack_psi_term(), TRUE, wl_definition::type, wl_psi_term::type, and unify.
| static long c_is_predicate | ( | ) | [static] |
Definition at line 1582 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, get_one_arg(), NULL, predicate, push_goal(), resid_aim, set_1, stack_psi_term(), TRUE, wl_definition::type, wl_psi_term::type, and unify.
| static long c_is_sort | ( | ) | [static] |
Definition at line 1613 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, get_one_arg(), NULL, push_goal(), resid_aim, set_1, stack_psi_term(), TRUE, type, wl_definition::type, wl_psi_term::type, and unify.
| static long c_listing | ( | ) | [static] |
Definition at line 4983 of file built_in.c.
References wl_pair_list::a, wl_goal::a, aim, wl_psi_term::attr_list, wl_pair_list::b, wl_node::data, deref_ptr, display_psi_stream(), Errorline(), FALSE, function, get_two_args(), global, wl_definition::global_value, has_rules(), is_built_in(), wl_definition::keyword, list_special(), listing_pred_write(), new_psi_term(), wl_pair_list::next, NULL, one_attr(), output_stream, outputline(), predicate, wl_definition::rule, wl_keyword::symbol, TRUE, type, wl_definition::type, wl_psi_term::type, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_load | ( | ) | [static] |
Definition at line 1797 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref, deref_args, deref_ptr, Errorline(), FALSE, file_date, get_two_args(), input_state, load, open_input_file(), psi_to_string(), push_goal(), and set_1.
Referenced by init_built_in_types().
| static long c_logical_main | ( | long | sel | ) | [static] |
Definition at line 1005 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, Errorline(), FALSE, get_bool(), get_two_args(), matches(), NULL, push_goal(), residuate(), set_1_2, TRUE, wl_psi_term::type, UNDEF, unify, unify_bool(), and unify_bool_result().
| static long c_lt | ( | ) | [static] |
Definition at line 728 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, get_bool_value(), get_real_value(), get_two_args(), nonnum_warning(), REAL, residuate(), residuate2(), set_1_2, TRUE, and unify_bool_result().
Referenced by init_built_in_types().
| static long c_ltoe | ( | ) | [static] |
Definition at line 861 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, get_bool_value(), get_real_value(), get_two_args(), nonnum_warning(), REAL, residuate(), residuate2(), set_1_2, TRUE, and unify_bool_result().
Referenced by init_built_in_types().
| static long c_module_name | ( | ) | [static] |
Definition at line 5451 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref_ptr, get_two_args(), heap_copy_string(), wl_definition::keyword, wl_keyword::module, wl_module::module_name, NULL, push_goal(), stack_psi_term(), TRUE, wl_psi_term::type, unify, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_non_strict | ( | ) | [static] |
Definition at line 1712 of file built_in.c.
References wl_goal::a, aim, assert_args_not_eval(), wl_psi_term::attr_list, deref_ptr, and TRUE.
Referenced by init_built_in_types().
| static long c_nonvar | ( | ) | [static] |
Definition at line 1520 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, get_one_arg(), NULL, push_goal(), resid_aim, set_1, stack_psi_term(), TRUE, wl_psi_term::type, and unify.
Referenced by init_built_in_types().
| static long c_not | ( | ) | [static] |
Definition at line 1095 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, Errorline(), FALSE, get_bool(), get_one_arg(), matches(), residuate(), set_1, TRUE, wl_psi_term::type, UNDEF, unify_bool(), and unify_bool_result().
Referenced by init_built_in_types().
| static long c_not_implemented | ( | ) | [static] |
Definition at line 2283 of file built_in.c.
References wl_goal::a, aim, deref_ptr, Errorline(), and FALSE.
Referenced by init_built_in_types().
| static long c_op | ( | ) | [static] |
Definition at line 1727 of file built_in.c.
References wl_goal::a, aim, and declare_operator().
Referenced by init_built_in_types().
| static long c_open_in | ( | ) | [static] |
Definition at line 2718 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_psi_term::coref, deref, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), input_state, is_top, open_input_file(), psi_to_string(), push_psi_ptr_value(), set_1_2, and TRUE.
Referenced by init_built_in_types().
| static long c_open_out | ( | ) | [static] |
Definition at line 2762 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_psi_term::coref, deref, deref_ptr, Errorline(), FALSE, get_two_args(), open_output_file(), output_stream, overlap_type(), psi_to_string(), push_psi_ptr_value(), stack_psi_term(), TRUE, wl_psi_term::type, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_ops | ( | ) | [static] |
Definition at line 3659 of file built_in.c.
References wl_goal::a, aim, wl_goal::b, collect_symbols(), deref_args, NULL, op_sel, push_goal(), set_empty, TRUE, and unify.
Referenced by init_built_in_types().
| static long c_or | ( | ) | [static] |
Definition at line 1083 of file built_in.c.
References c_logical_main(), and FALSE.
Referenced by init_built_in_types().
| static long c_page_width | ( | ) | [static] |
Definition at line 3156 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref, deref_args, deref_ptr, equal_types, Errorline(), FALSE, get_two_args(), NULL, page_width, push_goal(), REAL, real_stack_psi_term(), set_1, sub_type(), TRUE, wl_psi_term::type, unify, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_parse | ( | ) | [static] |
Definition at line 2022 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, bi_module, curry(), wl_node::data, deref, deref_args, deref_ptr, FACT, FALSE, featcmp(), find(), get_one_arg(), init_parse_state(), mark_quote(), matches(), NULL, parse(), push_goal(), QUERY, residuate(), restore_parse_state(), save_parse_state(), set_1, stack_copy_psi_term(), stack_psi_term(), stringinput, stringparse, three, TRUE, two, wl_psi_term::type, unify, update_symbol(), wl_psi_term::value, and var_occurred.
Referenced by init_built_in_types().
| static long c_persistent | ( | ) | [static] |
Definition at line 2645 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref_ptr, error(), Errorline(), FALSE, persistent_error_check(), and persistent_tree().
Referenced by init_built_in_types().
| static long c_pred | ( | ) | [static] |
Definition at line 5114 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), set_1_2, and TRUE.
| static long c_print_codes | ( | ) | [static] |
Definition at line 5094 of file built_in.c.
References wl_goal::a, aim, deref_args, outputline(), print_codes(), set_empty, TRUE, and type_count.
Referenced by init_built_in_types().
| static long c_print_depth | ( | ) | [static] |
Definition at line 3194 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref, deref_args, deref_ptr, equal_types, Errorline(), FALSE, get_two_args(), NULL, PRINT_DEPTH, print_depth, push_goal(), REAL, real_stack_psi_term(), set_1, sub_type(), TRUE, wl_psi_term::type, unify, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_print_variables | ( | ) | [static] |
Definition at line 1983 of file built_in.c.
References print_variables(), and TRUE.
Referenced by init_built_in_types().
| static long c_project | ( | ) | [static] |
Definition at line 1272 of file built_in.c.
References wl_goal::a, aim, wl_definition::always_check, wl_psi_term::attr_list, wl_goal::b, bk_stack_insert(), clear_copy(), wl_keyword::combined_name, wl_psi_term::coref, curry(), wl_node::data, deref, deref_args, deref_ptr, Errorline(), FALSE, featcmp(), fetch_def_lazy(), find(), wl_psi_term::flags, function, get_two_args(), heap_copy_string(), heap_insert(), heap_pointer, inc_heap_copy(), wl_definition::keyword, NULL, wl_keyword::private_feature, push_goal(), push_psi_ptr_value(), QUOTED_TRUE, REAL, release_resid(), wl_psi_term::resid, residuate(), set_1_2, sub_type(), wl_keyword::symbol, TRUE, wl_definition::type, wl_psi_term::type, unify, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_psi2string | ( | ) | [static] |
Definition at line 4737 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, buf, curry(), deref, deref_args, deref_ptr, get_one_arg(), heap_copy_string(), wl_definition::keyword, NULL, push_goal(), set_1, stack_psi_term(), sub_type(), wl_keyword::symbol, TRUE, wl_psi_term::type, unify, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_put | ( | ) | [static] |
Definition at line 2981 of file built_in.c.
References c_put_main(), and FALSE.
Referenced by init_built_in_types().
| static long c_put_err | ( | ) | [static] |
Definition at line 2986 of file built_in.c.
References c_put_main(), and TRUE.
Referenced by init_built_in_types().
| static long c_put_main | ( | long | to_stderr | ) | [static] |
Definition at line 2991 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref, deref_args, deref_ptr, equal_types, Errorline(), FALSE, get_two_args(), output_stream, psi_to_string(), REAL, set_1, TRUE, wl_psi_term::type, and wl_psi_term::value.
| static long c_put_main | ( | ) | [static] |
Referenced by c_put(), and c_put_err().
| static long c_pwrite | ( | ) | [static] |
Definition at line 3125 of file built_in.c.
References const_quote, FALSE, generic_write(), indent, TRUE, write_canon, write_corefs, write_resids, and write_stderr.
Referenced by init_built_in_types().
| static long c_pwriteq | ( | ) | [static] |
Definition at line 3140 of file built_in.c.
References const_quote, FALSE, generic_write(), indent, TRUE, write_canon, write_corefs, write_resids, and write_stderr.
Referenced by init_built_in_types().
| static long c_quote | ( | ) | [static] |
Definition at line 3873 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_ptr, get_two_args(), NULL, push_goal(), TRUE, and unify.
| long c_random | ( | ) |
Definition at line 5751 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), wl_node::data, deref, deref_args, deref_ptr, FALSE, featcmp(), find(), NULL, one, overlap_type(), push_goal(), REAL, real_stack_psi_term(), residuate(), set_1, TRUE, wl_psi_term::type, unify, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_read | ( | long | psi_flag | ) | [static] |
Definition at line 2117 of file built_in.c.
References wl_goal::a, abort_life(), aim, wl_psi_term::attr_list, bi_module, wl_node::data, deref_args, deref_ptr, eof_flag, Errorline(), FACT, FALSE, featcmp(), find(), get_one_arg(), heap_alloc(), line_count, mark_quote(), NULL, parse(), prompt, push_goal(), QUERY, read_token_b(), REAL, set_1, stack_copy_psi_term(), stack_psi_term(), three, TRUE, two, wl_psi_term::type, unify, update_symbol(), wl_psi_term::value, and var_tree.
| static long c_read | ( | ) | [static] |
Referenced by c_read_psi(), and c_read_token().
| static long c_read_psi | ( | ) | [static] |
Definition at line 2113 of file built_in.c.
References c_read(), and TRUE.
Referenced by init_built_in_types().
| static long c_read_token | ( | ) | [static] |
Definition at line 2115 of file built_in.c.
References c_read(), and FALSE.
Referenced by init_built_in_types().
| static long c_repeat | ( | ) | [static] |
Definition at line 1475 of file built_in.c.
References wl_goal::a, aim, DEFRULES, deref_args, NULL, prove, push_choice_point(), set_empty, and TRUE.
Referenced by init_built_in_types().
| static long c_retract | ( | ) | [static] |
Definition at line 2509 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, FALSE, get_two_args(), and pred_clause().
Referenced by init_built_in_types().
| static long c_rootsort | ( | ) | [static] |
Definition at line 3236 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, get_two_args(), NULL, push_goal(), resid_aim, set_1, stack_psi_term(), TRUE, wl_psi_term::type, unify, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_same_address | ( | ) | [static] |
Definition at line 3726 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, FALSE, get_bool_value(), get_two_args(), NULL, push_goal(), REAL, resid_aim, set_1_2, TRUE, unify, and unify_bool_result().
Referenced by init_built_in_types().
| static long c_set_choice | ( | ) | [static] |
Definition at line 1873 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, choice_stack, clean_trail(), curry(), deref, deref_args, deref_ptr, Errorline(), FALSE, get_one_arg(), get_real_value(), wl_choice_point::next, REAL, set_1, wl_choice_point::time_stamp, and TRUE.
Referenced by init_built_in_types().
| static long c_set_input | ( | ) | [static] |
Definition at line 2809 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref, deref_args, deref_ptr, equal_types, Errorline(), FALSE, get_stream(), get_two_args(), input_state, NULL, restore_state(), save_state(), set_1, TRUE, and wl_psi_term::type.
Referenced by init_built_in_types().
| static long c_set_output | ( | ) | [static] |
Definition at line 2844 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref, deref_args, deref_ptr, equal_types, Errorline(), FALSE, get_two_args(), output_stream, set_1, TRUE, wl_psi_term::type, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_setq | ( | ) | [static] |
Definition at line 2320 of file built_in.c.
References wl_pair_list::a, wl_goal::a, aim, wl_psi_term::attr_list, wl_pair_list::b, clear_copy(), deref_ptr, deref_rec, Errorline(), FALSE, function, get_two_args(), HEAP, HEAP_ALLOC, heap_psi_term(), wl_pair_list::next, NULL, wl_definition::protected, quote_copy(), wl_definition::rule, TRUE, wl_definition::type, wl_psi_term::type, and undef.
Referenced by init_built_in_types().
| static long c_split_double | ( | ) | [static] |
Definition at line 3897 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref_ptr, Errorline(), FALSE, get_real_value(), get_two_args(), REAL, residuate(), residuate2(), TRUE, and unify_real_result().
Referenced by init_built_in_types().
| static long c_static | ( | ) | [static] |
Definition at line 1678 of file built_in.c.
References wl_goal::a, aim, assert_protected(), wl_psi_term::attr_list, deref_ptr, and TRUE.
Referenced by init_built_in_types().
| static long c_string2psi | ( | ) | [static] |
Definition at line 4671 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, current_module, curry(), deref, deref_args, deref_ptr, error_psi_term, Errorline(), FALSE, get_module(), get_two_args(), NULL, overlap_type(), push_goal(), residuate(), set_1_2, stack_psi_term(), TRUE, wl_psi_term::type, unify, update_symbol(), wl_psi_term::value, and Warningline.
Referenced by init_built_in_types().
| static long c_string_address | ( | ) | [static] |
Definition at line 3958 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref_ptr, Errorline(), FALSE, get_real_value(), get_two_args(), matches(), NULL, push_goal(), REAL, residuate2(), stack_psi_term(), wl_psi_term::type, unify, unify_real_result(), and wl_psi_term::value.
Referenced by init_built_in_types().
| long c_string_length | ( | ) |
Definition at line 5514 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), wl_node::data, deref, deref_args, deref_ptr, FALSE, featcmp(), find(), one, overlap_type(), residuate(), set_1, TRUE, wl_psi_term::type, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_strip | ( | ) | [static] |
Definition at line 3698 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, copy_attr_list(), curry(), deref, deref_args, deref_ptr, get_two_args(), merge_unify(), NULL, resid_aim, set_1, and TRUE.
Referenced by init_built_in_types().
| long c_sub_string | ( | ) |
Definition at line 5569 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), wl_node::data, deref, deref_args, deref_ptr, FALSE, featcmp(), find(), one, overlap_type(), residuate(), set_1_2_3, three, TRUE, two, wl_psi_term::type, and wl_psi_term::value.
Referenced by init_built_in_types().
| static long c_succeed | ( | ) | [static] |
Definition at line 1461 of file built_in.c.
References wl_goal::a, aim, deref_args, set_empty, and TRUE.
Referenced by init_built_in_types().
| static long c_such_that | ( | ) | [static] |
Definition at line 4846 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), DEFRULES, deref_args, deref_ptr, get_two_args(), i_check_out(), NULL, prove, push_goal(), resid_aim, set_1_2, TRUE, and unify.
Referenced by init_built_in_types().
| static long c_undo | ( | ) | [static] |
Definition at line 4398 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, DEFRULES, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), NULL, prove, push_choice_point(), set_1, and TRUE.
Referenced by init_built_in_types().
| static long c_unify_func | ( | ) | [static] |
Definition at line 4276 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, get_two_args(), NULL, push_goal(), set_1_2, TRUE, and unify.
Referenced by init_built_in_types().
| static long c_unify_pred | ( | ) | [static] |
Definition at line 4304 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), NULL, push_goal(), set_1_2, TRUE, and unify.
Referenced by init_built_in_types().
| static long c_var | ( | ) | [static] |
Definition at line 1489 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, get_one_arg(), NULL, push_goal(), resid_aim, set_1, stack_psi_term(), TRUE, wl_psi_term::type, and unify.
Referenced by init_built_in_types().
| static long c_write | ( | ) | [static] |
Definition at line 3079 of file built_in.c.
References const_quote, FALSE, generic_write(), indent, write_canon, write_corefs, write_resids, and write_stderr.
Referenced by init_built_in_types().
| static long c_write_canonical | ( | ) | [static] |
Definition at line 3111 of file built_in.c.
References const_quote, FALSE, generic_write(), indent, TRUE, write_canon, write_corefs, write_resids, and write_stderr.
Referenced by init_built_in_types().
| static long c_write_err | ( | ) | [static] |
Definition at line 3048 of file built_in.c.
References const_quote, FALSE, generic_write(), indent, TRUE, write_canon, write_corefs, write_resids, and write_stderr.
Referenced by init_built_in_types().
| static long c_writeq | ( | ) | [static] |
Definition at line 3095 of file built_in.c.
References const_quote, FALSE, generic_write(), indent, TRUE, write_canon, write_corefs, write_resids, and write_stderr.
Referenced by init_built_in_types().
| static long c_writeq_err | ( | ) | [static] |
Definition at line 3064 of file built_in.c.
References const_quote, FALSE, generic_write(), indent, TRUE, write_canon, write_corefs, write_resids, and write_stderr.
Referenced by init_built_in_types().
| static long c_xor | ( | ) | [static] |
Definition at line 1148 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, Errorline(), FALSE, get_bool(), get_two_args(), matches(), NULL, push_goal(), residuate(), set_1_2, TRUE, wl_psi_term::type, UNDEF, unify, unify_bool(), and unify_bool_result().
Referenced by init_built_in_types().
| long check_real | ( | ptr_psi_term | t, | |
| REAL * | v, | |||
| long * | n | |||
| ) |
| ptr_psi_term collect_symbols | ( | long | sel | ) |
Definition at line 3574 of file built_in.c.
References wl_definition::children, first_definition, fx, fy, greatest_sel, hidden_type(), least_sel, name, wl_operator_data::next, wl_definition::next, NULL, one, wl_definition::op_data, op_sel, wl_definition::parents, wl_operator_data::precedence, stack_add_int_attr(), stack_add_psi_attr(), stack_cons(), stack_nil(), stack_psi_term(), three, two, wl_psi_term::type, type, wl_definition::type, undef, xf, xfx, xfy, yf, and yfx.
Referenced by c_children(), c_ops(), and c_smallest().
Definition at line 3678 of file built_in.c.
References wl_node::data, wl_node::key, wl_node::left, NULL, wl_node::right, and STACK_ALLOC.
Referenced by c_copy_pointer(), and c_strip().
| long declare_operator | ( | ptr_psi_term | t | ) |
Definition at line 5239 of file built_in.c.
References wl_node::data, deref_ptr, Errorline(), FALSE, featcmp(), find(), fx, fy, get_two_args(), wl_definition::keyword, MAX_PRECEDENCE, nop, op_declare(), REAL, sub_type(), wl_keyword::symbol, three, TRUE, wl_psi_term::type, type, wl_psi_term::value, xf, xfx, xfy, yf, and yfx.
Referenced by c_op().
| void exit_life | ( | long | nl_flag | ) |
Definition at line 2207 of file built_in.c.
References garbage_time, life_end, NOTQUIET, and open_input_file().
Referenced by c_get_raw(), c_halt(), handle_interrupt(), main(), and type_cyclicity().
| long file_exists | ( | char * | s | ) |
Definition at line 1737 of file built_in.c.
References expand_file_name(), FALSE, and TRUE.
Referenced by c_exists().
| static long generic_write | ( | ) | [static] |
Definition at line 3032 of file built_in.c.
References wl_goal::a, aim, wl_psi_term::attr_list, deref_args, pred_write(), set_empty, and TRUE.
Referenced by c_pwrite(), c_pwriteq(), c_write(), c_write_canonical(), c_write_err(), c_writeq(), and c_writeq_err().
| static long get_bool | ( | ptr_definition | typ | ) | [static] |
Definition at line 985 of file built_in.c.
References FALSE, sub_type(), TRUE, and UNDEF.
Referenced by c_logical_main(), c_not(), and c_xor().
| static long get_bool_value | ( | ptr_psi_term | t, | |
| REAL * | v, | |||
| long * | n | |||
| ) | [static] |
Definition at line 400 of file built_in.c.
References def_ptr, FALSE, heap_pointer, i_check_out(), int_ptr, matches(), push_ptr_value(), and TRUE.
Referenced by c_cond(), c_diff(), c_diff_address(), c_equal(), c_gt(), c_gtoe(), c_lt(), c_ltoe(), and c_same_address().
| long get_real_value | ( | ptr_psi_term | t, | |
| REAL * | v, | |||
| long * | n | |||
| ) |
Definition at line 361 of file built_in.c.
References def_ptr, FALSE, heap_pointer, i_check_out(), int_ptr, matches(), push_ptr_value(), REAL, and TRUE.
Referenced by c_add(), c_bit_and(), c_bit_not(), c_bit_or(), c_cputime(), c_diff(), c_div(), c_equal(), c_exists_choice(), c_exp(), c_floor_ceiling(), c_gt(), c_gtoe(), c_intdiv(), c_log(), c_lt(), c_ltoe(), c_maxint(), c_mod(), c_mult(), c_realtime(), c_set_choice(), c_shift(), c_split_double(), c_sqrt(), c_string_address(), c_sub(), and c_trig().
| void global_error_check | ( | ptr_node | n, | |
| int * | error, | |||
| int * | eval | |||
| ) |
Definition at line 2556 of file built_in.c.
References wl_psi_term::attr_list, deref_eval(), deref_ptr, error_psi_term, Errorline(), FALSE, get_two_args(), global, global_error_check(), NULL, TRUE, wl_definition::type, wl_psi_term::type, undef, and wl_psi_term::value.
| void global_error_check | ( | ) |
Referenced by c_global(), and global_error_check().
| void global_one | ( | ptr_psi_term | t | ) |
Definition at line 2610 of file built_in.c.
References clear_copy(), deref_ptr, get_two_args(), global, HEAP, quote_copy(), and stack_psi_term().
| void global_one | ( | ) |
Referenced by global_tree().
| void global_tree | ( | ptr_node | n | ) |
| void global_tree | ( | ) |
Referenced by c_global(), and global_tree().
| long has_rules | ( | ptr_pair_list | r | ) |
Definition at line 4923 of file built_in.c.
References FALSE, NULL, and TRUE.
Referenced by c_listing().
| long hidden_type | ( | ptr_definition | t | ) |
Definition at line 3549 of file built_in.c.
Referenced by c_children(), c_parents(), and collect_symbols().
| void init_built_in_types | ( | ) |
Definition at line 5930 of file built_in.c.
References all_public_symbols(), bi_module, c_abort(), c_alias(), c_and(), c_append_file(), c_apply(), c_args(), c_ascii(), c_assert_first(), c_assert_last(), c_bk_assign(), c_boolpred(), c_char(), c_chdir(), c_clause(), c_close(), c_combined_name(), c_concatenate(), c_cond(), c_copy_pointer(), c_copy_term(), c_current_module(), c_declaration(), c_delay_check(), c_deref_length(), c_diff(), c_diff_address(), c_disj(), c_display_modules(), c_display_persistent(), c_dynamic(), c_equal(), c_eval(), c_eval_disjunction(), c_eval_inplace(), c_exist_feature(), c_exists(), c_exists_choice(), c_fail(), c_feature_values(), c_features(), c_get(), c_get_choice(), c_global(), c_global_assign(), c_gt(), c_gtoe(), c_halt(), c_implies(), c_initrandom(), c_int2string(), c_is_function(), c_is_predicate(), c_is_sort(), c_listing(), c_load(), c_lt(), c_ltoe(), c_module_name(), c_non_strict(), c_nonvar(), c_not(), c_not_implemented(), c_op(), c_open_in(), c_open_module(), c_open_out(), c_ops(), c_or(), c_page_width(), c_parse(), c_persistent(), c_print_codes(), c_print_depth(), c_print_variables(), c_private(), c_private_feature(), c_project(), c_psi2string(), c_public(), c_put(), c_put_err(), c_pwrite(), c_pwriteq(), c_random(), c_read_psi(), c_read_token(), c_repeat(), c_replace(), c_retract(), c_rootsort(), c_same_address(), c_set_choice(), c_set_input(), c_set_module(), c_set_output(), c_setq(), c_split_double(), c_static(), c_string2psi(), c_string_address(), c_string_length(), c_strip(), c_sub_string(), c_succeed(), c_such_that(), c_trace_input(), c_undo(), c_unify_func(), c_unify_pred(), c_var(), c_write(), c_write_canonical(), c_write_err(), c_writeq(), c_writeq_err(), c_xor(), wl_definition::code, day_attr, error_psi_term, function, hash_lookup(), heap_psi_term(), hour_attr, insert_math_builtins(), insert_sys_builtins(), insert_system_builtins(), insert_type_builtins(), wl_definition::keyword, minute_attr, month_attr, new_built_in(), no_module, NOT_CODED, one, predicate, wl_keyword::public, second_attr, set_current_module(), wl_keyword::symbol, wl_module::symbol_table, syntax_module, three, TRUE, two, type, wl_definition::type, wl_psi_term::type, update_symbol(), weekday_attr, and year_attr.
| long is_built_in | ( | ptr_pair_list | r | ) |
Definition at line 4935 of file built_in.c.
References MAX_BUILT_INS.
Referenced by c_listing(), and list_special().
| list_special | ( | ptr_psi_term | t | ) |
Definition at line 4944 of file built_in.c.
References wl_definition::always_check, display_psi_stream(), wl_definition::evaluate_args, FALSE, is_built_in(), output_stream, wl_definition::protected, TRUE, and type.
Referenced by c_listing().
| ptr_psi_term make_feature_list | ( | ptr_node | tree, | |
| ptr_psi_term | tail, | |||
| ptr_module | module, | |||
| int | val | |||
| ) |
Definition at line 271 of file built_in.c.
References heap_alloc(), REAL, stack_cons(), stack_psi_term(), str_to_int(), and update_feature().
Referenced by c_feature_values(), and c_features().
| void new_built_in | ( | ptr_module | m, | |
| char * | s, | |||
| def_type | t, | |||
| long (*)() | r | |||
| ) |
Definition at line 5178 of file built_in.c.
References built_in_index, c_rule, current_module, MAX_BUILT_INS, wl_definition::rule, set_current_module(), wl_definition::type, and update_symbol().
Referenced by init_built_in_types(), insert_dbm_builtins(), insert_math_builtins(), insert_sys_builtins(), insert_type_builtins(), and raw_setup_builtins().
| ptr_psi_term new_psi_term | ( | long | numargs, | |
| ptr_definition | typ, | |||
| ptr_psi_term ** | a1, | |||
| ptr_psi_term ** | a2 | |||
| ) |
Definition at line 4888 of file built_in.c.
References wl_psi_term::attr_list, wl_node::data, wl_node::key, wl_node::left, NULL, one, wl_node::right, STACK_ALLOC, stack_psi_term(), two, and wl_psi_term::type.
Referenced by c_listing().
| ptr_node one_attr | ( | ) |
Definition at line 4873 of file built_in.c.
References wl_node::data, wl_node::key, wl_node::left, NULL, one, wl_node::right, and STACK_ALLOC.
Referenced by c_listing().
| long only_arg1 | ( | ptr_psi_term | t, | |
| ptr_psi_term * | arg1 | |||
| ) |
Definition at line 1643 of file built_in.c.
References wl_node::data, FALSE, featcmp(), wl_node::key, wl_node::left, NULL, one, wl_node::right, and TRUE.
| static void op_declare | ( | long | p, | |
| operator | t, | |||
| char * | s | |||
| ) | [static] |
Definition at line 5207 of file built_in.c.
References Errorline(), heap_alloc(), MAX_PRECEDENCE, wl_operator_data::next, NULL, wl_definition::op_data, wl_operator_data::precedence, and update_symbol().
Referenced by declare_operator().
| persistent_error_check | ( | ptr_node | n, | |
| int * | error | |||
| ) |
Definition at line 2666 of file built_in.c.
References deref_ptr, error_psi_term, Errorline(), global, TRUE, wl_definition::type, wl_psi_term::type, and undef.
Referenced by c_persistent().
| persistent_one | ( | ptr_psi_term | t | ) |
Definition at line 2705 of file built_in.c.
References global, heap_pointer, and heap_psi_term().
Referenced by persistent_tree().
| persistent_tree | ( | ptr_node | n | ) |
Definition at line 2689 of file built_in.c.
References deref_ptr, and persistent_one().
Referenced by c_persistent().
| long pred_clause | ( | ptr_psi_term | t, | |
| long | r, | |||
| ptr_psi_term | g | |||
| ) |
Definition at line 2426 of file built_in.c.
References bk_mark_quote(), clause, del_clause, deref_ptr, Errorline(), FALSE, function, get_two_args(), predicate, push_goal(), redefine(), wl_definition::rule, stack_psi_term(), TRUE, wl_definition::type, wl_psi_term::type, and undef.
Referenced by c_clause(), and c_retract().
| long psi_to_string | ( | ptr_psi_term | t, | |
| char ** | fn | |||
| ) |
Definition at line 248 of file built_in.c.
References equal_types, wl_definition::keyword, wl_keyword::symbol, and TRUE.
Referenced by c_exists(), c_load(), c_open_in(), c_open_out(), and c_put_main().
| static void set_parse_queryflag | ( | ptr_node | thelist, | |
| long | sort | |||
| ) | [static] |
Definition at line 1994 of file built_in.c.
References bi_module, wl_node::data, FACT, featcmp(), find(), NULL, push_goal(), QUERY, stack_psi_term(), two, wl_psi_term::type, unify, and update_symbol().
| ptr_psi_term stack_bytes | ( | char * | s, | |
| int | n | |||
| ) |
Definition at line 232 of file built_in.c.
References heap_ncopy_string(), stack_psi_term(), wl_psi_term::type, and wl_psi_term::value.
Referenced by dbmfetch_internal(), dbmfirstkey_internal(), and dbmnextkey_internal().
| ptr_psi_term stack_cons | ( | ptr_psi_term | head, | |
| ptr_psi_term | tail | |||
| ) |
Definition at line 162 of file built_in.c.
References wl_psi_term::attr_list, cons(), featcmp(), one, stack_insert(), stack_psi_term(), two, and wl_psi_term::type.
Referenced by all_public_symbols(), c_args(), c_children(), c_parents(), collect_symbols(), and make_feature_list().
| ptr_psi_term stack_int | ( | long | n | ) |
Definition at line 202 of file built_in.c.
References heap_alloc(), REAL, stack_psi_term(), wl_psi_term::type, and wl_psi_term::value.
Referenced by errno_internal(), regexp_execute_internal(), and unify_wait_result().
| ptr_psi_term stack_nil | ( | ) |
Definition at line 144 of file built_in.c.
References stack_psi_term(), and wl_psi_term::type.
Referenced by all_public_symbols(), c_args(), c_children(), c_feature_values(), c_features(), c_parents(), collect_symbols(), and init_system().
| ptr_psi_term stack_pair | ( | ptr_psi_term | left, | |
| ptr_psi_term | right | |||
| ) |
Definition at line 182 of file built_in.c.
References wl_psi_term::attr_list, featcmp(), one, stack_insert(), stack_psi_term(), two, and wl_psi_term::type.
Referenced by regexp_execute_internal().
| ptr_psi_term stack_string | ( | char * | s | ) |
Definition at line 217 of file built_in.c.
References heap_copy_string(), stack_psi_term(), wl_psi_term::type, and wl_psi_term::value.
Referenced by cuserid_internal(), errmsg_internal(), and gethostname_internal().
| char* str_conc | ( | char * | s1, | |
| char * | s2 | |||
| ) |
| char* sub_str | ( | char * | s, | |
| long | p, | |||
| long | n | |||
| ) |
| static long unify_bool | ( | ptr_psi_term | arg | ) | [static] |
Definition at line 993 of file built_in.c.
References NULL, push_goal(), stack_psi_term(), wl_psi_term::type, and unify.
Referenced by c_logical_main(), c_not(), and c_xor().
| void unify_bool_result | ( | ptr_psi_term | t, | |
| long | v | |||
| ) |
Definition at line 445 of file built_in.c.
References NULL, push_goal(), stack_psi_term(), wl_psi_term::type, and unify.
Referenced by c_diff(), c_diff_address(), c_equal(), c_gt(), c_gtoe(), c_in_raw(), c_is_function(), c_is_number(), c_is_persistent(), c_is_predicate(), c_is_sort(), c_is_value(), c_isa_main(), c_logical_main(), c_lt(), c_ltoe(), c_not(), c_same_address(), c_trace(), c_window_flag(), c_xor(), dbminit_internal(), my_wait_on_feature_internal(), and regexp_execute_internal().
| long unify_real_result | ( | ptr_psi_term | t, | |
| REAL | v | |||
| ) |
Definition at line 486 of file built_in.c.
References assert, def_ptr, deref_ptr, FALSE, heap_alloc(), heap_pointer, i_check_out(), int_ptr, matches(), NULL, push_ptr_value(), REAL, release_resid(), TRUE, and Warningline.
Referenced by bitvector_bit_code(), bitvector_unop_code(), c_add(), c_ascii(), c_bit_and(), c_bit_not(), c_bit_or(), c_cputime(), c_deref_length(), c_diff(), c_div(), c_equal(), c_exp(), c_floor_ceiling(), c_get_raw(), c_intdiv(), c_log(), c_maxint(), c_mod(), c_mult(), c_realtime(), c_shift(), c_split_double(), c_sqrt(), c_string_address(), c_sub(), c_trig(), fork_internal(), ftell_internal(), get_code_internal(), and getpid_internal().
Definition at line 71 of file built_in.c.
Referenced by c_mresiduate(), check(), check_psi_term(), check_resid(), pretty_list(), pretty_psi_term(), and read_psi_term().
| int arg_c |
Definition at line 133 of file built_in.c.
Referenced by c_args(), GetStrOption(), main(), and WFInit().
| char** arg_v |
Definition at line 134 of file built_in.c.
Referenced by c_args(), GetStrOption(), main(), and WFInit().
Definition at line 53 of file built_in.c.
Referenced by check(), encode_types(), and make_sys_type_links().
long built_in_index = 0 [static] |
| long(* c_rule[MAX_BUILT_INS])() |
Referenced by eval_aim(), new_built_in(), and prove_aim().
Definition at line 54 of file built_in.c.
Definition at line 60 of file built_in.c.
Referenced by check(), check_psi_term(), check_resid(), copy(), isa(), match_aim(), pretty_psi_term(), prove_aim(), and what_next_aim().
| char* day_attr |
Definition at line 122 of file built_in.c.
Referenced by c_localtime(), check(), and init_built_in_types().
Definition at line 62 of file built_in.c.
Referenced by check(), list_nil(), pretty_list(), and pretty_psi_term().
Definition at line 61 of file built_in.c.
Referenced by assert_complicated_type(), check(), check_func(), list_nil(), pretty_list(), pretty_psi_term(), and read_psi_term().
Definition at line 63 of file built_in.c.
Referenced by check(), load_aim(), main(), parse(), pretty_psi_term(), read_psi_term(), and what_next_aim().
Definition at line 66 of file built_in.c.
| char* hour_attr |
Definition at line 123 of file built_in.c.
Referenced by c_localtime(), check(), and init_built_in_types().
Definition at line 70 of file built_in.c.
Referenced by apply1_internal(), bitvector_bit(), c_bind(), c_connect(), c_errmsg(), c_fseek(), c_get_buffer(), c_int2stream(), c_kill(), c_listen(), c_make_bitvector(), c_parents(), c_regexp_execute(), c_waitpid(), check(), encode_types(), heap_add_int_attr(), isa(), isSubTypeValue(), lazy_project_internal(), make_life_form(), match_aim(), my_wait_on_feature_internal(), pretty_psi_term(), read_number(), read_psi_term(), real_stack_psi_term(), stack_add_int_attr(), and wait_on_feature_internal().
Definition at line 65 of file built_in.c.
| char* minute_attr |
Definition at line 124 of file built_in.c.
Referenced by c_localtime(), check(), and init_built_in_types().
| char* month_attr |
Definition at line 121 of file built_in.c.
Referenced by c_localtime(), check(), and init_built_in_types().
Definition at line 74 of file built_in.c.
Referenced by assert_complicated_type(), c_mresiduate(), check(), list_nil(), pretty_list(), and pretty_psi_term().
Definition at line 75 of file built_in.c.
Referenced by all_sorts(), check(), encode_types(), glb(), and least_sorts().
Definition at line 115 of file built_in.c.
Referenced by check(), new_state(), restore_state(), and save_state().
| char* one |
Definition at line 117 of file built_in.c.
Referenced by c_append_file(), c_concatenate(), c_cond(), c_deref_length(), c_exists(), c_initrandom(), c_random(), c_string_length(), c_sub_string(), check(), check_legal_cons(), collect_symbols(), get_numeric_feature(), get_one_arg(), get_one_arg_addr(), get_two_args(), heap_ncopy_string(), init_built_in_types(), make_life_form(), new_psi_term(), one_attr(), only_arg1(), parse_list(), prove_aim(), stack_cons(), stack_copy_string(), stack_pair(), and unify_wait_result().
Definition at line 78 of file built_in.c.
Referenced by apply1_internal(), c_bind(), c_connect(), c_current_module(), c_dbmdelete(), c_dbmfetch(), c_dbminit(), c_dbmnextkey(), c_dbmstore(), c_fopen(), c_fwrite(), c_get_record(), c_int2stream(), c_parents(), c_regexp_compile(), c_regexp_execute(), c_socket(), check(), check_psi_term(), check_resid(), encode_types(), get_buffer_internal(), get_module(), get_record_internal(), glb_value(), global_unify(), heap_add_str_attr(), isSubTypeValue(), lazy_project_internal(), match_aim(), my_wait_on_feature_internal(), pretty_psi_term(), read_psi_term(), stack_add_str_attr(), string_val(), wait_on_feature_internal(), and WFGetString().
Definition at line 79 of file built_in.c.
Referenced by c_children(), c_get_raw(), c_is_number(), c_parents(), c_put_raw(), check(), check_psi_term(), check_resid(), encode_types(), glb_value(), global_unify(), isa(), isSubTypeValue(), make_life_form(), match_aim(), pretty_psi_term(), read_number(), real_stack_psi_term(), and WFGetDouble().
| char* second_attr |
Definition at line 125 of file built_in.c.
Referenced by c_localtime(), check(), and init_built_in_types().
Definition at line 80 of file built_in.c.
Referenced by c_stream2sys_stream(), check(), check_psi_term(), new_state(), pretty_psi_term(), and sys_stream2stream_internal().
| char* three |
Definition at line 119 of file built_in.c.
Referenced by c_cond(), c_exist_feature(), c_parse(), c_read(), c_replace(), c_sub_string(), check(), collect_symbols(), declare_operator(), get_numeric_feature(), and init_built_in_types().
Definition at line 83 of file built_in.c.
Referenced by apply1_internal(), assert_less(), bfs(), c_apply1(), c_call_once(), c_children(), c_import_symbol(), c_lazy_project(), c_my_wait_on_feature(), c_parents(), c_regexp_execute(), c_wait_on_feature(), check(), deref_args_eval(), encode_types(), glb(), glb_code(), heap_psi_term(), lazy_project_internal(), lub(), make_life_form(), make_type_link(), matches(), my_wait_on_feature_internal(), overlap_type(), push_choice_point(), regexp_execute_internal(), stack_psi_term(), sub_type(), text_buffer_cmp(), text_buffer_next(), and wait_on_feature_internal().
Definition at line 84 of file built_in.c.
| char* two |
Definition at line 118 of file built_in.c.
Referenced by c_append_file(), c_concatenate(), c_cond(), c_parse(), c_read(), c_sub_string(), check(), check_legal_cons(), collect_symbols(), get_numeric_feature(), get_two_args(), heap_ncopy_string(), init_built_in_types(), make_life_form(), new_psi_term(), parse_list(), read_psi_term(), set_parse_queryflag(), stack_cons(), stack_copy_string(), stack_pair(), and unify_wait_result().
Definition at line 88 of file built_in.c.
Referenced by check(), check_psi_term(), check_resid(), and read_psi_term().
char vcid[] = "$Id: built_ins.c,v 1.14 1995/07/27 21:26:28 duchier Exp $" [static] |
Definition at line 7 of file built_in.c.
| char* weekday_attr |
Definition at line 126 of file built_in.c.
Referenced by c_localtime(), check(), and init_built_in_types().
| char* year_attr |
Definition at line 120 of file built_in.c.
Referenced by c_localtime(), check(), and init_built_in_types().
1.5.4