Index: include/private/SkTFitsIn.h |
diff --git a/include/private/SkTFitsIn.h b/include/private/SkTFitsIn.h |
deleted file mode 100644 |
index 4802aff1eb72549c50c5d5268078b354ebb08b25..0000000000000000000000000000000000000000 |
--- a/include/private/SkTFitsIn.h |
+++ /dev/null |
@@ -1,227 +0,0 @@ |
-/* |
- * Copyright 2013 Google Inc. |
- * |
- * Use of this source code is governed by a BSD-style license that can be |
- * found in the LICENSE file. |
- */ |
- |
-#ifndef SkTFitsIn_DEFINED |
-#define SkTFitsIn_DEFINED |
- |
-#include "../private/SkTLogic.h" |
-#include <limits> |
-#include <type_traits> |
- |
-namespace sktfitsin { |
-namespace Private { |
- |
-/** SkTMux::type = (a && b) ? Both : (a) ? A : (b) ? B : Neither; */ |
-template <bool a, bool b, typename Both, typename A, typename B, typename Neither> |
-struct SkTMux { |
- using type = skstd::conditional_t<a, skstd::conditional_t<b, Both, A>, |
- skstd::conditional_t<b, B, Neither>>; |
-}; |
- |
-/** SkTHasMoreDigits = (digits(A) >= digits(B)) ? true_type : false_type. */ |
-template <typename A, typename B> struct SkTHasMoreDigits |
- : skstd::bool_constant<std::numeric_limits<A>::digits >= std::numeric_limits<B>::digits> |
-{ }; |
- |
-/** A high or low side predicate which is used when it is statically known |
- * that source values are in the range of the Destination. |
- */ |
-template <typename S> struct SkTOutOfRange_False { |
- using can_be_true = std::false_type; |
- using source_type = S; |
- static bool apply(S) { |
- return false; |
- } |
-}; |
- |
-/** A low side predicate which tests if the source value < Min(D). |
- * Assumes that Min(S) <= Min(D). |
- */ |
-template <typename D, typename S> struct SkTOutOfRange_LT_MinD { |
- using can_be_true = std::true_type; |
- using source_type = S; |
- static bool apply(S s) { |
- using precondition = SkTHasMoreDigits<S, D>; |
- static_assert(precondition::value, "minS > minD"); |
- |
- return s < static_cast<S>((std::numeric_limits<D>::min)()); |
- } |
-}; |
- |
-/** A low side predicate which tests if the source value is less than 0. */ |
-template <typename D, typename S> struct SkTOutOfRange_LT_Zero { |
- using can_be_true = std::true_type; |
- using source_type = S; |
- static bool apply(S s) { |
- return s < static_cast<S>(0); |
- } |
-}; |
- |
-/** A high side predicate which tests if the source value > Max(D). |
- * Assumes that Max(S) >= Max(D). |
- */ |
-template <typename D, typename S> struct SkTOutOfRange_GT_MaxD { |
- using can_be_true = std::true_type; |
- using source_type = S; |
- static bool apply(S s) { |
- using precondition = SkTHasMoreDigits<S, D>; |
- static_assert(precondition::value, "maxS < maxD"); |
- |
- return s > static_cast<S>((std::numeric_limits<D>::max)()); |
- } |
-}; |
- |
-/** Composes two SkTOutOfRange predicates. |
- * First checks OutOfRange_Low then, if in range, OutOfRange_High. |
- */ |
-template <typename OutOfRange_Low, typename OutOfRange_High> struct SkTOutOfRange_Either { |
- using can_be_true = std::true_type; |
- using source_type = typename OutOfRange_Low::source_type; |
- static bool apply(source_type s) { |
- bool outOfRange = OutOfRange_Low::apply(s); |
- if (!outOfRange) { |
- outOfRange = OutOfRange_High::apply(s); |
- } |
- return outOfRange; |
- } |
-}; |
- |
-/** SkTCombineOutOfRange::type is an SkTOutOfRange_XXX type which is the |
- * optimal combination of OutOfRange_Low and OutOfRange_High. |
- */ |
-template <typename OutOfRange_Low, typename OutOfRange_High> struct SkTCombineOutOfRange { |
- using Both = SkTOutOfRange_Either<OutOfRange_Low, OutOfRange_High>; |
- using Neither = SkTOutOfRange_False<typename OutOfRange_Low::source_type>; |
- |
- using apply_low = typename OutOfRange_Low::can_be_true; |
- using apply_high = typename OutOfRange_High::can_be_true; |
- |
- using type = typename SkTMux<apply_low::value, apply_high::value, |
- Both, OutOfRange_Low, OutOfRange_High, Neither>::type; |
-}; |
- |
-template <typename D, typename S, typename OutOfRange_Low, typename OutOfRange_High> |
-struct SkTRangeChecker { |
- /** This is the method which is called at runtime to do the range check. */ |
- static bool OutOfRange(S s) { |
- using Combined = typename SkTCombineOutOfRange<OutOfRange_Low, OutOfRange_High>::type; |
- return Combined::apply(s); |
- } |
-}; |
- |
-/** SkTFitsIn_Unsigned2Unsiged::type is an SkTRangeChecker with an OutOfRange(S s) method |
- * the implementation of which is tailored for the source and destination types. |
- * Assumes that S and D are unsigned integer types. |
- */ |
-template <typename D, typename S> struct SkTFitsIn_Unsigned2Unsiged { |
- using OutOfRange_Low = SkTOutOfRange_False<S>; |
- using OutOfRange_High = SkTOutOfRange_GT_MaxD<D, S>; |
- |
- using HighSideOnlyCheck = SkTRangeChecker<D, S, OutOfRange_Low, OutOfRange_High>; |
- using NoCheck = SkTRangeChecker<D, S, SkTOutOfRange_False<S>, SkTOutOfRange_False<S>>; |
- |
- // If std::numeric_limits<D>::digits >= std::numeric_limits<S>::digits, nothing to check. |
- // This also protects the precondition of SkTOutOfRange_GT_MaxD. |
- using sourceFitsInDesitination = SkTHasMoreDigits<D, S>; |
- using type = skstd::conditional_t<sourceFitsInDesitination::value, NoCheck, HighSideOnlyCheck>; |
-}; |
- |
-/** SkTFitsIn_Signed2Signed::type is an SkTRangeChecker with an OutOfRange(S s) method |
- * the implementation of which is tailored for the source and destination types. |
- * Assumes that S and D are signed integer types. |
- */ |
-template <typename D, typename S> struct SkTFitsIn_Signed2Signed { |
- using OutOfRange_Low = SkTOutOfRange_LT_MinD<D, S>; |
- using OutOfRange_High = SkTOutOfRange_GT_MaxD<D, S>; |
- |
- using FullCheck = SkTRangeChecker<D, S, OutOfRange_Low, OutOfRange_High>; |
- using NoCheck = SkTRangeChecker<D, S, SkTOutOfRange_False<S>, SkTOutOfRange_False<S>>; |
- |
- // If std::numeric_limits<D>::digits >= std::numeric_limits<S>::digits, nothing to check. |
- // This also protects the precondition of SkTOutOfRange_LT_MinD and SkTOutOfRange_GT_MaxD. |
- using sourceFitsInDesitination = SkTHasMoreDigits<D, S>; |
- using type = skstd::conditional_t<sourceFitsInDesitination::value, NoCheck, FullCheck>; |
-}; |
- |
-/** SkTFitsIn_Signed2Unsigned::type is an SkTRangeChecker with an OutOfRange(S s) method |
- * the implementation of which is tailored for the source and destination types. |
- * Assumes that S is a signed integer type and D is an unsigned integer type. |
- */ |
-template <typename D, typename S> struct SkTFitsIn_Signed2Unsigned { |
- using OutOfRange_Low = SkTOutOfRange_LT_Zero<D, S>; |
- using OutOfRange_High = SkTOutOfRange_GT_MaxD<D, S>; |
- |
- using FullCheck = SkTRangeChecker<D, S, OutOfRange_Low, OutOfRange_High>; |
- using LowSideOnlyCheck = SkTRangeChecker<D, S, OutOfRange_Low, SkTOutOfRange_False<S>>; |
- |
- // If std::numeric_limits<D>::max() >= std::numeric_limits<S>::max(), |
- // no need to check the high side. (Until C++11, assume more digits means greater max.) |
- // This also protects the precondition of SkTOutOfRange_GT_MaxD. |
- using sourceCannotExceedDest = SkTHasMoreDigits<D, S>; |
- using type = skstd::conditional_t<sourceCannotExceedDest::value, LowSideOnlyCheck, FullCheck>; |
-}; |
- |
-/** SkTFitsIn_Unsigned2Signed::type is an SkTRangeChecker with an OutOfRange(S s) method |
- * the implementation of which is tailored for the source and destination types. |
- * Assumes that S is an usigned integer type and D is a signed integer type. |
- */ |
-template <typename D, typename S> struct SkTFitsIn_Unsigned2Signed { |
- using OutOfRange_Low = SkTOutOfRange_False<S>; |
- using OutOfRange_High = SkTOutOfRange_GT_MaxD<D, S>; |
- |
- using HighSideOnlyCheck = SkTRangeChecker<D, S, OutOfRange_Low, OutOfRange_High>; |
- using NoCheck = SkTRangeChecker<D, S, SkTOutOfRange_False<S>, SkTOutOfRange_False<S>>; |
- |
- // If std::numeric_limits<D>::max() >= std::numeric_limits<S>::max(), nothing to check. |
- // (Until C++11, assume more digits means greater max.) |
- // This also protects the precondition of SkTOutOfRange_GT_MaxD. |
- using sourceCannotExceedDest = SkTHasMoreDigits<D, S>; |
- using type = skstd::conditional_t<sourceCannotExceedDest::value, NoCheck, HighSideOnlyCheck>; |
-}; |
- |
-/** SkTFitsIn::type is an SkTRangeChecker with an OutOfRange(S s) method |
- * the implementation of which is tailored for the source and destination types. |
- * Assumes that S and D are integer types. |
- */ |
-template <typename D, typename S> struct SkTFitsIn { |
- // One of the following will be the 'selector' type. |
- using S2S = SkTFitsIn_Signed2Signed<D, S>; |
- using S2U = SkTFitsIn_Signed2Unsigned<D, S>; |
- using U2S = SkTFitsIn_Unsigned2Signed<D, S>; |
- using U2U = SkTFitsIn_Unsigned2Unsiged<D, S>; |
- |
- using S_is_signed = skstd::bool_constant<std::numeric_limits<S>::is_signed>; |
- using D_is_signed = skstd::bool_constant<std::numeric_limits<D>::is_signed>; |
- |
- using selector = typename SkTMux<S_is_signed::value, D_is_signed::value, |
- S2S, S2U, U2S, U2U>::type; |
- // This type is an SkTRangeChecker. |
- using type = typename selector::type; |
-}; |
- |
-template <typename T, bool = std::is_enum<T>::value> struct underlying_type { |
- using type = skstd::underlying_type_t<T>; |
-}; |
-template <typename T> struct underlying_type<T, false> { |
- using type = T; |
-}; |
- |
-} // namespace Private |
-} // namespace sktfitsin |
- |
-/** Returns true if the integer source value 's' will fit in the integer destination type 'D'. */ |
-template <typename D, typename S> inline bool SkTFitsIn(S s) { |
- static_assert(std::is_integral<S>::value || std::is_enum<S>::value, "S must be integral."); |
- static_assert(std::is_integral<D>::value || std::is_enum<D>::value, "D must be integral."); |
- |
- using RealS = typename sktfitsin::Private::underlying_type<S>::type; |
- using RealD = typename sktfitsin::Private::underlying_type<D>::type; |
- |
- return !sktfitsin::Private::SkTFitsIn<RealD, RealS>::type::OutOfRange(s); |
-} |
- |
-#endif |