John Darrington [Sat, 1 Aug 2009 09:10:03 +0000 (11:10 +0200)]
Prevent existing output file from interfereing with zip
John Darrington [Sat, 1 Aug 2009 06:31:10 +0000 (08:31 +0200)]
Revert inadvertently commited change to required pango version
John Darrington [Sat, 1 Aug 2009 06:29:31 +0000 (08:29 +0200)]
Enable joined cells to be rendered properly
John Darrington [Fri, 31 Jul 2009 17:57:03 +0000 (19:57 +0200)]
Added a meta.xml file.
Add the meta.xml file, to contain (at present) the author's
name, version of pspp and time that the document was created.
John Darrington [Fri, 31 Jul 2009 08:58:02 +0000 (10:58 +0200)]
Add comments and cleanup
John Darrington [Fri, 31 Jul 2009 07:10:59 +0000 (09:10 +0200)]
Add the file I forgot to include
John Darrington [Fri, 31 Jul 2009 05:18:06 +0000 (07:18 +0200)]
Initial attempt at an ODF driver
Ben Pfaff [Thu, 30 Jul 2009 04:33:19 +0000 (21:33 -0700)]
output: Draw titles on charts in a larger font than other labels.
Ben Pfaff [Thu, 30 Jul 2009 04:26:55 +0000 (21:26 -0700)]
output: Fix vertical alignment of text to a baseline in chart output.
This makes labels on pie charts look better, for example.
Ben Pfaff [Thu, 30 Jul 2009 04:19:41 +0000 (21:19 -0700)]
output: Use Cairo and Pango to draw charts, instead of libplot.
This paves the way for adding support for charts to the PSPPIRE GUI, since
Cairo can render to a window in GTK+ whereas libplot cannot.
I am aware of the following regressions versus the state before this
commit:
1. Alignment of text in charts on the baseline is not properly implemented.
This makes the labels in pie charts look funny.
2. Chart titles are drawn in the same font size as other chart text.
3. Building without Cairo and Pango is broken.
4. The postscript output driver (as opposed to the cairo output driver in
PostScript output mode) no longer supports charts.
I plan to fix #1, #2, and #3. #4 is fixable too, but I don't know whether
it is worth it; I might prefer to delete the postscript output driver
altogether.
Ben Pfaff [Wed, 29 Jul 2009 03:20:51 +0000 (20:20 -0700)]
output: Make chart geometry the responsibility of the output driver.
Currently, with libplot, all charts have the same geometry, because
libplot allows us to reasonably set the dimensions of the drawing area
to the same 1000x1000 size. But cairo will produce strangely scaled
results if we attempt to do the same thing there (distorted font sizes,
etc.). So make the output drivers responsible for setting up the chart
geometry, so that the output drivers can tell the chart drawing routines
the size of the drawing area.
Ben Pfaff [Tue, 28 Jul 2009 13:41:06 +0000 (06:41 -0700)]
charts: Use numeric colors instead of color names.
Cairo doesn't support color names, so this will ease the transition.
Ben Pfaff [Wed, 22 Jul 2009 04:46:02 +0000 (21:46 -0700)]
output: Make building without libplot possible again.
This fixes the remaining known functional regression versus the situation
before refactoring the charts implementation.
Ben Pfaff [Thu, 9 Jul 2009 04:52:06 +0000 (21:52 -0700)]
output: Use macro HAVE_CHARTS instead of NO_CHARTS.
Double negatives make my brain hurt, so don't use them.
Ben Pfaff [Wed, 22 Jul 2009 04:12:53 +0000 (21:12 -0700)]
output: Remove barchart implementation, which is unused.
No procedure has ever output barcharts. This code can be revived from the
history if we do add support for barcharts later.
Ben Pfaff [Mon, 20 Jul 2009 00:11:21 +0000 (17:11 -0700)]
Move implementation of NP plots out of EXAMINE into the charts engine.
This seems like a helpful cleanup. It should also ease making it possible
to again build PSPP without libplot, which was broken a number of commits
ago.
Ben Pfaff [Mon, 20 Jul 2009 00:11:46 +0000 (17:11 -0700)]
charts: Allow passing a null pointer to chart_unref.
Ben Pfaff [Wed, 15 Jul 2009 05:16:14 +0000 (22:16 -0700)]
output: Fix GUI output, which was broken in the chart refactoring.
Thanks to John Darrington for pointing out my mistake.
Ben Pfaff [Sat, 4 Jul 2009 05:33:01 +0000 (22:33 -0700)]
output: Make box-whisker plots work again.
Ben Pfaff [Thu, 2 Jul 2009 23:59:08 +0000 (16:59 -0700)]
output: Refactor implementation of charts.
This commit addresses a weakness of the charts implementation in PSPP, in
that charts can only be sent to a single output device. This is because
the chart code calls into a single output driver to obtain a libplot
plotting context and then passes that back into the calling code, which
draws on it and passes it back to the output driver. This commit refactors
the code so that, instead, a chart is an ADT that is reponsible for knowing
how to draw itself on a plotting device. Then the function for outputting
a chart applies this function to each output device.
This is more complicated than necessary: we could just loop over the set of
output devices and draw a chart on each one in turn. But this level of
complication is being introduced now so that later we can keep around
charts in memory as long as necessary for the GUI output engine to export
them on user demand.
This commit introduces a couple of regressions:
* libplot is now required, not optional.
* Box-whisker plots are disabled.
This regressions will be fixed by later commits.
Ben Pfaff [Thu, 2 Jul 2009 03:56:17 +0000 (20:56 -0700)]
chart: Fix format string issues in draw_tick callers.
The 'label' argument to draw_tick is used as a printf-type format string,
so callers must pass "%s" to safely use an arbitrary string as a label.
Also, hist_draw_bar was doing its own snprintf, but this commit changes it
to take advantage of that provided by draw_tick.
Ben Pfaff [Thu, 2 Jul 2009 03:50:33 +0000 (20:50 -0700)]
chart: Fix format string issues in chart_write_title callers.
The 'title' argument to chart_write_title is used as a printf-type format
string, so callers must pass "%s" to safely use an arbitrary string as a
title.
Ben Pfaff [Thu, 2 Jul 2009 02:29:49 +0000 (19:29 -0700)]
piechart: Change 'angle' variable from static to automatic.
Ben Pfaff [Wed, 1 Jul 2009 23:42:44 +0000 (16:42 -0700)]
piechart: Fix spelling of "magnitude".
Ben Pfaff [Wed, 1 Jul 2009 23:39:52 +0000 (16:39 -0700)]
piechart: Use definition of M_PI from GSL.
The GSL header <gsl/gsl_math.h> makes sure that the standard BSD
mathematical constants are defined, so we don't have to do it ourselves.
Ben Pfaff [Wed, 1 Jul 2009 22:55:35 +0000 (15:55 -0700)]
output: Get rid of 'prc' member of struct outp_driver.
Not only is having a per-procedure member in struct outp_driver a layering
violation, it wasn't very useful, so this commit gets rid of it.
Ben Pfaff [Wed, 1 Jul 2009 22:54:50 +0000 (15:54 -0700)]
LIST: Don't use outp_driver 'prc' member any longer.
The LIST procedure is the only one that uses the 'prc' member of struct
outp_driver. This commit gets rid of that use, so that 'prc' can be
removed, as part of a larger output subsystem cleanup.
Ben Pfaff [Wed, 1 Jul 2009 22:53:55 +0000 (15:53 -0700)]
output: Get rid of histogram_plot_n function.
For some reason we have two functions to plot histograms, one of which is
marked "deprecated" and the other of which is a trivial wrapper. It's
easy, however, to get rid of one of them and make the caller in charge of
doing what the wrapper does, especially since the wrapper had only a single
caller. That is what this commit does.
Ben Pfaff [Wed, 1 Jul 2009 22:53:44 +0000 (15:53 -0700)]
output: Fix segfault for writing output outside a command invocation.
Running "make check" made this problem obvious, but it hadn't shown up in
my in-GUI testing.
Ben Pfaff [Mon, 29 Jun 2009 04:26:59 +0000 (21:26 -0700)]
output: Avoid functions added in GTK 2.14 in GUI output code.
Ben Pfaff [Mon, 29 Jun 2009 03:22:42 +0000 (20:22 -0700)]
output: Reduce Cairo minimum version to 1.5.
Suggested by John Darrington.
Ben Pfaff [Sat, 27 Jun 2009 05:22:54 +0000 (22:22 -0700)]
output: Make double-clicking in GUI output overview pane scroll to table.
Ben Pfaff [Sat, 27 Jun 2009 04:58:00 +0000 (21:58 -0700)]
output: Give the overview pane in the GUI output a reasonable initial width.
Ben Pfaff [Sat, 27 Jun 2009 04:37:36 +0000 (21:37 -0700)]
output: Improve title display in overview pane of GUI output.
Ben Pfaff [Wed, 24 Jun 2009 06:10:00 +0000 (23:10 -0700)]
output: Add overview pane to GUI output window.
Ben Pfaff [Tue, 23 Jun 2009 06:01:03 +0000 (23:01 -0700)]
output: Include command names in titles in GUI output.
The command name displayed by the output engine was the current command
name. The GUI output was never displayed during the actual execution of a
command, so GUI titles never included a command name.
This commit puts the command name into the struct passed into the output
engine, so that it gets saved and displayed.
Ben Pfaff [Mon, 22 Jun 2009 04:11:25 +0000 (21:11 -0700)]
crosstabs: Fix free of bad pointer and use-after-free error in cleanup.
In free_proc, 'pt' points within an array that is dynamically
allocated, not to a data structure that is dynamically allocated, so
we must not try to free it on each iteration. Instead, free the
dynamic array itself (proc->pivots) only once.
Ben Pfaff [Sun, 21 Jun 2009 04:30:57 +0000 (21:30 -0700)]
output: Use "base" color for background in GUI output window.
The "base" color in GtkStyle is used as the background color for GTK+
widgets that display editable text, e.g. GtkEntry. That's what we're
aiming for, eventually, with the PSPP GUI output, and the default
white "base" color looks better than the default gray background
color, so use it.
Ben Pfaff [Sun, 21 Jun 2009 03:42:09 +0000 (20:42 -0700)]
output: Use gtk_widget_show_all instead of gtk_widget_show_now.
The gtk_widget_show_now function is not supposed to used lightly,
according to GTK+ documentation. We don't really need it here, so
avoid it.
Ben Pfaff [Sun, 21 Jun 2009 03:29:08 +0000 (20:29 -0700)]
output: Make GUI output window scrollable.
Ben Pfaff [Wed, 17 Jun 2009 05:38:52 +0000 (22:38 -0700)]
output: Implement very rudimentary graphical GUI output for PSPPIRE.
It's quick and dirty and lacks many important features (such as
scrolling, and not leaking memory), but it does look a lot better than
a text editor window.
Ben Pfaff [Sat, 20 Jun 2009 05:52:40 +0000 (22:52 -0700)]
output: Make tables reference-counted.
Adding a reference count to tab_table allows output drivers to retain
a copy of a table even after the main output engine is done. This
will be useful for the GUI output driver.
Ben Pfaff [Sat, 20 Jun 2009 05:51:31 +0000 (22:51 -0700)]
output: Improve warnings about negative table dimensions.
Ben Pfaff [Sat, 20 Jun 2009 05:57:16 +0000 (22:57 -0700)]
output: Make outp_parse_options slightly more general-purpose.
This function can be a little more flexible in the interface it offers
its callers by letting them provide general auxiliary data instead of
having to provide a struct outp_driver *.
Ben Pfaff [Sat, 20 Jun 2009 02:44:14 +0000 (19:44 -0700)]
Make the UTF-8 graphic devices avoid overstriking by default.
The UTF-8 graphic devices introduced in the previous commit use
backspaces and overstriking to indicate bold, but most users probably
won't appreciate that, since it makes it harder to work with the
output files in many text editors. Thus, disable this behavior.
Thanks to John Darrington for pointing out the issue.
Ben Pfaff [Thu, 18 Jun 2009 05:31:03 +0000 (22:31 -0700)]
Add Unicode (UTF-8) line-drawing support to device configuration.
Thanks to jwshipley@jwshipley.karoo.co.uk for the suggestion.
Ben Pfaff [Wed, 17 Jun 2009 05:34:16 +0000 (22:34 -0700)]
output: Make allocating and freeing drivers independent of configuration.
Until now, the output subsystem has taken responsibility for
allocating, freeing, registering, and unregistering output drivers.
This is usually what we want it to do, but PSPPIRE will soon want to
register an output driver of its own, independent of the main driver
configuration mechanism. This commit refactors the output driver
subsystem slightly to make this possible.
Ben Pfaff [Tue, 16 Jun 2009 05:53:39 +0000 (22:53 -0700)]
cairo: Use default Cairo scale factor.
By not using cairo_scale() at all, the rest of the code, especially
the Pango-related code, seems to make more sense.
Ben Pfaff [Tue, 16 Jun 2009 04:40:06 +0000 (21:40 -0700)]
output: Make global variables less global.
table_num and subtable_num were previously global variables that were
referred to from multiple files. Now that we want to make tables
renderable from arbitrary contexts, though, we need to save the table
number with the table, so this change implements that.
Ben Pfaff [Mon, 15 Jun 2009 20:52:17 +0000 (13:52 -0700)]
sparse-xarray: Add missing #include <limits.h>.
Thanks to michel <michel@cecaps.ufmg.br> for reporting the problem.
Ben Pfaff [Mon, 15 Jun 2009 04:50:46 +0000 (21:50 -0700)]
output: Make table dimension functions work in arbitrary contexts.
Until now the function passed to tab_dim has only been called at the
time that the table is passed to tab_submit. But in upcoming commits
the table will be kept around and rendered possibly much later (by the
GUI), so the function to tab_dim has to be sure to only use data that
will exist at that time. Thus, this commit makes it possible to free
the auxiliary data passed to that function, so that in the few cases
where it needs to keep around extra data, it can do so without leaking
memory. At the same time, convert the few functions that do need this
feature to use it.
Ben Pfaff [Sat, 13 Jun 2009 05:12:13 +0000 (22:12 -0700)]
output: Use "struct string" in tabi_title in place of fixed-size buffer.
This ensures that extra-long titles provided by the user do not overflow
the stack.
Ben Pfaff [Thu, 11 Jun 2009 05:49:47 +0000 (22:49 -0700)]
Get rid of most global variables in outputting tables.
Ben Pfaff [Fri, 12 Jun 2009 04:54:15 +0000 (21:54 -0700)]
cairo: Fix values of prop_em_width, fixed_width.
For some reason prop_em_width and fixed_width were getting very small
values, e.g. 5 and 7, when they were being pulled from the font metrics.
These values should be more like 1024 times larger and I can't figure
why they aren't. But this works around the problem for now.
Ben Pfaff [Wed, 10 Jun 2009 03:00:15 +0000 (20:00 -0700)]
output: Get rid of unused SOM_ROW, SOM_COLUMN enums.
Ben Pfaff [Wed, 10 Jun 2009 02:48:50 +0000 (19:48 -0700)]
output: Get rid of unused members of struct som_table_class.
I planned to use these at one point, but no longer do.
Ben Pfaff [Tue, 9 Jun 2009 05:27:15 +0000 (22:27 -0700)]
output: Remove static variables from manager code.
Ben Pfaff [Tue, 9 Jun 2009 05:19:33 +0000 (22:19 -0700)]
table: Replace macros by inline functions, to improve type safety.
Ben Pfaff [Fri, 12 Jun 2009 03:25:49 +0000 (20:25 -0700)]
Fix type mismatch between value_hash prototype and definition.
Thanks to michel <michel@cecaps.ufmg.br> for pointing out the problem.
Ben Pfaff [Tue, 9 Jun 2009 03:37:46 +0000 (20:37 -0700)]
cairo: Fix header box drawing.
Ben Pfaff [Tue, 9 Jun 2009 03:37:28 +0000 (20:37 -0700)]
cairo: Set line width.
The default Cairo line width is much thinner than the default PSPP line
width, and made the boxes look too pale and ephemeral. This fixes it.
Ben Pfaff [Mon, 8 Jun 2009 21:30:40 +0000 (14:30 -0700)]
output: Add initial support for PSPP output via Cairo.
This commit adds some support for PSPP output using Cairo. For now, that
means that you can produce PDF, PostScript, and SVG output to files if you
have Cairo and Pango available.
The output isn't perfect. Descenders in text sometimes stick out beyond
table cell boundaries. Charts aren't supported. There is no
documentation update. And I've tested it on a grand total of 1 (one!)
input file. But I'm pushing out now for anyone who's interested.
Ben Pfaff [Sun, 7 Jun 2009 20:14:23 +0000 (13:14 -0700)]
Remove spurious Makefile from src/output.
Ben Pfaff [Sun, 7 Jun 2009 04:04:21 +0000 (21:04 -0700)]
crosstabs: Fix chi-square display and add regression test.
Bug #26739.
Ben Pfaff [Sun, 7 Jun 2009 03:53:10 +0000 (20:53 -0700)]
crosstab: Remove struct that was defined but never used.
Ben Pfaff [Sun, 7 Jun 2009 03:44:49 +0000 (20:44 -0700)]
crosstabs: Remove write-only variable.
Ben Pfaff [Sun, 7 Jun 2009 03:30:14 +0000 (20:30 -0700)]
crosstabs: Fix segfault when chi-square was requested.
Bug #26739.
Ben Pfaff [Wed, 3 Jun 2009 05:21:01 +0000 (22:21 -0700)]
datasheet-test: Add support for testing string backing store columns.
Ben Pfaff [Wed, 3 Jun 2009 04:55:50 +0000 (21:55 -0700)]
crosstabs: Trim unsightly spaces from titles in output.
Unfortunately, none of the tests exercise this code, so it's hard to say
whether it is correct.
Ben Pfaff [Wed, 3 Jun 2009 02:52:18 +0000 (19:52 -0700)]
crosstabs: Fix memory leaks.
Ben Pfaff [Sat, 30 May 2009 04:51:45 +0000 (21:51 -0700)]
argv-parser: Add assertion to find likely bugs in client code.
Ben Pfaff [Sat, 30 May 2009 04:51:19 +0000 (21:51 -0700)]
datasheet: Fix bugs in datasheet_resize_column() found with new test.
Ben Pfaff [Sat, 30 May 2009 04:46:24 +0000 (21:46 -0700)]
datasheet-test: Add test for datasheet_resize_column().
Ben Pfaff [Sat, 30 May 2009 04:43:33 +0000 (21:43 -0700)]
datasheet-test: Fix printing of string values in error messages.
Ben Pfaff [Sat, 30 May 2009 04:26:13 +0000 (21:26 -0700)]
datasheet-test: Check duplicate states before discarding them.
By failing to check states whose hashes already appeared in the model
checker table, the datasheet test was missing some bugs. This commit
changes the datasheet test code to check the state before it checks for
the hash.
Ben Pfaff [Thu, 28 May 2009 05:22:48 +0000 (22:22 -0700)]
datasheet-test: Make column widths to test configurable on command line.
Ben Pfaff [Sat, 30 May 2009 04:45:28 +0000 (21:45 -0700)]
datasheet-test: Don't test null operations.
By not testing null operations (such as inserting or deleting 0 rows or
columns) the duration of the test is cut roughly in half, with little if
any reduction in test coverage.
Ben Pfaff [Sat, 30 May 2009 04:50:12 +0000 (21:50 -0700)]
sparse-xarray-test: Style and comment fixes.
Ben Pfaff [Wed, 27 May 2009 06:04:32 +0000 (23:04 -0700)]
value: New function value_swap.
Ben Pfaff [Wed, 27 May 2009 05:02:48 +0000 (22:02 -0700)]
Move datasheet test out of PSPP into a separate binary.
When it's not difficult to do so, it is better to put tests in separate
binaries instead of in the PSPP binaries, so that the binaries are not
burdened with code that is not of real interest to users and to make the
main PSPP binaries build faster.
Ben Pfaff [Tue, 26 May 2009 03:24:07 +0000 (20:24 -0700)]
Make MAX_SHORT_STRING an implementation detail of the "value" code.
MAX_SHORT_STRING used to be important. It was referenced all over the
source tree. Now, there is little reason for code outside the "value"
code itself to use it.
Ben Pfaff [Tue, 26 May 2009 03:22:01 +0000 (20:22 -0700)]
Use MAX_SHORT_STRING in place of MIN_LONG_STRING.
There is no good reason to have both of these constants, so replace all
uses of MAX_LONG_STRING by MAX_SHORT_STRING.
Ben Pfaff [Tue, 26 May 2009 03:21:08 +0000 (20:21 -0700)]
Fix portable file reader use of long strings.
This code hadn't been converted to the new "union value" representation,
where a single "union value" always represents a whole data item. This
commit fixes that.
Ben Pfaff [Tue, 26 May 2009 03:20:07 +0000 (20:20 -0700)]
Get rid of uses of MAX_SHORT_STRING in Gnumeric and PostgreSQL readers.
MAX_SHORT_STRING is now intended to be an implementation detail of the
value code. There is no real reason that the Gnumeric or PostgreSQL
readers need to use it, so make them use their own constants instead.
Ben Pfaff [Tue, 26 May 2009 03:07:19 +0000 (20:07 -0700)]
Implement missing values for long string variables.
Ben Pfaff [Mon, 25 May 2009 19:36:21 +0000 (12:36 -0700)]
Fix test failure introduced along with parse_value().
Ben Pfaff [Mon, 25 May 2009 02:36:01 +0000 (19:36 -0700)]
sys-file-reader: Fix memory leak.
Ben Pfaff [Mon, 25 May 2009 02:35:40 +0000 (19:35 -0700)]
Add support for value labels on long string variables.
Ben Pfaff [Sun, 24 May 2009 18:26:41 +0000 (11:26 -0700)]
New function parse_value() for parsing a value of specified width.
Occasionally a value of a given width needs to be parsed from syntax.
This commit adds a helper function for doing so and modifies a few pieces
of code to use it. Probably there are other places where it would be
useful that could not easily be found with "grep".
This commit also renames the range-parser code to value-parser and puts
the new function in there, as a natural generalization.
Suggested by John Darrington.
Ben Pfaff [Tue, 12 May 2009 03:08:19 +0000 (20:08 -0700)]
Make value_set_missing(), etc. tolerate values of width -1.
In some circumstances a value of width -1 crops up, e.g. when a case is
made from a dictionary that has had a variable deleted in the middle.
Such a value has no content at all. In the long run it should be possible
to get rid of these values entirely--their presence is a wart--but for now
the case and value code needs to tolerate them.
This fixes a segfault in the GUI when inserting a new case when the
datasheet case has a column with width -1 (due to deletion of a variable),
which was caused by case_set_missing() calling value_set_missing() for
the -1 width variable, which in turn was writing through an invalid
pointer.
John Darrington [Mon, 11 May 2009 23:18:31 +0000 (07:18 +0800)]
Prevent invalid variable widths in variable sheet.
Ben Pfaff [Mon, 11 May 2009 13:33:35 +0000 (06:33 -0700)]
Remove debug printfs that escaped from my local tree.
Ben Pfaff [Mon, 11 May 2009 13:33:15 +0000 (06:33 -0700)]
gui: Fix segfault when pushing Del on a long string variable cell.
Thanks to John Darrington for reporting the problem.
Ben Pfaff [Mon, 11 May 2009 05:23:00 +0000 (22:23 -0700)]
Change "union value" to dynamically allocate long strings.
Until now, a single "union value" could hold a numeric value or a short
string value. A long string value (one longer than MAX_SHORT_STRING)
required a number of contiguous "union value"s. This situation was
inconvenient sometimes, because any occasion where a long string value
might be required (even if it was unlikely) required using dynamic
memory allocation.
With this change, a value of any type, regardless of whether it is numeric
or short or long string, occupies a single "union value". The internal
representation of short and long strings is now different, however: long
strings are now internally represented by a pointer to dynamically
allocated memory. This means that "union value"s must now be initialized
and uninitialized properly, to ensure that memory is properly allocated
and freed behind the scenese.
This change thus has a ripple effect on PSPP code that works with values.
In particular, code that deals with cases is greatly changed, because a
case now needs to know the type of each value that it contains. Thus, a
new concept called a "case prototype", which represents the type and
width of each value within a case, is introduced, and every place in PSPP
that creates a case must now create a corresponding prototype to go with
it. This is why this commit is so big.
As part of writing up this commit, it became clear that some code was poor
enough that it needed to be rewritten entirely. Therefore, CROSSTABS and
T-TEST are almost completely modified by this commit.
Ben Pfaff [Thu, 7 May 2009 05:58:01 +0000 (22:58 -0700)]
output: Add auxiliary data parameter to tab_dim.
Until now, the tab_dim function has not provided any way to pass auxiliary
data to the table dimensioning function. This commit adds this ability
and updates all the callers of tab_dim to do so.
Ben Pfaff [Thu, 7 May 2009 05:47:51 +0000 (22:47 -0700)]
New data structure sparse_xarray.
Ben Pfaff [Thu, 7 May 2009 03:34:14 +0000 (20:34 -0700)]
New wrapper for access to temporary files.
Ben Pfaff [Tue, 5 May 2009 12:42:23 +0000 (05:42 -0700)]
model-checker: Add command-line parser for model checking options.
This adds a parser for command-line options to configure a set of
mc_options for running the model checker. It is used by an upcoming test
for the sparse_xarray. It might also make sense to break the datasheet
tests out of PSPP into a separate program using this parser.
Ben Pfaff [Tue, 5 May 2009 12:39:03 +0000 (05:39 -0700)]
Implement new command-line argument parser.
glibc has two option parsers, but neither one of them feels quite
right:
- getopt_long is simple, but not modular, in that there is no
easy way to make it accept multiple collections of options
supported by different modules.
- argp is more sophisticated and more complete, and hence more
complex. It still lacks one important feature for
modularity: there is no straightforward way for option groups
that are implemented independently to have separate auxiliary
data,
The parser implemented in this commit is meant to be simple and
modular. It is based internally on getopt_long.
The initial use for this option parser is for an upcoming commit of a test
program that has some of its own options and some from the model checker,
but it should also be appropriate for PSPP and PSPPIRE if anyone wants to
adapt them to use it.
Ben Pfaff [Tue, 5 May 2009 05:30:02 +0000 (22:30 -0700)]
model-checker: Don't discard error states.
Even if a state with an error is a duplicate, we don't want to discard it,
because then we lose information about bugs.