Marco Poletti | f9b2c6f | 2016-10-08 18:49:04 +0100 | [diff] [blame] | 1 | #!/usr/bin/env python3 |
| 2 | # Copyright 2016 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. |
Marco Poletti | cb5c60f | 2017-04-09 09:51:17 +0100 | [diff] [blame] | 15 | import pytest |
Marco Poletti | f9b2c6f | 2016-10-08 18:49:04 +0100 | [diff] [blame] | 16 | |
| 17 | from fruit_test_common import * |
| 18 | |
Marco Poletti | 21111b0 | 2016-11-12 10:49:02 +0000 | [diff] [blame] | 19 | COMMON_DEFINITIONS = ''' |
Marco Poletti | f05259d | 2016-12-22 16:33:41 +0100 | [diff] [blame] | 20 | #include "test_common.h" |
Marco Poletti | 83b1ad8 | 2016-11-12 11:24:51 +0000 | [diff] [blame] | 21 | |
Marco Poletti | 5e64bc6 | 2016-11-19 19:46:09 +0000 | [diff] [blame] | 22 | struct X; |
| 23 | |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 24 | struct Annotation1 {}; |
Marco Poletti | 5e64bc6 | 2016-11-19 19:46:09 +0000 | [diff] [blame] | 25 | using XAnnot1 = fruit::Annotated<Annotation1, X>; |
| 26 | |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 27 | struct Annotation2 {}; |
Marco Poletti | 5e64bc6 | 2016-11-19 19:46:09 +0000 | [diff] [blame] | 28 | using XAnnot2 = fruit::Annotated<Annotation2, X>; |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 29 | ''' |
Marco Poletti | 21111b0 | 2016-11-12 10:49:02 +0000 | [diff] [blame] | 30 | |
Marco Poletti | cb5c60f | 2017-04-09 09:51:17 +0100 | [diff] [blame] | 31 | @pytest.mark.parametrize('XAnnot,X_ANNOT,YAnnot', [ |
Marco Poletti | ef4bc1f | 2016-11-19 17:49:14 +0000 | [diff] [blame] | 32 | ('X', 'X', 'Y'), |
Marco Poletti | cb5c60f | 2017-04-09 09:51:17 +0100 | [diff] [blame] | 33 | ('fruit::Annotated<Annotation1, X>', 'ANNOTATED(Annotation1, X)', 'fruit::Annotated<Annotation2, Y>'), |
| 34 | ]) |
Marco Poletti | ef4bc1f | 2016-11-19 17:49:14 +0000 | [diff] [blame] | 35 | def test_success_normalized_component_provides_unused(XAnnot, X_ANNOT, YAnnot): |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 36 | source = ''' |
| 37 | struct X {}; |
| 38 | |
| 39 | struct Y { |
| 40 | INJECT(Y(X_ANNOT)) {}; |
| 41 | }; |
| 42 | |
| 43 | fruit::Component<fruit::Required<XAnnot>, YAnnot> getComponent() { |
| 44 | return fruit::createComponent(); |
| 45 | } |
| 46 | |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 47 | fruit::Component<XAnnot> getXComponent(X* x) { |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 48 | return fruit::createComponent() |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 49 | .bindInstance<XAnnot, X>(*x); |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 50 | } |
| 51 | |
| 52 | int main() { |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 53 | fruit::NormalizedComponent<fruit::Required<XAnnot>, YAnnot> normalizedComponent(getComponent); |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 54 | |
| 55 | X x{}; |
| 56 | |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 57 | fruit::Injector<XAnnot> injector(normalizedComponent, getXComponent, &x); |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 58 | injector.get<XAnnot>(); |
| 59 | } |
| 60 | ''' |
Marco Poletti | e7ac9ba | 2016-11-19 11:33:57 +0000 | [diff] [blame] | 61 | expect_success( |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 62 | COMMON_DEFINITIONS, |
| 63 | source, |
| 64 | locals()) |
Marco Poletti | ef4bc1f | 2016-11-19 17:49:14 +0000 | [diff] [blame] | 65 | |
Marco Poletti | cb5c60f | 2017-04-09 09:51:17 +0100 | [diff] [blame] | 66 | @pytest.mark.parametrize('XAnnot,X_ANNOT,YAnnot', [ |
Marco Poletti | ef4bc1f | 2016-11-19 17:49:14 +0000 | [diff] [blame] | 67 | ('X', 'X', 'Y'), |
Marco Poletti | cb5c60f | 2017-04-09 09:51:17 +0100 | [diff] [blame] | 68 | ('fruit::Annotated<Annotation1, X>', 'ANNOTATED(Annotation1, X)', 'fruit::Annotated<Annotation2, Y>'), |
| 69 | ]) |
Marco Poletti | ef4bc1f | 2016-11-19 17:49:14 +0000 | [diff] [blame] | 70 | def test_success(XAnnot, X_ANNOT, YAnnot): |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 71 | source = ''' |
| 72 | struct X {}; |
| 73 | |
| 74 | struct Y { |
| 75 | INJECT(Y(X_ANNOT)) {}; |
| 76 | }; |
| 77 | |
| 78 | fruit::Component<fruit::Required<XAnnot>, YAnnot> getComponent() { |
| 79 | return fruit::createComponent(); |
| 80 | } |
| 81 | |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 82 | fruit::Component<XAnnot> getXComponent(X* x) { |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 83 | return fruit::createComponent() |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 84 | .bindInstance<XAnnot, X>(*x); |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 85 | } |
| 86 | |
| 87 | int main() { |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 88 | fruit::NormalizedComponent<fruit::Required<XAnnot>, YAnnot> normalizedComponent(getComponent); |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 89 | |
| 90 | X x{}; |
| 91 | |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 92 | fruit::Injector<YAnnot> injector(normalizedComponent, getXComponent, &x); |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 93 | injector.get<YAnnot>(); |
| 94 | } |
| 95 | ''' |
Marco Poletti | f9b2c6f | 2016-10-08 18:49:04 +0100 | [diff] [blame] | 96 | expect_success( |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 97 | COMMON_DEFINITIONS, |
| 98 | source, |
| 99 | locals()) |
Marco Poletti | f9b2c6f | 2016-10-08 18:49:04 +0100 | [diff] [blame] | 100 | |
Marco Poletti | cb5c60f | 2017-04-09 09:51:17 +0100 | [diff] [blame] | 101 | @pytest.mark.parametrize('XAnnot,X_ANNOT,YAnnot', [ |
Marco Poletti | ef4bc1f | 2016-11-19 17:49:14 +0000 | [diff] [blame] | 102 | ('X', 'X', 'Y'), |
Marco Poletti | cb5c60f | 2017-04-09 09:51:17 +0100 | [diff] [blame] | 103 | ('fruit::Annotated<Annotation1, X>', 'ANNOTATED(Annotation1, X)', 'fruit::Annotated<Annotation2, Y>'), |
| 104 | ]) |
Marco Poletti | ef4bc1f | 2016-11-19 17:49:14 +0000 | [diff] [blame] | 105 | def test_success_inline_component(XAnnot, X_ANNOT, YAnnot): |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 106 | source = ''' |
| 107 | struct X {}; |
| 108 | |
| 109 | struct Y { |
| 110 | INJECT(Y(X_ANNOT)) {}; |
| 111 | }; |
| 112 | |
| 113 | fruit::Component<fruit::Required<XAnnot>, YAnnot> getComponent() { |
| 114 | return fruit::createComponent(); |
| 115 | } |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 116 | |
| 117 | fruit::Component<XAnnot> getAdditionalComponent(X* x) { |
| 118 | return fruit::createComponent() |
| 119 | .bindInstance<XAnnot, X>(*x); |
| 120 | } |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 121 | |
| 122 | int main() { |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 123 | fruit::NormalizedComponent<fruit::Required<XAnnot>, YAnnot> normalizedComponent(getComponent); |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 124 | |
| 125 | X x{}; |
| 126 | |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 127 | fruit::Injector<YAnnot> injector(normalizedComponent, getAdditionalComponent, &x); |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 128 | injector.get<YAnnot>(); |
| 129 | } |
| 130 | ''' |
Marco Poletti | e7ac9ba | 2016-11-19 11:33:57 +0000 | [diff] [blame] | 131 | expect_success( |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 132 | COMMON_DEFINITIONS, |
| 133 | source, |
| 134 | locals()) |
Marco Poletti | e7ac9ba | 2016-11-19 11:33:57 +0000 | [diff] [blame] | 135 | |
Marco Poletti | cb5c60f | 2017-04-09 09:51:17 +0100 | [diff] [blame] | 136 | @pytest.mark.parametrize('XAnnot', [ |
| 137 | 'X', |
| 138 | 'fruit::Annotated<Annotation1, X>', |
| 139 | ]) |
Marco Poletti | b95efcc | 2017-07-23 21:13:34 +0100 | [diff] [blame] | 140 | def test_injector_from_normalized_component_unsatisfied_requirements(XAnnot): |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 141 | source = ''' |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 142 | struct X {}; |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 143 | |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 144 | fruit::Component<fruit::Required<XAnnot>> getComponent(); |
| 145 | fruit::Component<> getEmptyComponent(); |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 146 | |
| 147 | int main() { |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 148 | fruit::NormalizedComponent<fruit::Required<XAnnot>> normalizedComponent(getComponent); |
| 149 | fruit::Injector<> injector(normalizedComponent, getEmptyComponent); |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 150 | } |
| 151 | ''' |
Marco Poletti | f9b2c6f | 2016-10-08 18:49:04 +0100 | [diff] [blame] | 152 | expect_compile_error( |
Marco Poletti | f296277 | 2016-11-19 18:49:46 +0000 | [diff] [blame] | 153 | 'UnsatisfiedRequirementsInNormalizedComponentError<XAnnot>', |
| 154 | 'The requirements in UnsatisfiedRequirements are required by the NormalizedComponent but are not provided by the Component', |
| 155 | COMMON_DEFINITIONS, |
| 156 | source, |
| 157 | locals()) |
Marco Poletti | f9b2c6f | 2016-10-08 18:49:04 +0100 | [diff] [blame] | 158 | |
Marco Poletti | c84c7de | 2017-07-30 12:09:06 +0100 | [diff] [blame] | 159 | @pytest.mark.parametrize('XAnnot,ConstXAnnot', [ |
| 160 | ('X', 'const X'), |
| 161 | ('fruit::Annotated<Annotation1, X>', 'fruit::Annotated<Annotation1, const X>'), |
| 162 | ]) |
| 163 | def test_normalized_component_providing_nonconst_from_component_providing_const_error(XAnnot, ConstXAnnot): |
| 164 | source = ''' |
Marco Poletti | 418e9bf | 2017-07-30 20:51:10 +0100 | [diff] [blame] | 165 | struct X {}; |
Marco Poletti | c84c7de | 2017-07-30 12:09:06 +0100 | [diff] [blame] | 166 | |
Marco Poletti | 418e9bf | 2017-07-30 20:51:10 +0100 | [diff] [blame] | 167 | fruit::Component<XAnnot> getComponent(); |
Marco Poletti | c84c7de | 2017-07-30 12:09:06 +0100 | [diff] [blame] | 168 | |
| 169 | int main() { |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 170 | fruit::NormalizedComponent<ConstXAnnot> normalizedComponent(getComponent); |
Marco Poletti | c84c7de | 2017-07-30 12:09:06 +0100 | [diff] [blame] | 171 | (void) normalizedComponent; |
| 172 | } |
| 173 | ''' |
| 174 | expect_generic_compile_error( |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 175 | 'no matching function for call to .fruit::NormalizedComponent<ConstXAnnot>::NormalizedComponent\(fruit::Component<XAnnot> \(&\)\(\)\).' |
| 176 | '|no matching constructor for initialization of .fruit::NormalizedComponent<ConstXAnnot>.' |
Marco Poletti | 6e774e6 | 2017-08-05 18:38:03 +0100 | [diff] [blame] | 177 | '|.fruit::NormalizedComponent<ConstXAnnot>::NormalizedComponent.: none of the 2 overloads could convert all the argument types', |
Marco Poletti | c84c7de | 2017-07-30 12:09:06 +0100 | [diff] [blame] | 178 | COMMON_DEFINITIONS, |
| 179 | source, |
| 180 | locals()) |
| 181 | |
| 182 | # TODO: we should probably return a more specific error here. |
| 183 | @pytest.mark.parametrize('XAnnot,YAnnot', [ |
| 184 | ('X', 'Y'), |
| 185 | ('fruit::Annotated<Annotation1, X>', 'fruit::Annotated<Annotation2, Y>'), |
| 186 | ]) |
| 187 | def test_injector_from_normalized_component_nonconst_requirements_provided_as_const_error(XAnnot, YAnnot): |
| 188 | source = ''' |
| 189 | struct X {}; |
| 190 | struct Y {}; |
Marco Poletti | 418e9bf | 2017-07-30 20:51:10 +0100 | [diff] [blame] | 191 | |
Marco Poletti | c84c7de | 2017-07-30 12:09:06 +0100 | [diff] [blame] | 192 | fruit::Component<const XAnnot> getXComponent(); |
Marco Poletti | 418e9bf | 2017-07-30 20:51:10 +0100 | [diff] [blame] | 193 | |
| 194 | void f(fruit::NormalizedComponent<fruit::Required<XAnnot>, YAnnot> normalizedComponent) { |
Marco Poletti | 6ae9208 | 2017-07-31 22:39:37 +0100 | [diff] [blame] | 195 | fruit::Injector<YAnnot> injector(normalizedComponent, getXComponent); |
Marco Poletti | c84c7de | 2017-07-30 12:09:06 +0100 | [diff] [blame] | 196 | } |
| 197 | ''' |
| 198 | expect_compile_error( |
| 199 | 'NonConstBindingRequiredButConstBindingProvidedError<XAnnot>', |
| 200 | 'The type T was provided as constant, however one of the constructors/providers/factories in this component', |
| 201 | COMMON_DEFINITIONS, |
| 202 | source, |
| 203 | locals()) |
| 204 | |
Marco Poletti | cb5c60f | 2017-04-09 09:51:17 +0100 | [diff] [blame] | 205 | if __name__== '__main__': |
Marco Poletti | 03352bb | 2017-04-15 10:44:49 +0200 | [diff] [blame] | 206 | main(__file__) |