Add QmlJS semantic checker.

* Add SemanticHighlighter to QmlJSTextEditor to update the semantic info
  in a background thread.
* Add QmlJS::Check to run semantic checks on qml and js documents.
* Add a check for incorrect property names.
* Fix hoverhandler to show tool tips from extra selections over help
  tooltips.

1 files changed, 140 insertions, 0 deletions

diff --git a/src/libs/qmljs/qmljscheck.cpp b/src/libs/qmljs/qmljscheck.cpp
new file mode 100644
index 00000000000..7a4108cf57b
--- /dev/null
+++ b/src/libs/qmljs/qmljscheck.cpp
@@ -0,0 +1,140 @@
+/**************************************************************************
+**
+** This file is part of Qt Creator
+**
+** Copyright (c) 2009 Nokia Corporation and/or its subsidiary(-ies).
+**
+** Contact: Nokia Corporation ([email protected])
+**
+** Commercial Usage
+**
+** Licensees holding valid Qt Commercial licenses may use this file in
+** accordance with the Qt Commercial License Agreement provided with the
+** Software or, alternatively, in accordance with the terms contained in
+** a written agreement between you and Nokia.
+**
+** GNU Lesser General Public License Usage
+**
+** Alternatively, this file may be used under the terms of the GNU Lesser
+** General Public License version 2.1 as published by the Free Software
+** Foundation and appearing in the file LICENSE.LGPL included in the
+** packaging of this file.  Please review the following information to
+** ensure the GNU Lesser General Public License version 2.1 requirements
+** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
+**
+** If you are unsure which license is appropriate for your use, please
+** contact the sales department at http://qt.nokia.com/contact.
+**
+**************************************************************************/
+
+#include "qmljscheck.h"
+#include "qmljsbind.h"
+#include "qmljsinterpreter.h"
+#include "parser/qmljsast_p.h"
+
+#include <QtCore/QDebug>
+
+using namespace QmlJS;
+using namespace QmlJS::AST;
+using namespace QmlJS::Interpreter;
+
+Check::Check(Document::Ptr doc, const Snapshot &snapshot)
+    : _doc(doc)
+    , _snapshot(snapshot)
+    , _context(&_engine)
+    , _link(&_context, doc, snapshot)
+{
+}
+
+Check::~Check()
+{
+}
+
+QList<DiagnosticMessage> Check::operator()()
+{
+    _messages.clear();
+    Node::accept(_doc->ast(), this);
+    return _messages;
+}
+
+bool Check::visit(UiProgram *ast)
+{
+    // build the initial scope chain
+    if (ast->members && ast->members->member)
+        _link.scopeChainAt(_doc, ast->members->member);
+
+    return true;
+}
+
+bool Check::visit(UiObjectDefinition *ast)
+{
+    const ObjectValue *oldScopeObject = _context.qmlScopeObject();
+    _context.setQmlScopeObject(_doc->bind()->findQmlObject(ast));
+
+    Node::accept(ast->initializer, this);
+
+    _context.setQmlScopeObject(oldScopeObject);
+    return false;
+}
+
+bool Check::visit(UiObjectBinding *ast)
+{
+    checkScopeObjectMember(ast->qualifiedId);
+
+    const ObjectValue *oldScopeObject = _context.qmlScopeObject();
+    _context.setQmlScopeObject(_doc->bind()->findQmlObject(ast));
+
+    Node::accept(ast->initializer, this);
+
+    _context.setQmlScopeObject(oldScopeObject);
+    return false;
+}
+
+bool Check::visit(UiScriptBinding *ast)
+{
+    checkScopeObjectMember(ast->qualifiedId);
+
+    return true;
+}
+
+bool Check::visit(UiArrayBinding *ast)
+{
+    checkScopeObjectMember(ast->qualifiedId);
+
+    return true;
+}
+
+void Check::checkScopeObjectMember(const AST::UiQualifiedId *id)
+{
+    const ObjectValue *scopeObject = _context.qmlScopeObject();
+
+    if (! id)
+        return; // ### error?
+
+    const QString propertyName = id->name->asString();
+
+    if (propertyName == QLatin1String("id") && ! id->next)
+        return;
+
+    // attached properties
+    if (! propertyName.isEmpty() && propertyName[0].isUpper())
+        scopeObject = _context.typeEnvironment(_doc.data());
+
+    const Value *value = scopeObject->lookupMember(propertyName, &_context);
+    if (!value) {
+        error(id->identifierToken,
+              QString("'%1' is not a valid property name").arg(propertyName));
+    }
+
+    // ### check for rest of qualifiedId
+}
+
+void Check::error(const AST::SourceLocation &loc, const QString &message)
+{
+    _messages.append(DiagnosticMessage(DiagnosticMessage::Error, loc, message));
+}
+
+void Check::warning(const AST::SourceLocation &loc, const QString &message)
+{
+    _messages.append(DiagnosticMessage(DiagnosticMessage::Warning, loc, message));
+}