00001 /* File: string.H 00002 ** Author(s): Xu, Swift, Sagonas 00003 ** Contact: xsb-contact@cs.sunysb.edu 00004 ** 00005 ** Copyright (C) The Research Foundation of SUNY, 1986, 1993-1998 00006 ** Copyright (C) ECRC, Germany, 1990 00007 ** 00008 ** XSB is free software; you can redistribute it and/or modify it under the 00009 ** terms of the GNU Library General Public License as published by the Free 00010 ** Software Foundation; either version 2 of the License, or (at your option) 00011 ** any later version. 00012 ** 00013 ** XSB is distributed in the hope that it will be useful, but WITHOUT ANY 00014 ** WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS 00015 ** FOR A PARTICULAR PURPOSE. See the GNU Library General Public License for 00016 ** more details. 00017 ** 00018 ** You should have received a copy of the GNU Library General Public License 00019 ** along with XSB; if not, write to the Free Software Foundation, 00020 ** Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. 00021 ** 00022 ** $Id: string.H,v 1.20 2005/04/09 01:02:59 tswift Exp $ 00023 ** 00024 */ 00025 00026 00027 :- export concat_atom/2, concat_atom/3. 00028 :- export str_cat/3, str_sub/2, str_sub/3, str_length/2, substring/4, 00029 str_match/5, string_substitute/4. 00030 :- export term_to_codes/2, term_to_atom/2, codes_to_term/2, atom_to_term/2. 00031 :- export term_to_codes/3, term_to_atom/3. 00032 :- export read_atom_to_term/3, read_atom_to_term/2. 00033 00034 :- import append/3, memberchk/2, copy_term/2, length/2 from basics. 00035 :- import str_len/2 from machine. 00036 :- import atom/1, atom_codes/2, number/1, integer/1, structure/1, '=..'/2, 00037 is_list/1, number_codes/2, float/1 from standard. 00038 :- import file_open/3, file_close/1 from file_io. 00039 :- import file_read_foe/3 from xsb_read. 00040 :- import domain_error/4, check_nonvar_list/3 from error_handler. 00041 00042 /* ---------------------- end of file string.H ------------------------ */
1.4.5