5#ifndef QQMLIRBUILDER_P_H
6#define QQMLIRBUILDER_P_H
19#include <private/qqmljsast_p.h>
20#include <private/qqmljsengine_p.h>
21#include <private/qv4compiler_p.h>
22#include <private/qv4compileddata_p.h>
23#include <private/qqmljsmemorypool_p.h>
24#include <private/qqmljsfixedpoolarray_p.h>
25#include <private/qv4codegen_p.h>
26#include <private/qv4compiler_p.h>
28#include <QCoreApplication>
32class QQmlPropertyCache;
34class QQmlTypeNameCache;
72 T *
const newNext = item->next;
75 before->next = newNext;
93 while (index > 0 && result) {
94 result = result->next;
182 template<
typename IdGenerator>
184 QV4::CompiledData::ParameterType *type,
const IdGenerator &idGenerator,
185 const QQmlJS::AST::Type *annotation)
187 using Flag = QV4::CompiledData::ParameterType::Flag;
190 return initType(type, QString(), idGenerator(QString()), Flag::NoFlag);
192 const QString typeId = annotation->typeId->toString();
193 const QString typeArgument =
194 annotation->typeArgument ? annotation->typeArgument->toString() : QString();
196 if (typeArgument.isEmpty())
197 return initType(type, typeId, idGenerator(typeId), Flag::NoFlag);
199 if (typeId == QLatin1String(
"list"))
200 return initType(type, typeArgument, idGenerator(typeArgument), Flag::List);
202 const QString annotationString = annotation->toString();
203 return initType(type, annotationString, idGenerator(annotationString), Flag::NoFlag);
209 static bool initType(
210 QV4::CompiledData::ParameterType *paramType,
const QString &typeName,
211 int typeNameIndex, QV4::CompiledData::ParameterType::Flag listFlag);
289 Q_DECLARE_TR_FUNCTIONS(Object)
291 quint32 inheritedTypeNameIndex;
341 void init(QQmlJS::MemoryPool *pool,
int typeNameIndex,
int idIndex,
const QV4::CompiledData::Location &location);
345 QString appendProperty(Property *prop,
const QString &propertyName,
bool isDefaultProperty,
const QQmlJS::SourceLocation &defaultToken, QQmlJS::SourceLocation *errorLocation);
346 QString appendAlias(Alias *prop,
const QString &aliasName,
bool isDefaultProperty,
const QQmlJS::SourceLocation &defaultToken, QQmlJS::SourceLocation *errorLocation);
365 bool hasFlag(QV4::CompiledData::Object::Flag flag)
const {
return flags & flag; }
370 friend struct ::QQmlIRLoader;
372 PoolList<Property> *properties;
373 PoolList<Alias> *aliases;
374 PoolList<Enum> *qmlEnums;
375 PoolList<Signal> *qmlSignals;
376 PoolList<Binding> *bindings;
377 PoolList<Function> *functions;
378 PoolList<InlineComponent> *inlineComponents;
379 PoolList<RequiredPropertyExtraData> *requiredPropertyExtraDatas;
388 ListPropertyAssignBehavior,
390 FunctionSignatureBehavior,
391 NativeMethodBehavior,
396 enum ListPropertyAssignBehaviorValue
403 enum ComponentBehaviorValue
409 enum FunctionSignatureBehaviorValue
415 enum NativeMethodBehaviorValue
421 enum ValueTypeBehaviorValue
427 Q_DECLARE_FLAGS(ValueTypeBehaviorValues, ValueTypeBehaviorValue);
432 ListPropertyAssignBehaviorValue listPropertyAssignBehavior;
433 ComponentBehaviorValue componentBehavior;
434 FunctionSignatureBehaviorValue functionSignatureBehavior;
435 NativeMethodBehaviorValue nativeMethodBehavior;
436 ValueTypeBehaviorValues::Int valueTypeBehavior;
437 uint translationContextIndex;
440 QV4::CompiledData::Location location;
446 Q_DISABLE_COPY_MOVE(Document)
448 Document(
const QString &fileName,
const QString &finalUrl,
bool debugMode);
461 return std::any_of(pragmas.constBegin(), pragmas.constEnd(), [](
const Pragma *pragma) {
462 return pragma->type == Pragma::Singleton;
466 int registerString(
const QString &str) {
return jsGenerator.registerString(str); }
475 QmlIR::Document *document;
476 QQmlJS::Engine *engine;
477 QV4::Compiler::JSUnitGenerator *jsGenerator;
480 ScriptDirectivesCollector(QmlIR::Document *doc);
482 void pragmaLibrary() override;
483 void importFile(
const QString &jsfile,
const QString &module,
int lineNumber,
int column) override;
484 void importModule(
const QString &uri,
const QString &version,
const QString &module,
int lineNumber,
int column) override;
487struct Q_QML_COMPILER_EXPORT
IRBuilder :
public QQmlJS::AST::Visitor
489 Q_DECLARE_TR_FUNCTIONS(QQmlCodeGenerator)
492 bool generateFromQml(
const QString &code,
const QString &url, Document *output);
494 using QQmlJS::AST::Visitor::visit;
495 using QQmlJS::AST::Visitor::endVisit;
497 bool visit(QQmlJS::AST::UiImport *ast) override;
498 bool visit(QQmlJS::AST::UiPragma *ast) override;
499 bool visit(QQmlJS::AST::UiProgram *) override;
500 bool visit(QQmlJS::AST::UiArrayBinding *ast) override;
501 bool visit(QQmlJS::AST::UiObjectBinding *ast) override;
502 bool visit(QQmlJS::AST::UiObjectDefinition *ast) override;
503 bool visit(QQmlJS::AST::UiInlineComponent *ast) override;
504 bool visit(QQmlJS::AST::UiEnumDeclaration *ast) override;
505 bool visit(QQmlJS::AST::UiPublicMember *ast) override;
506 bool visit(QQmlJS::AST::UiScriptBinding *ast) override;
507 bool visit(QQmlJS::AST::UiSourceElement *ast) override;
508 bool visit(QQmlJS::AST::UiRequired *ast) override;
510 void throwRecursionDepthError() override
512 recordError(QQmlJS::SourceLocation(),
513 QStringLiteral(
"Maximum statement or expression depth exceeded"));
516 void accept(QQmlJS::AST::Node *node);
519 bool defineQMLObject(
520 int *objectIndex, QQmlJS::AST::UiQualifiedId *qualifiedTypeNameId,
521 const QV4::CompiledData::Location &location,
522 QQmlJS::AST::UiObjectInitializer *initializer, Object *declarationsOverride =
nullptr);
524 bool defineQMLObject(
525 int *objectIndex, QQmlJS::AST::UiObjectDefinition *node,
526 Object *declarationsOverride =
nullptr)
528 const QQmlJS::SourceLocation location = node->qualifiedTypeNameId->firstSourceLocation();
529 return defineQMLObject(
530 objectIndex, node->qualifiedTypeNameId,
531 { location.startLine, location.startColumn }, node->initializer,
532 declarationsOverride);
535 static QString asString(QQmlJS::AST::UiQualifiedId *node);
536 QStringView asStringRef(QQmlJS::AST::Node *node);
537 static QTypeRevision extractVersion(QStringView string);
538 QStringView textRefAt(
const QQmlJS::SourceLocation &loc)
const
539 {
return QStringView(sourceCode).mid(loc.offset, loc.length); }
540 QStringView textRefAt(
const QQmlJS::SourceLocation &first,
541 const QQmlJS::SourceLocation &last)
const;
543 virtual void setBindingValue(QV4::CompiledData::Binding *binding,
544 QQmlJS::AST::Statement *statement, QQmlJS::AST::Node *parentNode);
545 void tryGeneratingTranslationBinding(QStringView base, QQmlJS::AST::ArgumentList *args, QV4::CompiledData::Binding *binding);
547 void appendBinding(QQmlJS::AST::UiQualifiedId *name, QQmlJS::AST::Statement *value,
548 QQmlJS::AST::Node *parentNode);
549 void appendBinding(QQmlJS::AST::UiQualifiedId *name,
int objectIndex,
bool isOnAssignment =
false);
550 void appendBinding(
const QQmlJS::SourceLocation &qualifiedNameLocation,
551 const QQmlJS::SourceLocation &nameLocation, quint32 propertyNameIndex,
552 QQmlJS::AST::Statement *value, QQmlJS::AST::Node *parentNode);
553 void appendBinding(
const QQmlJS::SourceLocation &qualifiedNameLocation,
554 const QQmlJS::SourceLocation &nameLocation, quint32 propertyNameIndex,
555 int objectIndex,
bool isListItem =
false,
bool isOnAssignment =
false);
557 bool appendAlias(QQmlJS::AST::UiPublicMember *node);
559 enum class IsQmlFunction { Yes, No };
560 virtual void registerFunctionExpr(QQmlJS::AST::FunctionExpression *fexp, IsQmlFunction);
562 Object *bindingsTarget()
const;
564 bool setId(
const QQmlJS::SourceLocation &idLocation, QQmlJS::AST::Statement *value);
568 bool resolveQualifiedId(QQmlJS::AST::UiQualifiedId **nameToResolve, Object **object,
bool onAssignment =
false);
570 void recordError(
const QQmlJS::SourceLocation &location,
const QString &description);
572 quint32 registerString(
const QString &str)
const {
return jsGenerator->registerString(str); }
573 template <
typename _Tp> _Tp *New() {
return pool->New<_Tp>(); }
575 QString stringAt(
int index)
const {
return jsGenerator->stringForIndex(index); }
577 static bool isStatementNodeScript(QQmlJS::AST::Statement *statement);
578 static bool isRedundantNullInitializerForPropertyDeclaration(Property *property, QQmlJS::AST::Statement *statement);
580 QString sanityCheckFunctionNames(Object *obj, QQmlJS::SourceLocation *errorLocation);
582 QList<QQmlJS::DiagnosticMessage> errors;
584 QSet<QString> inlineComponentsNames;
586 QList<
const QV4::CompiledData::Import *> _imports;
587 QList<Pragma*> _pragmas;
588 QList<Object*> _objects;
590 QV4::CompiledData::TypeReferenceMap _typeReferences;
593 Property *_propertyDeclaration;
595 QQmlJS::MemoryPool *pool;
597 QV4::Compiler::JSUnitGenerator *jsGenerator;
599 bool insideInlineComponent =
false;
604 void generate(Document &output,
const QV4::CompiledData::DependentTypesHasher &dependencyHasher = QV4::CompiledData::DependentTypesHasher());
607 typedef bool (Binding::*BindingFilter)()
const;
608 char *writeBindings(
char *bindingPtr,
const Object *o, BindingFilter filter)
const;
611struct Q_QML_COMPILER_EXPORT
JSCodeGen :
public QV4::Compiler::Codegen
613 JSCodeGen(Document *document,
614 QV4::Compiler::CodegenWarningInterface *iface =
615 QV4::Compiler::defaultCodegenWarningInterface(),
616 bool storeSourceLocations =
false);
620 generateJSCodeForFunctionsAndBindings(
const QList<CompiledFunctionOrExpression> &functions);
622 bool generateRuntimeFunctions(QmlIR::Object *object);
631
632
633
634
635
636
637
638
639
640
642 typename RegisterMainString,
643 typename RegisterCommentString,
644 typename RegisterContextString,
645 typename FinalizeTranslationData>
647 RegisterMainString registerMainString,
648 RegisterCommentString registerCommentString,
649 RegisterContextString registerContextString,
650 FinalizeTranslationData finalizeTranslationData
653 if (base == QLatin1String(
"qsTr")) {
654 QV4::CompiledData::TranslationData translationData;
655 translationData.number = -1;
658 translationData.commentIndex = 0;
661 translationData.contextIndex = QV4::CompiledData::TranslationData::NoContextIndex;
663 if (!args || !args->expression)
666 QStringView translation;
667 if (QQmlJS::AST::StringLiteral *arg1 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression)) {
668 translation = arg1->value;
673 translationData.stringIndex = registerMainString(translation);
678 QQmlJS::AST::StringLiteral *arg2 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression);
681 translationData.commentIndex = registerCommentString(arg2->value);
685 if (QQmlJS::AST::NumericLiteral *arg3 = QQmlJS::AST::cast<QQmlJS::AST::NumericLiteral *>(args->expression)) {
686 translationData.number =
int(arg3->value);
697 finalizeTranslationData(QV4::CompiledData::Binding::Type_Translation, translationData);
698 }
else if (base == QLatin1String(
"qsTrId")) {
699 QV4::CompiledData::TranslationData translationData;
700 translationData.number = -1;
703 translationData.commentIndex = 0;
706 translationData.contextIndex = QV4::CompiledData::TranslationData::NoContextIndex;
708 if (!args || !args->expression)
712 if (QQmlJS::AST::StringLiteral *arg1 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression)) {
717 translationData.stringIndex = registerMainString(id);
722 if (QQmlJS::AST::NumericLiteral *arg3 = QQmlJS::AST::cast<QQmlJS::AST::NumericLiteral *>(args->expression)) {
723 translationData.number =
int(arg3->value);
733 finalizeTranslationData(QV4::CompiledData::Binding::Type_TranslationById, translationData);
734 }
else if (base == QLatin1String(
"QT_TR_NOOP") || base == QLatin1String(
"QT_TRID_NOOP")) {
735 if (!args || !args->expression)
739 if (QQmlJS::AST::StringLiteral *arg1 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression)) {
747 if (args && base == QLatin1String(
"QT_TR_NOOP")) {
749 if (QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression))
758 QV4::CompiledData::TranslationData translationData;
759 translationData.number = registerMainString(str);
760 finalizeTranslationData(QV4::CompiledData::Binding::Type_String, translationData);
761 }
else if (base == QLatin1String(
"QT_TRANSLATE_NOOP")) {
762 if (!args || !args->expression)
766 if (!args || !args->expression)
770 if (QQmlJS::AST::StringLiteral *arg2 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression)) {
779 if (QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression))
788 QV4::CompiledData::TranslationData fakeTranslationData;
789 fakeTranslationData.number = registerMainString(str);
790 finalizeTranslationData(QV4::CompiledData::Binding::Type_String, fakeTranslationData);
791 }
else if (base == QLatin1String(
"qsTranslate")) {
792 QV4::CompiledData::TranslationData translationData;
793 translationData.number = -1;
794 translationData.commentIndex = 0;
796 if (!args || !args->next)
799 QStringView translation;
800 if (QQmlJS::AST::StringLiteral *arg1
801 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression)) {
802 translation = arg1->value;
807 translationData.contextIndex = registerContextString(translation);
812 QQmlJS::AST::StringLiteral *arg2
813 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression);
816 translationData.stringIndex = registerMainString(arg2->value);
820 QQmlJS::AST::StringLiteral *arg3
821 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression);
824 translationData.commentIndex = registerCommentString(arg3->value);
828 if (QQmlJS::AST::NumericLiteral *arg4
829 = QQmlJS::AST::cast<QQmlJS::AST::NumericLiteral *>(args->expression)) {
830 translationData.number =
int(arg4->value);
841 finalizeTranslationData(QV4::CompiledData::Binding::Type_Translation, translationData);
void tryGeneratingTranslationBindingBase(QStringView base, QQmlJS::AST::ArgumentList *args, RegisterMainString registerMainString, RegisterCommentString registerCommentString, RegisterContextString registerContextString, FinalizeTranslationData finalizeTranslationData)
static const quint32 emptyStringIndex
#define COMPILE_EXCEPTION(location, desc)
static QStringList astNodeToStringList(QQmlJS::AST::Node *node)
static bool run(IRBuilder *builder, QQmlJS::AST::UiPragma *node, Pragma *pragma)
CompiledFunctionOrExpression * next
QQmlRefPointer< QV4::CompiledData::CompilationUnit > javaScriptCompilationUnit
Object * objectAt(int i) const
QQmlJS::AST::UiProgram * program
QString stringAt(int index) const
QV4::Compiler::Module jsModule
QV4::Compiler::JSUnitGenerator jsGenerator
int registerString(const QString &str)
QList< Pragma * > pragmas
QList< const QV4::CompiledData::Import * > imports
QQmlJS::Engine jsParserEngine
QList< Object * > objects
QV4::CompiledData::Location location
PoolList< EnumValue >::Iterator enumValuesEnd() const
PoolList< EnumValue > * enumValues
int enumValueCount() const
PoolList< EnumValue >::Iterator enumValuesBegin() const
QV4::CompiledData::Location location
const Parameter * formalsBegin() const
QV4::CompiledData::ParameterType returnType
QQmlJS::FixedPoolArray< Parameter > formals
const Parameter * formalsEnd() const
bool hasFlag(QV4::CompiledData::Object::Flag flag) const
int indexOfDefaultPropertyOrAlias
PoolList< Property >::Iterator propertiesEnd() const
PoolList< Property >::Iterator propertiesBegin() const
int requiredPropertyExtraDataCount() const
QString appendEnum(Enum *enumeration)
PoolList< Signal >::Iterator signalsEnd() const
int inlineComponentCount() const
const quint32 * namedObjectsInComponentTable() const
void setFirstAlias(Alias *alias)
void appendRequiredPropertyExtraData(RequiredPropertyExtraData *extraData)
PoolList< RequiredPropertyExtraData >::Iterator requiredPropertyExtraDataEnd() const
PoolList< Binding >::Iterator bindingsEnd() const
PoolList< Function >::Iterator functionsBegin() const
void simplifyRequiredProperties()
QString appendBinding(Binding *b, bool isListBinding)
QV4::CompiledData::Location location
void appendInlineComponent(InlineComponent *ic)
bool defaultPropertyIsAlias
Alias * firstAlias() const
PoolList< Function >::Iterator functionsEnd() const
PoolList< Alias >::Iterator aliasesBegin() const
PoolList< RequiredPropertyExtraData >::Iterator requiredPropertyExtraDataBegin() const
PoolList< Enum >::Iterator enumsEnd() const
QString appendSignal(Signal *signal)
Binding * firstBinding() const
const Property * firstProperty() const
QString bindingAsString(Document *doc, int scriptIndex) const
const Enum * firstEnum() const
void init(QQmlJS::MemoryPool *pool, int typeNameIndex, int idIndex, const QV4::CompiledData::Location &location)
Object * declarationsOverride
QString appendAlias(Alias *prop, const QString &aliasName, bool isDefaultProperty, const QQmlJS::SourceLocation &defaultToken, QQmlJS::SourceLocation *errorLocation)
void sortAliasDependencies(const Document *doc, QList< QQmlJS::DiagnosticMessage > *errors)
int functionCount() const
QString appendProperty(Property *prop, const QString &propertyName, bool isDefaultProperty, const QQmlJS::SourceLocation &defaultToken, QQmlJS::SourceLocation *errorLocation)
PoolList< Enum >::Iterator enumsBegin() const
PoolList< CompiledFunctionOrExpression > * functionsAndExpressions
Binding * unlinkBinding(Binding *before, Binding *binding)
const RequiredPropertyExtraData * requiredPropertyExtraData() const
bool hasAliasAsDefaultProperty() const
PoolList< InlineComponent >::Iterator inlineComponentsEnd() const
PoolList< Signal >::Iterator signalsBegin() const
void appendFunction(QmlIR::Function *f)
const Function * firstFunction() const
PoolList< Binding >::Iterator bindingsBegin() const
PoolList< InlineComponent >::Iterator inlineComponentsBegin() const
const InlineComponent * inlineComponent() const
QQmlJS::FixedPoolArray< int > runtimeFunctionIndices
const Signal * firstSignal() const
QV4::CompiledData::Location locationOfIdProperty
QQmlJS::FixedPoolArray< quint32 > namedObjectsInComponent
Binding * findBinding(quint32 nameIndex) const
int propertyCount() const
int namedObjectsInComponentCount() const
PoolList< Alias >::Iterator aliasesEnd() const
static bool initType(QV4::CompiledData::ParameterType *type, const IdGenerator &idGenerator, const QQmlJS::AST::Type *annotation)
static QV4::CompiledData::CommonType stringToBuiltinType(const QString &typeName)
operator const T *() const
bool operator!=(const Iterator &rhs) const
const T * operator->() const
bool operator==(const Iterator &rhs) const
const T & operator*() const
T * unlink(T *before, T *item)
T * slowAt(int index) const
int parameterCount() const
PoolList< Parameter > * parameters
PoolList< Parameter >::Iterator parametersEnd() const
QStringList parameterStringList(const QV4::Compiler::StringTableGenerator *stringPool) const
PoolList< Parameter >::Iterator parametersBegin() const
QV4::CompiledData::Location location