mrambacher
618bf638aa
Add Functions to OptionTypeInfo ( #6422 )
...
Summary:
Added functions for parsing, serializing, and comparing elements to OptionTypeInfo. These functions allow all of the special cases that could not be handled directly in the map of OptionTypeInfo to be moved into the map. Using these functions, every type can be handled via the map rather than special cased.
By adding these functions, the code for handling options can become more standardized (fewer special cases) and (eventually) handled completely by common classes.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/6422
Test Plan: pass make check
Reviewed By: siying
Differential Revision: D21269005
Pulled By: zhichao-cao
fbshipit-source-id: 9ba71c721a38ebf9ee88259d60bd81b3282b9077
2020-04-28 18:04:26 -07:00
..
2020-04-23 13:44:29 -07:00
2020-04-28 15:26:03 -07:00
2020-04-27 22:49:56 -07:00
2020-04-15 17:40:44 -07:00
2020-03-06 16:24:27 -08:00
2020-04-15 17:40:44 -07:00
2020-03-27 16:04:43 -07:00
2020-02-18 11:18:25 -08:00
2020-04-07 14:45:39 -07:00
2020-04-21 17:38:17 -07:00
2020-03-20 19:30:48 -07:00
2020-03-20 19:30:48 -07:00
2020-02-20 12:09:57 -08:00
2020-03-02 16:01:00 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-03-23 21:54:21 -07:00
2020-02-20 12:09:57 -08:00
2020-04-27 13:20:27 -07:00
2020-04-27 13:20:27 -07:00
2020-04-28 14:49:34 -07:00
2020-02-20 12:09:57 -08:00
2020-04-20 13:24:25 -07:00
2020-04-20 13:24:25 -07:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-04-15 17:40:44 -07:00
2020-04-10 09:51:58 -07:00
2020-04-15 17:40:44 -07:00
2020-02-20 12:09:57 -08:00
2020-03-20 15:26:10 -07:00
2020-03-02 16:01:00 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-04-28 18:04:26 -07:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-04-10 15:30:38 -07:00
2020-02-20 12:09:57 -08:00
2020-04-01 16:40:18 -07:00
2020-04-25 00:01:03 -07:00
2020-04-27 13:20:27 -07:00
2020-04-20 13:24:25 -07:00
2020-02-20 12:09:57 -08:00
2020-03-05 17:18:16 -08:00
2020-04-27 22:49:56 -07:00
2020-04-10 16:05:49 -07:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-03-06 16:24:27 -08:00
2020-03-06 16:24:27 -08:00
2020-02-20 12:09:57 -08:00
2020-04-03 10:26:49 -07:00
2020-03-28 19:07:25 -07:00
2020-03-27 16:04:43 -07:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-25 15:31:48 -08:00
2020-03-02 16:16:26 -08:00
2020-02-20 12:09:57 -08:00
2020-04-08 21:22:15 -07:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-04-07 16:00:26 -07:00
2020-03-31 12:11:42 -07:00
2020-03-27 16:04:43 -07:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-04-15 17:40:44 -07:00
2020-04-15 17:40:44 -07:00
2020-04-16 13:16:06 -07:00
2020-02-20 12:09:57 -08:00
2020-04-16 13:16:06 -07:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-03-12 11:00:56 -07:00
2020-02-20 12:09:57 -08:00
2020-04-20 13:24:25 -07:00
2020-04-20 11:39:31 -07:00
2020-02-20 12:09:57 -08:00
2020-03-27 16:04:43 -07:00
2020-03-27 16:04:43 -07:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-03-04 20:15:25 -08:00
2020-03-27 16:04:43 -07:00
2020-03-27 16:04:43 -07:00
2020-03-27 16:04:43 -07:00
2020-04-20 13:24:25 -07:00
2020-03-02 16:01:00 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-04-20 13:24:25 -07:00
2020-02-20 12:09:57 -08:00
2020-03-11 12:33:45 -07:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-04-15 17:40:44 -07:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-04-21 13:16:31 -07:00
2020-04-21 13:16:31 -07:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-04-23 13:44:29 -07:00
2020-04-23 13:44:29 -07:00
2020-03-20 19:30:48 -07:00
2020-03-20 19:30:48 -07:00
2020-03-20 19:30:48 -07:00
2020-03-23 10:27:47 -07:00
2020-03-23 10:27:47 -07:00
2020-03-23 10:27:47 -07:00
2020-04-10 16:05:49 -07:00
2020-04-15 17:40:44 -07:00
2020-04-15 17:40:44 -07:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-04-20 13:24:25 -07:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-20 12:09:57 -08:00
2020-02-28 14:14:03 -08:00
2020-02-20 12:09:57 -08:00