Prevent invalid variable widths in variable sheet.
[pspp-builds.git] / src / data / caseproto.h
1 /* PSPP - a program for statistical analysis.
2    Copyright (C) 2009 Free Software Foundation, Inc.
3
4    This program is free software: you can redistribute it and/or modify
5    it under the terms of the GNU General Public License as published by
6    the Free Software Foundation, either version 3 of the License, or
7    (at your option) any later version.
8
9    This program is distributed in the hope that it will be useful,
10    but WITHOUT ANY WARRANTY; without even the implied warranty of
11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12    GNU General Public License for more details.
13
14    You should have received a copy of the GNU General Public License
15    along with this program.  If not, see <http://www.gnu.org/licenses/>. */
16
17 #ifndef DATA_CASEPROTO_H
18 #define DATA_CASEPROTO_H 1
19
20 #include <assert.h>
21 #include <stdbool.h>
22 #include <stddef.h>
23 #include <stdlib.h>
24 #include <data/value.h>
25 #include <libpspp/compiler.h>
26
27 /* Case prototype.
28
29    A case prototype specifies the number and type of the values
30    in a case.  It is essentially an array of integers, where the
31    array index is an index into a case and each element
32    represents the width of a value in a case.  Valid widths are:
33
34        * 0, indicating a numeric value.
35
36        * A positive integer between 1 and 32767, indicating the
37          size in bytes of a string value.
38
39        * -1, indicating that the value at this index in the case
40          is not used at all.  (This is rarely useful.)
41
42    Case prototypes are reference counted.  A newly created case
43    prototype has a single owner (the code that created it),
44    represented by an initial reference count of 1.  Other code
45    that receives the case prototype may keep a virtual copy of it
46    by calling caseproto_ref, which increments the case
47    prototype's reference count.  When this is done, the case
48    prototype becomes shared between its original owner and each
49    piece of code that incremented the reference count.
50
51    Functions that modifying case prototypes automatically unshare
52    them as necessary.  All of these functions potentially move
53    the caseproto around in memory even when the case prototype is
54    not shared.  Thus it is very important that every caller of a
55    function that modifies a case prototype thereafter uses the returned
56    caseproto instead of the one passed in as an argument.
57
58    Only the case prototype code should refer to caseproto members
59    directly.  Other code should use the provided helper
60    functions. */
61 struct caseproto
62   {
63     size_t ref_cnt;             /* Reference count. */
64
65     /* Tracking of long string widths.  Lazily maintained: when
66        'long_strings' is null and 'n_long_strings' is nonzero,
67        the former must be regenerated. */
68     size_t *long_strings;       /* Array of indexes of long string widths. */
69     size_t n_long_strings;      /* Number of long string widths. */
70
71     /* Widths. */
72     size_t n_widths;            /* Number of widths. */
73     size_t allocated_widths;    /* Space allocated for 'widths' array. */
74     short int widths[1];        /* Width of each case value. */
75   };
76
77 struct pool;
78
79 /* Creation and destruction. */
80 struct caseproto *caseproto_create (void) MALLOC_LIKE;
81 static inline struct caseproto *caseproto_ref (const struct caseproto *);
82 struct caseproto *caseproto_ref_pool (const struct caseproto *, struct pool *);
83 static inline void caseproto_unref (struct caseproto *);
84
85 /* Inspecting stored widths.  */
86 static inline int caseproto_get_width (const struct caseproto *, size_t idx);
87 static inline size_t caseproto_get_n_widths (const struct caseproto *);
88
89 /* Adding and removing widths. */
90 struct caseproto *caseproto_reserve (struct caseproto *, size_t n_widths)
91   WARN_UNUSED_RESULT;
92 struct caseproto *caseproto_add_width (struct caseproto *, int width)
93   WARN_UNUSED_RESULT;
94 struct caseproto *caseproto_set_width (struct caseproto *,
95                                        size_t idx, int width)
96   WARN_UNUSED_RESULT;
97 struct caseproto *caseproto_insert_width (struct caseproto *,
98                                           size_t before, int width)
99   WARN_UNUSED_RESULT;
100 struct caseproto *caseproto_remove_widths (struct caseproto *,
101                                            size_t idx, size_t cnt)
102   WARN_UNUSED_RESULT;
103 struct caseproto *caseproto_move_widths (struct caseproto *,
104                                          size_t old_start, size_t new_start,
105                                          size_t cnt)
106   WARN_UNUSED_RESULT;
107
108 /* Working with "union value" arrays. */
109 bool caseproto_needs_init_values (const struct caseproto *);
110 void caseproto_init_values (const struct caseproto *, union value[]);
111 bool caseproto_try_init_values (const struct caseproto *, union value[]);
112 void caseproto_reinit_values (const struct caseproto *old,
113                               const struct caseproto *new, union value[]);
114 void caseproto_destroy_values (const struct caseproto *, union value[]);
115
116 void caseproto_copy (const struct caseproto *, size_t idx, size_t count,
117                      union value *dst, const union value *src);
118
119 /* Inspecting the cache of long string widths.
120
121    (These functions are useful for allocating cases, which
122    requires allocating a block memory for each long string value
123    in the case.) */
124 static inline size_t caseproto_get_n_long_strings (const struct caseproto *);
125 static inline size_t caseproto_get_long_string_idx (const struct caseproto *,
126                                                     size_t idx1);
127
128 /* For use in assertions. */
129 bool caseproto_range_is_valid (const struct caseproto *,
130                                size_t ofs, size_t count);
131 bool caseproto_is_conformable (const struct caseproto *a,
132                                const struct caseproto *b);
133 bool caseproto_equal (const struct caseproto *a, size_t a_start,
134                       const struct caseproto *b, size_t b_start,
135                       size_t n);
136 \f
137 /* Creation and destruction. */
138
139 void caseproto_free__ (struct caseproto *);
140
141 /* Increments case prototype PROTO's reference count and returns
142    PROTO.  Afterward, PROTO is shared among its reference count
143    holders. */
144 static inline struct caseproto *
145 caseproto_ref (const struct caseproto *proto_)
146 {
147   struct caseproto *proto = (struct caseproto *) proto_;
148   proto->ref_cnt++;
149   return proto;
150 }
151
152 /* Decrements case prototype PROTO's reference count.  Frees
153    PROTO if its reference count drops to 0.
154
155    If PROTO is a null pointer, this function has no effect. */
156 static inline void
157 caseproto_unref (struct caseproto *proto)
158 {
159   if (proto != NULL && !--proto->ref_cnt)
160     caseproto_free__ (proto);
161 }
162 \f
163 /* Inspecting stored widths.  */
164
165 /* Returns case prototype PROTO's width with the given IDX.  IDX
166    must be less than caseproto_get_n_widths(PROTO). */
167 static inline int
168 caseproto_get_width (const struct caseproto *proto, size_t idx)
169 {
170   assert (idx < proto->n_widths);
171   return proto->widths[idx];
172 }
173
174 /* Returns the number of widths in case prototype PROTO. */
175 static inline size_t
176 caseproto_get_n_widths (const struct caseproto *proto)
177 {
178   return proto->n_widths;
179 }
180 \f
181 /* Inspecting the cache of long string widths. */
182
183 void caseproto_refresh_long_string_cache__ (const struct caseproto *);
184
185 /* Returns the number of long string widths in PROTO; that is,
186    the number of widths in PROTO that are greater than or equal
187    to MIN_LONG_STRING. */
188 static inline size_t
189 caseproto_get_n_long_strings (const struct caseproto *proto)
190 {
191   return proto->n_long_strings;
192 }
193
194 /* Given long string width IDX1, returns a value IDX2 for which
195    caseproto_get_width(PROTO, IDX2) will return a value greater
196    than or equal to MIN_LONG_STRING.  IDX1 must be less than
197    caseproto_get_n_long_strings(PROTO), and IDX2 will be less
198    than caseproto_get_n_widths(PROTO). */
199 static inline size_t
200 caseproto_get_long_string_idx (const struct caseproto *proto, size_t idx1)
201 {
202   if (proto->long_strings == NULL)
203     caseproto_refresh_long_string_cache__ (proto);
204
205   assert (idx1 < proto->n_long_strings);
206   return proto->long_strings[idx1];
207 }
208
209 #endif /* data/caseproto.h */