1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
// Copyright (C) 2016 The Qt Company Ltd.
// SPDX-License-Identifier: LicenseRef-Qt-Commercial OR GPL-3.0-only WITH Qt-GPL-exception-1.0
#include "testreverseoperators.h"
#include <QtTest/QTest>
#include "testutil.h"
#include <abstractmetafunction.h>
#include <abstractmetalang.h>
#include <typesystem.h>
#include <clangparser/compilersupport.h>
#include <algorithm>
void TestReverseOperators::testReverseSum()
{
const char cppCode[] = "struct A {\n\
A& operator+(int);\n\
};\n\
A& operator+(int, const A&);";
const char xmlCode[] = "\n\
<typesystem package=\"Foo\">\n\
<primitive-type name='int' />\n\
<value-type name='A' />\n\
</typesystem>";
QScopedPointer<AbstractMetaBuilder> builder(TestUtil::parse(cppCode, xmlCode, false));
QVERIFY(!builder.isNull());
AbstractMetaClassList classes = builder->classes();
AbstractMetaClass* classA = AbstractMetaClass::findClass(classes, u"A");
QVERIFY(classA);
QCOMPARE(classA->functions().size(), 4);
AbstractMetaFunctionCPtr reverseOp;
AbstractMetaFunctionCPtr normalOp;
for (const auto &func : classA->functions()) {
if (func->name() == u"operator+") {
if (func->isReverseOperator())
reverseOp = func;
else
normalOp = func;
}
}
QVERIFY(!normalOp.isNull());
QVERIFY(!normalOp->isReverseOperator());
QCOMPARE(normalOp->arguments().size(), 1);
QVERIFY(!reverseOp.isNull());
QVERIFY(reverseOp->isReverseOperator());
QCOMPARE(reverseOp->arguments().size(), 1);
}
void TestReverseOperators::testReverseSumWithAmbiguity()
{
const char cppCode[] = "\n\
struct A { A operator+(int); };\n\
A operator+(int, const A&);\n\
struct B {};\n\
B operator+(const A&, const B&);\n\
B operator+(const B&, const A&);\n\
";
const char xmlCode[] = "\n\
<typesystem package=\"Foo\">\n\
<primitive-type name='int' />\n\
<value-type name='A' />\n\
<value-type name='B' />\n\
</typesystem>";
QScopedPointer<AbstractMetaBuilder> builder(TestUtil::parse(cppCode, xmlCode, false));
QVERIFY(!builder.isNull());
AbstractMetaClassList classes = builder->classes();
const AbstractMetaClass *classA = AbstractMetaClass::findClass(classes, u"A");
QVERIFY(classA);
QCOMPARE(classA->functions().size(), 4);
const AbstractMetaClass *classB = AbstractMetaClass::findClass(classes, u"B");
QVERIFY(classB);
QCOMPARE(classB->functions().size(), 4);
AbstractMetaFunctionCPtr reverseOp;
AbstractMetaFunctionCPtr normalOp;
for (const auto &func : classB->functions()) {
if (func->name() == u"operator+") {
if (func->isReverseOperator())
reverseOp = func;
else
normalOp = func;
}
}
QVERIFY(!normalOp.isNull());
QVERIFY(!normalOp->isReverseOperator());
QCOMPARE(normalOp->arguments().size(), 1);
QCOMPARE(normalOp->minimalSignature(), u"operator+(B,A)");
QVERIFY(!reverseOp.isNull());
QVERIFY(reverseOp->isReverseOperator());
QCOMPARE(reverseOp->arguments().size(), 1);
QCOMPARE(reverseOp->minimalSignature(), u"operator+(A,B)");
}
void TestReverseOperators::testSpaceshipOperator()
{
const char cppCode[] = R"(
class Test {
public:
explicit Test(int v);
int operator<=>(const Test &rhs) const = default;
};)";
const char xmlCode[] = R"(
<typesystem package="Foo">
<value-type name='Test'/>
</typesystem>)";
QScopedPointer<AbstractMetaBuilder> builder(TestUtil::parse(cppCode, xmlCode, false,
{}, {}, LanguageLevel::Cpp20));
QVERIFY(!builder.isNull());
AbstractMetaClassList classes = builder->classes();
QCOMPARE(classes.size(), 1);
const AbstractMetaClass *testClass = AbstractMetaClass::findClass(classes, u"Test");
QVERIFY(testClass);
const auto &functions = testClass->functions();
// 6 operators should be synthesized
const auto count = std::count_if(functions.cbegin(), functions.cend(),
[](const AbstractMetaFunctionCPtr &f) {
return f->isComparisonOperator();
});
QCOMPARE(count, 6);
}
QTEST_APPLESS_MAIN(TestReverseOperators)
|