1 /* 2 * Copyright 2014 Google Inc. All rights reserved. 3 * 4 * Licensed under the Apache License, Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing, software 11 * distributed under the License is distributed on an "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17 #ifndef FRUIT_INJECTION_DEBUG_ERRORS_H 18 #define FRUIT_INJECTION_DEBUG_ERRORS_H 19 20 #include <fruit/impl/injection_errors.h> 21 22 namespace fruit { 23 namespace impl { 24 namespace meta { 25 26 template <typename... MissingProvides> 27 struct ComponentDoesNotEntailDueToProvidesError { 28 static_assert(AlwaysFalse<MissingProvides...>::value, ""); 29 }; 30 31 struct ComponentDoesNotEntailDueToProvidesErrorTag { 32 template <typename... MissingProvides> 33 using apply = ComponentDoesNotEntailDueToProvidesError<MissingProvides...>; 34 }; 35 36 template <typename... MissingInterfaceBindings> 37 struct ComponentDoesNotEntailDueToInterfaceBindingsError { 38 static_assert(AlwaysFalse<MissingInterfaceBindings...>::value, ""); 39 }; 40 41 struct ComponentDoesNotEntailDueToInterfaceBindingsErrorTag { 42 template <typename... MissingInterfaceBindings> 43 using apply = ComponentDoesNotEntailDueToInterfaceBindingsError<MissingInterfaceBindings...>; 44 }; 45 46 template <typename... AdditionalRequirements> 47 struct ComponentDoesNotEntailDueToRequirementsError { 48 static_assert(AlwaysFalse<AdditionalRequirements...>::value, ""); 49 }; 50 51 struct ComponentDoesNotEntailDueToRequirementsErrorTag { 52 template <typename... AdditionalRequirements> 53 using apply = ComponentDoesNotEntailDueToProvidesError<AdditionalRequirements...>; 54 }; 55 56 template <typename Deps, typename CandidateEntailedDeps> 57 struct ComponentDoesNotEntailDueToIncompatibleDepsError { 58 static_assert(AlwaysFalse<Deps>::value, ""); 59 }; 60 61 struct ComponentDoesNotEntailDueToIncompatibleDepsErrorTag { 62 template <typename Deps, typename CandidateEntailedDeps> 63 using apply = ComponentDoesNotEntailDueToIncompatibleDepsError<Deps, CandidateEntailedDeps>; 64 }; 65 66 template <typename... RequirementsWithConstMismatch> 67 struct ComponentDoesNotEntailDueToDifferentConstnessOfRequirementsError { 68 static_assert(AlwaysFalse<RequirementsWithConstMismatch...>::value, ""); 69 }; 70 71 struct ComponentDoesNotEntailDueToDifferentConstnessOfRequirementsErrorTag { 72 template <typename... RequirementsWithConstMismatch> 73 using apply = ComponentDoesNotEntailDueToDifferentConstnessOfRequirementsError<RequirementsWithConstMismatch...>; 74 }; 75 76 template <typename... ProvidesWithConstMismatch> 77 struct ComponentDoesNotEntailDueToDifferentConstnessOfProvidesError { 78 static_assert(AlwaysFalse<ProvidesWithConstMismatch...>::value, ""); 79 }; 80 81 struct ComponentDoesNotEntailDueToDifferentConstnessOfProvidesErrorTag { 82 template <typename... ProvidesWithConstMismatch> 83 using apply = ComponentDoesNotEntailDueToDifferentConstnessOfProvidesError<ProvidesWithConstMismatch...>; 84 }; 85 86 template <typename ProofTh, typename ForestThs> 87 struct ProofNotEntailedByForestBecauseThNotFoundError { 88 static_assert(AlwaysFalse<ProofTh>::value, ""); 89 }; 90 91 struct ProofNotEntailedByForestBecauseThNotFoundErrorTag { 92 template <typename ProofTh, typename ForestThs> 93 using apply = ProofNotEntailedByForestBecauseThNotFoundError<ProofTh, ForestThs>; 94 }; 95 96 template <typename ForestHps, typename ProofHps, typename Difference> 97 struct ProofNotEntailedByForestBecauseHpsNotASubsetError { 98 static_assert(AlwaysFalse<ForestHps>::value, ""); 99 }; 100 101 struct ProofNotEntailedByForestBecauseHpsNotASubsetErrorTag { 102 template <typename ForestHps, typename ProofHps, typename Difference> 103 using apply = ProofNotEntailedByForestBecauseHpsNotASubsetError<ForestHps, ProofHps, Difference>; 104 }; 105 106 } // namespace meta 107 } // namespace impl 108 } // namespace fruit 109 110 #endif // FRUIT_INJECTION_DEBUG_ERRORS_H 111