• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 
2 #include "upb/reflection.h"
3 
4 #include <string.h>
5 #include "upb/table.int.h"
6 #include "upb/msg.h"
7 
8 #include "upb/port_def.inc"
9 
get_field_size(const upb_msglayout_field * f)10 static size_t get_field_size(const upb_msglayout_field *f) {
11   static unsigned char sizes[] = {
12     0,/* 0 */
13     8, /* UPB_DESCRIPTOR_TYPE_DOUBLE */
14     4, /* UPB_DESCRIPTOR_TYPE_FLOAT */
15     8, /* UPB_DESCRIPTOR_TYPE_INT64 */
16     8, /* UPB_DESCRIPTOR_TYPE_UINT64 */
17     4, /* UPB_DESCRIPTOR_TYPE_INT32 */
18     8, /* UPB_DESCRIPTOR_TYPE_FIXED64 */
19     4, /* UPB_DESCRIPTOR_TYPE_FIXED32 */
20     1, /* UPB_DESCRIPTOR_TYPE_BOOL */
21     sizeof(upb_strview), /* UPB_DESCRIPTOR_TYPE_STRING */
22     sizeof(void*), /* UPB_DESCRIPTOR_TYPE_GROUP */
23     sizeof(void*), /* UPB_DESCRIPTOR_TYPE_MESSAGE */
24     sizeof(upb_strview), /* UPB_DESCRIPTOR_TYPE_BYTES */
25     4, /* UPB_DESCRIPTOR_TYPE_UINT32 */
26     4, /* UPB_DESCRIPTOR_TYPE_ENUM */
27     4, /* UPB_DESCRIPTOR_TYPE_SFIXED32 */
28     8, /* UPB_DESCRIPTOR_TYPE_SFIXED64 */
29     4, /* UPB_DESCRIPTOR_TYPE_SINT32 */
30     8, /* UPB_DESCRIPTOR_TYPE_SINT64 */
31   };
32   return _upb_repeated_or_map(f) ? sizeof(void *) : sizes[f->descriptortype];
33 }
34 
35 /* Strings/bytes are special-cased in maps. */
36 static char _upb_fieldtype_to_mapsize[12] = {
37   0,
38   1,  /* UPB_TYPE_BOOL */
39   4,  /* UPB_TYPE_FLOAT */
40   4,  /* UPB_TYPE_INT32 */
41   4,  /* UPB_TYPE_UINT32 */
42   4,  /* UPB_TYPE_ENUM */
43   sizeof(void*),  /* UPB_TYPE_MESSAGE */
44   8,  /* UPB_TYPE_DOUBLE */
45   8,  /* UPB_TYPE_INT64 */
46   8,  /* UPB_TYPE_UINT64 */
47   0,  /* UPB_TYPE_STRING */
48   0,  /* UPB_TYPE_BYTES */
49 };
50 
51 static const char _upb_fieldtype_to_sizelg2[12] = {
52   0,
53   0,  /* UPB_TYPE_BOOL */
54   2,  /* UPB_TYPE_FLOAT */
55   2,  /* UPB_TYPE_INT32 */
56   2,  /* UPB_TYPE_UINT32 */
57   2,  /* UPB_TYPE_ENUM */
58   UPB_SIZE(2, 3),  /* UPB_TYPE_MESSAGE */
59   3,  /* UPB_TYPE_DOUBLE */
60   3,  /* UPB_TYPE_INT64 */
61   3,  /* UPB_TYPE_UINT64 */
62   UPB_SIZE(3, 4),  /* UPB_TYPE_STRING */
63   UPB_SIZE(3, 4),  /* UPB_TYPE_BYTES */
64 };
65 
66 /** upb_msg *******************************************************************/
67 
upb_msg_new(const upb_msgdef * m,upb_arena * a)68 upb_msg *upb_msg_new(const upb_msgdef *m, upb_arena *a) {
69   return _upb_msg_new(upb_msgdef_layout(m), a);
70 }
71 
in_oneof(const upb_msglayout_field * field)72 static bool in_oneof(const upb_msglayout_field *field) {
73   return field->presence < 0;
74 }
75 
_upb_msg_getraw(const upb_msg * msg,const upb_fielddef * f)76 static upb_msgval _upb_msg_getraw(const upb_msg *msg, const upb_fielddef *f) {
77   const upb_msglayout_field *field = upb_fielddef_layout(f);
78   const char *mem = UPB_PTR_AT(msg, field->offset, char);
79   upb_msgval val = {0};
80   memcpy(&val, mem, get_field_size(field));
81   return val;
82 }
83 
upb_msg_has(const upb_msg * msg,const upb_fielddef * f)84 bool upb_msg_has(const upb_msg *msg, const upb_fielddef *f) {
85   const upb_msglayout_field *field = upb_fielddef_layout(f);
86   if (in_oneof(field)) {
87     return _upb_getoneofcase_field(msg, field) == field->number;
88   } else if (field->presence > 0) {
89     return _upb_hasbit_field(msg, field);
90   } else {
91     UPB_ASSERT(field->descriptortype == UPB_DESCRIPTOR_TYPE_MESSAGE ||
92                field->descriptortype == UPB_DESCRIPTOR_TYPE_GROUP);
93     return _upb_msg_getraw(msg, f).msg_val != NULL;
94   }
95 }
96 
upb_msg_whichoneof(const upb_msg * msg,const upb_oneofdef * o)97 const upb_fielddef *upb_msg_whichoneof(const upb_msg *msg,
98                                        const upb_oneofdef *o) {
99   const upb_fielddef *f = upb_oneofdef_field(o, 0);
100   if (upb_oneofdef_issynthetic(o)) {
101     UPB_ASSERT(upb_oneofdef_fieldcount(o) == 1);
102     return upb_msg_has(msg, f) ? f : NULL;
103   } else {
104     const upb_msglayout_field *field = upb_fielddef_layout(f);
105     uint32_t oneof_case = _upb_getoneofcase_field(msg, field);
106     f = oneof_case ? upb_oneofdef_itof(o, oneof_case) : NULL;
107     UPB_ASSERT((f != NULL) == (oneof_case != 0));
108     return f;
109   }
110 }
111 
upb_msg_get(const upb_msg * msg,const upb_fielddef * f)112 upb_msgval upb_msg_get(const upb_msg *msg, const upb_fielddef *f) {
113   if (!upb_fielddef_haspresence(f) || upb_msg_has(msg, f)) {
114     return _upb_msg_getraw(msg, f);
115   } else {
116     /* TODO(haberman): change upb_fielddef to not require this switch(). */
117     upb_msgval val = {0};
118     switch (upb_fielddef_type(f)) {
119       case UPB_TYPE_INT32:
120       case UPB_TYPE_ENUM:
121         val.int32_val = upb_fielddef_defaultint32(f);
122         break;
123       case UPB_TYPE_INT64:
124         val.int64_val = upb_fielddef_defaultint64(f);
125         break;
126       case UPB_TYPE_UINT32:
127         val.uint32_val = upb_fielddef_defaultuint32(f);
128         break;
129       case UPB_TYPE_UINT64:
130         val.uint64_val = upb_fielddef_defaultuint64(f);
131         break;
132       case UPB_TYPE_FLOAT:
133         val.float_val = upb_fielddef_defaultfloat(f);
134         break;
135       case UPB_TYPE_DOUBLE:
136         val.double_val = upb_fielddef_defaultdouble(f);
137         break;
138       case UPB_TYPE_BOOL:
139         val.bool_val = upb_fielddef_defaultbool(f);
140         break;
141       case UPB_TYPE_STRING:
142       case UPB_TYPE_BYTES:
143         val.str_val.data = upb_fielddef_defaultstr(f, &val.str_val.size);
144         break;
145       case UPB_TYPE_MESSAGE:
146         val.msg_val = NULL;
147         break;
148     }
149     return val;
150   }
151 }
152 
upb_msg_mutable(upb_msg * msg,const upb_fielddef * f,upb_arena * a)153 upb_mutmsgval upb_msg_mutable(upb_msg *msg, const upb_fielddef *f,
154                               upb_arena *a) {
155   const upb_msglayout_field *field = upb_fielddef_layout(f);
156   upb_mutmsgval ret;
157   char *mem = UPB_PTR_AT(msg, field->offset, char);
158   bool wrong_oneof =
159       in_oneof(field) && _upb_getoneofcase_field(msg, field) != field->number;
160 
161   memcpy(&ret, mem, sizeof(void*));
162 
163   if (a && (!ret.msg || wrong_oneof)) {
164     if (upb_fielddef_ismap(f)) {
165       const upb_msgdef *entry = upb_fielddef_msgsubdef(f);
166       const upb_fielddef *key = upb_msgdef_itof(entry, UPB_MAPENTRY_KEY);
167       const upb_fielddef *value = upb_msgdef_itof(entry, UPB_MAPENTRY_VALUE);
168       ret.map = upb_map_new(a, upb_fielddef_type(key), upb_fielddef_type(value));
169     } else if (upb_fielddef_isseq(f)) {
170       ret.array = upb_array_new(a, upb_fielddef_type(f));
171     } else {
172       UPB_ASSERT(upb_fielddef_issubmsg(f));
173       ret.msg = upb_msg_new(upb_fielddef_msgsubdef(f), a);
174     }
175 
176     memcpy(mem, &ret, sizeof(void*));
177 
178     if (wrong_oneof) {
179       *_upb_oneofcase_field(msg, field) = field->number;
180     } else if (field->presence > 0) {
181       _upb_sethas_field(msg, field);
182     }
183   }
184   return ret;
185 }
186 
upb_msg_set(upb_msg * msg,const upb_fielddef * f,upb_msgval val,upb_arena * a)187 void upb_msg_set(upb_msg *msg, const upb_fielddef *f, upb_msgval val,
188                  upb_arena *a) {
189   const upb_msglayout_field *field = upb_fielddef_layout(f);
190   char *mem = UPB_PTR_AT(msg, field->offset, char);
191   UPB_UNUSED(a);  /* We reserve the right to make set insert into a map. */
192   memcpy(mem, &val, get_field_size(field));
193   if (field->presence > 0) {
194     _upb_sethas_field(msg, field);
195   } else if (in_oneof(field)) {
196     *_upb_oneofcase_field(msg, field) = field->number;
197   }
198 }
199 
upb_msg_clearfield(upb_msg * msg,const upb_fielddef * f)200 void upb_msg_clearfield(upb_msg *msg, const upb_fielddef *f) {
201   const upb_msglayout_field *field = upb_fielddef_layout(f);
202   char *mem = UPB_PTR_AT(msg, field->offset, char);
203 
204   if (field->presence > 0) {
205     _upb_clearhas_field(msg, field);
206   } else if (in_oneof(field)) {
207     uint32_t *oneof_case = _upb_oneofcase_field(msg, field);
208     if (*oneof_case != field->number) return;
209     *oneof_case = 0;
210   }
211 
212   memset(mem, 0, get_field_size(field));
213 }
214 
upb_msg_clear(upb_msg * msg,const upb_msgdef * m)215 void upb_msg_clear(upb_msg *msg, const upb_msgdef *m) {
216   _upb_msg_clear(msg, upb_msgdef_layout(m));
217 }
218 
upb_msg_next(const upb_msg * msg,const upb_msgdef * m,const upb_symtab * ext_pool,const upb_fielddef ** out_f,upb_msgval * out_val,size_t * iter)219 bool upb_msg_next(const upb_msg *msg, const upb_msgdef *m,
220                   const upb_symtab *ext_pool, const upb_fielddef **out_f,
221                   upb_msgval *out_val, size_t *iter) {
222   int i = *iter;
223   int n = upb_msgdef_fieldcount(m);
224   const upb_msgval zero = {0};
225   UPB_UNUSED(ext_pool);
226   while (++i < n) {
227     const upb_fielddef *f = upb_msgdef_field(m, i);
228     upb_msgval val = _upb_msg_getraw(msg, f);
229 
230     /* Skip field if unset or empty. */
231     if (upb_fielddef_haspresence(f)) {
232       if (!upb_msg_has(msg, f)) continue;
233     } else {
234       upb_msgval test = val;
235       if (upb_fielddef_isstring(f) && !upb_fielddef_isseq(f)) {
236         /* Clear string pointer, only size matters (ptr could be non-NULL). */
237         test.str_val.data = NULL;
238       }
239       /* Continue if NULL or 0. */
240       if (memcmp(&test, &zero, sizeof(test)) == 0) continue;
241 
242       /* Continue on empty array or map. */
243       if (upb_fielddef_ismap(f)) {
244         if (upb_map_size(test.map_val) == 0) continue;
245       } else if (upb_fielddef_isseq(f)) {
246         if (upb_array_size(test.array_val) == 0) continue;
247       }
248     }
249 
250     *out_val = val;
251     *out_f = f;
252     *iter = i;
253     return true;
254   }
255   *iter = i;
256   return false;
257 }
258 
_upb_msg_discardunknown(upb_msg * msg,const upb_msgdef * m,int depth)259 bool _upb_msg_discardunknown(upb_msg *msg, const upb_msgdef *m, int depth) {
260   size_t iter = UPB_MSG_BEGIN;
261   const upb_fielddef *f;
262   upb_msgval val;
263   bool ret = true;
264 
265   if (--depth == 0) return false;
266 
267   _upb_msg_discardunknown_shallow(msg);
268 
269   while (upb_msg_next(msg, m, NULL /*ext_pool*/, &f, &val, &iter)) {
270     const upb_msgdef *subm = upb_fielddef_msgsubdef(f);
271     if (!subm) continue;
272     if (upb_fielddef_ismap(f)) {
273       const upb_fielddef *val_f = upb_msgdef_itof(subm, 2);
274       const upb_msgdef *val_m = upb_fielddef_msgsubdef(val_f);
275       upb_map *map = (upb_map*)val.map_val;
276       size_t iter = UPB_MAP_BEGIN;
277 
278       if (!val_m) continue;
279 
280       while (upb_mapiter_next(map, &iter)) {
281         upb_msgval map_val = upb_mapiter_value(map, iter);
282         if (!_upb_msg_discardunknown((upb_msg*)map_val.msg_val, val_m, depth)) {
283           ret = false;
284         }
285       }
286     } else if (upb_fielddef_isseq(f)) {
287       const upb_array *arr = val.array_val;
288       size_t i, n = upb_array_size(arr);
289       for (i = 0; i < n; i++) {
290         upb_msgval elem = upb_array_get(arr, i);
291         if (!_upb_msg_discardunknown((upb_msg*)elem.msg_val, subm, depth)) {
292           ret = false;
293         }
294       }
295     } else {
296       if (!_upb_msg_discardunknown((upb_msg*)val.msg_val, subm, depth)) {
297         ret = false;
298       }
299     }
300   }
301 
302   return ret;
303 }
304 
upb_msg_discardunknown(upb_msg * msg,const upb_msgdef * m,int maxdepth)305 bool upb_msg_discardunknown(upb_msg *msg, const upb_msgdef *m, int maxdepth) {
306   return _upb_msg_discardunknown(msg, m, maxdepth);
307 }
308 
309 /** upb_array *****************************************************************/
310 
upb_array_new(upb_arena * a,upb_fieldtype_t type)311 upb_array *upb_array_new(upb_arena *a, upb_fieldtype_t type) {
312   return _upb_array_new(a, 4, _upb_fieldtype_to_sizelg2[type]);
313 }
314 
upb_array_size(const upb_array * arr)315 size_t upb_array_size(const upb_array *arr) {
316   return arr->len;
317 }
318 
upb_array_get(const upb_array * arr,size_t i)319 upb_msgval upb_array_get(const upb_array *arr, size_t i) {
320   upb_msgval ret;
321   const char* data = _upb_array_constptr(arr);
322   int lg2 = arr->data & 7;
323   UPB_ASSERT(i < arr->len);
324   memcpy(&ret, data + (i << lg2), 1 << lg2);
325   return ret;
326 }
327 
upb_array_set(upb_array * arr,size_t i,upb_msgval val)328 void upb_array_set(upb_array *arr, size_t i, upb_msgval val) {
329   char* data = _upb_array_ptr(arr);
330   int lg2 = arr->data & 7;
331   UPB_ASSERT(i < arr->len);
332   memcpy(data + (i << lg2), &val, 1 << lg2);
333 }
334 
upb_array_append(upb_array * arr,upb_msgval val,upb_arena * arena)335 bool upb_array_append(upb_array *arr, upb_msgval val, upb_arena *arena) {
336   if (!_upb_array_realloc(arr, arr->len + 1, arena)) {
337     return false;
338   }
339   arr->len++;
340   upb_array_set(arr, arr->len - 1, val);
341   return true;
342 }
343 
upb_array_resize(upb_array * arr,size_t size,upb_arena * arena)344 bool upb_array_resize(upb_array *arr, size_t size, upb_arena *arena) {
345   return _upb_array_resize(arr, size, arena);
346 }
347 
348 /** upb_map *******************************************************************/
349 
upb_map_new(upb_arena * a,upb_fieldtype_t key_type,upb_fieldtype_t value_type)350 upb_map *upb_map_new(upb_arena *a, upb_fieldtype_t key_type,
351                      upb_fieldtype_t value_type) {
352   return _upb_map_new(a, _upb_fieldtype_to_mapsize[key_type],
353                       _upb_fieldtype_to_mapsize[value_type]);
354 }
355 
upb_map_size(const upb_map * map)356 size_t upb_map_size(const upb_map *map) {
357   return _upb_map_size(map);
358 }
359 
upb_map_get(const upb_map * map,upb_msgval key,upb_msgval * val)360 bool upb_map_get(const upb_map *map, upb_msgval key, upb_msgval *val) {
361   return _upb_map_get(map, &key, map->key_size, val, map->val_size);
362 }
363 
upb_map_clear(upb_map * map)364 void upb_map_clear(upb_map *map) {
365   _upb_map_clear(map);
366 }
367 
upb_map_set(upb_map * map,upb_msgval key,upb_msgval val,upb_arena * arena)368 bool upb_map_set(upb_map *map, upb_msgval key, upb_msgval val,
369                  upb_arena *arena) {
370   return _upb_map_set(map, &key, map->key_size, &val, map->val_size, arena);
371 }
372 
upb_map_delete(upb_map * map,upb_msgval key)373 bool upb_map_delete(upb_map *map, upb_msgval key) {
374   return _upb_map_delete(map, &key, map->key_size);
375 }
376 
upb_mapiter_next(const upb_map * map,size_t * iter)377 bool upb_mapiter_next(const upb_map *map, size_t *iter) {
378   return _upb_map_next(map, iter);
379 }
380 
upb_mapiter_done(const upb_map * map,size_t iter)381 bool upb_mapiter_done(const upb_map *map, size_t iter) {
382   upb_strtable_iter i;
383   UPB_ASSERT(iter != UPB_MAP_BEGIN);
384   i.t = &map->table;
385   i.index = iter;
386   return upb_strtable_done(&i);
387 }
388 
389 /* Returns the key and value for this entry of the map. */
upb_mapiter_key(const upb_map * map,size_t iter)390 upb_msgval upb_mapiter_key(const upb_map *map, size_t iter) {
391   upb_strtable_iter i;
392   upb_msgval ret;
393   i.t = &map->table;
394   i.index = iter;
395   _upb_map_fromkey(upb_strtable_iter_key(&i), &ret, map->key_size);
396   return ret;
397 }
398 
upb_mapiter_value(const upb_map * map,size_t iter)399 upb_msgval upb_mapiter_value(const upb_map *map, size_t iter) {
400   upb_strtable_iter i;
401   upb_msgval ret;
402   i.t = &map->table;
403   i.index = iter;
404   _upb_map_fromvalue(upb_strtable_iter_value(&i), &ret, map->val_size);
405   return ret;
406 }
407 
408 /* void upb_mapiter_setvalue(upb_map *map, size_t iter, upb_msgval value); */
409