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 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214
|
// Copyright (C) 2021 The Qt Company Ltd.
// SPDX-License-Identifier: LicenseRef-Qt-Commercial OR GPL-3.0-only WITH Qt-GPL-exception-1.0
#ifndef QMLTCCOMPILER_H
#define QMLTCCOMPILER_H
#include "qmltctyperesolver.h"
#include "qmltcvisitor.h"
#include "qmltcoutputir.h"
#include <QtCore/qcommandlineparser.h>
#include <QtCore/qcoreapplication.h>
#include <QtCore/qstring.h>
#include <QtCore/qhash.h>
#include <private/qqmljslogger_p.h>
#include <memory>
QT_BEGIN_NAMESPACE
struct QmltcCompilerInfo
{
QString outputCppFile;
QString outputHFile;
QString outputNamespace;
QString resourcePath;
QString exportMacro;
QString exportInclude;
};
class QmltcCompiler
{
using InlineComponentOrDocumentRootName = QQmlJSScope::InlineComponentOrDocumentRootName;
using InlineComponentNameType = QQmlJSScope::InlineComponentNameType;
using RootDocumentNameType = QQmlJSScope::RootDocumentNameType;
public:
QmltcCompiler(const QString &url, QmltcTypeResolver *resolver, QmltcVisitor *visitor,
QQmlJSLogger *logger);
void compile(const QmltcCompilerInfo &info);
~QmltcCompiler();
/*! \internal
Returns \c true if \a binding is considered complex by the compiler
(requires special code generation)
*/
static bool isComplexBinding(const QQmlJSMetaPropertyBinding &binding)
{
// TODO: translation bindings (once supported) are also complex?
return binding.bindingType() == QQmlSA::BindingType::Script;
}
private:
QString m_url; // QML input file url
QmltcTypeResolver *m_typeResolver = nullptr;
QmltcVisitor *m_visitor = nullptr;
QQmlJSLogger *m_logger = nullptr;
QmltcCompilerInfo m_info {}; // miscellaneous input/output information
QString m_urlMethodName;
uint m_currentVariableNumber = 0;
struct UniqueStringId;
struct QmltcTypeLocalData;
// per-type, per-property code generation cache of created symbols
QHash<UniqueStringId, QmltcTypeLocalData> m_uniques;
void compileUrlMethod(QmltcMethod &urlMethod, const QString &urlMethodName);
void
compileType(QmltcType ¤t, const QQmlJSScope::ConstPtr &type,
std::function<void(QmltcType &, const QQmlJSScope::ConstPtr &)> compileElements);
void compileTypeElements(QmltcType ¤t, const QQmlJSScope::ConstPtr &type);
void compileEnum(QmltcType ¤t, const QQmlJSMetaEnum &e);
void compileMethod(QmltcType ¤t, const QQmlJSMetaMethod &m,
const QQmlJSScope::ConstPtr &owner);
void compileProperty(QmltcType ¤t, const QQmlJSMetaProperty &p,
const QQmlJSScope::ConstPtr &owner);
void compileAlias(QmltcType ¤t, const QQmlJSMetaProperty &alias,
const QQmlJSScope::ConstPtr &owner);
void compileExtraListMethods(QmltcType ¤t, const QQmlJSMetaProperty &p);
QString uniqueVariableName(const QString &qmlName)
{
QString result = u"m_"_s + QString::number(++m_currentVariableNumber) + qmlName;
result.replace(u'.', u'_');
return result;
}
/*!
\internal
Helper structure that holds the information necessary for most bindings,
such as accessor name, which is used to reference the properties. For
example:
> (accessor.name)->(propertyName) results in "this->myProperty"
This data is also used in more advanced scenarios by attached and
grouped properties
*/
struct BindingAccessorData
{
QQmlJSScope::ConstPtr scope; // usually the current type
QString name = QStringLiteral("this");
QString propertyName = QString();
bool isValueType = false;
};
QStringList unprocessedListBindings;
QQmlJSMetaProperty unprocessedListProperty;
void processLastListBindings(QmltcType ¤t, const QQmlJSScope::ConstPtr &type,
const BindingAccessorData &accessor);
void compileBinding(QmltcType ¤t, QList<QQmlJSMetaPropertyBinding>::iterator bindingStart,
QList<QQmlJSMetaPropertyBinding>::iterator bindingEnd,
const QQmlJSScope::ConstPtr &type, const BindingAccessorData &accessor);
void compileBindingByType(QmltcType ¤t, const QQmlJSMetaPropertyBinding &binding,
const QQmlJSScope::ConstPtr &type,
const BindingAccessorData &accessor);
void compileObjectBinding(QmltcType ¤t, const QQmlJSMetaPropertyBinding &binding,
const QQmlJSScope::ConstPtr &type,
const BindingAccessorData &accessor);
void compileValueSourceOrInterceptorBinding(QmltcType ¤t,
const QQmlJSMetaPropertyBinding &binding,
const QQmlJSScope::ConstPtr &type,
const BindingAccessorData &accessor);
void compileAttachedPropertyBinding(QmltcType ¤t,
const QQmlJSMetaPropertyBinding &binding,
const QQmlJSScope::ConstPtr &type,
const BindingAccessorData &accessor);
void compileGroupPropertyBinding(QmltcType ¤t, const QQmlJSMetaPropertyBinding &binding,
const QQmlJSScope::ConstPtr &type,
const BindingAccessorData &accessor);
void compileTranslationBinding(QmltcType ¤t, const QQmlJSMetaPropertyBinding &binding,
const QQmlJSScope::ConstPtr &type,
const BindingAccessorData &accessor);
// special case (for simplicity)
void compileScriptBinding(QmltcType ¤t, const QQmlJSMetaPropertyBinding &binding,
const QString &bindingSymbolName, const QQmlJSScope::ConstPtr &type,
const QString &propertyName,
const QQmlJSScope::ConstPtr &propertyType,
const BindingAccessorData &accessor);
/*!
\internal
Helper structure that acts as a key in a hash-table of
QmltcType-specific data (such as local variable names). Using a
hash-table allows to avoid creating the same variables multiple times
during binding compilation, which leads to better code generation and
faster object creation. This is really something that the QML optimizer
should do, but we have only this home-grown alternative at the moment
*/
struct UniqueStringId
{
QString unique;
UniqueStringId(const QmltcType &context, const QString &property)
: unique(context.cppType + u"_" + property) // this is unique enough
{
Q_ASSERT(!context.cppType.isEmpty());
Q_ASSERT(!property.isEmpty());
}
friend bool operator==(const UniqueStringId &x, const UniqueStringId &y)
{
return x.unique == y.unique;
}
friend bool operator!=(const UniqueStringId &x, const UniqueStringId &y)
{
return !(x == y);
}
friend size_t qHash(const UniqueStringId &x, size_t seed = 0)
{
return qHash(x.unique, seed);
}
};
struct QmltcTypeLocalData
{
// empty QString() means that the local data is not present (yet)
QString qmlListVariableName;
QString onAssignmentObjectName;
QString attachedVariableName;
};
QHash<QString, qsizetype> m_symbols;
QString newSymbol(const QString &base);
bool hasErrors() const { return m_logger->hasErrors(); }
void recordError(const QQmlJS::SourceLocation &location, const QString &message,
QQmlJS::LoggerWarningId id = qmlCompiler)
{
// pretty much any compiler error is a critical error (we cannot
// generate code - compilation fails)
m_logger->log(message, id, location);
}
void recordError(const QV4::CompiledData::Location &location, const QString &message,
QQmlJS::LoggerWarningId id = qmlCompiler)
{
recordError(QQmlJS::SourceLocation { 0, 0, location.line(), location.column() }, message,
id);
}
};
QT_END_NAMESPACE
#endif // QMLTCCOMPILER_H
|