1 /* Copyright 2017-2018 Fizyr B.V. - https://fizyr.com 2 * 3 * Redistribution and use in source and binary forms, with or without modification, 4 * are permitted provided that the following conditions are met: 5 * 6 * 1. Redistributions of source code must retain the above copyright notice, 7 * this list of conditions and the following disclaimer. 8 * 9 * 2. Redistributions in binary form must reproduce the above copyright notice, 10 * this list of conditions and the following disclaimer in the documentation 11 * and/or other materials provided with the distribution. 12 * 13 * 3. Neither the name of the copyright holder nor the names of its contributors 14 * may be used to endorse or promote products derived from this software without 15 * specific prior written permission. 16 * 17 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND 18 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 19 * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 20 * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR 21 * ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES 22 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; 23 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON 24 * ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS 26 * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27 */ 28 29 #include "convert.hpp" 30 #include "result/error.hpp" 31 32 #include <catch2/catch.hpp> 33 34 namespace estd { 35 36 struct A { 37 int value; 38 }; 39 40 template<> 41 struct conversion<A, result<int, error>> { performestd::conversion42 static result<int, error> perform(A const & a) { 43 if (a.value >= 0) return a.value; 44 return error{std::errc::invalid_argument, "value is negative"}; 45 } 46 }; 47 48 template<> 49 struct conversion<A, result<int, int>> { performestd::conversion50 static result<int, int> perform(A const & a) { 51 if (a.value >= 0) return {in_place_valid, a.value}; 52 return {in_place_error, a.value}; 53 } 54 }; 55 56 template<> struct define_default_parse_error<A, int> { using type = error; }; 57 58 59 TEST_CASE("default_parse_error allows shorter parse<T>(...) invocation.", "[convert]") { 60 REQUIRE(parse<int>(A{1}) == 1); 61 REQUIRE(parse<int>(A{-1}) == std::errc::invalid_argument); 62 63 SECTION("but the long form still works") { 64 REQUIRE((parse<int, error>)(A{ 1}) == 1); 65 REQUIRE((parse<int, error>)(A{-1}) == std::errc::invalid_argument); 66 REQUIRE((parse<int, int>)(A{ 1}) == (result<int, int>(in_place_valid, 1))); 67 REQUIRE((parse<int, int>)(A{-1}) == (result<int, int>(in_place_error, -1))); 68 69 } 70 } 71 72 } 73