blob: d29bcaf06169c34668464c3ebd3aafb7d20daf9d [file] [log] [blame]
#!/usr/bin/env python3
# Copyright 2016 Google Inc. All Rights Reserved.
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS-IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
from fruit_test_common import *
COMMON_DEFINITIONS = '''
#include "test_common.h"
struct X;
struct Annotation1 {};
using XAnnot1 = fruit::Annotated<Annotation1, X>;
'''
def test_success():
source = '''
struct X {
int n;
X(int n) : n(n) {}
};
fruit::Component<X> getParentComponent() {
return fruit::createComponent()
.registerProvider([]() { return X(5); });
}
fruit::Component<X> getComponent() {
return fruit::createComponent()
.install(getParentComponent);
}
int main() {
fruit::Injector<X> injector(getComponent());
X x = injector.get<X>();
Assert(x.n == 5);
}
'''
expect_success(COMMON_DEFINITIONS, source)
def test_success_old_style():
source = '''
struct X {
int n;
X(int n) : n(n) {}
};
fruit::Component<X> getParentComponent() {
return fruit::createComponent()
.registerProvider([]() { return X(5); });
}
fruit::Component<X> getComponent() {
return fruit::createComponent()
.install(getParentComponent());
}
int main() {
fruit::Injector<X> injector(getComponent());
X x = injector.get<X>();
Assert(x.n == 5);
}
'''
expect_success(COMMON_DEFINITIONS, source, ignore_deprecation_warnings=True)
@pytest.mark.skipif(
CXX_COMPILER_NAME == 'GNU' and CXX_COMPILER_VERSION.startswith('4.8'),
reason = 'This compiles successfully in GCC 4.8.x, the deprecation warning is ignored.')
def test_old_style_deprecation_error():
source = '''
struct X {
int n;
X(int n) : n(n) {}
};
fruit::Component<X> getParentComponent() {
return fruit::createComponent()
.registerProvider([]() { return X(5); });
}
fruit::Component<X> getComponent() {
return fruit::createComponent()
.install(getParentComponent());
}
int main() {
fruit::Injector<X> injector(getComponent());
X x = injector.get<X>();
Assert(x.n == 5);
}
'''
expect_generic_compile_error('deprecation|deprecated', COMMON_DEFINITIONS, source)
def test_with_requirements_success():
source = '''
struct X {
int n;
X(int n) : n(n) {}
};
struct Y {
X x;
Y(X x): x(x) {}
};
fruit::Component<fruit::Required<X>, Y> getParentYComponent() {
return fruit::createComponent()
.registerProvider([](X x) { return Y(x); });
}
fruit::Component<fruit::Required<X>, Y> getYComponent() {
return fruit::createComponent()
.install(getParentYComponent);
}
fruit::Component<Y> getComponent() {
return fruit::createComponent()
.registerProvider([]() { return X(5); })
.install(getYComponent);
}
int main() {
fruit::Injector<Y> injector(getComponent());
Y y = injector.get<Y>();
Assert(y.x.n == 5);
}
'''
expect_success(COMMON_DEFINITIONS, source)
def test_with_requirements_success_old_style():
source = '''
struct X {
int n;
X(int n) : n(n) {}
};
struct Y {
X x;
Y(X x): x(x) {}
};
fruit::Component<fruit::Required<X>, Y> getParentYComponent() {
return fruit::createComponent()
.registerProvider([](X x) { return Y(x); });
}
fruit::Component<fruit::Required<X>, Y> getYComponent() {
return fruit::createComponent()
.install(getParentYComponent());
}
fruit::Component<Y> getComponent() {
return fruit::createComponent()
.registerProvider([]() { return X(5); })
.install(getYComponent());
}
int main() {
fruit::Injector<Y> injector(getComponent());
Y y = injector.get<Y>();
Assert(y.x.n == 5);
}
'''
expect_success(COMMON_DEFINITIONS, source, ignore_deprecation_warnings=True)
def test_with_requirements_not_specified_in_child_component_error():
source = '''
struct X {
int n;
X(int n) : n(n) {}
};
struct Y {
X x;
Y(X x): x(x) {}
};
fruit::Component<fruit::Required<X>, Y> getParentYComponent() {
return fruit::createComponent()
.registerProvider([](X x) { return Y(x); });
}
// We intentionally don't have fruit::Required<X> here, we want to test that this results in an error.
fruit::Component<Y> getYComponent() {
return fruit::createComponent()
.install(getParentYComponent);
}
'''
expect_compile_error(
'NoBindingFoundError<X>',
'No explicit binding nor C::Inject definition was found for T',
COMMON_DEFINITIONS,
source)
def test_with_requirements_not_specified_in_child_component_error_old_style():
source = '''
struct X {
int n;
X(int n) : n(n) {}
};
struct Y {
X x;
Y(X x): x(x) {}
};
fruit::Component<fruit::Required<X>, Y> getParentYComponent() {
return fruit::createComponent()
.registerProvider([](X x) { return Y(x); });
}
// We intentionally don't have fruit::Required<X> here, we want to test that this results in an error.
fruit::Component<Y> getYComponent() {
return fruit::createComponent()
.install(getParentYComponent());
}
'''
expect_compile_error(
'NoBindingFoundError<X>',
'No explicit binding nor C::Inject definition was found for T',
COMMON_DEFINITIONS,
source,
ignore_deprecation_warnings=True)
def test_install_with_args_success():
source = '''
struct X {
int n;
X(int n) : n(n) {}
};
struct Arg {
Arg() = default;
Arg(const Arg&) = default;
Arg(Arg&&) = default;
Arg& operator=(const Arg&) = default;
Arg& operator=(Arg&&) = default;
};
bool operator==(const Arg&, const Arg&) {
return true;
}
namespace std {
template <>
struct hash<Arg> {
size_t operator()(const Arg&) {
return 0;
}
};
}
fruit::Component<X> getParentComponent(int, std::string, Arg) {
return fruit::createComponent()
.registerProvider([]() { return X(5); });
}
fruit::Component<X> getComponent() {
return fruit::createComponent()
.install(getParentComponent, 5, std::string("Hello"), Arg{});
}
int main() {
fruit::Injector<X> injector(getComponent());
X x = injector.get<X>();
Assert(x.n == 5);
}
'''
expect_success(COMMON_DEFINITIONS, source)
def test_install_with_args_error_not_move_constructible():
source = '''
struct Arg {
Arg() = default;
Arg(const Arg&) = default;
Arg(Arg&&) = delete;
Arg& operator=(const Arg&) = default;
Arg& operator=(Arg&&) = default;
};
bool operator==(const Arg&, const Arg&);
namespace std {
template <>
struct hash<Arg> {
size_t operator()(const Arg&);
};
}
fruit::Component<X> getParentComponent(int, std::string, Arg);
fruit::Component<X> getComponent() {
return fruit::createComponent()
.install(getParentComponent, 5, std::string("Hello"), Arg{});
}
'''
expect_generic_compile_error(
'error: use of deleted function .Arg::Arg\(Arg&&\).'
+ '|error: call to deleted constructor of ..*. \(aka .Arg.\)'
+ '|error C2280: .Arg::Arg\(Arg &&\).: attempting to reference a deleted function',
COMMON_DEFINITIONS,
source)
def test_install_with_args_error_not_copy_constructible():
source = '''
struct X {
int n;
X(int n) : n(n) {}
};
struct Arg {
Arg() = default;
Arg(const Arg&) = delete;
Arg(Arg&&) = default;
Arg& operator=(const Arg&) = default;
Arg& operator=(Arg&&) = default;
};
bool operator==(const Arg&, const Arg&);
namespace std {
template <>
struct hash<Arg> {
size_t operator()(const Arg&);
};
}
fruit::Component<X> getParentComponent(int, std::string, Arg);
fruit::Component<X> getComponent() {
return fruit::createComponent()
.install(getParentComponent, 5, std::string("Hello"), Arg{});
}
'''
expect_generic_compile_error(
'error: use of deleted function .Arg::Arg\(const Arg&\).'
+ '|error: call to deleted constructor of .Arg.'
+ '|error C2280: .std::tuple<int,std::string,Arg>::tuple\(const std::tuple<int,std::string,Arg> &\).: attempting to reference a deleted function',
COMMON_DEFINITIONS,
source)
def test_install_with_args_error_not_move_assignable():
source = '''
struct Arg {
Arg() = default;
Arg(const Arg&) = default;
Arg(Arg&&) = default;
Arg& operator=(const Arg&) = default;
Arg& operator=(Arg&&) = delete;
};
bool operator==(const Arg&, const Arg&);
namespace std {
template <>
struct hash<Arg> {
size_t operator()(const Arg&);
};
}
fruit::Component<X> getParentComponent(int, std::string, Arg);
fruit::Component<X> getComponent() {
return fruit::createComponent()
.install(getParentComponent, 5, std::string("Hello"), Arg{});
}
'''
expect_generic_compile_error(
'error: use of deleted function .Arg& Arg::operator=\(Arg&&\).'
+ '|error: overload resolution selected deleted operator .=.'
+ '|error C2280: .Arg &Arg::operator =\(Arg &&\).: attempting to reference a deleted function',
COMMON_DEFINITIONS,
source)
def test_install_with_args_error_not_copy_assignable():
source = '''
struct X {
int n;
X(int n) : n(n) {}
};
struct Arg {
Arg() = default;
Arg(const Arg&) = default;
Arg(Arg&&) = default;
Arg& operator=(const Arg&) = delete;
Arg& operator=(Arg&&) = default;
};
bool operator==(const Arg&, const Arg&);
namespace std {
template <>
struct hash<Arg> {
size_t operator()(const Arg&);
};
}
fruit::Component<X> getParentComponent(int, std::string, Arg);
fruit::Component<X> getComponent() {
return fruit::createComponent()
.install(getParentComponent, 5, std::string("Hello"), Arg{});
}
'''
expect_generic_compile_error(
'error: use of deleted function .Arg& Arg::operator=\(const Arg&\).'
+ '|error: overload resolution selected deleted operator .=.'
+ '|error C2280: .Arg &Arg::operator =\(const Arg &\).: attempting to reference a deleted function',
COMMON_DEFINITIONS,
source)
def test_install_with_args_error_not_equality_comparable():
source = '''
struct X {
int n;
X(int n) : n(n) {}
};
struct Arg {
Arg() = default;
Arg(const Arg&) = default;
Arg(Arg&&) = default;
Arg& operator=(const Arg&) = default;
Arg& operator=(Arg&&) = default;
};
namespace std {
template <>
struct hash<Arg> {
size_t operator()(const Arg&);
};
}
fruit::Component<X> getParentComponent(int, std::string, Arg);
fruit::Component<X> getComponent() {
return fruit::createComponent()
.install(getParentComponent, 5, std::string("Hello"), Arg{});
}
'''
expect_generic_compile_error(
'error: no match for .operator==. \(operand types are .const Arg. and .const Arg.\)'
+ '|error: invalid operands to binary expression \(.const Arg. and .const Arg.\)'
+ '|error C2676: binary .==.: .const Arg. does not define this operator',
COMMON_DEFINITIONS,
source)
def test_install_with_args_error_not_hashable():
source = '''
struct Arg {
Arg() = default;
Arg(const Arg&) = default;
Arg(Arg&&) = default;
Arg& operator=(const Arg&) = default;
Arg& operator=(Arg&&) = default;
};
bool operator==(const Arg&, const Arg&);
fruit::Component<X> getParentComponent(int, std::string, Arg);
fruit::Component<X> getComponent() {
return fruit::createComponent()
.install(getParentComponent, 5, std::string("Hello"), Arg{});
}
'''
expect_generic_compile_error(
'error: use of deleted function .std::hash<Arg>::hash\(\).'
+ '|error: call to implicitly-deleted default constructor of .std::hash<Arg>.'
+ '|error: invalid use of incomplete type .struct std::hash<Arg>.'
+ '|error: implicit instantiation of undefined template .std::(__1::)?hash<Arg>.'
+ '|error C2338: The C\+\+ Standard doesn.t provide a hash for this type.',
COMMON_DEFINITIONS,
source)
if __name__== '__main__':
main(__file__)