1 2007-04-22 Ben Pfaff <blp@gnu.org>
3 Implement model checker for testing purposes.
7 * automake.mk (src_libpspp_libpspp_a_SOURCES): Add
8 model-checker.[ch]. Alphabetize.
10 * model-checker.c: New file.
12 * model-checker.h: New file.
14 2007-04-03 Ben Pfaff <blp@gnu.org>
16 Apply patches #5828, #5837, #5841, #5843.
18 * abt.c (insert_relative): New function.
19 (abt_insert_after): New function.
20 (abt_insert_before): New function.
22 * range-map.c: New file.
24 * range-map.h: New file.
26 * range-set.c: New file.
28 * range-set.h: New file.
34 2007-04-01 Ben Pfaff <blp@gnu.org>
36 * bt.c: Need #include <limits.h>. Thanks to "John McCabe-Dansted"
37 <gmatht@gmail.com> for pointing this out.
39 2007-03-31 Ben Pfaff <blp@gnu.org>
43 * automake.mk (src_libpspp_libpspp_a_SOURCES): Add bt.c.
49 2007-03-30 Ben Pfaff <blp@gnu.org>
53 * automake.mk (src_libpspp_libpspp_a_SOURCES): Add deque.c.
55 * deque.h: Completely rewrote. Adapted client to new interface.
59 2007-03-25 Ben Pfaff <blp@gnu.org>
61 * automake.mk (src_libpspp_libpspp_a_SOURCES): Add
64 * pool.c (pool_zalloc): New function.
65 (pool_calloc): New function.
67 * sparse-array.c: New file.
69 * sparse-array.h: New file.
71 Mon Mar 5 20:55:49 CET 2007 John Darrington <john@darrington.wattle.id.au>
73 * i18n.c: Cast second argument of iconv using ICONV_CONST
75 2007-02-22 Ben Pfaff <blp@gnu.org>
77 * string.h: Don't include vsnprintf.h any more, because gnulib has
78 now absorbed it into string.h.
80 Thu Feb 22 12:25:52 CET 2007 John Darrington <john@darrington.wattle.id.au>
82 * syntax-gen.h syntax-gen.c: New files.
84 Sun Feb 18 11:21:41 2007 Ben Pfaff <blp@gnu.org>
86 * alloc.h: Remove useless parentheses in #if "defined" operator.
90 Tue Feb 6 20:00:13 2007 Ben Pfaff <blp@gnu.org>
92 * misc.h [!HAVE_ISINF] (isinf): Define only if isinf is not
93 defined as a macro, because mingw seems to have the macro without
95 [!HAVE_ISNAN] (isnan): Ditto, for symmetry only.
96 [!AHVE_FINITE] (finite): Ditto, for symmetry only.
98 Tue Feb 6 19:58:46 2007 Ben Pfaff <blp@gnu.org>
100 * compiler.h (PRINTF_FORMAT): Use __printf__ instead of printf to
101 avoid problem with "#define printf libintl_printf" that libintl is
103 (SCANF_FORMAT): Ditto, for symmetry only.
105 Tue Feb 6 19:47:10 2007 Ben Pfaff <blp@gnu.org>
107 * float-format.h: [FPREP_IEEE754] [WORDS_BIGENDIAN] Add missing
110 Wed Jan 24 21:13:32 2007 Ben Pfaff <blp@gnu.org>
116 * automake.mk: Add abt.c, abt.h to sources.
118 Sun Jan 14 21:44:18 2007 Ben Pfaff <blp@gnu.org>
120 * automake.mk: Add deque.h to sources.
124 Wed Jan 10 06:49:38 2007 Ben Pfaff <blp@gnu.org>
126 * automake.mk: Add heap.c, heap.h to sources.
132 Sun Dec 10 13:54:03 2006 Ben Pfaff <blp@gnu.org>
134 * str.c (ss_tokenize): Skip the first delimiter character
135 following the token. Otherwise, changing delimiters from token to
136 token can't have a sensible effect, because we'll get the previous
137 delimiter as part of the next token.
138 (ss_match_string): New function.
140 Sat Dec 9 18:48:55 2006 Ben Pfaff <blp@gnu.org>
142 * misc.h (macro range): Removed, as it was unused.
144 Sat Dec 9 07:19:01 WST 2006 John Darrington <john@darrington.wattle.id.au>
146 * array.c: Removed gratuitous #include
148 Thu Dec 7 20:33:23 WST 2006 John Darrington <john@darrington.wattle.id.au>
150 * getl.c getl.h : Changed signature of create function to take a
151 string indicating the initial include path.
153 Sun Dec 3 11:36:10 2006 Ben Pfaff <blp@gnu.org>
155 * str.h (SS_LITERAL_INITIALIZER): Cast the string literal to "char
156 *". This normally does nothing but when GCC's -Wwrite-strings is
157 used it fixes a warning that otherwise can't be avoided.
159 Sun Dec 3 11:35:35 2006 Ben Pfaff <blp@gnu.org>
161 * str.c (ss_alloc_substring_pool): New function.
162 (ss_alloc_uninit_pool) New function.
164 Sun Dec 3 11:28:06 2006 Ben Pfaff <blp@gnu.org>
166 * getl.h: (enum getl_syntax) New enumeration to distinguish
167 between "batch" and "interactive" in a clearer way than a bool.
168 (struct getl_interface) Add an arg to "read" to return the
169 intended syntax mode. Add an arg to "filter" to specify the
170 syntax mode of the line to filter.
172 * getl.c (do_read_line): Instead of returning the syntax type of
173 the line read based on whether the source itself is interactive,
174 return it based on whether the line itself should be treated as
175 having batch or interactive syntax. Also, adapt interface to the
176 new interfaces of lex_init() and getl_interface.
178 Wed Nov 29 19:35:44 WST 2006 John Darrington <john@darrington.wattle.id.au>
180 * getl.c getl.h: New files. Created interface from base of
181 language/line-buffer.[ch]
183 * msg-locator.c msg-locator.h: New files. Moved from
184 language/line-buffer.[ch]
186 Fri Nov 24 17:27:00 2006 Ben Pfaff <blp@gnu.org>
188 * misc.h: (min) Removed. All references updated to use MIN, from
189 minmax.h provided by gnulib.
190 (max) Ditto (for MAX).
192 Sun Nov 19 09:22:26 2006 Ben Pfaff <blp@gnu.org>
194 * str.c (ss_get_long): New function.
195 (ss_compare_case) Ditto.
197 (ss_equals_case) Ditto.
199 Tue Oct 31 19:28:19 2006 Ben Pfaff <blp@gnu.org>
201 * str.h: [!HAVE_STRCHR] Drop compatibility code, because now we
202 assume a C89 compliant library. (Gnulib makes this assumption so
203 we might as well too.)
204 [!HAVE_STRRCHR] Ditto.
206 Thu Oct 26 20:19:50 2006 Ben Pfaff <blp@gnu.org>
208 * automake.mk: Add the new files.
210 * legacy-encoding.c: New file.
212 * legacy-encoding.h: New file.
214 * float-format.c: New file.
216 * float-format.h: New file.
218 * integer-format.c: New file.
220 * integer-format.h: New file.
222 Sun Oct 15 09:49:50 WST 2006 John Darrington <john@darrington.wattle.id.au>
224 * hash.c hash.h: Added hsh_create_pool, a hash which uses a pool
225 for its memory allocation.
227 Mon Jul 31 15:49:46 2006 Ben Pfaff <blp@gnu.org>
229 * compiler.h: (macro CONST_FUNCTION) New macro.
230 (macro PURE_FUNCTION) New macro.
232 Sun Jul 16 21:07:35 2006 Ben Pfaff <blp@gnu.org>
234 * message.c: (static int messages_disabled) New variable.
235 (msg_emit) Don't emit the message if messages are disabled.
236 (msg_disable) New function.
237 (msg_enable) New function.
239 * str.c: (free_string) New function.
240 (ds_register_pool) New function.
241 (ds_unregister_pool) New function.
242 (ds_set_length) New function.
244 Mon Jul 10 17:26:58 WST 2006 John Darrington <john@darrington.wattle.id.au>
246 * llx.c: #included compiler.h and removed explicit preprocessor cruft.
248 Fri Jul 7 20:01:26 2006 Ben Pfaff <blp@gnu.org>
250 * automake.mk: (src_libpspp_libpspp_a_SOURCES) Add assertion.h.
252 * assertion.h: New file. Replaced usage of assert(0) and abort()
253 with NOT_REACHED() from this file throughout the source tree.
255 * message.c: (request_bug_report_and_abort) Revise message printed
256 to include request to include lines above the message, which
257 should include an assertion failure message in many cases.
258 (msg_assert_fail) Removed.
260 * message.h: (assert) Removed.
261 (request_bug_report_and_abort) Mark NO_RETURN.
263 Mon Jul 3 09:36:42 WST 2006 John Darrington <john@darrington.wattle.id.au>
265 * i18n.c: Made character conversion tolerant of failure to create the
266 necessary iconv structs.
268 Sat Jul 1 15:32:54 2006 Ben Pfaff <blp@gnu.org>
270 * automake.mk: (src_libpspp_libpspp_a_SOURCES) Add new files.
280 Sun Jun 25 22:35:28 2006 Ben Pfaff <blp@gnu.org>
282 Optimize rehashing: we know that none of the entries in the hash
283 table are equal, so we need not compare them to each other during
286 * hash.c: (locate_empty_entry) New function.
287 (rehash) Use locate_empty_entry() instead of
288 locate_matching_entry().
290 Fri Jun 9 14:03:29 2006 Ben Pfaff <blp@gnu.org>
292 Reform string library.
294 * str.c (ss_empty): New function. Replaces some uses of ls_init()
296 (ss_cstr) New function. Replaces some uses of ls_init().
297 (ss_buffer) New function. Replaces some uses of ls_init().
298 (ss_substr) New function.
299 (ss_head) New function.
300 (ss_tail) New function.
301 (ss_alloc_substring) New function. Replaces use of ls_create().
302 (ss_alloc_uninit) New function.
303 (ss_dealloc) New function. Replaces use of ls_destroy().
304 (ss_truncate) New function.
305 (ss_rtrim) New function.
306 (ss_ltrim) New function.
307 (ss_trim) New function.
308 (ss_chomp) New function.
309 (ss_separate) New function.
310 (ss_tokenize) New function.
311 (ss_advance) New function.
312 (ds_create) Renamed ds_init_cstr(). Updated all callers.
313 (ss_match_char) New function.
314 (ss_get_char) New function.
315 (ss_get_until) New function.
316 (ss_get_chars) New function.
317 (ss_is_empty) New function.
318 (ss_length) New function. Replaces ls_length().
319 (ss_data) New function. Replaces many uses of ls_c_str().
320 (ss_end) New function. Replaces ls_end().
321 (ss_at) New function.
322 (ss_first) New function.
323 (ss_last) New function.
324 (ss_span) New function.
325 (ss_cspan) New function.
326 (ss_compare) New function.
327 (ss_pointer_to_position) New function.
328 (ss_xstrdup) New function.
329 (ds_init) Renamed ds_init_empty(). All callers updated.
330 (ds_init_string) New function.
331 (ds_init_substring) Changed interface to take a struct substring.
333 (ds_init_cstr) New function. Replaces ds_create(). All callers
335 (ds_assign_substring) Changed interface to take a struct
336 substring. Updated all callers.
337 (ds_assign_buffer) Removed. Changed all callers to use
338 ds_assign_substring().
339 (ds_assign_c_str) Renamed ds_assign_cstr(). All callers updated.
340 (ds_ss) New function.
341 (ds_substr) New function.
342 (ds_head) New function.
343 (ds_tail) New function.
344 (ds_rtrim) New function. Replaces ds_rtrim_spaces(). All callers
346 (ds_ltrim) New function. Replaces ds_ltrim_spaces(). All callers
348 (ds_trim) New function. Replaces ds_trim_spaces(). All callers
350 (ds_rtrim_spaces) Removed.
351 (ds_ltrim_spaces) Removed.
352 (ds_trim_spaces) Removed.
353 (ds_separate) Changed interface to use substrings. All callers
355 (ds_tokenize) Changed interface to use substrings. All callers
357 (ds_c_str) Renamed ds_cstr(). All callers updated.
358 (ds_span) Changed interface to use substring for SKIP_SET and
359 dropped OFS. All callers updated.
360 (ds_cspan) Changed interface to use substring for STOP_SET and
361 dropped OFS. All callers updated.
362 (ds_find_char) New function.
363 (ds_compare) New function.
364 (ds_pointer_to_position) New function.
365 (ds_xstrdup) New function. Replaced all users of
366 xstrdup(ds_c_str(s)) by a call to this function.
367 (ds_gets) Renamed ds_read_line(). All callers updated.
368 (ds_get_config_line) Renamed ds_read_config_line(). All callers
370 (ds_puts) Renamed ds_put_cstr(). All callers updated.
371 (ds_put_substring) New function. Replaces ds_concat(). All
374 (ds_append_uninit) Renamed ds_put_uninit(). All callers updated.
375 (ds_printf) Renamed ds_put_format(). All callers updated.
376 (ds_vprintf) Renamed ds_put_vformat(). All callers updated.
377 (ds_putc) Renamed ds_put_char(). All callers updated.
378 (ds_putc_multiple) Renamed ds_put_char_multiple(). All callers
380 (ls_create) Removed. Replaced by ss_alloc_substring().
381 (ls_create_buffer) Removed. Replaced by ss_alloc_substring().
382 (ls_init) Removed. Replaced by ss_buffer().
383 (ls_shallow_copy) Removed. Just use assignment.
384 (ls_destroy) Removed. Replaced by ss_dealloc().
387 (ls_empty_p) Removed. Replaced by ss_is_empty().
389 (ls_end) Removed. Replaced by ss_end().
391 * str.h (struct fixed_string): Renamed struct substring, updated
393 (CC_SPACES) New macro.
398 (SS_EMPTY_INITIALIZER) Ditto.
399 (SS_LITERAL_INITIALIZER) Ditto.
400 (struct string) Removed string, length members. Add substring
402 (DS_INITIALIZER) Rename DS_EMPTY_INITIALIZER.
404 Tue May 30 19:45:12 WST 2006 John Darrington <john@darrington.wattle.id.au>
406 * i18n.c i18n.h: New files.
408 Tue May 16 06:50:35 2006 Ben Pfaff <blp@gnu.org>
410 * automake.mk (src/libpspp/version.c): Removed groff_font_path,
411 which is no longer used.
413 * message.c (request_bug_report_and_abort): Don't print
414 groff_font_path, which no longer exists.
416 * version.h (locale_dir): Removed groff_font_path.
418 Sun May 14 22:06:53 2006 Ben Pfaff <blp@gnu.org>
420 * str.c (spprintf): Moved definition of spprintf() here, from
423 * str.h: (nsprintf) Removed. Changed all users to use sprintf()
425 (nvsprintf) Removed. Changed all users to use vsprintf() instead.
427 Sun May 14 20:52:20 2006 Ben Pfaff <blp@gnu.org>
429 * str.c (ds_init): Remove `capacity' argument and just initialize
430 the string to a capacity of zero. Updated all callers.
432 Tue May 9 09:56:57 2006 Ben Pfaff <blp@gnu.org>
434 * va_copy.h: Removed. Now use va_copy() provided by gnulib
437 * automake.mk: (src_libpspp_libpspp_a_SOURCES) Removed va_copy.h.
439 Sun May 7 18:17:32 2006 Ben Pfaff <blp@gnu.org>
441 * pool.c (pool_vasprintf): New function.
442 (pool_asprintf) New function.
444 Sun May 7 17:09:54 2006 Ben Pfaff <blp@gnu.org>
446 * compiler.h: (macro WARN_UNUSED_RESULT) New macro.
448 Sun May 7 14:32:25 2006 Ben Pfaff <blp@gnu.org>
450 * va_copy.h: New header.
452 * str.c: Use header instead of inlining va_copy() macro
455 Sun May 7 10:06:29 WST 2006 John Darrington <john@darrington.wattle.id.au>
457 * array.c array.h: Constness of sort.
459 Thu May 4 18:01:37 WST 2006 John Darrington <john@darrington.wattle.id.au>
461 * message.c message.h: Added functions to create and copy a msg.
463 Tue May 2 15:41:50 2006 Ben Pfaff <blp@gnu.org>
465 * str.c (ds_append_uninit): No need to add 1 to arg passed to
466 ds_extend(), because the argument does not include space for a
467 null terminator. Also, fix warning.
469 Tue Apr 25 11:07:19 2006 Ben Pfaff <blp@gnu.org>
471 Finish reforming error message support. In this phase, move
472 message.c into libpspp.
474 * message.c: Move here from src/. Also remove a few unneeded
477 * automake.mk (src_libpspp_libpspp_a_SOURCES): Add message.c.
479 Tue Apr 25 10:54:44 2006 Ben Pfaff <blp@gnu.org>
481 Continue reforming error message support. In this phase, drop
482 actual message printing from core code, substituting a callback,
483 and add the callback to each UI. Also, move verbose_msg() into
486 * automake.mk (src_libpspp_libpspp_a_SOURCES): Added
487 verbose-msg.c, verbose-msg.h.
489 * verbose-msg.c: New file.
491 * verbose-msg.h: New file.
493 Mon Apr 24 17:26:47 2006 Ben Pfaff <blp@gnu.org>
495 Continue reforming error message support. In this phase, rename
496 all the message functions and types to start with "msg", except
497 for the ones that will be moving to other modules anyway.
499 All references to the identifiers below were updated likewise.
501 * message.h: (enum file_locator) Renamed `enum msg_locator'.
502 (struct error) Renamed `struct msg'.
503 (err_assert_fail) Renamed msg_assert_fail().
505 Sun Apr 23 22:07:06 2006 Ben Pfaff <blp@gnu.org>
507 Continue reforming error message support. In this phase, get rid
508 of message "titles" and put the message text in `struct error'.
509 Now `struct error' encapsulates a message more properly.
511 * message.h: (struct error) Remove `title' member. Add `text'
514 Sun Apr 16 20:43:35 2006 Ben Pfaff <blp@gnu.org>
516 Continue reforming error message support. In this phase, we
517 divide the classification of messages along "category" and
520 * message.h: (enum msg_class) Named this set of enumerations.
521 (enum msg_category) New enum: MSG_GENERAL, MSG_SYNTAX, MSG_DATA.
522 (enum msg_severity) New enum: MSG_ERROR, MSG_WARNING, MSG_NOTE.
523 (msg_class_to_category) New inline function.
524 (msg_class_to_severity) New inline function.
525 (msg_class_from_category_and_severity) New inline function.
526 (struct error) Removed `class' member, added `category',
527 `severity'. Updated all users of this struct to use the new
530 Sun Apr 16 20:33:19 2006 Ben Pfaff <blp@gnu.org>
532 * str.c (ds_vprintf): Don't try to write into the string if it is
535 Sun Apr 16 18:52:41 2006 Ben Pfaff <blp@gnu.org>
537 GNU standards require "file name" instead of "filename" in
538 documentation. It's nice for our code to follow the convention
541 * message.h: (struct file_locator) Rename filename member to
542 file_name. Updated all references.
544 Sun Apr 16 16:05:43 2006 Ben Pfaff <blp@gnu.org>
546 Continue reforming error message support. In this phase, we get
547 rid of VM() and the other msg() support for "verbosity", replacing
548 it by a new function verbose_msg().
550 * message.h: (enum ERR_CLASS_COUNT) Renamed ERR_CLASS_CNT.
551 (enum ERR_CLASS_MASK) Removed.
552 (enum ERR_VERBOSITY_SHIFT) Removed.
553 (enum ERR_VERBOSITY_MASK) Removed.
556 Sun Apr 16 11:48:07 2006 Ben Pfaff <blp@gnu.org>
558 Start reforming error message support. In this phase, we get rid
559 of "installation errors" and change all uses of msg() in the
560 output drivers to uses of error() or error_at_line().
562 * message.h: Remove IE, IS enums.
564 Mon Apr 3 11:10:21 2006 Ben Pfaff <blp@gnu.org>
566 * str.c: (ds_separate) Change interface for cleanliness and
567 consistency with ds_tokenize(), and rewrite to shorten and
568 simplify. Updated all callers.
569 (ds_tokenize) New function.
571 Fri Mar 31 10:38:46 2006 Ben Pfaff <blp@gnu.org>
573 Add freaderror() analogous to fwriteerror() in gnulib.
575 * freaderror.c: New file.
577 * freaderror.h: New file.
579 Thu Mar 30 16:15:37 2006 Ben Pfaff <blp@gnu.org>
581 * str.c: (ds_create) Adjust capacity selection.
582 (ds_init) Use MAX macro for clarity.
583 (ds_create_substr) Rewrote.
584 (ds_replace) Renamed ds_assign_c_str(), reimplemented. Changed
585 all callers to use a ds_assign_*() function.
586 (ds_init_substring) New function.
587 (ds_assign_string) New function.
588 (ds_assign_substring) New function.
589 (ds_assign_buffer) New function.
590 (ds_assign_c_str) New function.
591 (ds_truncate) Rewrote for clarity.
592 (ds_rpad) Reimplement in terms of ds_putc_multiple().
593 (ds_ltrim_spaces) Reimplement.
594 (ds_trim_spaces) New function.
595 (ds_separate) New function.
596 (ds_c_str) Make tolerant of null pointer, allowing static
597 initialization of strings.
598 (ds_find) Rename ds_span(), change interface.
599 (ds_n_find) Rename ds_cspan(), change interface.
600 (ds_at) New function.
601 (ds_first) Reimplement in terms of ds_at().
602 (remove_comment) New function.
603 (ds_get_config_line) Reimplement in terms of other functions.
604 Change type of LINE_NUMBER parameter. Updated all callers.
605 (ds_vprintf) Modify for clarity.
606 (ds_putc) Better to be safe than sorry.
607 (ds_putc_multiple) New function.
609 * str.h: (struct string) Reorder members.
610 (macro DS_INITIALIZER) New macro that can be used to initialize a
612 (ds_c_str) Remove inline version.
614 Tue Mar 28 13:49:11 WST 2006 John Darrington <john@darrington.wattle.id.au>
616 * str.[ch]: New functions ds_create_substr, ds_find, ds_n_find,
619 Sat Mar 4 12:59:01 2006 Ben Pfaff <blp@gnu.org>
621 * compiler.h: New file.
623 Sat Mar 4 11:55:16 2006 Ben Pfaff <blp@gnu.org>
625 * str.h: Now assume that sprintf() returns the correct value.
626 Always implement spprintf as a static inline function. Change
627 nsprintf, nvsprintf to simple macros that call sprintf, vsprintf.
629 * str.c: Remove spprintf, nsprintf, nvsprintf conditional
632 Thu Mar 2 08:40:33 WST 2006 John Darrington <john@darrington.wattle.id.au>
634 * Moved files from src directory