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;
73 T *
const newNext = item->next;
76 before->next = newNext;
94 while (index > 0 && result) {
95 result = result->next;
183 template<
typename IdGenerator>
185 QV4::CompiledData::ParameterType *type,
const IdGenerator &idGenerator,
186 const QQmlJS::AST::Type *annotation)
188 using Flag = QV4::CompiledData::ParameterType::Flag;
191 return initType(type, QString(), idGenerator(QString()), Flag::NoFlag);
193 const QString typeId = annotation->typeId->toString();
194 const QString typeArgument =
195 annotation->typeArgument ? annotation->typeArgument->toString() : QString();
197 if (typeArgument.isEmpty())
198 return initType(type, typeId, idGenerator(typeId), Flag::NoFlag);
200 if (typeId == QLatin1String(
"list"))
201 return initType(type, typeArgument, idGenerator(typeArgument), Flag::List);
203 const QString annotationString = annotation->toString();
204 return initType(type, annotationString, idGenerator(annotationString), Flag::NoFlag);
210 static bool initType(
211 QV4::CompiledData::ParameterType *paramType,
const QString &typeName,
212 int typeNameIndex, QV4::CompiledData::ParameterType::Flag listFlag);
290 Q_DECLARE_TR_FUNCTIONS(Object)
292 quint32 inheritedTypeNameIndex;
342 void init(QQmlJS::MemoryPool *pool,
int typeNameIndex,
int idIndex,
const QV4::CompiledData::Location &location);
346 QString appendProperty(Property *prop,
const QString &propertyName,
bool isDefaultProperty,
const QQmlJS::SourceLocation &defaultToken, QQmlJS::SourceLocation *errorLocation);
347 QString appendAlias(Alias *prop,
const QString &aliasName,
bool isDefaultProperty,
const QQmlJS::SourceLocation &defaultToken, QQmlJS::SourceLocation *errorLocation);
366 bool hasFlag(QV4::CompiledData::Object::Flag flag)
const {
return flags & flag; }
371 friend struct ::QQmlIRLoader;
373 PoolList<Property> *properties;
374 PoolList<Alias> *aliases;
375 PoolList<Enum> *qmlEnums;
376 PoolList<Signal> *qmlSignals;
377 PoolList<Binding> *bindings;
378 PoolList<Function> *functions;
379 PoolList<InlineComponent> *inlineComponents;
380 PoolList<RequiredPropertyExtraData> *requiredPropertyExtraDatas;
389 ListPropertyAssignBehavior,
391 FunctionSignatureBehavior,
392 NativeMethodBehavior,
397 enum ListPropertyAssignBehaviorValue
404 enum ComponentBehaviorValue
410 enum FunctionSignatureBehaviorValue
416 enum NativeMethodBehaviorValue
422 enum ValueTypeBehaviorValue
428 Q_DECLARE_FLAGS(ValueTypeBehaviorValues, ValueTypeBehaviorValue);
433 ListPropertyAssignBehaviorValue listPropertyAssignBehavior;
434 ComponentBehaviorValue componentBehavior;
435 FunctionSignatureBehaviorValue functionSignatureBehavior;
436 NativeMethodBehaviorValue nativeMethodBehavior;
437 ValueTypeBehaviorValues::Int valueTypeBehavior;
438 uint translationContextIndex;
441 QV4::CompiledData::Location location;
447 Q_DISABLE_COPY_MOVE(Document)
449 Document(
const QString &fileName,
const QString &finalUrl,
bool debugMode);
462 return std::any_of(pragmas.constBegin(), pragmas.constEnd(), [](
const Pragma *pragma) {
463 return pragma->type == Pragma::Singleton;
467 int registerString(
const QString &str) {
return jsGenerator.registerString(str); }
476 QmlIR::Document *document;
477 QQmlJS::Engine *engine;
478 QV4::Compiler::JSUnitGenerator *jsGenerator;
481 ScriptDirectivesCollector(QmlIR::Document *doc);
483 void pragmaLibrary() override;
484 void importFile(
const QString &jsfile,
const QString &module,
int lineNumber,
int column) override;
485 void importModule(
const QString &uri,
const QString &version,
const QString &module,
int lineNumber,
int column) override;
488struct Q_QML_COMPILER_EXPORT
IRBuilder :
public QQmlJS::AST::Visitor
490 Q_DECLARE_TR_FUNCTIONS(QQmlCodeGenerator)
493 bool generateFromQml(
const QString &code,
const QString &url, Document *output);
495 using QQmlJS::AST::Visitor::visit;
496 using QQmlJS::AST::Visitor::endVisit;
498 bool visit(QQmlJS::AST::UiImport *ast) override;
499 bool visit(QQmlJS::AST::UiPragma *ast) override;
500 bool visit(QQmlJS::AST::UiProgram *) override;
501 bool visit(QQmlJS::AST::UiArrayBinding *ast) override;
502 bool visit(QQmlJS::AST::UiObjectBinding *ast) override;
503 bool visit(QQmlJS::AST::UiObjectDefinition *ast) override;
504 bool visit(QQmlJS::AST::UiInlineComponent *ast) override;
505 bool visit(QQmlJS::AST::UiEnumDeclaration *ast) override;
506 bool visit(QQmlJS::AST::UiPublicMember *ast) override;
507 bool visit(QQmlJS::AST::UiScriptBinding *ast) override;
508 bool visit(QQmlJS::AST::UiSourceElement *ast) override;
509 bool visit(QQmlJS::AST::UiRequired *ast) override;
511 void throwRecursionDepthError() override
513 recordError(QQmlJS::SourceLocation(),
514 QStringLiteral(
"Maximum statement or expression depth exceeded"));
517 void accept(QQmlJS::AST::Node *node);
520 bool defineQMLObject(
521 int *objectIndex, QQmlJS::AST::UiQualifiedId *qualifiedTypeNameId,
522 const QV4::CompiledData::Location &location,
523 QQmlJS::AST::UiObjectInitializer *initializer, Object *declarationsOverride =
nullptr);
525 bool defineQMLObject(
526 int *objectIndex, QQmlJS::AST::UiObjectDefinition *node,
527 Object *declarationsOverride =
nullptr)
529 const QQmlJS::SourceLocation location = node->qualifiedTypeNameId->firstSourceLocation();
530 return defineQMLObject(
531 objectIndex, node->qualifiedTypeNameId,
532 { location.startLine, location.startColumn }, node->initializer,
533 declarationsOverride);
536 static QString asString(QQmlJS::AST::UiQualifiedId *node);
537 QStringView asStringRef(QQmlJS::AST::Node *node);
538 static QTypeRevision extractVersion(QStringView string);
539 QStringView textRefAt(
const QQmlJS::SourceLocation &loc)
const
540 {
return QStringView(sourceCode).mid(loc.offset, loc.length); }
541 QStringView textRefAt(
const QQmlJS::SourceLocation &first,
542 const QQmlJS::SourceLocation &last)
const;
544 virtual void setBindingValue(QV4::CompiledData::Binding *binding,
545 QQmlJS::AST::Statement *statement, QQmlJS::AST::Node *parentNode);
546 void tryGeneratingTranslationBinding(QStringView base, QQmlJS::AST::ArgumentList *args, QV4::CompiledData::Binding *binding);
548 void appendBinding(QQmlJS::AST::UiQualifiedId *name, QQmlJS::AST::Statement *value,
549 QQmlJS::AST::Node *parentNode);
550 void appendBinding(QQmlJS::AST::UiQualifiedId *name,
int objectIndex,
bool isOnAssignment =
false);
551 void appendBinding(
const QQmlJS::SourceLocation &qualifiedNameLocation,
552 const QQmlJS::SourceLocation &nameLocation, quint32 propertyNameIndex,
553 QQmlJS::AST::Statement *value, QQmlJS::AST::Node *parentNode);
554 void appendBinding(
const QQmlJS::SourceLocation &qualifiedNameLocation,
555 const QQmlJS::SourceLocation &nameLocation, quint32 propertyNameIndex,
556 int objectIndex,
bool isListItem =
false,
bool isOnAssignment =
false);
558 bool appendAlias(QQmlJS::AST::UiPublicMember *node);
560 enum class IsQmlFunction { Yes, No };
561 virtual void registerFunctionExpr(QQmlJS::AST::FunctionExpression *fexp, IsQmlFunction);
563 Object *bindingsTarget()
const;
565 bool setId(
const QQmlJS::SourceLocation &idLocation, QQmlJS::AST::Statement *value);
569 bool resolveQualifiedId(QQmlJS::AST::UiQualifiedId **nameToResolve, Object **object,
bool onAssignment =
false);
571 void recordError(
const QQmlJS::SourceLocation &location,
const QString &description);
573 quint32 registerString(
const QString &str)
const {
return jsGenerator->registerString(str); }
574 template <
typename _Tp> _Tp *New() {
return pool->New<_Tp>(); }
576 QString stringAt(
int index)
const {
return jsGenerator->stringForIndex(index); }
578 static bool isStatementNodeScript(QQmlJS::AST::Statement *statement);
579 static bool isRedundantNullInitializerForPropertyDeclaration(Property *property, QQmlJS::AST::Statement *statement);
581 QString sanityCheckFunctionNames(Object *obj, QQmlJS::SourceLocation *errorLocation);
583 QList<QQmlJS::DiagnosticMessage> errors;
585 QSet<QString> inlineComponentsNames;
587 QList<
const QV4::CompiledData::Import *> _imports;
588 QList<Pragma*> _pragmas;
589 QList<Object*> _objects;
591 QV4::CompiledData::TypeReferenceMap _typeReferences;
594 Property *_propertyDeclaration;
596 QQmlJS::MemoryPool *pool;
598 QV4::Compiler::JSUnitGenerator *jsGenerator;
600 bool insideInlineComponent =
false;
605 void generate(Document &output,
const QV4::CompiledData::DependentTypesHasher &dependencyHasher = QV4::CompiledData::DependentTypesHasher());
608 typedef bool (Binding::*BindingFilter)()
const;
609 char *writeBindings(
char *bindingPtr,
const Object *o, BindingFilter filter)
const;
612struct Q_QML_COMPILER_EXPORT
JSCodeGen :
public QV4::Compiler::Codegen
614 JSCodeGen(Document *document,
615 QV4::Compiler::CodegenWarningInterface *iface =
616 QV4::Compiler::defaultCodegenWarningInterface(),
617 bool storeSourceLocations =
false);
621 generateJSCodeForFunctionsAndBindings(
const QList<CompiledFunctionOrExpression> &functions);
623 bool generateRuntimeFunctions(QmlIR::Object *object);
632
633
634
635
636
637
638
639
640
641
643 typename RegisterMainString,
644 typename RegisterCommentString,
645 typename RegisterContextString,
646 typename FinalizeTranslationData>
648 RegisterMainString registerMainString,
649 RegisterCommentString registerCommentString,
650 RegisterContextString registerContextString,
651 FinalizeTranslationData finalizeTranslationData
654 if (base == QLatin1String(
"qsTr")) {
655 QV4::CompiledData::TranslationData translationData;
656 translationData.number = -1;
659 translationData.commentIndex = 0;
662 translationData.contextIndex = QV4::CompiledData::TranslationData::NoContextIndex;
664 if (!args || !args->expression)
667 QStringView translation;
668 if (QQmlJS::AST::StringLiteral *arg1 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression)) {
669 translation = arg1->value;
674 translationData.stringIndex = registerMainString(translation);
679 QQmlJS::AST::StringLiteral *arg2 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression);
682 translationData.commentIndex = registerCommentString(arg2->value);
686 if (QQmlJS::AST::NumericLiteral *arg3 = QQmlJS::AST::cast<QQmlJS::AST::NumericLiteral *>(args->expression)) {
687 translationData.number =
int(arg3->value);
698 finalizeTranslationData(QV4::CompiledData::Binding::Type_Translation, translationData);
699 }
else if (base == QLatin1String(
"qsTrId")) {
700 QV4::CompiledData::TranslationData translationData;
701 translationData.number = -1;
704 translationData.commentIndex = 0;
707 translationData.contextIndex = QV4::CompiledData::TranslationData::NoContextIndex;
709 if (!args || !args->expression)
713 if (QQmlJS::AST::StringLiteral *arg1 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression)) {
718 translationData.stringIndex = registerMainString(id);
723 if (QQmlJS::AST::NumericLiteral *arg3 = QQmlJS::AST::cast<QQmlJS::AST::NumericLiteral *>(args->expression)) {
724 translationData.number =
int(arg3->value);
734 finalizeTranslationData(QV4::CompiledData::Binding::Type_TranslationById, translationData);
735 }
else if (base == QLatin1String(
"QT_TR_NOOP") || base == QLatin1String(
"QT_TRID_NOOP")) {
736 if (!args || !args->expression)
740 if (QQmlJS::AST::StringLiteral *arg1 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression)) {
748 if (args && base == QLatin1String(
"QT_TR_NOOP")) {
750 if (QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression))
759 QV4::CompiledData::TranslationData translationData;
760 translationData.number = registerMainString(str);
761 finalizeTranslationData(QV4::CompiledData::Binding::Type_String, translationData);
762 }
else if (base == QLatin1String(
"QT_TRANSLATE_NOOP")) {
763 if (!args || !args->expression)
767 if (!args || !args->expression)
771 if (QQmlJS::AST::StringLiteral *arg2 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression)) {
780 if (QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression))
789 QV4::CompiledData::TranslationData fakeTranslationData;
790 fakeTranslationData.number = registerMainString(str);
791 finalizeTranslationData(QV4::CompiledData::Binding::Type_String, fakeTranslationData);
792 }
else if (base == QLatin1String(
"qsTranslate")) {
793 QV4::CompiledData::TranslationData translationData;
794 translationData.number = -1;
795 translationData.commentIndex = 0;
797 if (!args || !args->next)
800 QStringView translation;
801 if (QQmlJS::AST::StringLiteral *arg1
802 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression)) {
803 translation = arg1->value;
808 translationData.contextIndex = registerContextString(translation);
813 QQmlJS::AST::StringLiteral *arg2
814 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression);
817 translationData.stringIndex = registerMainString(arg2->value);
821 QQmlJS::AST::StringLiteral *arg3
822 = QQmlJS::AST::cast<QQmlJS::AST::StringLiteral *>(args->expression);
825 translationData.commentIndex = registerCommentString(arg3->value);
829 if (QQmlJS::AST::NumericLiteral *arg4
830 = QQmlJS::AST::cast<QQmlJS::AST::NumericLiteral *>(args->expression)) {
831 translationData.number =
int(arg4->value);
842 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