[core] Split up and clean up conversion.hpp

1 files changed, 36 insertions, 341 deletions

diff --git a/include/mbgl/style/conversion.hpp b/include/mbgl/style/conversion.hpp
index 18326c8dd1..eff7e293a3 100644
--- a/include/mbgl/style/conversion.hpp
+++ b/include/mbgl/style/conversion.hpp
@@ -1,39 +1,32 @@
 #pragma once
 
-#include <mbgl/style/types.hpp>
-#include <mbgl/style/property_value.hpp>
-#include <mbgl/style/filter.hpp>
-
 #include <mbgl/util/variant.hpp>
-#include <mbgl/util/optional.hpp>
-#include <mbgl/util/color.hpp>
-#include <mbgl/util/enum.hpp>
-
-#include <array>
-#include <string>
-#include <vector>
 
 namespace mbgl {
 namespace style {
 namespace conversion {
 
 /*
-   This namespace defines a generic conversion from a templated type `V` representing a JSON object conforming
-   to a style property from the Mapbox Style Specification, to `PropertyValue<T>`:
+   The `conversion` namespace defines conversions from a templated type `V` representing a JSON
+   object conforming to the schema defined by the Mapbox Style Specification, to the various C++
+   types that form the C++ model of that domain:
 
-       template <class T, class V>
-       Result<PropertyValue<T>> convertPropertyValue(const V& value);
+       * `std::unique_ptr<Source>`
+       * `std::unique_ptr<Layer>`
+       * `Filter`
+       * `PropertyValue<T>`
 
-   This is used concretely for conversions from RapidJSON types in mbgl core, and from v8 types in
-   the node bindings.
+   A single template function serves as the public interface:
 
-   It also defines a convertion from `V` to `Filter`, representing a JSON object conforming to a Style
-   Specification filter object:
+       template <class T, class V>
+       Result<T> convert(const V& value);
 
-       template <class V>
-       Result<Filter> convertFilter(const V& value);
+   Where `T` is one of the above types. If the conversion fails, the `Error` variant of `Result` is
+   returned, which includes diagnostic text suitable for presentation to a library user. Otherwise,
+   the `T` variant of `Result` is returned.
 
-   The requirements are that the following are legal expressions for a value `v` of type `const V&`:
+   The implementation of `convert` requires that the following are legal expressions for a value `v`
+   of type `const V&`:
 
       * `isArray(v)` -- returns a boolean indicating whether `v` represents a JSON array
       * `arrayLength(v)` -- called only if `isArray(v)`; returns a size_t length
@@ -51,341 +44,43 @@ namespace conversion {
         absence indicating `v` is not a boolean, number, or string. Numbers should be converted to
         unsigned integer, signed integer, or floating point, in descending preference.
 
-   If for any reason the conversion fails, the result of `convertPropertyValue` will be the `Error` variant,
-   which includes explanatory text.
+   The mbgl core implements these requirements for RapidJSON types, and the node bindings implement
+   them for v8 types.
 */
 
 struct Error { const char * message; };
 
-template <class V>
-using Result = variant<V, Error>;
-
-template <class V, class T, class Enable = void>
-struct ConstantConverter {};
-
-template <class V>
-struct ConstantConverter<V, bool> {
-    Result<bool> operator()(const V& value) const {
-        optional<bool> converted = toBool(value);
-        if (!converted) {
-            return Error { "value must be a boolean" };
-        }
-        return *converted;
-    }
-};
-
-template <class V>
-struct ConstantConverter<V, float> {
-    Result<float> operator()(const V& value) const {
-        optional<float> converted = toNumber(value);
-        if (!converted) {
-            return Error { "value must be a number" };
-        }
-        return *converted;
-    }
-};
+template <class T>
+class Result : private variant<T, Error> {
+public:
+    using variant<T, Error>::variant;
 
-template <class V>
-struct ConstantConverter<V, std::string> {
-    Result<std::string> operator()(const V& value) const {
-        optional<std::string> converted = toString(value);
-        if (!converted) {
-            return Error { "value must be a string" };
-        }
-        return *converted;
+    explicit operator bool() const {
+        return this->template is<T>();
     }
-};
-
-template <class V, class T>
-struct ConstantConverter<V, T, typename std::enable_if_t<std::is_enum<T>::value>> {
-    Result<T> operator()(const V& value) const {
-        optional<std::string> string = toString(value);
-        if (!string) {
-            return Error { "value must be a string" };
-        }
-
-        const auto result = Enum<T>::toEnum(*string);
-        if (!result) {
-            return Error { "value must be a valid enumeration value" };
-        }
-
-        return *result;
-    }
-};
-
-template <class V>
-struct ConstantConverter<V, Color> {
-    Result<Color> operator()(const V& value) const {
-        optional<std::string> string = toString(value);
-        if (!string) {
-            return Error { "value must be a string" };
-        }
-
-        optional<Color> color = Color::parse(*string);
-        if (!color) {
-            return Error { "value must be a valid color" };
-        }
-
-        return *color;
-    }
-};
-
-template <class V>
-struct ConstantConverter<V, std::array<float, 2>> {
-    Result<std::array<float, 2>> operator()(const V& value) const {
-        if (!isArray(value) || arrayLength(value) != 2) {
-            return Error { "value must be an array of two numbers" };
-        }
 
-        optional<float> first = toNumber(arrayMember(value, 0));
-        optional<float> second = toNumber(arrayMember(value, 1));
-        if (!first || !second) {
-            return Error { "value must be an array of two numbers" };
-        }
-
-        return std::array<float, 2> {{ *first, *second }};
+    T& operator*() {
+        assert(this->template is<T>());
+        return this->template get<T>();
     }
-};
-
-template <class V>
-struct ConstantConverter<V, std::array<float, 4>> {
-    Result<std::array<float, 4>> operator()(const V& value) const {
-        if (!isArray(value) || arrayLength(value) != 4) {
-            return Error { "value must be an array of four numbers" };
-        }
 
-        optional<float> first = toNumber(arrayMember(value, 0));
-        optional<float> second = toNumber(arrayMember(value, 1));
-        optional<float> third = toNumber(arrayMember(value, 2));
-        optional<float> fourth = toNumber(arrayMember(value, 3));
-        if (!first || !second) {
-            return Error { "value must be an array of four numbers" };
-        }
-
-        return std::array<float, 4> {{ *first, *second, *third, *fourth }};
+    const T& operator*() const {
+        assert(this->template is<T>());
+        return this->template get<T>();
     }
-};
-
-template <class V>
-struct ConstantConverter<V, std::vector<float>> {
-    Result<std::vector<float>> operator()(const V& value) const {
-        if (!isArray(value)) {
-            return Error { "value must be an array" };
-        }
 
-        std::vector<float> result;
-        result.reserve(arrayLength(value));
-
-        for (std::size_t i = 0; i < arrayLength(value); ++i) {
-            optional<float> number = toNumber(arrayMember(value, i));
-            if (!number) {
-                return Error { "value must be an array of numbers" };
-            }
-            result.push_back(*number);
-        }
-
-        return result;
+    const Error& error() const {
+        assert(this->template is<Error>());
+        return this->template get<Error>();
     }
 };
 
-template <class V>
-struct ConstantConverter<V, std::vector<std::string>> {
-    Result<std::vector<std::string>> operator()(const V& value) const {
-        if (!isArray(value)) {
-            return Error { "value must be an array" };
-        }
-
-        std::vector<std::string> result;
-        result.reserve(arrayLength(value));
-
-        for (std::size_t i = 0; i < arrayLength(value); ++i) {
-            optional<std::string> string = toString(arrayMember(value, i));
-            if (!string) {
-                return Error { "value must be an array of strings" };
-            }
-            result.push_back(*string);
-        }
-
-        return result;
-    }
-};
+template <class T, class Enable = void>
+struct Converter;
 
 template <class T, class V>
-Result<PropertyValue<T>> convertPropertyValue(const V& value) {
-    if (!isObject(value)) {
-        Result<T> constant = ConstantConverter<V, T>()(value);
-        if (constant.template is<Error>()) {
-            return constant.template get<Error>();
-        }
-        return constant.template get<T>();
-    }
-
-    auto stopsValue = objectMember(value, "stops");
-    if (!stopsValue) {
-        return Error { "function value must specify stops" };
-    }
-
-    if (!isArray(*stopsValue)) {
-        return Error { "function stops must be an array" };
-    }
-
-    std::vector<std::pair<float, T>> stops;
-    for (std::size_t i = 0; i < arrayLength(*stopsValue); ++i) {
-        const auto& stopValue = arrayMember(*stopsValue, i);
-
-        if (!isArray(stopValue)) {
-            return Error { "function stop must be an array" };
-        }
-
-        if (arrayLength(stopValue) != 2) {
-            return Error { "function stop must have two elements" };
-        }
-
-        optional<float> z = toNumber(arrayMember(stopValue, 0));
-        if (!z) {
-            return Error { "function stop zoom level must be a number" };
-        }
-
-        Result<T> v = ConstantConverter<V, T>()(arrayMember(stopValue, 1));
-        if (v.template is<Error>()) {
-            return v.template get<Error>();
-        }
-
-        stops.emplace_back(*z, v.template get<T>());
-    }
-
-    auto baseValue = objectMember(value, "base");
-    if (!baseValue) {
-        return Function<T>(stops, 1.0f);
-    }
-
-    optional<float> base = toNumber(*baseValue);
-    if (!base) {
-        return Error { "function base must be a number"};
-    }
-
-    return Function<T>(stops, *base);
-}
-
-Result<Value> normalizeFilterValue(const std::string& key, const optional<Value>&);
-
-template <class V>
-Result<Filter> convertFilter(const V& value);
-
-template <class FilterType, class V>
-Result<Filter> parseUnaryFilter(const V& value) {
-    if (arrayLength(value) < 2) {
-        return Error { "filter expression must have 2 elements" };
-    }
-
-    optional<std::string> key = toString(arrayMember(value, 1));
-    if (!key) {
-        return Error { "filter expression key must be a string" };
-    }
-
-    return FilterType { *key };
-}
-
-template <class FilterType, class V>
-Result<Filter> parseBinaryFilter(const V& value) {
-    if (arrayLength(value) < 3) {
-        return Error { "filter expression must have 3 elements" };
-    }
-
-    optional<std::string> key = toString(arrayMember(value, 1));
-    if (!key) {
-        return Error { "filter expression key must be a string" };
-    }
-
-    Result<Value> filterValue = normalizeFilterValue(*key, toValue(arrayMember(value, 2)));
-    if (filterValue.is<Error>()) {
-        return filterValue.get<Error>();
-    }
-
-    return FilterType { *key, filterValue.get<Value>() };
-}
-
-template <class FilterType, class V>
-Result<Filter> parseSetFilter(const V& value) {
-    if (arrayLength(value) < 2) {
-        return Error { "filter expression must at least 2 elements" };
-    }
-
-    optional<std::string> key = toString(arrayMember(value, 1));
-    if (!key) {
-        return Error { "filter expression key must be a string" };
-    }
-
-    std::vector<Value> values;
-    for (std::size_t i = 2; i < arrayLength(value); ++i) {
-        Result<Value> filterValue = normalizeFilterValue(*key, toValue(arrayMember(value, i)));
-        if (filterValue.is<Error>()) {
-            return filterValue.get<Error>();
-        }
-        values.push_back(filterValue.get<Value>());
-    }
-
-    return FilterType { *key, std::move(values) };
-}
-
-template <class FilterType, class V>
-Result<Filter> parseCompoundFilter(const V& value) {
-    std::vector<Filter> filters;
-    for (std::size_t i = 1; i < arrayLength(value); ++i) {
-        Result<Filter> element = convertFilter(arrayMember(value, i));
-        if (element.is<Error>()) {
-            return element;
-        }
-        filters.push_back(element.get<Filter>());
-    }
-
-    return FilterType { std::move(filters) };
-}
-
-template <class V>
-Result<Filter> convertFilter(const V& value) {
-    if (!isArray(value)) {
-        return Error { "filter expression must be an array" };
-    }
-
-    if (arrayLength(value) < 1) {
-        return Error { "filter expression must have at least 1 element" };
-    }
-
-    optional<std::string> op = toString(arrayMember(value, 0));
-    if (!op) {
-        return Error { "filter operator must be a string" };
-    }
-
-    if (*op == "==") {
-        return parseBinaryFilter<EqualsFilter>(value);
-    } else if (*op == "!=") {
-        return parseBinaryFilter<NotEqualsFilter>(value);
-    } else if (*op == ">") {
-        return parseBinaryFilter<GreaterThanFilter>(value);
-    } else if (*op == ">=") {
-        return parseBinaryFilter<GreaterThanEqualsFilter>(value);
-    } else if (*op == "<") {
-        return parseBinaryFilter<LessThanFilter>(value);
-    } else if (*op == "<=") {
-        return parseBinaryFilter<LessThanEqualsFilter>(value);
-    } else if (*op == "in") {
-        return parseSetFilter<InFilter>(value);
-    } else if (*op == "!in") {
-        return parseSetFilter<NotInFilter>(value);
-    } else if (*op == "all") {
-        return parseCompoundFilter<AllFilter>(value);
-    } else if (*op == "any") {
-        return parseCompoundFilter<AnyFilter>(value);
-    } else if (*op == "none") {
-        return parseCompoundFilter<NoneFilter>(value);
-    } else if (*op == "has") {
-        return parseUnaryFilter<HasFilter>(value);
-    } else if (*op == "!has") {
-       return parseUnaryFilter<NotHasFilter>(value);
-    }
-
-    return Error { "filter operator must be one of \"==\", \"!=\", \">\", \">=\", \"<\", \"<=\", \"in\", \"!in\", \"all\", \"any\", \"none\", \"has\", or \"!has\"" };
+Result<T> convert(const V& value) {
+    return Converter<T>()(value);
 }
 
 } // namespace conversion