Test GenTemplateInstance.

This commit is contained in:
Roberto Raggi
2009-10-26 15:00:56 +01:00
parent 72da848073
commit 1f61dbc380

View File

@@ -12,6 +12,8 @@
#include <Names.h>
#include <Literals.h>
#include <DiagnosticClient.h>
#include <GenTemplateInstance.h>
#include <Overview.h>
using namespace CPlusPlus;
@@ -101,6 +103,8 @@ private slots:
void const_1();
void const_2();
void pointer_to_function_1();
void template_instance_1();
};
void tst_Semantic::function_declaration_1()
@@ -389,5 +393,29 @@ void tst_Semantic::pointer_to_function_1()
QCOMPARE(funTy->scope(), decl->scope());
}
void tst_Semantic::template_instance_1()
{
QSharedPointer<Document> doc = document("void append(const _Tp &value);");
QCOMPARE(doc->errorCount, 0U);
QCOMPARE(doc->globals->symbolCount(), 1U);
Declaration *decl = doc->globals->symbolAt(0)->asDeclaration();
QVERIFY(decl);
GenTemplateInstance::Substitution subst;
Name *nameTp = control.nameId(control.findOrInsertIdentifier("_Tp"));
FullySpecifiedType intTy(control.integerType(IntegerType::Int));
subst.append(qMakePair(nameTp, intTy));
GenTemplateInstance inst(&control, subst);
FullySpecifiedType genTy = inst(decl->type());
Overview oo;
oo.setShowReturnTypes(true);
const QString genDecl = oo.prettyType(genTy);
QCOMPARE(genDecl, QString::fromLatin1("void(const int &)"));
}
QTEST_APPLESS_MAIN(tst_Semantic)
#include "tst_semantic.moc"