64 lines
2.1 KiB
C++
64 lines
2.1 KiB
C++
// Copyright (C) 2021 The Qt Company Ltd.
|
|
// SPDX-License-Identifier: LicenseRef-Qt-Commercial
|
|
|
|
#include "qqmljsstoragegeneralizer_p.h"
|
|
|
|
QT_BEGIN_NAMESPACE
|
|
|
|
/*!
|
|
* \internal
|
|
* \class QQmlJSStorageGeneralizer
|
|
*
|
|
* The QQmlJSStorageGeneralizer is a compile pass that changes all type
|
|
* annotations and the function signature to use a generic storage type like
|
|
* QVariant or QObject*. This is necessary if we cannot rely on the original
|
|
* type to be immediately accessible, for example because we cannot include its
|
|
* header.
|
|
*
|
|
* QQmlJSStorageGeneralizer does not have to use the byte code at all but
|
|
* operates only on the annotations and the function description.
|
|
*/
|
|
|
|
QQmlJSCompilePass::InstructionAnnotations QQmlJSStorageGeneralizer::run(
|
|
InstructionAnnotations annotations, Function *function,
|
|
QQmlJS::DiagnosticMessage *error)
|
|
{
|
|
m_error = error;
|
|
|
|
if (QQmlJSScope::ConstPtr &returnType = function->returnType) {
|
|
if (QQmlJSScope::ConstPtr stored = m_typeResolver->genericType(
|
|
returnType, QQmlJSTypeResolver::ComponentIsGeneric::Yes)) {
|
|
returnType = stored;
|
|
} else {
|
|
setError(QStringLiteral("Cannot store the return type %1.")
|
|
.arg(returnType->internalName(), 0));
|
|
return InstructionAnnotations();
|
|
}
|
|
}
|
|
|
|
const auto transformRegister = [&](QQmlJSRegisterContent &content) {
|
|
if (const QQmlJSScope::ConstPtr &specific = content.storedType())
|
|
m_typeResolver->generalizeType(specific);
|
|
};
|
|
|
|
const auto transformRegisters
|
|
= [&](VirtualRegisters ®isters) {
|
|
for (auto j = registers.begin(), jEnd = registers.end(); j != jEnd; ++j)
|
|
transformRegister(j.value().content);
|
|
};
|
|
|
|
for (QQmlJSRegisterContent &argument : function->argumentTypes) {
|
|
Q_ASSERT(argument.isValid());
|
|
transformRegister(argument);
|
|
}
|
|
|
|
for (auto i = annotations.begin(), iEnd = annotations.end(); i != iEnd; ++i) {
|
|
transformRegister(i->second.changedRegister);
|
|
transformRegisters(i->second.typeConversions);
|
|
}
|
|
|
|
return annotations;
|
|
}
|
|
|
|
QT_END_NAMESPACE
|