Merge "citrix" branch into "master".
[cascardo/ovs.git] / lib / ovsdb-data.h
1 /* Copyright (c) 2009, 2010 Nicira Networks
2  *
3  * Licensed under the Apache License, Version 2.0 (the "License");
4  * you may not use this file except in compliance with the License.
5  * You may obtain a copy of the License at:
6  *
7  *     http://www.apache.org/licenses/LICENSE-2.0
8  *
9  * Unless required by applicable law or agreed to in writing, software
10  * distributed under the License is distributed on an "AS IS" BASIS,
11  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12  * See the License for the specific language governing permissions and
13  * limitations under the License.
14  */
15
16 #ifndef OVSDB_DATA_H
17 #define OVSDB_DATA_H 1
18
19 #include <stdlib.h>
20 #include "compiler.h"
21 #include "ovsdb-types.h"
22
23 struct ds;
24 struct ovsdb_symbol_table;
25
26 /* One value of an atomic type (given by enum ovs_atomic_type). */
27 union ovsdb_atom {
28     int64_t integer;
29     double real;
30     bool boolean;
31     char *string;
32     struct uuid uuid;
33 };
34
35 void ovsdb_atom_init_default(union ovsdb_atom *, enum ovsdb_atomic_type);
36 bool ovsdb_atom_is_default(const union ovsdb_atom *, enum ovsdb_atomic_type);
37 void ovsdb_atom_clone(union ovsdb_atom *, const union ovsdb_atom *,
38                       enum ovsdb_atomic_type);
39 void ovsdb_atom_swap(union ovsdb_atom *, union ovsdb_atom *);
40
41 static inline bool
42 ovsdb_atom_needs_destruction(enum ovsdb_atomic_type type)
43 {
44     return type == OVSDB_TYPE_STRING;
45 }
46
47 static inline void
48 ovsdb_atom_destroy(union ovsdb_atom *atom, enum ovsdb_atomic_type type)
49 {
50     if (type == OVSDB_TYPE_STRING) {
51         free(atom->string);
52     }
53 }
54
55 uint32_t ovsdb_atom_hash(const union ovsdb_atom *, enum ovsdb_atomic_type,
56                          uint32_t basis);
57
58 int ovsdb_atom_compare_3way(const union ovsdb_atom *,
59                             const union ovsdb_atom *,
60                             enum ovsdb_atomic_type);
61
62 static inline bool ovsdb_atom_equals(const union ovsdb_atom *a,
63                                      const union ovsdb_atom *b,
64                                      enum ovsdb_atomic_type type)
65 {
66     return !ovsdb_atom_compare_3way(a, b, type);
67 }
68
69 struct ovsdb_error *ovsdb_atom_from_json(union ovsdb_atom *,
70                                          const struct ovsdb_base_type *,
71                                          const struct json *,
72                                          struct ovsdb_symbol_table *)
73     WARN_UNUSED_RESULT;
74 struct json *ovsdb_atom_to_json(const union ovsdb_atom *,
75                                 enum ovsdb_atomic_type);
76
77 char *ovsdb_atom_from_string(union ovsdb_atom *,
78                              const struct ovsdb_base_type *, const char *)
79     WARN_UNUSED_RESULT;
80 void ovsdb_atom_to_string(const union ovsdb_atom *, enum ovsdb_atomic_type,
81                           struct ds *);
82
83 struct ovsdb_error *ovsdb_atom_check_constraints(
84     const union ovsdb_atom *, const struct ovsdb_base_type *)
85     WARN_UNUSED_RESULT;
86 \f
87 /* An instance of an OVSDB type (given by struct ovsdb_type).
88  *
89  * - The 'keys' must be unique and in sorted order.  Most functions that modify
90  *   an ovsdb_datum maintain these invariants.  Functions that don't maintain
91  *   the invariants have names that end in "_unsafe".  Use ovsdb_datum_sort()
92  *   to check and restore these invariants.
93  *
94  * - 'n' is constrained by the ovsdb_type's 'n_min' and 'n_max'.
95  *
96  *   If 'n' is nonzero, then 'keys' points to an array of 'n' atoms of the type
97  *   specified by the ovsdb_type's 'key_type'.  (Otherwise, 'keys' should be
98  *   null.)
99  *
100  *   If 'n' is nonzero and the ovsdb_type's 'value_type' is not
101  *   OVSDB_TYPE_VOID, then 'values' points to an array of 'n' atoms of the type
102  *   specified by the 'value_type'.  (Otherwise, 'values' should be null.)
103  *
104  *   Thus, for 'n' > 0, 'keys' will always be nonnull and 'values' will be
105  *   nonnull only for "map" types.
106  */
107 struct ovsdb_datum {
108     unsigned int n;             /* Number of 'keys' and 'values'. */
109     union ovsdb_atom *keys;     /* Each of the ovsdb_type's 'key_type'. */
110     union ovsdb_atom *values;   /* Each of the ovsdb_type's 'value_type'. */
111 };
112
113 /* Basics. */
114 void ovsdb_datum_init_empty(struct ovsdb_datum *);
115 void ovsdb_datum_init_default(struct ovsdb_datum *, const struct ovsdb_type *);
116 bool ovsdb_datum_is_default(const struct ovsdb_datum *,
117                             const struct ovsdb_type *);
118 void ovsdb_datum_clone(struct ovsdb_datum *, const struct ovsdb_datum *,
119                        const struct ovsdb_type *);
120 void ovsdb_datum_destroy(struct ovsdb_datum *, const struct ovsdb_type *);
121 void ovsdb_datum_swap(struct ovsdb_datum *, struct ovsdb_datum *);
122
123 /* Checking and maintaining invariants. */
124 struct ovsdb_error *ovsdb_datum_sort(struct ovsdb_datum *,
125                                      enum ovsdb_atomic_type key_type)
126     WARN_UNUSED_RESULT;
127
128 void ovsdb_datum_sort_assert(struct ovsdb_datum *,
129                              enum ovsdb_atomic_type key_type);
130
131 struct ovsdb_error *ovsdb_datum_check_constraints(
132     const struct ovsdb_datum *, const struct ovsdb_type *)
133     WARN_UNUSED_RESULT;
134
135 /* Type conversion. */
136 struct ovsdb_error *ovsdb_datum_from_json(struct ovsdb_datum *,
137                                           const struct ovsdb_type *,
138                                           const struct json *,
139                                           struct ovsdb_symbol_table *)
140     WARN_UNUSED_RESULT;
141 struct json *ovsdb_datum_to_json(const struct ovsdb_datum *,
142                                  const struct ovsdb_type *);
143
144 char *ovsdb_datum_from_string(struct ovsdb_datum *,
145                              const struct ovsdb_type *, const char *)
146     WARN_UNUSED_RESULT;
147 void ovsdb_datum_to_string(const struct ovsdb_datum *,
148                            const struct ovsdb_type *, struct ds *);
149
150 /* Comparison. */
151 uint32_t ovsdb_datum_hash(const struct ovsdb_datum *,
152                           const struct ovsdb_type *, uint32_t basis);
153 int ovsdb_datum_compare_3way(const struct ovsdb_datum *,
154                              const struct ovsdb_datum *,
155                              const struct ovsdb_type *);
156 bool ovsdb_datum_equals(const struct ovsdb_datum *,
157                         const struct ovsdb_datum *,
158                         const struct ovsdb_type *);
159
160 /* Search. */
161 unsigned int ovsdb_datum_find_key(const struct ovsdb_datum *,
162                                   const union ovsdb_atom *key,
163                                   enum ovsdb_atomic_type key_type);
164 unsigned int ovsdb_datum_find_key_value(const struct ovsdb_datum *,
165                                         const union ovsdb_atom *key,
166                                         enum ovsdb_atomic_type key_type,
167                                         const union ovsdb_atom *value,
168                                         enum ovsdb_atomic_type value_type);
169
170 /* Set operations. */
171 bool ovsdb_datum_includes_all(const struct ovsdb_datum *,
172                               const struct ovsdb_datum *,
173                               const struct ovsdb_type *);
174 bool ovsdb_datum_excludes_all(const struct ovsdb_datum *,
175                               const struct ovsdb_datum *,
176                               const struct ovsdb_type *);
177 void ovsdb_datum_union(struct ovsdb_datum *,
178                        const struct ovsdb_datum *,
179                        const struct ovsdb_type *,
180                        bool replace);
181 void ovsdb_datum_subtract(struct ovsdb_datum *a,
182                           const struct ovsdb_type *a_type,
183                           const struct ovsdb_datum *b,
184                           const struct ovsdb_type *b_type);
185
186 /* Raw operations that may not maintain the invariants. */
187 void ovsdb_datum_remove_unsafe(struct ovsdb_datum *, size_t idx,
188                                const struct ovsdb_type *);
189 void ovsdb_datum_add_unsafe(struct ovsdb_datum *,
190                             const union ovsdb_atom *key,
191                             const union ovsdb_atom *value,
192                             const struct ovsdb_type *);
193
194 /* Type checking. */
195 static inline bool
196 ovsdb_datum_conforms_to_type(const struct ovsdb_datum *datum,
197                              const struct ovsdb_type *type)
198 {
199     return datum->n >= type->n_min && datum->n <= type->n_max;
200 }
201 \f
202 /* A table mapping from names to data items.  Currently the data items are
203  * always UUIDs; perhaps this will be expanded in the future. */
204
205 struct ovsdb_symbol {
206     struct uuid uuid;           /* The UUID that the symbol represents. */
207     bool used;                  /* Already used as row UUID? */
208 };
209
210 struct ovsdb_symbol_table *ovsdb_symbol_table_create(void);
211 void ovsdb_symbol_table_destroy(struct ovsdb_symbol_table *);
212 struct ovsdb_symbol *ovsdb_symbol_table_get(const struct ovsdb_symbol_table *,
213                                             const char *name);
214 struct ovsdb_symbol *ovsdb_symbol_table_put(struct ovsdb_symbol_table *,
215                                             const char *name,
216                                             const struct uuid *, bool used);
217 struct ovsdb_symbol *ovsdb_symbol_table_insert(struct ovsdb_symbol_table *,
218                                                const char *name);
219 \f
220 /* Tokenization
221  *
222  * Used by ovsdb_atom_from_string() and ovsdb_datum_from_string(). */
223
224 char *ovsdb_token_parse(const char **, char **outp) WARN_UNUSED_RESULT;
225 bool ovsdb_token_is_delim(unsigned char);
226
227 #endif /* ovsdb-data.h */