Paweł Bylica
10 years ago
51 changed files with 10320 additions and 910 deletions
@ -1,122 +0,0 @@ |
|||||
/*
|
|
||||
This file is part of cpp-ethereum. |
|
||||
cpp-ethereum is free software: you can redistribute it and/or modify |
|
||||
it under the terms of the GNU General Public License as published by |
|
||||
the Free Software Foundation, either version 3 of the License, or |
|
||||
(at your option) any later version. |
|
||||
cpp-ethereum is distributed in the hope that it will be useful, |
|
||||
but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
||||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
|
||||
GNU General Public License for more details. |
|
||||
You should have received a copy of the GNU General Public License |
|
||||
along with cpp-ethereum. If not, see <http://www.gnu.org/licenses/>.
|
|
||||
*/ |
|
||||
/** @file AppContext.cpp
|
|
||||
* @author Yann yann@ethdev.com |
|
||||
* @date 2014 |
|
||||
* Provides access to the current QQmlApplicationEngine which is used to add QML file on the fly. |
|
||||
* In the future this class can be extended to add more variable related to the context of the application. |
|
||||
* For now AppContext provides reference to: |
|
||||
* - QQmlApplicationEngine |
|
||||
* - dev::WebThreeDirect (and dev::eth::Client) |
|
||||
* - KeyEventManager |
|
||||
*/ |
|
||||
|
|
||||
#include <QMessageBox> |
|
||||
#include <QClipboard> |
|
||||
#include <QQmlComponent> |
|
||||
#include <QQmlContext> |
|
||||
#include <QQmlApplicationEngine> |
|
||||
#include <QWindow> |
|
||||
#include "CodeModel.h" |
|
||||
#include "FileIo.h" |
|
||||
#include "ClientModel.h" |
|
||||
#include "CodeEditorExtensionManager.h" |
|
||||
#include "Exceptions.h" |
|
||||
#include "QEther.h" |
|
||||
#include "QVariableDefinition.h" |
|
||||
#include "HttpServer.h" |
|
||||
#include "AppContext.h" |
|
||||
#include "SortFilterProxyModel.h" |
|
||||
|
|
||||
using namespace dev; |
|
||||
using namespace dev::eth; |
|
||||
using namespace dev::mix; |
|
||||
|
|
||||
const QString c_projectFileName = "project.mix"; |
|
||||
|
|
||||
AppContext::AppContext(QQmlApplicationEngine* _engine) |
|
||||
{ |
|
||||
m_applicationEngine = _engine; |
|
||||
m_codeModel.reset(new CodeModel(this)); |
|
||||
m_clientModel.reset(new ClientModel(this)); |
|
||||
m_fileIo.reset(new FileIo()); |
|
||||
connect(QApplication::clipboard(), &QClipboard::dataChanged, [this] { emit clipboardChanged();}); |
|
||||
} |
|
||||
|
|
||||
AppContext::~AppContext() |
|
||||
{ |
|
||||
} |
|
||||
|
|
||||
void AppContext::load() |
|
||||
{ |
|
||||
m_applicationEngine->rootContext()->setContextProperty("appContext", this); |
|
||||
QFont f; |
|
||||
m_applicationEngine->rootContext()->setContextProperty("systemPointSize", f.pointSize()); |
|
||||
qmlRegisterType<FileIo>("org.ethereum.qml", 1, 0, "FileIo"); |
|
||||
m_applicationEngine->rootContext()->setContextProperty("codeModel", m_codeModel.get()); |
|
||||
m_applicationEngine->rootContext()->setContextProperty("fileIo", m_fileIo.get()); |
|
||||
qmlRegisterType<QEther>("org.ethereum.qml.QEther", 1, 0, "QEther"); |
|
||||
qmlRegisterType<QBigInt>("org.ethereum.qml.QBigInt", 1, 0, "QBigInt"); |
|
||||
qmlRegisterType<QVariableDeclaration>("org.ethereum.qml.QVariableDeclaration", 1, 0, "QVariableDeclaration"); |
|
||||
qmlRegisterType<RecordLogEntry>("org.ethereum.qml.RecordLogEntry", 1, 0, "RecordLogEntry"); |
|
||||
qmlRegisterType<SortFilterProxyModel>("org.ethereum.qml.SortFilterProxyModel", 1, 0, "SortFilterProxyModel"); |
|
||||
qmlRegisterType<QSolidityType>("org.ethereum.qml.QSolidityType", 1, 0, "QSolidityType"); |
|
||||
QQmlComponent projectModelComponent(m_applicationEngine, QUrl("qrc:/qml/ProjectModel.qml")); |
|
||||
QObject* projectModel = projectModelComponent.create(); |
|
||||
if (projectModelComponent.isError()) |
|
||||
{ |
|
||||
QmlLoadException exception; |
|
||||
for (auto const& e : projectModelComponent.errors()) |
|
||||
exception << QmlErrorInfo(e); |
|
||||
BOOST_THROW_EXCEPTION(exception); |
|
||||
} |
|
||||
m_applicationEngine->rootContext()->setContextProperty("projectModel", projectModel); |
|
||||
qmlRegisterType<CodeEditorExtensionManager>("CodeEditorExtensionManager", 1, 0, "CodeEditorExtensionManager"); |
|
||||
qmlRegisterType<HttpServer>("HttpServer", 1, 0, "HttpServer"); |
|
||||
|
|
||||
m_applicationEngine->load(QUrl("qrc:/qml/main.qml")); |
|
||||
QWindow *window = qobject_cast<QWindow*>(m_applicationEngine->rootObjects().at(0)); |
|
||||
window->setIcon(QIcon(":/res/mix_256x256x32.png")); |
|
||||
appLoaded(); |
|
||||
} |
|
||||
|
|
||||
QQmlApplicationEngine* AppContext::appEngine() |
|
||||
{ |
|
||||
return m_applicationEngine; |
|
||||
} |
|
||||
|
|
||||
void AppContext::displayMessageDialog(QString _title, QString _message) |
|
||||
{ |
|
||||
// TODO : move to a UI dedicated layer.
|
|
||||
QObject* dialogWin = m_applicationEngine->rootObjects().at(0)->findChild<QObject*>("alertMessageDialog", Qt::FindChildrenRecursively); |
|
||||
QObject* dialogWinComponent = m_applicationEngine->rootObjects().at(0)->findChild<QObject*>("alertMessageDialogContent", Qt::FindChildrenRecursively); |
|
||||
dialogWinComponent->setProperty("source", QString("qrc:/qml/BasicMessage.qml")); |
|
||||
dialogWin->setProperty("title", _title); |
|
||||
dialogWin->setProperty("width", "250"); |
|
||||
dialogWin->setProperty("height", "100"); |
|
||||
dialogWin->findChild<QObject*>("messageContent", Qt::FindChildrenRecursively)->setProperty("text", _message); |
|
||||
QMetaObject::invokeMethod(dialogWin, "open"); |
|
||||
} |
|
||||
|
|
||||
QString AppContext::clipboard() const |
|
||||
{ |
|
||||
QClipboard *clipboard = QApplication::clipboard(); |
|
||||
return clipboard->text(); |
|
||||
} |
|
||||
|
|
||||
void AppContext::toClipboard(QString _text) |
|
||||
{ |
|
||||
QClipboard *clipboard = QApplication::clipboard(); |
|
||||
clipboard->setText(_text); |
|
||||
} |
|
||||
@ -1,88 +0,0 @@ |
|||||
/*
|
|
||||
This file is part of cpp-ethereum. |
|
||||
|
|
||||
cpp-ethereum is free software: you can redistribute it and/or modify |
|
||||
it under the terms of the GNU General Public License as published by |
|
||||
the Free Software Foundation, either version 3 of the License, or |
|
||||
(at your option) any later version. |
|
||||
|
|
||||
cpp-ethereum is distributed in the hope that it will be useful, |
|
||||
but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
||||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
|
||||
GNU General Public License for more details. |
|
||||
|
|
||||
You should have received a copy of the GNU General Public License |
|
||||
along with cpp-ethereum. If not, see <http://www.gnu.org/licenses/>.
|
|
||||
*/ |
|
||||
/** @file AppContext.h
|
|
||||
* @author Yann yann@ethdev.com |
|
||||
* @date 2014 |
|
||||
* Provides access to the current QQmlApplicationEngine which is used to add QML file on the fly. |
|
||||
* In the future this class can be extended to add more variable related to the context of the application. |
|
||||
* For now AppContext provides reference to: |
|
||||
* - QQmlApplicationEngine |
|
||||
* - dev::WebThreeDirect (and dev::eth::Client) |
|
||||
* - KeyEventManager |
|
||||
*/ |
|
||||
|
|
||||
#pragma once |
|
||||
|
|
||||
#include <memory> |
|
||||
#include <QUrl> |
|
||||
#include <QObject> |
|
||||
|
|
||||
class QQmlApplicationEngine; |
|
||||
|
|
||||
namespace dev |
|
||||
{ |
|
||||
namespace mix |
|
||||
{ |
|
||||
|
|
||||
class CodeModel; |
|
||||
class ClientModel; |
|
||||
class FileIo; |
|
||||
/**
|
|
||||
* @brief Provides access to application scope variable. |
|
||||
*/ |
|
||||
|
|
||||
class AppContext: public QObject |
|
||||
{ |
|
||||
Q_OBJECT |
|
||||
Q_PROPERTY(QString clipboard READ clipboard WRITE toClipboard NOTIFY clipboardChanged) |
|
||||
|
|
||||
public: |
|
||||
AppContext(QQmlApplicationEngine* _engine); |
|
||||
virtual ~AppContext(); |
|
||||
/// Load the UI from qml files
|
|
||||
void load(); |
|
||||
/// Get the current QQMLApplicationEngine instance.
|
|
||||
QQmlApplicationEngine* appEngine(); |
|
||||
/// Get code model
|
|
||||
CodeModel* codeModel() { return m_codeModel.get(); } |
|
||||
/// Get client model
|
|
||||
ClientModel* clientModel() { return m_clientModel.get(); } |
|
||||
/// Display an alert message.
|
|
||||
void displayMessageDialog(QString _title, QString _message); |
|
||||
/// Copy text to clipboard
|
|
||||
Q_INVOKABLE void toClipboard(QString _text); |
|
||||
/// Get text from clipboard
|
|
||||
QString clipboard() const; |
|
||||
|
|
||||
signals: |
|
||||
/// Triggered once components have been loaded
|
|
||||
void appLoaded(); |
|
||||
void clipboardChanged(); |
|
||||
|
|
||||
private: |
|
||||
QQmlApplicationEngine* m_applicationEngine; //owned by app
|
|
||||
std::unique_ptr<CodeModel> m_codeModel; |
|
||||
std::unique_ptr<ClientModel> m_clientModel; |
|
||||
std::unique_ptr<FileIo> m_fileIo; |
|
||||
|
|
||||
public slots: |
|
||||
/// Delete the current instance when application quit.
|
|
||||
void quitApplication() {} |
|
||||
}; |
|
||||
|
|
||||
} |
|
||||
} |
|
||||
@ -1,55 +1,40 @@ |
|||||
/*
|
/*
|
||||
This file is part of cpp-ethereum. |
This file is part of cpp-ethereum. |
||||
|
|
||||
cpp-ethereum is free software: you can redistribute it and/or modify |
cpp-ethereum is free software: you can redistribute it and/or modify |
||||
it under the terms of the GNU General Public License as published by |
it under the terms of the GNU General Public License as published by |
||||
the Free Software Foundation, either version 3 of the License, or |
the Free Software Foundation, either version 3 of the License, or |
||||
(at your option) any later version. |
(at your option) any later version. |
||||
|
|
||||
cpp-ethereum is distributed in the hope that it will be useful, |
cpp-ethereum is distributed in the hope that it will be useful, |
||||
but WITHOUT ANY WARRANTY; without even the implied warranty of |
but WITHOUT ANY WARRANTY; without even the implied warranty of |
||||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
||||
GNU General Public License for more details. |
GNU General Public License for more details. |
||||
|
|
||||
You should have received a copy of the GNU General Public License |
You should have received a copy of the GNU General Public License |
||||
along with cpp-ethereum. If not, see <http://www.gnu.org/licenses/>.
|
along with cpp-ethereum. If not, see <http://www.gnu.org/licenses/>.
|
||||
*/ |
*/ |
||||
/** @file ConstantCompilationControl.cpp
|
/** @file Clipboard.cpp
|
||||
* @author Yann yann@ethdev.com |
* @author Yann yann@ethdev.com |
||||
* @date 2014 |
* @date 2015 |
||||
* Ethereum IDE client. |
|
||||
*/ |
*/ |
||||
|
|
||||
#include <QQmlContext> |
#include "Clipboard.h" |
||||
#include <QQuickItem> |
|
||||
#include <QtCore/QFileInfo> |
|
||||
#include <QApplication> |
#include <QApplication> |
||||
#include <QQmlApplicationEngine> |
#include <QClipboard> |
||||
#include <QtCore/QtCore> |
|
||||
#include <QDebug> |
|
||||
#include "StatusPane.h" |
|
||||
#include "QContractDefinition.h" |
|
||||
#include "AppContext.h" |
|
||||
#include "CodeModel.h" |
|
||||
|
|
||||
using namespace dev::mix; |
using namespace dev::mix; |
||||
|
|
||||
StatusPane::StatusPane(AppContext* _context): Extension(_context, ExtensionDisplayBehavior::HeaderView) |
Clipboard::Clipboard() |
||||
{ |
{ |
||||
_context->appEngine()->rootContext()->setContextProperty("statusPane", this); |
connect(QApplication::clipboard(), &QClipboard::dataChanged, [this] { emit clipboardChanged();}); |
||||
} |
} |
||||
|
|
||||
QString StatusPane::contentUrl() const |
QString Clipboard::text() const |
||||
{ |
{ |
||||
return QStringLiteral("qrc:/qml/StatusPane.qml"); |
QClipboard *clipboard = QApplication::clipboard(); |
||||
|
return clipboard->text(); |
||||
} |
} |
||||
|
|
||||
QString StatusPane::title() const |
void Clipboard::setText(QString _text) |
||||
{ |
{ |
||||
return QApplication::tr("compiler"); |
QClipboard *clipboard = QApplication::clipboard(); |
||||
|
clipboard->setText(_text); |
||||
} |
} |
||||
|
|
||||
void StatusPane::start() const |
|
||||
{ |
|
||||
} |
|
||||
|
|
||||
@ -1,88 +0,0 @@ |
|||||
/*
|
|
||||
This file is part of cpp-ethereum. |
|
||||
|
|
||||
cpp-ethereum is free software: you can redistribute it and/or modify |
|
||||
it under the terms of the GNU General Public License as published by |
|
||||
the Free Software Foundation, either version 3 of the License, or |
|
||||
(at your option) any later version. |
|
||||
|
|
||||
cpp-ethereum is distributed in the hope that it will be useful, |
|
||||
but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
||||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
|
||||
GNU General Public License for more details. |
|
||||
|
|
||||
You should have received a copy of the GNU General Public License |
|
||||
along with cpp-ethereum. If not, see <http://www.gnu.org/licenses/>.
|
|
||||
*/ |
|
||||
/** @file CodeEditorExtensionManager.cpp
|
|
||||
* @author Yann yann@ethdev.com |
|
||||
* @date 2014 |
|
||||
* Ethereum IDE client. |
|
||||
*/ |
|
||||
|
|
||||
#include <QQuickItem> |
|
||||
#include <QGraphicsObject> |
|
||||
#include <QQmlEngine> |
|
||||
#include <QQmlComponent> |
|
||||
#include <QQuickTextDocument> |
|
||||
#include "StatusPane.h" |
|
||||
#include "AppContext.h" |
|
||||
#include "MixApplication.h" |
|
||||
#include "CodeModel.h" |
|
||||
#include "ClientModel.h" |
|
||||
#include "CodeHighlighter.h" |
|
||||
#include "CodeEditorExtensionManager.h" |
|
||||
|
|
||||
using namespace dev::mix; |
|
||||
|
|
||||
CodeEditorExtensionManager::CodeEditorExtensionManager(): |
|
||||
m_appContext(static_cast<MixApplication*>(QApplication::instance())->context()) |
|
||||
{ |
|
||||
} |
|
||||
|
|
||||
CodeEditorExtensionManager::~CodeEditorExtensionManager() |
|
||||
{ |
|
||||
m_features.clear(); |
|
||||
} |
|
||||
|
|
||||
void CodeEditorExtensionManager::loadEditor(QQuickItem* _editor) |
|
||||
{ |
|
||||
if (!_editor) |
|
||||
return; |
|
||||
} |
|
||||
|
|
||||
void CodeEditorExtensionManager::initExtension(std::shared_ptr<Extension> _ext) |
|
||||
{ |
|
||||
if (!_ext->contentUrl().isEmpty()) |
|
||||
{ |
|
||||
try |
|
||||
{ |
|
||||
if (_ext->getDisplayBehavior() == ExtensionDisplayBehavior::RightView) |
|
||||
_ext->addTabOn(m_rightView); |
|
||||
if (_ext->getDisplayBehavior() == ExtensionDisplayBehavior::HeaderView) |
|
||||
_ext->addTabOn(m_headerView); |
|
||||
} |
|
||||
catch (...) |
|
||||
{ |
|
||||
qDebug() << "Exception when adding tab into view."; |
|
||||
return; |
|
||||
} |
|
||||
} |
|
||||
_ext->start(); |
|
||||
m_features.append(_ext); |
|
||||
} |
|
||||
|
|
||||
void CodeEditorExtensionManager::applyCodeHighlight() |
|
||||
{ |
|
||||
//TODO: reimplement
|
|
||||
} |
|
||||
|
|
||||
void CodeEditorExtensionManager::setRightView(QQuickItem* _rightView) |
|
||||
{ |
|
||||
m_rightView = _rightView; |
|
||||
} |
|
||||
|
|
||||
void CodeEditorExtensionManager::setHeaderView(QQuickItem* _headerView) |
|
||||
{ |
|
||||
m_headerView = _headerView; |
|
||||
} |
|
||||
@ -1,71 +0,0 @@ |
|||||
/*
|
|
||||
This file is part of cpp-ethereum. |
|
||||
|
|
||||
cpp-ethereum is free software: you can redistribute it and/or modify |
|
||||
it under the terms of the GNU General Public License as published by |
|
||||
the Free Software Foundation, either version 3 of the License, or |
|
||||
(at your option) any later version. |
|
||||
|
|
||||
cpp-ethereum is distributed in the hope that it will be useful, |
|
||||
but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
||||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
|
||||
GNU General Public License for more details. |
|
||||
|
|
||||
You should have received a copy of the GNU General Public License |
|
||||
along with cpp-ethereum. If not, see <http://www.gnu.org/licenses/>.
|
|
||||
*/ |
|
||||
/** @file CodeEditorExtensionManager.h
|
|
||||
* @author Yann yann@ethdev.com |
|
||||
* @date 2014 |
|
||||
* Ethereum IDE client. |
|
||||
*/ |
|
||||
|
|
||||
#pragma once |
|
||||
|
|
||||
#include <memory> |
|
||||
#include <QQuickItem> |
|
||||
#include <QTextDocument> |
|
||||
#include <QVector> |
|
||||
#include "StatusPane.h" |
|
||||
|
|
||||
namespace dev |
|
||||
{ |
|
||||
namespace mix |
|
||||
{ |
|
||||
|
|
||||
|
|
||||
class AppContext; |
|
||||
|
|
||||
/**
|
|
||||
* @brief Init and provides connection between extensions. |
|
||||
*/ |
|
||||
class CodeEditorExtensionManager: public QObject |
|
||||
{ |
|
||||
Q_OBJECT |
|
||||
|
|
||||
Q_PROPERTY(QQuickItem* headerView MEMBER m_headerView WRITE setHeaderView) |
|
||||
Q_PROPERTY(QQuickItem* rightView MEMBER m_rightView WRITE setRightView) |
|
||||
|
|
||||
public: |
|
||||
CodeEditorExtensionManager(); |
|
||||
~CodeEditorExtensionManager(); |
|
||||
/// Initialize extension.
|
|
||||
void initExtension(std::shared_ptr<Extension>); |
|
||||
/// Set current tab view
|
|
||||
void setHeaderView(QQuickItem*); |
|
||||
/// Set current right tab view.
|
|
||||
void setRightView(QQuickItem*); |
|
||||
|
|
||||
private slots: |
|
||||
void applyCodeHighlight(); |
|
||||
|
|
||||
private: |
|
||||
QVector<std::shared_ptr<Extension>> m_features; |
|
||||
QQuickItem* m_headerView; |
|
||||
QQuickItem* m_rightView; |
|
||||
AppContext* m_appContext; |
|
||||
void loadEditor(QQuickItem* _editor); |
|
||||
}; |
|
||||
|
|
||||
} |
|
||||
} |
|
||||
@ -1,82 +0,0 @@ |
|||||
/*
|
|
||||
This file is part of cpp-ethereum. |
|
||||
cpp-ethereum is free software: you can redistribute it and/or modify |
|
||||
it under the terms of the GNU General Public License as published by |
|
||||
the Free Software Foundation, either version 3 of the License, or |
|
||||
(at your option) any later version. |
|
||||
cpp-ethereum is distributed in the hope that it will be useful, |
|
||||
but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
||||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
|
||||
GNU General Public License for more details. |
|
||||
You should have received a copy of the GNU General Public License |
|
||||
along with cpp-ethereum. If not, see <http://www.gnu.org/licenses/>.
|
|
||||
*/ |
|
||||
/** @file Extension.cpp
|
|
||||
* @author Yann yann@ethdev.com |
|
||||
* @date 2014 |
|
||||
* Ethereum IDE client. |
|
||||
*/ |
|
||||
|
|
||||
|
|
||||
#include <QMessageBox> |
|
||||
#include <QDebug> |
|
||||
#include <QQmlApplicationEngine> |
|
||||
|
|
||||
#include <libevm/VM.h> |
|
||||
#include <libwebthree/WebThree.h> |
|
||||
#include "Extension.h" |
|
||||
#include "AppContext.h" |
|
||||
|
|
||||
using namespace dev; |
|
||||
using namespace dev::mix; |
|
||||
|
|
||||
Extension::Extension(AppContext* _context) |
|
||||
{ |
|
||||
init(_context); |
|
||||
} |
|
||||
|
|
||||
Extension::Extension(AppContext* _context, ExtensionDisplayBehavior _displayBehavior) |
|
||||
{ |
|
||||
init(_context); |
|
||||
m_displayBehavior = _displayBehavior; |
|
||||
} |
|
||||
|
|
||||
void Extension::init(AppContext* _context) |
|
||||
{ |
|
||||
m_ctx = _context; |
|
||||
m_appEngine = m_ctx->appEngine(); |
|
||||
} |
|
||||
|
|
||||
void Extension::addTabOn(QObject* _view) |
|
||||
{ |
|
||||
if (contentUrl() == "") |
|
||||
return; |
|
||||
|
|
||||
QVariant returnValue; |
|
||||
QQmlComponent* component = new QQmlComponent( |
|
||||
m_appEngine, |
|
||||
QUrl(contentUrl()), _view); |
|
||||
|
|
||||
QMetaObject::invokeMethod(_view, "addTab", |
|
||||
Q_RETURN_ARG(QVariant, returnValue), |
|
||||
Q_ARG(QVariant, this->title()), |
|
||||
Q_ARG(QVariant, QVariant::fromValue(component))); |
|
||||
|
|
||||
m_view = qvariant_cast<QObject*>(returnValue); |
|
||||
} |
|
||||
|
|
||||
void Extension::addContentOn(QObject* _view) |
|
||||
{ |
|
||||
Q_UNUSED(_view); |
|
||||
if (m_displayBehavior == ExtensionDisplayBehavior::ModalDialog) |
|
||||
{ |
|
||||
QQmlComponent* component = new QQmlComponent(m_appEngine, QUrl(contentUrl()), _view); |
|
||||
QObject* dialogWin = m_appEngine->rootObjects().at(0)->findChild<QObject*>("dialog", Qt::FindChildrenRecursively); |
|
||||
QObject* dialogWinComponent = m_appEngine->rootObjects().at(0)->findChild<QObject*>("modalDialogContent", Qt::FindChildrenRecursively); |
|
||||
dialogWinComponent->setProperty("sourceComponent", QVariant::fromValue(component)); |
|
||||
dialogWin->setProperty("title", title()); |
|
||||
QMetaObject::invokeMethod(dialogWin, "open"); |
|
||||
} |
|
||||
//TODO add more view type.
|
|
||||
} |
|
||||
|
|
||||
@ -1,75 +0,0 @@ |
|||||
/*
|
|
||||
This file is part of cpp-ethereum. |
|
||||
cpp-ethereum is free software: you can redistribute it and/or modify |
|
||||
it under the terms of the GNU General Public License as published by |
|
||||
the Free Software Foundation, either version 3 of the License, or |
|
||||
(at your option) any later version. |
|
||||
cpp-ethereum is distributed in the hope that it will be useful, |
|
||||
but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
||||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
|
||||
GNU General Public License for more details. |
|
||||
You should have received a copy of the GNU General Public License |
|
||||
along with cpp-ethereum. If not, see <http://www.gnu.org/licenses/>.
|
|
||||
*/ |
|
||||
/** @file Extension.h
|
|
||||
* @author Yann yann@ethdev.com |
|
||||
* @date 2014 |
|
||||
* Ethereum IDE client. |
|
||||
*/ |
|
||||
|
|
||||
#pragma once |
|
||||
|
|
||||
#include <QApplication> |
|
||||
#include <QQmlComponent> |
|
||||
|
|
||||
class QQmlApplicationEngine; |
|
||||
|
|
||||
namespace dev |
|
||||
{ |
|
||||
namespace mix |
|
||||
{ |
|
||||
|
|
||||
class AppContext; |
|
||||
|
|
||||
enum ExtensionDisplayBehavior |
|
||||
{ |
|
||||
HeaderView, |
|
||||
RightView, |
|
||||
ModalDialog |
|
||||
}; |
|
||||
|
|
||||
|
|
||||
class Extension: public QObject |
|
||||
{ |
|
||||
Q_OBJECT |
|
||||
|
|
||||
public: |
|
||||
Extension(AppContext* _context); |
|
||||
Extension(AppContext* _context, ExtensionDisplayBehavior _displayBehavior); |
|
||||
/// Return the QML url of the view to display.
|
|
||||
virtual QString contentUrl() const { return ""; } |
|
||||
/// Return the title of this extension.
|
|
||||
virtual QString title() const { return ""; } |
|
||||
/// Initialize extension.
|
|
||||
virtual void start() const {} |
|
||||
/// Add the view define in contentUrl() in the _view QObject.
|
|
||||
void addContentOn(QObject* _view); |
|
||||
/// Add the view define in contentUrl() in the _view QObject (_view has to be a tab).
|
|
||||
void addTabOn(QObject* _view); |
|
||||
/// Modify the display behavior of this extension.
|
|
||||
void setDisplayBehavior(ExtensionDisplayBehavior _displayBehavior) { m_displayBehavior = _displayBehavior; } |
|
||||
/// Get the display behavior of thi extension.
|
|
||||
ExtensionDisplayBehavior getDisplayBehavior() { return m_displayBehavior; } |
|
||||
|
|
||||
protected: |
|
||||
QObject* m_view; |
|
||||
ExtensionDisplayBehavior m_displayBehavior; |
|
||||
AppContext* m_ctx; |
|
||||
QQmlApplicationEngine* m_appEngine; |
|
||||
|
|
||||
private: |
|
||||
void init(AppContext* _context); |
|
||||
}; |
|
||||
|
|
||||
} |
|
||||
} |
|
||||
@ -0,0 +1,65 @@ |
|||||
|
<RCC> |
||||
|
<qresource prefix="/"> |
||||
|
<file>qml/AlertMessageDialog.qml</file> |
||||
|
<file>qml/BasicMessage.qml</file> |
||||
|
<file>qml/BigIntValue.qml</file> |
||||
|
<file>qml/CallStack.qml</file> |
||||
|
<file>qml/CodeEditorStyle.qml</file> |
||||
|
<file>qml/CodeEditorView.qml</file> |
||||
|
<file>qml/CommonSeparator.qml</file> |
||||
|
<file>qml/ContractLibrary.qml</file> |
||||
|
<file>qml/DebugBasicInfo.qml</file> |
||||
|
<file>qml/DebugInfoList.qml</file> |
||||
|
<file>qml/Debugger.qml</file> |
||||
|
<file>qml/DebuggerPaneStyle.qml</file> |
||||
|
<file>qml/DefaultLabel.qml</file> |
||||
|
<file>qml/DefaultTextField.qml</file> |
||||
|
<file>qml/DeploymentDialog.qml</file> |
||||
|
<file>qml/Ether.qml</file> |
||||
|
<file>qml/EtherValue.qml</file> |
||||
|
<file>qml/FilesSection.qml</file> |
||||
|
<file>qml/ItemDelegateDataDump.qml</file> |
||||
|
<file>qml/LogsPane.qml</file> |
||||
|
<file>qml/LogsPaneStyle.qml</file> |
||||
|
<file>qml/MainContent.qml</file> |
||||
|
<file>qml/ModalDialog.qml</file> |
||||
|
<file>qml/NewProjectDialog.qml</file> |
||||
|
<file>qml/ProjectFilesStyle.qml</file> |
||||
|
<file>qml/ProjectList.qml</file> |
||||
|
<file>qml/ProjectModel.qml</file> |
||||
|
<file>qml/QBoolTypeView.qml</file> |
||||
|
<file>qml/QHashTypeView.qml</file> |
||||
|
<file>qml/QIntTypeView.qml</file> |
||||
|
<file>qml/QRealTypeView.qml</file> |
||||
|
<file>qml/QStringTypeView.qml</file> |
||||
|
<file>qml/QVariableDeclaration.qml</file> |
||||
|
<file>qml/QVariableDefinition.qml</file> |
||||
|
<file>qml/SourceSansProBold.qml</file> |
||||
|
<file>qml/SourceSansProLight.qml</file> |
||||
|
<file>qml/SourceSansProRegular.qml</file> |
||||
|
<file>qml/Splitter.qml</file> |
||||
|
<file>qml/StateDialog.qml</file> |
||||
|
<file>qml/StateDialogStyle.qml</file> |
||||
|
<file>qml/StateList.qml</file> |
||||
|
<file>qml/StateListModel.qml</file> |
||||
|
<file>qml/StateStyle.qml</file> |
||||
|
<file>qml/StatusPane.qml</file> |
||||
|
<file>qml/StatusPaneStyle.qml</file> |
||||
|
<file>qml/StepActionImage.qml</file> |
||||
|
<file>qml/StorageView.qml</file> |
||||
|
<file>qml/StructView.qml</file> |
||||
|
<file>qml/Style.qml</file> |
||||
|
<file>qml/TabStyle.qml</file> |
||||
|
<file>qml/TransactionDialog.qml</file> |
||||
|
<file>qml/TransactionLog.qml</file> |
||||
|
<file>qml/VariablesView.qml</file> |
||||
|
<file>qml/WebPreviewStyle.qml</file> |
||||
|
<file>qml/js/Debugger.js</file> |
||||
|
<file>qml/js/ErrorLocationFormater.js</file> |
||||
|
<file>qml/js/ProjectModel.js</file> |
||||
|
<file>qml/js/QEtherHelper.js</file> |
||||
|
<file>qml/js/TransactionHelper.js</file> |
||||
|
<file>qml/main.qml</file> |
||||
|
<file>qml/qmldir</file> |
||||
|
</qresource> |
||||
|
</RCC> |
||||
@ -0,0 +1,14 @@ |
|||||
|
import QtQuick 2.0 |
||||
|
import QtQuick.Controls 1.3 |
||||
|
|
||||
|
SplitView |
||||
|
{ |
||||
|
handleDelegate: Rectangle { |
||||
|
width: 4 |
||||
|
height: 4 |
||||
|
color: "#cccccc" |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
|
||||
|
|
||||
File diff suppressed because it is too large
File diff suppressed because it is too large
@ -0,0 +1,87 @@ |
|||||
|
(function(mod) { |
||||
|
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
||||
|
return mod(exports); |
||||
|
if (typeof define == "function" && define.amd) // AMD
|
||||
|
return define(["exports"], mod); |
||||
|
mod(tern.comment || (tern.comment = {})); |
||||
|
})(function(exports) { |
||||
|
function isSpace(ch) { |
||||
|
return (ch < 14 && ch > 8) || ch === 32 || ch === 160; |
||||
|
} |
||||
|
|
||||
|
function onOwnLine(text, pos) { |
||||
|
for (; pos > 0; --pos) { |
||||
|
var ch = text.charCodeAt(pos - 1); |
||||
|
if (ch == 10) break; |
||||
|
if (!isSpace(ch)) return false; |
||||
|
} |
||||
|
return true; |
||||
|
} |
||||
|
|
||||
|
// Gather comments directly before a function
|
||||
|
exports.commentsBefore = function(text, pos) { |
||||
|
var found = null, emptyLines = 0, topIsLineComment; |
||||
|
out: while (pos > 0) { |
||||
|
var prev = text.charCodeAt(pos - 1); |
||||
|
if (prev == 10) { |
||||
|
for (var scan = --pos, sawNonWS = false; scan > 0; --scan) { |
||||
|
prev = text.charCodeAt(scan - 1); |
||||
|
if (prev == 47 && text.charCodeAt(scan - 2) == 47) { |
||||
|
if (!onOwnLine(text, scan - 2)) break out; |
||||
|
var content = text.slice(scan, pos); |
||||
|
if (!emptyLines && topIsLineComment) found[0] = content + "\n" + found[0]; |
||||
|
else (found || (found = [])).unshift(content); |
||||
|
topIsLineComment = true; |
||||
|
emptyLines = 0; |
||||
|
pos = scan - 2; |
||||
|
break; |
||||
|
} else if (prev == 10) { |
||||
|
if (!sawNonWS && ++emptyLines > 1) break out; |
||||
|
break; |
||||
|
} else if (!sawNonWS && !isSpace(prev)) { |
||||
|
sawNonWS = true; |
||||
|
} |
||||
|
} |
||||
|
} else if (prev == 47 && text.charCodeAt(pos - 2) == 42) { |
||||
|
for (var scan = pos - 2; scan > 1; --scan) { |
||||
|
if (text.charCodeAt(scan - 1) == 42 && text.charCodeAt(scan - 2) == 47) { |
||||
|
if (!onOwnLine(text, scan - 2)) break out; |
||||
|
(found || (found = [])).unshift(text.slice(scan, pos - 2)); |
||||
|
topIsLineComment = false; |
||||
|
emptyLines = 0; |
||||
|
break; |
||||
|
} |
||||
|
} |
||||
|
pos = scan - 2; |
||||
|
} else if (isSpace(prev)) { |
||||
|
--pos; |
||||
|
} else { |
||||
|
break; |
||||
|
} |
||||
|
} |
||||
|
return found; |
||||
|
}; |
||||
|
|
||||
|
exports.commentAfter = function(text, pos) { |
||||
|
while (pos < text.length) { |
||||
|
var next = text.charCodeAt(pos); |
||||
|
if (next == 47) { |
||||
|
var after = text.charCodeAt(pos + 1), end; |
||||
|
if (after == 47) // line comment
|
||||
|
end = text.indexOf("\n", pos + 2); |
||||
|
else if (after == 42) // block comment
|
||||
|
end = text.indexOf("*/", pos + 2); |
||||
|
else |
||||
|
return; |
||||
|
return text.slice(pos + 2, end < 0 ? text.length : end); |
||||
|
} else if (isSpace(next)) { |
||||
|
++pos; |
||||
|
} |
||||
|
} |
||||
|
}; |
||||
|
|
||||
|
exports.ensureCommentsBefore = function(text, node) { |
||||
|
if (node.hasOwnProperty("commentsBefore")) return node.commentsBefore; |
||||
|
return node.commentsBefore = exports.commentsBefore(text, node.start); |
||||
|
}; |
||||
|
}); |
||||
@ -0,0 +1,547 @@ |
|||||
|
// Type description parser
|
||||
|
//
|
||||
|
// Type description JSON files (such as ecma5.json and browser.json)
|
||||
|
// are used to
|
||||
|
//
|
||||
|
// A) describe types that come from native code
|
||||
|
//
|
||||
|
// B) to cheaply load the types for big libraries, or libraries that
|
||||
|
// can't be inferred well
|
||||
|
|
||||
|
(function(mod) { |
||||
|
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
||||
|
return exports.init = mod; |
||||
|
if (typeof define == "function" && define.amd) // AMD
|
||||
|
return define({init: mod}); |
||||
|
tern.def = {init: mod}; |
||||
|
})(function(exports, infer) { |
||||
|
"use strict"; |
||||
|
|
||||
|
function hop(obj, prop) { |
||||
|
return Object.prototype.hasOwnProperty.call(obj, prop); |
||||
|
} |
||||
|
|
||||
|
var TypeParser = exports.TypeParser = function(spec, start, base, forceNew) { |
||||
|
this.pos = start || 0; |
||||
|
this.spec = spec; |
||||
|
this.base = base; |
||||
|
this.forceNew = forceNew; |
||||
|
}; |
||||
|
TypeParser.prototype = { |
||||
|
eat: function(str) { |
||||
|
if (str.length == 1 ? this.spec.charAt(this.pos) == str : this.spec.indexOf(str, this.pos) == this.pos) { |
||||
|
this.pos += str.length; |
||||
|
return true; |
||||
|
} |
||||
|
}, |
||||
|
word: function(re) { |
||||
|
var word = "", ch, re = re || /[\w$]/; |
||||
|
while ((ch = this.spec.charAt(this.pos)) && re.test(ch)) { word += ch; ++this.pos; } |
||||
|
return word; |
||||
|
}, |
||||
|
error: function() { |
||||
|
throw new Error("Unrecognized type spec: " + this.spec + " (at " + this.pos + ")"); |
||||
|
}, |
||||
|
parseFnType: function(name, top) { |
||||
|
var args = [], names = []; |
||||
|
if (!this.eat(")")) for (var i = 0; ; ++i) { |
||||
|
var colon = this.spec.indexOf(": ", this.pos), argname; |
||||
|
if (colon != -1) { |
||||
|
argname = this.spec.slice(this.pos, colon); |
||||
|
if (/^[$\w?]+$/.test(argname)) |
||||
|
this.pos = colon + 2; |
||||
|
else |
||||
|
argname = null; |
||||
|
} |
||||
|
names.push(argname); |
||||
|
args.push(this.parseType()); |
||||
|
if (!this.eat(", ")) { |
||||
|
this.eat(")") || this.error(); |
||||
|
break; |
||||
|
} |
||||
|
} |
||||
|
var retType, computeRet, computeRetStart, fn; |
||||
|
if (this.eat(" -> ")) { |
||||
|
if (top && this.spec.indexOf("!", this.pos) > -1) { |
||||
|
retType = infer.ANull; |
||||
|
computeRetStart = this.pos; |
||||
|
computeRet = this.parseRetType(); |
||||
|
} else retType = this.parseType(); |
||||
|
} else retType = infer.ANull; |
||||
|
if (top && (fn = this.base)) |
||||
|
infer.Fn.call(this.base, name, infer.ANull, args, names, retType); |
||||
|
else |
||||
|
fn = new infer.Fn(name, infer.ANull, args, names, retType); |
||||
|
if (computeRet) fn.computeRet = computeRet; |
||||
|
if (computeRetStart != null) fn.computeRetSource = this.spec.slice(computeRetStart, this.pos); |
||||
|
return fn; |
||||
|
}, |
||||
|
parseType: function(name, top) { |
||||
|
var type, union = false; |
||||
|
for (;;) { |
||||
|
var inner = this.parseTypeInner(name, top); |
||||
|
if (union) inner.propagate(union); |
||||
|
else type = inner; |
||||
|
if (!this.eat("|")) break; |
||||
|
if (!union) { |
||||
|
union = new infer.AVal; |
||||
|
type.propagate(union); |
||||
|
type = union; |
||||
|
} |
||||
|
} |
||||
|
return type; |
||||
|
}, |
||||
|
parseTypeInner: function(name, top) { |
||||
|
if (this.eat("fn(")) { |
||||
|
return this.parseFnType(name, top); |
||||
|
} else if (this.eat("[")) { |
||||
|
var inner = this.parseType(); |
||||
|
this.eat("]") || this.error(); |
||||
|
if (top && this.base) { |
||||
|
infer.Arr.call(this.base, inner); |
||||
|
return this.base; |
||||
|
} |
||||
|
return new infer.Arr(inner); |
||||
|
} else if (this.eat("+")) { |
||||
|
var path = this.word(/[\w$<>\.!]/); |
||||
|
var base = parsePath(path + ".prototype"); |
||||
|
if (!(base instanceof infer.Obj)) base = parsePath(path); |
||||
|
if (!(base instanceof infer.Obj)) return base; |
||||
|
if (top && this.forceNew) return new infer.Obj(base); |
||||
|
return infer.getInstance(base); |
||||
|
} else if (this.eat("?")) { |
||||
|
return infer.ANull; |
||||
|
} else { |
||||
|
return this.fromWord(this.word(/[\w$<>\.!`]/)); |
||||
|
} |
||||
|
}, |
||||
|
fromWord: function(spec) { |
||||
|
var cx = infer.cx(); |
||||
|
switch (spec) { |
||||
|
case "number": return cx.num; |
||||
|
case "string": return cx.str; |
||||
|
case "bool": return cx.bool; |
||||
|
case "<top>": return cx.topScope; |
||||
|
} |
||||
|
if (cx.localDefs && spec in cx.localDefs) return cx.localDefs[spec]; |
||||
|
return parsePath(spec); |
||||
|
}, |
||||
|
parseBaseRetType: function() { |
||||
|
if (this.eat("[")) { |
||||
|
var inner = this.parseRetType(); |
||||
|
this.eat("]") || this.error(); |
||||
|
return function(self, args) { return new infer.Arr(inner(self, args)); }; |
||||
|
} else if (this.eat("+")) { |
||||
|
var base = this.parseRetType(); |
||||
|
var result = function(self, args) { |
||||
|
var proto = base(self, args); |
||||
|
if (proto instanceof infer.Fn && proto.hasProp("prototype")) |
||||
|
proto = proto.getProp("prototype").getObjType(); |
||||
|
if (!(proto instanceof infer.Obj)) return proto; |
||||
|
return new infer.Obj(proto); |
||||
|
}; |
||||
|
if (this.eat("[")) return this.parsePoly(result); |
||||
|
return result; |
||||
|
} else if (this.eat("!")) { |
||||
|
var arg = this.word(/\d/); |
||||
|
if (arg) { |
||||
|
arg = Number(arg); |
||||
|
return function(_self, args) {return args[arg] || infer.ANull;}; |
||||
|
} else if (this.eat("this")) { |
||||
|
return function(self) {return self;}; |
||||
|
} else if (this.eat("custom:")) { |
||||
|
var fname = this.word(/[\w$]/); |
||||
|
return customFunctions[fname] || function() { return infer.ANull; }; |
||||
|
} else { |
||||
|
return this.fromWord("!" + arg + this.word(/[\w$<>\.!]/)); |
||||
|
} |
||||
|
} |
||||
|
var t = this.parseType(); |
||||
|
return function(){return t;}; |
||||
|
}, |
||||
|
extendRetType: function(base) { |
||||
|
var propName = this.word(/[\w<>$!]/) || this.error(); |
||||
|
if (propName == "!ret") return function(self, args) { |
||||
|
var lhs = base(self, args); |
||||
|
if (lhs.retval) return lhs.retval; |
||||
|
var rv = new infer.AVal; |
||||
|
lhs.propagate(new infer.IsCallee(infer.ANull, [], null, rv)); |
||||
|
return rv; |
||||
|
}; |
||||
|
return function(self, args) {return base(self, args).getProp(propName);}; |
||||
|
}, |
||||
|
parsePoly: function(base) { |
||||
|
var propName = "<i>", match; |
||||
|
if (match = this.spec.slice(this.pos).match(/^\s*(\w+)\s*=\s*/)) { |
||||
|
propName = match[1]; |
||||
|
this.pos += match[0].length; |
||||
|
} |
||||
|
var value = this.parseRetType(); |
||||
|
if (!this.eat("]")) this.error(); |
||||
|
return function(self, args) { |
||||
|
var instance = base(self, args); |
||||
|
if (instance instanceof infer.Obj) |
||||
|
value(self, args).propagate(instance.defProp(propName)); |
||||
|
return instance; |
||||
|
}; |
||||
|
}, |
||||
|
parseRetType: function() { |
||||
|
var tp = this.parseBaseRetType(); |
||||
|
while (this.eat(".")) tp = this.extendRetType(tp); |
||||
|
return tp; |
||||
|
} |
||||
|
}; |
||||
|
|
||||
|
function parseType(spec, name, base, forceNew) { |
||||
|
var type = new TypeParser(spec, null, base, forceNew).parseType(name, true); |
||||
|
if (/^fn\(/.test(spec)) for (var i = 0; i < type.args.length; ++i) (function(i) { |
||||
|
var arg = type.args[i]; |
||||
|
if (arg instanceof infer.Fn && arg.args && arg.args.length) addEffect(type, function(_self, fArgs) { |
||||
|
var fArg = fArgs[i]; |
||||
|
if (fArg) fArg.propagate(new infer.IsCallee(infer.cx().topScope, arg.args, null, infer.ANull)); |
||||
|
}); |
||||
|
})(i); |
||||
|
return type; |
||||
|
} |
||||
|
|
||||
|
function addEffect(fn, handler, replaceRet) { |
||||
|
var oldCmp = fn.computeRet, rv = fn.retval; |
||||
|
fn.computeRet = function(self, args, argNodes) { |
||||
|
var handled = handler(self, args, argNodes); |
||||
|
var old = oldCmp ? oldCmp(self, args, argNodes) : rv; |
||||
|
return replaceRet ? handled : old; |
||||
|
}; |
||||
|
} |
||||
|
|
||||
|
var parseEffect = exports.parseEffect = function(effect, fn) { |
||||
|
var m; |
||||
|
if (effect.indexOf("propagate ") == 0) { |
||||
|
var p = new TypeParser(effect, 10); |
||||
|
var getOrigin = p.parseRetType(); |
||||
|
if (!p.eat(" ")) p.error(); |
||||
|
var getTarget = p.parseRetType(); |
||||
|
addEffect(fn, function(self, args) { |
||||
|
getOrigin(self, args).propagate(getTarget(self, args)); |
||||
|
}); |
||||
|
} else if (effect.indexOf("call ") == 0) { |
||||
|
var andRet = effect.indexOf("and return ", 5) == 5; |
||||
|
var p = new TypeParser(effect, andRet ? 16 : 5); |
||||
|
var getCallee = p.parseRetType(), getSelf = null, getArgs = []; |
||||
|
if (p.eat(" this=")) getSelf = p.parseRetType(); |
||||
|
while (p.eat(" ")) getArgs.push(p.parseRetType()); |
||||
|
addEffect(fn, function(self, args) { |
||||
|
var callee = getCallee(self, args); |
||||
|
var slf = getSelf ? getSelf(self, args) : infer.ANull, as = []; |
||||
|
for (var i = 0; i < getArgs.length; ++i) as.push(getArgs[i](self, args)); |
||||
|
var result = andRet ? new infer.AVal : infer.ANull; |
||||
|
callee.propagate(new infer.IsCallee(slf, as, null, result)); |
||||
|
return result; |
||||
|
}, andRet); |
||||
|
} else if (m = effect.match(/^custom (\S+)\s*(.*)/)) { |
||||
|
var customFunc = customFunctions[m[1]]; |
||||
|
if (customFunc) addEffect(fn, m[2] ? customFunc(m[2]) : customFunc); |
||||
|
} else if (effect.indexOf("copy ") == 0) { |
||||
|
var p = new TypeParser(effect, 5); |
||||
|
var getFrom = p.parseRetType(); |
||||
|
p.eat(" "); |
||||
|
var getTo = p.parseRetType(); |
||||
|
addEffect(fn, function(self, args) { |
||||
|
var from = getFrom(self, args), to = getTo(self, args); |
||||
|
from.forAllProps(function(prop, val, local) { |
||||
|
if (local && prop != "<i>") |
||||
|
to.propagate(new infer.PropHasSubset(prop, val)); |
||||
|
}); |
||||
|
}); |
||||
|
} else { |
||||
|
throw new Error("Unknown effect type: " + effect); |
||||
|
} |
||||
|
}; |
||||
|
|
||||
|
var currentTopScope; |
||||
|
|
||||
|
var parsePath = exports.parsePath = function(path, scope) { |
||||
|
var cx = infer.cx(), cached = cx.paths[path], origPath = path; |
||||
|
if (cached != null) return cached; |
||||
|
cx.paths[path] = infer.ANull; |
||||
|
|
||||
|
var base = scope || currentTopScope || cx.topScope; |
||||
|
|
||||
|
if (cx.localDefs) for (var name in cx.localDefs) { |
||||
|
if (path.indexOf(name) == 0) { |
||||
|
if (path == name) return cx.paths[path] = cx.localDefs[path]; |
||||
|
if (path.charAt(name.length) == ".") { |
||||
|
base = cx.localDefs[name]; |
||||
|
path = path.slice(name.length + 1); |
||||
|
break; |
||||
|
} |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
var parts = path.split("."); |
||||
|
for (var i = 0; i < parts.length && base != infer.ANull; ++i) { |
||||
|
var prop = parts[i]; |
||||
|
if (prop.charAt(0) == "!") { |
||||
|
if (prop == "!proto") { |
||||
|
base = (base instanceof infer.Obj && base.proto) || infer.ANull; |
||||
|
} else { |
||||
|
var fn = base.getFunctionType(); |
||||
|
if (!fn) { |
||||
|
base = infer.ANull; |
||||
|
} else if (prop == "!ret") { |
||||
|
base = fn.retval && fn.retval.getType(false) || infer.ANull; |
||||
|
} else { |
||||
|
var arg = fn.args && fn.args[Number(prop.slice(1))]; |
||||
|
base = (arg && arg.getType(false)) || infer.ANull; |
||||
|
} |
||||
|
} |
||||
|
} else if (base instanceof infer.Obj) { |
||||
|
var propVal = (prop == "prototype" && base instanceof infer.Fn) ? base.getProp(prop) : base.props[prop]; |
||||
|
if (!propVal || propVal.isEmpty()) |
||||
|
base = infer.ANull; |
||||
|
else |
||||
|
base = propVal.types[0]; |
||||
|
} |
||||
|
} |
||||
|
// Uncomment this to get feedback on your poorly written .json files
|
||||
|
// if (base == infer.ANull) console.error("bad path: " + origPath + " (" + cx.curOrigin + ")");
|
||||
|
cx.paths[origPath] = base == infer.ANull ? null : base; |
||||
|
return base; |
||||
|
}; |
||||
|
|
||||
|
function emptyObj(ctor) { |
||||
|
var empty = Object.create(ctor.prototype); |
||||
|
empty.props = Object.create(null); |
||||
|
empty.isShell = true; |
||||
|
return empty; |
||||
|
} |
||||
|
|
||||
|
function isSimpleAnnotation(spec) { |
||||
|
if (!spec["!type"] || /^(fn\(|\[)/.test(spec["!type"])) return false; |
||||
|
for (var prop in spec) |
||||
|
if (prop != "!type" && prop != "!doc" && prop != "!url" && prop != "!span" && prop != "!data") |
||||
|
return false; |
||||
|
return true; |
||||
|
} |
||||
|
|
||||
|
function passOne(base, spec, path) { |
||||
|
if (!base) { |
||||
|
var tp = spec["!type"]; |
||||
|
if (tp) { |
||||
|
if (/^fn\(/.test(tp)) base = emptyObj(infer.Fn); |
||||
|
else if (tp.charAt(0) == "[") base = emptyObj(infer.Arr); |
||||
|
else throw new Error("Invalid !type spec: " + tp); |
||||
|
} else if (spec["!stdProto"]) { |
||||
|
base = infer.cx().protos[spec["!stdProto"]]; |
||||
|
} else { |
||||
|
base = emptyObj(infer.Obj); |
||||
|
} |
||||
|
base.name = path; |
||||
|
} |
||||
|
|
||||
|
for (var name in spec) if (hop(spec, name) && name.charCodeAt(0) != 33) { |
||||
|
var inner = spec[name]; |
||||
|
if (typeof inner == "string" || isSimpleAnnotation(inner)) continue; |
||||
|
var prop = base.defProp(name); |
||||
|
passOne(prop.getObjType(), inner, path ? path + "." + name : name).propagate(prop); |
||||
|
} |
||||
|
return base; |
||||
|
} |
||||
|
|
||||
|
function passTwo(base, spec, path) { |
||||
|
if (base.isShell) { |
||||
|
delete base.isShell; |
||||
|
var tp = spec["!type"]; |
||||
|
if (tp) { |
||||
|
parseType(tp, path, base); |
||||
|
} else { |
||||
|
var proto = spec["!proto"] && parseType(spec["!proto"]); |
||||
|
infer.Obj.call(base, proto instanceof infer.Obj ? proto : true, path); |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
var effects = spec["!effects"]; |
||||
|
if (effects && base instanceof infer.Fn) for (var i = 0; i < effects.length; ++i) |
||||
|
parseEffect(effects[i], base); |
||||
|
copyInfo(spec, base); |
||||
|
|
||||
|
for (var name in spec) if (hop(spec, name) && name.charCodeAt(0) != 33) { |
||||
|
var inner = spec[name], known = base.defProp(name), innerPath = path ? path + "." + name : name; |
||||
|
if (typeof inner == "string") { |
||||
|
if (known.isEmpty()) parseType(inner, innerPath).propagate(known); |
||||
|
} else { |
||||
|
if (!isSimpleAnnotation(inner)) |
||||
|
passTwo(known.getObjType(), inner, innerPath); |
||||
|
else if (known.isEmpty()) |
||||
|
parseType(inner["!type"], innerPath, null, true).propagate(known); |
||||
|
else |
||||
|
continue; |
||||
|
if (inner["!doc"]) known.doc = inner["!doc"]; |
||||
|
if (inner["!url"]) known.url = inner["!url"]; |
||||
|
if (inner["!span"]) known.span = inner["!span"]; |
||||
|
} |
||||
|
} |
||||
|
return base; |
||||
|
} |
||||
|
|
||||
|
function copyInfo(spec, type) { |
||||
|
if (spec["!doc"]) type.doc = spec["!doc"]; |
||||
|
if (spec["!url"]) type.url = spec["!url"]; |
||||
|
if (spec["!span"]) type.span = spec["!span"]; |
||||
|
if (spec["!data"]) type.metaData = spec["!data"]; |
||||
|
} |
||||
|
|
||||
|
function runPasses(type, arg) { |
||||
|
var parent = infer.cx().parent, pass = parent && parent.passes && parent.passes[type]; |
||||
|
if (pass) for (var i = 0; i < pass.length; i++) pass[i](arg); |
||||
|
} |
||||
|
|
||||
|
function doLoadEnvironment(data, scope) { |
||||
|
var cx = infer.cx(); |
||||
|
|
||||
|
infer.addOrigin(cx.curOrigin = data["!name"] || "env#" + cx.origins.length); |
||||
|
cx.localDefs = cx.definitions[cx.curOrigin] = Object.create(null); |
||||
|
|
||||
|
runPasses("preLoadDef", data); |
||||
|
|
||||
|
passOne(scope, data); |
||||
|
|
||||
|
var def = data["!define"]; |
||||
|
if (def) { |
||||
|
for (var name in def) { |
||||
|
var spec = def[name]; |
||||
|
cx.localDefs[name] = typeof spec == "string" ? parsePath(spec) : passOne(null, spec, name); |
||||
|
} |
||||
|
for (var name in def) { |
||||
|
var spec = def[name]; |
||||
|
if (typeof spec != "string") passTwo(cx.localDefs[name], def[name], name); |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
passTwo(scope, data); |
||||
|
|
||||
|
runPasses("postLoadDef", data); |
||||
|
|
||||
|
cx.curOrigin = cx.localDefs = null; |
||||
|
} |
||||
|
|
||||
|
exports.load = function(data, scope) { |
||||
|
if (!scope) scope = infer.cx().topScope; |
||||
|
var oldScope = currentTopScope; |
||||
|
currentTopScope = scope; |
||||
|
try { |
||||
|
doLoadEnvironment(data, scope); |
||||
|
} finally { |
||||
|
currentTopScope = oldScope; |
||||
|
} |
||||
|
}; |
||||
|
|
||||
|
exports.parse = function(data, origin, path) { |
||||
|
var cx = infer.cx(); |
||||
|
if (origin) { |
||||
|
cx.origin = origin; |
||||
|
cx.localDefs = cx.definitions[origin]; |
||||
|
} |
||||
|
|
||||
|
try { |
||||
|
if (typeof data == "string") |
||||
|
return parseType(data, path); |
||||
|
else |
||||
|
return passTwo(passOne(null, data, path), data, path); |
||||
|
} finally { |
||||
|
if (origin) cx.origin = cx.localDefs = null; |
||||
|
} |
||||
|
}; |
||||
|
|
||||
|
// Used to register custom logic for more involved effect or type
|
||||
|
// computation.
|
||||
|
var customFunctions = Object.create(null); |
||||
|
infer.registerFunction = function(name, f) { customFunctions[name] = f; }; |
||||
|
|
||||
|
var IsCreated = infer.constraint("created, target, spec", { |
||||
|
addType: function(tp) { |
||||
|
if (tp instanceof infer.Obj && this.created++ < 5) { |
||||
|
var derived = new infer.Obj(tp), spec = this.spec; |
||||
|
if (spec instanceof infer.AVal) spec = spec.getObjType(false); |
||||
|
if (spec instanceof infer.Obj) for (var prop in spec.props) { |
||||
|
var cur = spec.props[prop].types[0]; |
||||
|
var p = derived.defProp(prop); |
||||
|
if (cur && cur instanceof infer.Obj && cur.props.value) { |
||||
|
var vtp = cur.props.value.getType(false); |
||||
|
if (vtp) p.addType(vtp); |
||||
|
} |
||||
|
} |
||||
|
this.target.addType(derived); |
||||
|
} |
||||
|
} |
||||
|
}); |
||||
|
|
||||
|
infer.registerFunction("Object_create", function(_self, args, argNodes) { |
||||
|
if (argNodes && argNodes.length && argNodes[0].type == "Literal" && argNodes[0].value == null) |
||||
|
return new infer.Obj(); |
||||
|
|
||||
|
var result = new infer.AVal; |
||||
|
if (args[0]) args[0].propagate(new IsCreated(0, result, args[1])); |
||||
|
return result; |
||||
|
}); |
||||
|
|
||||
|
var PropSpec = infer.constraint("target", { |
||||
|
addType: function(tp) { |
||||
|
if (!(tp instanceof infer.Obj)) return; |
||||
|
if (tp.hasProp("value")) |
||||
|
tp.getProp("value").propagate(this.target); |
||||
|
else if (tp.hasProp("get")) |
||||
|
tp.getProp("get").propagate(new infer.IsCallee(infer.ANull, [], null, this.target)); |
||||
|
} |
||||
|
}); |
||||
|
|
||||
|
infer.registerFunction("Object_defineProperty", function(_self, args, argNodes) { |
||||
|
if (argNodes && argNodes.length >= 3 && argNodes[1].type == "Literal" && |
||||
|
typeof argNodes[1].value == "string") { |
||||
|
var obj = args[0], connect = new infer.AVal; |
||||
|
obj.propagate(new infer.PropHasSubset(argNodes[1].value, connect, argNodes[1])); |
||||
|
args[2].propagate(new PropSpec(connect)); |
||||
|
} |
||||
|
return infer.ANull; |
||||
|
}); |
||||
|
|
||||
|
var IsBound = infer.constraint("self, args, target", { |
||||
|
addType: function(tp) { |
||||
|
if (!(tp instanceof infer.Fn)) return; |
||||
|
this.target.addType(new infer.Fn(tp.name, tp.self, tp.args.slice(this.args.length), |
||||
|
tp.argNames.slice(this.args.length), tp.retval)); |
||||
|
this.self.propagate(tp.self); |
||||
|
for (var i = 0; i < Math.min(tp.args.length, this.args.length); ++i) |
||||
|
this.args[i].propagate(tp.args[i]); |
||||
|
} |
||||
|
}); |
||||
|
|
||||
|
infer.registerFunction("Function_bind", function(self, args) { |
||||
|
if (!args.length) return infer.ANull; |
||||
|
var result = new infer.AVal; |
||||
|
self.propagate(new IsBound(args[0], args.slice(1), result)); |
||||
|
return result; |
||||
|
}); |
||||
|
|
||||
|
infer.registerFunction("Array_ctor", function(_self, args) { |
||||
|
var arr = new infer.Arr; |
||||
|
if (args.length != 1 || !args[0].hasType(infer.cx().num)) { |
||||
|
var content = arr.getProp("<i>"); |
||||
|
for (var i = 0; i < args.length; ++i) args[i].propagate(content); |
||||
|
} |
||||
|
return arr; |
||||
|
}); |
||||
|
|
||||
|
infer.registerFunction("Promise_ctor", function(_self, args, argNodes) { |
||||
|
if (args.length < 1) return infer.ANull; |
||||
|
var self = new infer.Obj(infer.cx().definitions.ecma6["Promise.prototype"]); |
||||
|
var valProp = self.defProp("value", argNodes && argNodes[0]); |
||||
|
var valArg = new infer.AVal; |
||||
|
valArg.propagate(valProp); |
||||
|
var exec = new infer.Fn("execute", infer.ANull, [valArg], ["value"], infer.ANull); |
||||
|
var reject = infer.cx().definitions.ecma6.promiseReject; |
||||
|
args[0].propagate(new infer.IsCallee(infer.ANull, [exec, reject], null, infer.ANull)); |
||||
|
return self; |
||||
|
}); |
||||
|
|
||||
|
return exports; |
||||
|
}); |
||||
@ -0,0 +1,402 @@ |
|||||
|
// Parses comments above variable declarations, function declarations,
|
||||
|
// and object properties as docstrings and JSDoc-style type
|
||||
|
// annotations.
|
||||
|
|
||||
|
(function(mod) { |
||||
|
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
||||
|
return mod(require("../lib/infer"), require("../lib/tern"), require("../lib/comment"), |
||||
|
require("acorn/acorn"), require("acorn/util/walk")); |
||||
|
if (typeof define == "function" && define.amd) // AMD
|
||||
|
return define(["../lib/infer", "../lib/tern", "../lib/comment", "acorn/acorn", "acorn/util/walk"], mod); |
||||
|
mod(tern, tern, tern.comment, acorn, acorn.walk); |
||||
|
})(function(infer, tern, comment, acorn, walk) { |
||||
|
"use strict"; |
||||
|
|
||||
|
var WG_MADEUP = 1, WG_STRONG = 101; |
||||
|
|
||||
|
tern.registerPlugin("doc_comment", function(server, options) { |
||||
|
server.jsdocTypedefs = Object.create(null); |
||||
|
server.on("reset", function() { |
||||
|
server.jsdocTypedefs = Object.create(null); |
||||
|
}); |
||||
|
server._docComment = { |
||||
|
weight: options && options.strong ? WG_STRONG : undefined, |
||||
|
fullDocs: options && options.fullDocs |
||||
|
}; |
||||
|
|
||||
|
return { |
||||
|
passes: { |
||||
|
postParse: postParse, |
||||
|
postInfer: postInfer, |
||||
|
postLoadDef: postLoadDef |
||||
|
} |
||||
|
}; |
||||
|
}); |
||||
|
|
||||
|
function postParse(ast, text) { |
||||
|
function attachComments(node) { comment.ensureCommentsBefore(text, node); } |
||||
|
|
||||
|
walk.simple(ast, { |
||||
|
VariableDeclaration: attachComments, |
||||
|
FunctionDeclaration: attachComments, |
||||
|
AssignmentExpression: function(node) { |
||||
|
if (node.operator == "=") attachComments(node); |
||||
|
}, |
||||
|
ObjectExpression: function(node) { |
||||
|
for (var i = 0; i < node.properties.length; ++i) |
||||
|
attachComments(node.properties[i]); |
||||
|
}, |
||||
|
CallExpression: function(node) { |
||||
|
if (isDefinePropertyCall(node)) attachComments(node); |
||||
|
} |
||||
|
}); |
||||
|
} |
||||
|
|
||||
|
function isDefinePropertyCall(node) { |
||||
|
return node.callee.type == "MemberExpression" && |
||||
|
node.callee.object.name == "Object" && |
||||
|
node.callee.property.name == "defineProperty" && |
||||
|
node.arguments.length >= 3 && |
||||
|
typeof node.arguments[1].value == "string"; |
||||
|
} |
||||
|
|
||||
|
function postInfer(ast, scope) { |
||||
|
jsdocParseTypedefs(ast.sourceFile.text, scope); |
||||
|
|
||||
|
walk.simple(ast, { |
||||
|
VariableDeclaration: function(node, scope) { |
||||
|
if (node.commentsBefore) |
||||
|
interpretComments(node, node.commentsBefore, scope, |
||||
|
scope.getProp(node.declarations[0].id.name)); |
||||
|
}, |
||||
|
FunctionDeclaration: function(node, scope) { |
||||
|
if (node.commentsBefore) |
||||
|
interpretComments(node, node.commentsBefore, scope, |
||||
|
scope.getProp(node.id.name), |
||||
|
node.body.scope.fnType); |
||||
|
}, |
||||
|
AssignmentExpression: function(node, scope) { |
||||
|
if (node.commentsBefore) |
||||
|
interpretComments(node, node.commentsBefore, scope, |
||||
|
infer.expressionType({node: node.left, state: scope})); |
||||
|
}, |
||||
|
ObjectExpression: function(node, scope) { |
||||
|
for (var i = 0; i < node.properties.length; ++i) { |
||||
|
var prop = node.properties[i]; |
||||
|
if (prop.commentsBefore) |
||||
|
interpretComments(prop, prop.commentsBefore, scope, |
||||
|
node.objType.getProp(prop.key.name)); |
||||
|
} |
||||
|
}, |
||||
|
CallExpression: function(node, scope) { |
||||
|
if (node.commentsBefore && isDefinePropertyCall(node)) { |
||||
|
var type = infer.expressionType({node: node.arguments[0], state: scope}).getObjType(); |
||||
|
if (type && type instanceof infer.Obj) { |
||||
|
var prop = type.props[node.arguments[1].value]; |
||||
|
if (prop) interpretComments(node, node.commentsBefore, scope, prop); |
||||
|
} |
||||
|
} |
||||
|
} |
||||
|
}, infer.searchVisitor, scope); |
||||
|
} |
||||
|
|
||||
|
function postLoadDef(data) { |
||||
|
var defs = data["!typedef"]; |
||||
|
var cx = infer.cx(), orig = data["!name"]; |
||||
|
if (defs) for (var name in defs) |
||||
|
cx.parent.jsdocTypedefs[name] = |
||||
|
maybeInstance(infer.def.parse(defs[name], orig, name), name); |
||||
|
} |
||||
|
|
||||
|
// COMMENT INTERPRETATION
|
||||
|
|
||||
|
function interpretComments(node, comments, scope, aval, type) { |
||||
|
jsdocInterpretComments(node, scope, aval, comments); |
||||
|
var cx = infer.cx(); |
||||
|
|
||||
|
if (!type && aval instanceof infer.AVal && aval.types.length) { |
||||
|
type = aval.types[aval.types.length - 1]; |
||||
|
if (!(type instanceof infer.Obj) || type.origin != cx.curOrigin || type.doc) |
||||
|
type = null; |
||||
|
} |
||||
|
|
||||
|
var result = comments[comments.length - 1]; |
||||
|
if (cx.parent._docComment.fullDocs) { |
||||
|
result = result.trim().replace(/\n[ \t]*\* ?/g, "\n"); |
||||
|
} else { |
||||
|
var dot = result.search(/\.\s/); |
||||
|
if (dot > 5) result = result.slice(0, dot + 1); |
||||
|
result = result.trim().replace(/\s*\n\s*\*\s*|\s{1,}/g, " "); |
||||
|
} |
||||
|
result = result.replace(/^\s*\*+\s*/, ""); |
||||
|
|
||||
|
if (aval instanceof infer.AVal) aval.doc = result; |
||||
|
if (type) type.doc = result; |
||||
|
} |
||||
|
|
||||
|
// Parses a subset of JSDoc-style comments in order to include the
|
||||
|
// explicitly defined types in the analysis.
|
||||
|
|
||||
|
function skipSpace(str, pos) { |
||||
|
while (/\s/.test(str.charAt(pos))) ++pos; |
||||
|
return pos; |
||||
|
} |
||||
|
|
||||
|
function isIdentifier(string) { |
||||
|
if (!acorn.isIdentifierStart(string.charCodeAt(0))) return false; |
||||
|
for (var i = 1; i < string.length; i++) |
||||
|
if (!acorn.isIdentifierChar(string.charCodeAt(i))) return false; |
||||
|
return true; |
||||
|
} |
||||
|
|
||||
|
function parseLabelList(scope, str, pos, close) { |
||||
|
var labels = [], types = [], madeUp = false; |
||||
|
for (var first = true; ; first = false) { |
||||
|
pos = skipSpace(str, pos); |
||||
|
if (first && str.charAt(pos) == close) break; |
||||
|
var colon = str.indexOf(":", pos); |
||||
|
if (colon < 0) return null; |
||||
|
var label = str.slice(pos, colon); |
||||
|
if (!isIdentifier(label)) return null; |
||||
|
labels.push(label); |
||||
|
pos = colon + 1; |
||||
|
var type = parseType(scope, str, pos); |
||||
|
if (!type) return null; |
||||
|
pos = type.end; |
||||
|
madeUp = madeUp || type.madeUp; |
||||
|
types.push(type.type); |
||||
|
pos = skipSpace(str, pos); |
||||
|
var next = str.charAt(pos); |
||||
|
++pos; |
||||
|
if (next == close) break; |
||||
|
if (next != ",") return null; |
||||
|
} |
||||
|
return {labels: labels, types: types, end: pos, madeUp: madeUp}; |
||||
|
} |
||||
|
|
||||
|
function parseType(scope, str, pos) { |
||||
|
var type, union = false, madeUp = false; |
||||
|
for (;;) { |
||||
|
var inner = parseTypeInner(scope, str, pos); |
||||
|
if (!inner) return null; |
||||
|
madeUp = madeUp || inner.madeUp; |
||||
|
if (union) inner.type.propagate(union); |
||||
|
else type = inner.type; |
||||
|
pos = skipSpace(str, inner.end); |
||||
|
if (str.charAt(pos) != "|") break; |
||||
|
pos++; |
||||
|
if (!union) { |
||||
|
union = new infer.AVal; |
||||
|
type.propagate(union); |
||||
|
type = union; |
||||
|
} |
||||
|
} |
||||
|
var isOptional = false; |
||||
|
if (str.charAt(pos) == "=") { |
||||
|
++pos; |
||||
|
isOptional = true; |
||||
|
} |
||||
|
return {type: type, end: pos, isOptional: isOptional, madeUp: madeUp}; |
||||
|
} |
||||
|
|
||||
|
function parseTypeInner(scope, str, pos) { |
||||
|
pos = skipSpace(str, pos); |
||||
|
var type, madeUp = false; |
||||
|
|
||||
|
if (str.indexOf("function(", pos) == pos) { |
||||
|
var args = parseLabelList(scope, str, pos + 9, ")"), ret = infer.ANull; |
||||
|
if (!args) return null; |
||||
|
pos = skipSpace(str, args.end); |
||||
|
if (str.charAt(pos) == ":") { |
||||
|
++pos; |
||||
|
var retType = parseType(scope, str, pos + 1); |
||||
|
if (!retType) return null; |
||||
|
pos = retType.end; |
||||
|
ret = retType.type; |
||||
|
madeUp = retType.madeUp; |
||||
|
} |
||||
|
type = new infer.Fn(null, infer.ANull, args.types, args.labels, ret); |
||||
|
} else if (str.charAt(pos) == "[") { |
||||
|
var inner = parseType(scope, str, pos + 1); |
||||
|
if (!inner) return null; |
||||
|
pos = skipSpace(str, inner.end); |
||||
|
madeUp = inner.madeUp; |
||||
|
if (str.charAt(pos) != "]") return null; |
||||
|
++pos; |
||||
|
type = new infer.Arr(inner.type); |
||||
|
} else if (str.charAt(pos) == "{") { |
||||
|
var fields = parseLabelList(scope, str, pos + 1, "}"); |
||||
|
if (!fields) return null; |
||||
|
type = new infer.Obj(true); |
||||
|
for (var i = 0; i < fields.types.length; ++i) { |
||||
|
var field = type.defProp(fields.labels[i]); |
||||
|
field.initializer = true; |
||||
|
fields.types[i].propagate(field); |
||||
|
} |
||||
|
pos = fields.end; |
||||
|
madeUp = fields.madeUp; |
||||
|
} else if (str.charAt(pos) == "(") { |
||||
|
var inner = parseType(scope, str, pos + 1); |
||||
|
if (!inner) return null; |
||||
|
pos = skipSpace(str, inner.end); |
||||
|
if (str.charAt(pos) != ")") return null; |
||||
|
++pos; |
||||
|
type = inner.type; |
||||
|
} else { |
||||
|
var start = pos; |
||||
|
if (!acorn.isIdentifierStart(str.charCodeAt(pos))) return null; |
||||
|
while (acorn.isIdentifierChar(str.charCodeAt(pos))) ++pos; |
||||
|
if (start == pos) return null; |
||||
|
var word = str.slice(start, pos); |
||||
|
if (/^(number|integer)$/i.test(word)) type = infer.cx().num; |
||||
|
else if (/^bool(ean)?$/i.test(word)) type = infer.cx().bool; |
||||
|
else if (/^string$/i.test(word)) type = infer.cx().str; |
||||
|
else if (/^(null|undefined)$/i.test(word)) type = infer.ANull; |
||||
|
else if (/^array$/i.test(word)) { |
||||
|
var inner = null; |
||||
|
if (str.charAt(pos) == "." && str.charAt(pos + 1) == "<") { |
||||
|
var inAngles = parseType(scope, str, pos + 2); |
||||
|
if (!inAngles) return null; |
||||
|
pos = skipSpace(str, inAngles.end); |
||||
|
madeUp = inAngles.madeUp; |
||||
|
if (str.charAt(pos++) != ">") return null; |
||||
|
inner = inAngles.type; |
||||
|
} |
||||
|
type = new infer.Arr(inner); |
||||
|
} else if (/^object$/i.test(word)) { |
||||
|
type = new infer.Obj(true); |
||||
|
if (str.charAt(pos) == "." && str.charAt(pos + 1) == "<") { |
||||
|
var key = parseType(scope, str, pos + 2); |
||||
|
if (!key) return null; |
||||
|
pos = skipSpace(str, key.end); |
||||
|
madeUp = madeUp || key.madeUp; |
||||
|
if (str.charAt(pos++) != ",") return null; |
||||
|
var val = parseType(scope, str, pos); |
||||
|
if (!val) return null; |
||||
|
pos = skipSpace(str, val.end); |
||||
|
madeUp = key.madeUp || val.madeUp; |
||||
|
if (str.charAt(pos++) != ">") return null; |
||||
|
val.type.propagate(type.defProp("<i>")); |
||||
|
} |
||||
|
} else { |
||||
|
while (str.charCodeAt(pos) == 46 || |
||||
|
acorn.isIdentifierChar(str.charCodeAt(pos))) ++pos; |
||||
|
var path = str.slice(start, pos); |
||||
|
var cx = infer.cx(), defs = cx.parent && cx.parent.jsdocTypedefs, found; |
||||
|
if (defs && (path in defs)) { |
||||
|
type = defs[path]; |
||||
|
} else if (found = infer.def.parsePath(path, scope).getObjType()) { |
||||
|
type = maybeInstance(found, path); |
||||
|
} else { |
||||
|
if (!cx.jsdocPlaceholders) cx.jsdocPlaceholders = Object.create(null); |
||||
|
if (!(path in cx.jsdocPlaceholders)) |
||||
|
type = cx.jsdocPlaceholders[path] = new infer.Obj(null, path); |
||||
|
else |
||||
|
type = cx.jsdocPlaceholders[path]; |
||||
|
madeUp = true; |
||||
|
} |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
return {type: type, end: pos, madeUp: madeUp}; |
||||
|
} |
||||
|
|
||||
|
function maybeInstance(type, path) { |
||||
|
if (type instanceof infer.Fn && /^[A-Z]/.test(path)) { |
||||
|
var proto = type.getProp("prototype").getObjType(); |
||||
|
if (proto instanceof infer.Obj) return infer.getInstance(proto); |
||||
|
} |
||||
|
return type; |
||||
|
} |
||||
|
|
||||
|
function parseTypeOuter(scope, str, pos) { |
||||
|
pos = skipSpace(str, pos || 0); |
||||
|
if (str.charAt(pos) != "{") return null; |
||||
|
var result = parseType(scope, str, pos + 1); |
||||
|
if (!result) return null; |
||||
|
var end = skipSpace(str, result.end); |
||||
|
if (str.charAt(end) != "}") return null; |
||||
|
result.end = end + 1; |
||||
|
return result; |
||||
|
} |
||||
|
|
||||
|
function jsdocInterpretComments(node, scope, aval, comments) { |
||||
|
var type, args, ret, foundOne, self, parsed; |
||||
|
|
||||
|
for (var i = 0; i < comments.length; ++i) { |
||||
|
var comment = comments[i]; |
||||
|
var decl = /(?:\n|$|\*)\s*@(type|param|arg(?:ument)?|returns?|this)\s+(.*)/g, m; |
||||
|
while (m = decl.exec(comment)) { |
||||
|
if (m[1] == "this" && (parsed = parseType(scope, m[2], 0))) { |
||||
|
self = parsed; |
||||
|
foundOne = true; |
||||
|
continue; |
||||
|
} |
||||
|
|
||||
|
if (!(parsed = parseTypeOuter(scope, m[2]))) continue; |
||||
|
foundOne = true; |
||||
|
|
||||
|
switch(m[1]) { |
||||
|
case "returns": case "return": |
||||
|
ret = parsed; break; |
||||
|
case "type": |
||||
|
type = parsed; break; |
||||
|
case "param": case "arg": case "argument": |
||||
|
var name = m[2].slice(parsed.end).match(/^\s*(\[?)\s*([^\]\s=]+)\s*(?:=[^\]]+\s*)?(\]?).*/); |
||||
|
if (!name) continue; |
||||
|
var argname = name[2] + (parsed.isOptional || (name[1] === '[' && name[3] === ']') ? "?" : ""); |
||||
|
(args || (args = Object.create(null)))[argname] = parsed; |
||||
|
break; |
||||
|
} |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
if (foundOne) applyType(type, self, args, ret, node, aval); |
||||
|
}; |
||||
|
|
||||
|
function jsdocParseTypedefs(text, scope) { |
||||
|
var cx = infer.cx(); |
||||
|
|
||||
|
var re = /\s@typedef\s+(.*)/g, m; |
||||
|
while (m = re.exec(text)) { |
||||
|
var parsed = parseTypeOuter(scope, m[1]); |
||||
|
var name = parsed && m[1].slice(parsed.end).match(/^\s*(\S+)/); |
||||
|
if (name) |
||||
|
cx.parent.jsdocTypedefs[name[1]] = parsed.type; |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
function propagateWithWeight(type, target) { |
||||
|
var weight = infer.cx().parent._docComment.weight; |
||||
|
type.type.propagate(target, weight || (type.madeUp ? WG_MADEUP : undefined)); |
||||
|
} |
||||
|
|
||||
|
function applyType(type, self, args, ret, node, aval) { |
||||
|
var fn; |
||||
|
if (node.type == "VariableDeclaration") { |
||||
|
var decl = node.declarations[0]; |
||||
|
if (decl.init && decl.init.type == "FunctionExpression") fn = decl.init.body.scope.fnType; |
||||
|
} else if (node.type == "FunctionDeclaration") { |
||||
|
fn = node.body.scope.fnType; |
||||
|
} else if (node.type == "AssignmentExpression") { |
||||
|
if (node.right.type == "FunctionExpression") |
||||
|
fn = node.right.body.scope.fnType; |
||||
|
} else if (node.type == "CallExpression") { |
||||
|
} else { // An object property
|
||||
|
if (node.value.type == "FunctionExpression") fn = node.value.body.scope.fnType; |
||||
|
} |
||||
|
|
||||
|
if (fn && (args || ret || self)) { |
||||
|
if (args) for (var i = 0; i < fn.argNames.length; ++i) { |
||||
|
var name = fn.argNames[i], known = args[name]; |
||||
|
if (!known && (known = args[name + "?"])) |
||||
|
fn.argNames[i] += "?"; |
||||
|
if (known) propagateWithWeight(known, fn.args[i]); |
||||
|
} |
||||
|
if (ret) propagateWithWeight(ret, fn.retval); |
||||
|
if (self) propagateWithWeight(self, fn.self); |
||||
|
} else if (type) { |
||||
|
propagateWithWeight(type, aval); |
||||
|
} |
||||
|
}; |
||||
|
}); |
||||
@ -0,0 +1,969 @@ |
|||||
|
function ecma5Spec() |
||||
|
{ |
||||
|
return { |
||||
|
"!name": "ecma5", |
||||
|
"!define": {"Error.prototype": "Error.prototype"}, |
||||
|
"Infinity": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Infinity", |
||||
|
"!doc": "A numeric value representing infinity." |
||||
|
}, |
||||
|
"undefined": { |
||||
|
"!type": "?", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/undefined", |
||||
|
"!doc": "The value undefined." |
||||
|
}, |
||||
|
"NaN": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/NaN", |
||||
|
"!doc": "A value representing Not-A-Number." |
||||
|
}, |
||||
|
"Object": { |
||||
|
"!type": "fn()", |
||||
|
"getPrototypeOf": { |
||||
|
"!type": "fn(obj: ?) -> ?", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/getPrototypeOf", |
||||
|
"!doc": "Returns the prototype (i.e. the internal prototype) of the specified object." |
||||
|
}, |
||||
|
"create": { |
||||
|
"!type": "fn(proto: ?) -> !custom:Object_create", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/create", |
||||
|
"!doc": "Creates a new object with the specified prototype object and properties." |
||||
|
}, |
||||
|
"defineProperty": { |
||||
|
"!type": "fn(obj: ?, prop: string, desc: ?) -> !custom:Object_defineProperty", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/defineProperty", |
||||
|
"!doc": "Defines a new property directly on an object, or modifies an existing property on an object, and returns the object. If you want to see how to use the Object.defineProperty method with a binary-flags-like syntax, see this article." |
||||
|
}, |
||||
|
"defineProperties": { |
||||
|
"!type": "fn(obj: ?, props: ?)", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/defineProperty", |
||||
|
"!doc": "Defines a new property directly on an object, or modifies an existing property on an object, and returns the object. If you want to see how to use the Object.defineProperty method with a binary-flags-like syntax, see this article." |
||||
|
}, |
||||
|
"getOwnPropertyDescriptor": { |
||||
|
"!type": "fn(obj: ?, prop: string) -> ?", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/getOwnPropertyDescriptor", |
||||
|
"!doc": "Returns a property descriptor for an own property (that is, one directly present on an object, not present by dint of being along an object's prototype chain) of a given object." |
||||
|
}, |
||||
|
"keys": { |
||||
|
"!type": "fn(obj: ?) -> [string]", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/keys", |
||||
|
"!doc": "Returns an array of a given object's own enumerable properties, in the same order as that provided by a for-in loop (the difference being that a for-in loop enumerates properties in the prototype chain as well)." |
||||
|
}, |
||||
|
"getOwnPropertyNames": { |
||||
|
"!type": "fn(obj: ?) -> [string]", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/getOwnPropertyNames", |
||||
|
"!doc": "Returns an array of all properties (enumerable or not) found directly upon a given object." |
||||
|
}, |
||||
|
"seal": { |
||||
|
"!type": "fn(obj: ?)", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/seal", |
||||
|
"!doc": "Seals an object, preventing new properties from being added to it and marking all existing properties as non-configurable. Values of present properties can still be changed as long as they are writable." |
||||
|
}, |
||||
|
"isSealed": { |
||||
|
"!type": "fn(obj: ?) -> bool", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/isSealed", |
||||
|
"!doc": "Determine if an object is sealed." |
||||
|
}, |
||||
|
"freeze": { |
||||
|
"!type": "fn(obj: ?)", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/freeze", |
||||
|
"!doc": "Freezes an object: that is, prevents new properties from being added to it; prevents existing properties from being removed; and prevents existing properties, or their enumerability, configurability, or writability, from being changed. In essence the object is made effectively immutable. The method returns the object being frozen." |
||||
|
}, |
||||
|
"isFrozen": { |
||||
|
"!type": "fn(obj: ?) -> bool", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/isFrozen", |
||||
|
"!doc": "Determine if an object is frozen." |
||||
|
}, |
||||
|
"preventExtensions": { |
||||
|
"!type": "fn(obj: ?)", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Object/preventExtensions", |
||||
|
"!doc": "Prevents new properties from ever being added to an object." |
||||
|
}, |
||||
|
"isExtensible": { |
||||
|
"!type": "fn(obj: ?) -> bool", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Object/isExtensible", |
||||
|
"!doc": "The Object.isExtensible() method determines if an object is extensible (whether it can have new properties added to it)." |
||||
|
}, |
||||
|
"prototype": { |
||||
|
"!stdProto": "Object", |
||||
|
"toString": { |
||||
|
"!type": "fn() -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/toString", |
||||
|
"!doc": "Returns a string representing the object." |
||||
|
}, |
||||
|
"toLocaleString": { |
||||
|
"!type": "fn() -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/toLocaleString", |
||||
|
"!doc": "Returns a string representing the object. This method is meant to be overriden by derived objects for locale-specific purposes." |
||||
|
}, |
||||
|
"valueOf": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/valueOf", |
||||
|
"!doc": "Returns the primitive value of the specified object" |
||||
|
}, |
||||
|
"hasOwnProperty": { |
||||
|
"!type": "fn(prop: string) -> bool", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/hasOwnProperty", |
||||
|
"!doc": "Returns a boolean indicating whether the object has the specified property." |
||||
|
}, |
||||
|
"propertyIsEnumerable": { |
||||
|
"!type": "fn(prop: string) -> bool", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object/propertyIsEnumerable", |
||||
|
"!doc": "Returns a Boolean indicating whether the specified property is enumerable." |
||||
|
}, |
||||
|
"isPrototypeOf": { |
||||
|
"!type": "fn(obj: ?) -> bool", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Object/isPrototypeOf", |
||||
|
"!doc": "Tests for an object in another object's prototype chain." |
||||
|
} |
||||
|
}, |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Object", |
||||
|
"!doc": "Creates an object wrapper." |
||||
|
}, |
||||
|
"Function": { |
||||
|
"!type": "fn(body: string) -> fn()", |
||||
|
"prototype": { |
||||
|
"!stdProto": "Function", |
||||
|
"apply": { |
||||
|
"!type": "fn(this: ?, args: [?])", |
||||
|
"!effects": [ |
||||
|
"call and return !this this=!0 !1.<i> !1.<i> !1.<i>" |
||||
|
], |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Function/apply", |
||||
|
"!doc": "Calls a function with a given this value and arguments provided as an array (or an array like object)." |
||||
|
}, |
||||
|
"call": { |
||||
|
"!type": "fn(this: ?, args?: ?) -> !this.!ret", |
||||
|
"!effects": [ |
||||
|
"call and return !this this=!0 !1 !2 !3 !4" |
||||
|
], |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Function/call", |
||||
|
"!doc": "Calls a function with a given this value and arguments provided individually." |
||||
|
}, |
||||
|
"bind": { |
||||
|
"!type": "fn(this: ?, args?: ?) -> !custom:Function_bind", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Function/bind", |
||||
|
"!doc": "Creates a new function that, when called, has its this keyword set to the provided value, with a given sequence of arguments preceding any provided when the new function was called." |
||||
|
}, |
||||
|
"prototype": "?" |
||||
|
}, |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Function", |
||||
|
"!doc": "Every function in JavaScript is actually a Function object." |
||||
|
}, |
||||
|
"Array": { |
||||
|
"!type": "fn(size: number) -> !custom:Array_ctor", |
||||
|
"isArray": { |
||||
|
"!type": "fn(value: ?) -> bool", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/isArray", |
||||
|
"!doc": "Returns true if an object is an array, false if it is not." |
||||
|
}, |
||||
|
"prototype": { |
||||
|
"!stdProto": "Array", |
||||
|
"length": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/length", |
||||
|
"!doc": "An unsigned, 32-bit integer that specifies the number of elements in an array." |
||||
|
}, |
||||
|
"concat": { |
||||
|
"!type": "fn(other: [?]) -> !this", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/concat", |
||||
|
"!doc": "Returns a new array comprised of this array joined with other array(s) and/or value(s)." |
||||
|
}, |
||||
|
"join": { |
||||
|
"!type": "fn(separator?: string) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/join", |
||||
|
"!doc": "Joins all elements of an array into a string." |
||||
|
}, |
||||
|
"splice": { |
||||
|
"!type": "fn(pos: number, amount: number)", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/splice", |
||||
|
"!doc": "Changes the content of an array, adding new elements while removing old elements." |
||||
|
}, |
||||
|
"pop": { |
||||
|
"!type": "fn() -> !this.<i>", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/pop", |
||||
|
"!doc": "Removes the last element from an array and returns that element." |
||||
|
}, |
||||
|
"push": { |
||||
|
"!type": "fn(newelt: ?) -> number", |
||||
|
"!effects": [ |
||||
|
"propagate !0 !this.<i>" |
||||
|
], |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/push", |
||||
|
"!doc": "Mutates an array by appending the given elements and returning the new length of the array." |
||||
|
}, |
||||
|
"shift": { |
||||
|
"!type": "fn() -> !this.<i>", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/shift", |
||||
|
"!doc": "Removes the first element from an array and returns that element. This method changes the length of the array." |
||||
|
}, |
||||
|
"unshift": { |
||||
|
"!type": "fn(newelt: ?) -> number", |
||||
|
"!effects": [ |
||||
|
"propagate !0 !this.<i>" |
||||
|
], |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/unshift", |
||||
|
"!doc": "Adds one or more elements to the beginning of an array and returns the new length of the array." |
||||
|
}, |
||||
|
"slice": { |
||||
|
"!type": "fn(from: number, to?: number) -> !this", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/slice", |
||||
|
"!doc": "Returns a shallow copy of a portion of an array." |
||||
|
}, |
||||
|
"reverse": { |
||||
|
"!type": "fn()", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/reverse", |
||||
|
"!doc": "Reverses an array in place. The first array element becomes the last and the last becomes the first." |
||||
|
}, |
||||
|
"sort": { |
||||
|
"!type": "fn(compare?: fn(a: ?, b: ?) -> number)", |
||||
|
"!effects": [ |
||||
|
"call !0 !this.<i> !this.<i>" |
||||
|
], |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/sort", |
||||
|
"!doc": "Sorts the elements of an array in place and returns the array." |
||||
|
}, |
||||
|
"indexOf": { |
||||
|
"!type": "fn(elt: ?, from?: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/indexOf", |
||||
|
"!doc": "Returns the first index at which a given element can be found in the array, or -1 if it is not present." |
||||
|
}, |
||||
|
"lastIndexOf": { |
||||
|
"!type": "fn(elt: ?, from?: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/lastIndexOf", |
||||
|
"!doc": "Returns the last index at which a given element can be found in the array, or -1 if it is not present. The array is searched backwards, starting at fromIndex." |
||||
|
}, |
||||
|
"every": { |
||||
|
"!type": "fn(test: fn(elt: ?, i: number) -> bool, context?: ?) -> bool", |
||||
|
"!effects": [ |
||||
|
"call !0 this=!1 !this.<i> number" |
||||
|
], |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/every", |
||||
|
"!doc": "Tests whether all elements in the array pass the test implemented by the provided function." |
||||
|
}, |
||||
|
"some": { |
||||
|
"!type": "fn(test: fn(elt: ?, i: number) -> bool, context?: ?) -> bool", |
||||
|
"!effects": [ |
||||
|
"call !0 this=!1 !this.<i> number" |
||||
|
], |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/some", |
||||
|
"!doc": "Tests whether some element in the array passes the test implemented by the provided function." |
||||
|
}, |
||||
|
"filter": { |
||||
|
"!type": "fn(test: fn(elt: ?, i: number) -> bool, context?: ?) -> !this", |
||||
|
"!effects": [ |
||||
|
"call !0 this=!1 !this.<i> number" |
||||
|
], |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/filter", |
||||
|
"!doc": "Creates a new array with all elements that pass the test implemented by the provided function." |
||||
|
}, |
||||
|
"forEach": { |
||||
|
"!type": "fn(f: fn(elt: ?, i: number), context?: ?)", |
||||
|
"!effects": [ |
||||
|
"call !0 this=!1 !this.<i> number" |
||||
|
], |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/forEach", |
||||
|
"!doc": "Executes a provided function once per array element." |
||||
|
}, |
||||
|
"map": { |
||||
|
"!type": "fn(f: fn(elt: ?, i: number) -> ?, context?: ?) -> [!0.!ret]", |
||||
|
"!effects": [ |
||||
|
"call !0 this=!1 !this.<i> number" |
||||
|
], |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/map", |
||||
|
"!doc": "Creates a new array with the results of calling a provided function on every element in this array." |
||||
|
}, |
||||
|
"reduce": { |
||||
|
"!type": "fn(combine: fn(sum: ?, elt: ?, i: number) -> ?, init?: ?) -> !0.!ret", |
||||
|
"!effects": [ |
||||
|
"call !0 !1 !this.<i> number" |
||||
|
], |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/Reduce", |
||||
|
"!doc": "Apply a function against an accumulator and each value of the array (from left-to-right) as to reduce it to a single value." |
||||
|
}, |
||||
|
"reduceRight": { |
||||
|
"!type": "fn(combine: fn(sum: ?, elt: ?, i: number) -> ?, init?: ?) -> !0.!ret", |
||||
|
"!effects": [ |
||||
|
"call !0 !1 !this.<i> number" |
||||
|
], |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array/ReduceRight", |
||||
|
"!doc": "Apply a function simultaneously against two values of the array (from right-to-left) as to reduce it to a single value." |
||||
|
} |
||||
|
}, |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Array", |
||||
|
"!doc": "The JavaScript Array global object is a constructor for arrays, which are high-level, list-like objects." |
||||
|
}, |
||||
|
"String": { |
||||
|
"!type": "fn(value: ?) -> string", |
||||
|
"fromCharCode": { |
||||
|
"!type": "fn(code: number) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/fromCharCode", |
||||
|
"!doc": "Returns a string created by using the specified sequence of Unicode values." |
||||
|
}, |
||||
|
"prototype": { |
||||
|
"!stdProto": "String", |
||||
|
"length": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en/docs/JavaScript/Reference/Global_Objects/String/length", |
||||
|
"!doc": "Represents the length of a string." |
||||
|
}, |
||||
|
"<i>": "string", |
||||
|
"charAt": { |
||||
|
"!type": "fn(i: number) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/charAt", |
||||
|
"!doc": "Returns the specified character from a string." |
||||
|
}, |
||||
|
"charCodeAt": { |
||||
|
"!type": "fn(i: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/charCodeAt", |
||||
|
"!doc": "Returns the numeric Unicode value of the character at the given index (except for unicode codepoints > 0x10000)." |
||||
|
}, |
||||
|
"indexOf": { |
||||
|
"!type": "fn(char: string, from?: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/indexOf", |
||||
|
"!doc": "Returns the index within the calling String object of the first occurrence of the specified value, starting the search at fromIndex,\nreturns -1 if the value is not found." |
||||
|
}, |
||||
|
"lastIndexOf": { |
||||
|
"!type": "fn(char: string, from?: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/lastIndexOf", |
||||
|
"!doc": "Returns the index within the calling String object of the last occurrence of the specified value, or -1 if not found. The calling string is searched backward, starting at fromIndex." |
||||
|
}, |
||||
|
"substring": { |
||||
|
"!type": "fn(from: number, to?: number) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/substring", |
||||
|
"!doc": "Returns a subset of a string between one index and another, or through the end of the string." |
||||
|
}, |
||||
|
"substr": { |
||||
|
"!type": "fn(from: number, length?: number) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/substr", |
||||
|
"!doc": "Returns the characters in a string beginning at the specified location through the specified number of characters." |
||||
|
}, |
||||
|
"slice": { |
||||
|
"!type": "fn(from: number, to?: number) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/slice", |
||||
|
"!doc": "Extracts a section of a string and returns a new string." |
||||
|
}, |
||||
|
"trim": { |
||||
|
"!type": "fn() -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/Trim", |
||||
|
"!doc": "Removes whitespace from both ends of the string." |
||||
|
}, |
||||
|
"toUpperCase": { |
||||
|
"!type": "fn() -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/toUpperCase", |
||||
|
"!doc": "Returns the calling string value converted to uppercase." |
||||
|
}, |
||||
|
"toLowerCase": { |
||||
|
"!type": "fn() -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/toLowerCase", |
||||
|
"!doc": "Returns the calling string value converted to lowercase." |
||||
|
}, |
||||
|
"toLocaleUpperCase": { |
||||
|
"!type": "fn() -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/toLocaleUpperCase", |
||||
|
"!doc": "Returns the calling string value converted to upper case, according to any locale-specific case mappings." |
||||
|
}, |
||||
|
"toLocaleLowerCase": { |
||||
|
"!type": "fn() -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/toLocaleLowerCase", |
||||
|
"!doc": "Returns the calling string value converted to lower case, according to any locale-specific case mappings." |
||||
|
}, |
||||
|
"split": { |
||||
|
"!type": "fn(pattern: string) -> [string]", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/split", |
||||
|
"!doc": "Splits a String object into an array of strings by separating the string into substrings." |
||||
|
}, |
||||
|
"concat": { |
||||
|
"!type": "fn(other: string) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/concat", |
||||
|
"!doc": "Combines the text of two or more strings and returns a new string." |
||||
|
}, |
||||
|
"localeCompare": { |
||||
|
"!type": "fn(other: string) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/localeCompare", |
||||
|
"!doc": "Returns a number indicating whether a reference string comes before or after or is the same as the given string in sort order." |
||||
|
}, |
||||
|
"match": { |
||||
|
"!type": "fn(pattern: +RegExp) -> [string]", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/match", |
||||
|
"!doc": "Used to retrieve the matches when matching a string against a regular expression." |
||||
|
}, |
||||
|
"replace": { |
||||
|
"!type": "fn(pattern: +RegExp, replacement: string) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/replace", |
||||
|
"!doc": "Returns a new string with some or all matches of a pattern replaced by a replacement. The pattern can be a string or a RegExp, and the replacement can be a string or a function to be called for each match." |
||||
|
}, |
||||
|
"search": { |
||||
|
"!type": "fn(pattern: +RegExp) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String/search", |
||||
|
"!doc": "Executes the search for a match between a regular expression and this String object." |
||||
|
} |
||||
|
}, |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/String", |
||||
|
"!doc": "The String global object is a constructor for strings, or a sequence of characters." |
||||
|
}, |
||||
|
"Number": { |
||||
|
"!type": "fn(value: ?) -> number", |
||||
|
"MAX_VALUE": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Number/MAX_VALUE", |
||||
|
"!doc": "The maximum numeric value representable in JavaScript." |
||||
|
}, |
||||
|
"MIN_VALUE": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Number/MIN_VALUE", |
||||
|
"!doc": "The smallest positive numeric value representable in JavaScript." |
||||
|
}, |
||||
|
"POSITIVE_INFINITY": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Number/POSITIVE_INFINITY", |
||||
|
"!doc": "A value representing the positive Infinity value." |
||||
|
}, |
||||
|
"NEGATIVE_INFINITY": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Number/NEGATIVE_INFINITY", |
||||
|
"!doc": "A value representing the negative Infinity value." |
||||
|
}, |
||||
|
"prototype": { |
||||
|
"!stdProto": "Number", |
||||
|
"toString": { |
||||
|
"!type": "fn(radix?: number) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Number/toString", |
||||
|
"!doc": "Returns a string representing the specified Number object" |
||||
|
}, |
||||
|
"toFixed": { |
||||
|
"!type": "fn(digits: number) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Number/toFixed", |
||||
|
"!doc": "Formats a number using fixed-point notation" |
||||
|
}, |
||||
|
"toExponential": { |
||||
|
"!type": "fn(digits: number) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Number/toExponential", |
||||
|
"!doc": "Returns a string representing the Number object in exponential notation" |
||||
|
}, |
||||
|
"toPrecision": { |
||||
|
"!type": "fn(digits: number) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Number/toPrecision", |
||||
|
"!doc": "The toPrecision() method returns a string representing the number to the specified precision." |
||||
|
} |
||||
|
}, |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Number", |
||||
|
"!doc": "The Number JavaScript object is a wrapper object allowing you to work with numerical values. A Number object is created using the Number() constructor." |
||||
|
}, |
||||
|
"Boolean": { |
||||
|
"!type": "fn(value: ?) -> bool", |
||||
|
"prototype": { |
||||
|
"!stdProto": "Boolean" |
||||
|
}, |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Boolean", |
||||
|
"!doc": "The Boolean object is an object wrapper for a boolean value." |
||||
|
}, |
||||
|
"RegExp": { |
||||
|
"!type": "fn(source: string, flags?: string)", |
||||
|
"prototype": { |
||||
|
"!stdProto": "RegExp", |
||||
|
"exec": { |
||||
|
"!type": "fn(input: string) -> [string]", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/RegExp/exec", |
||||
|
"!doc": "Executes a search for a match in a specified string. Returns a result array, or null." |
||||
|
}, |
||||
|
"test": { |
||||
|
"!type": "fn(input: string) -> bool", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/RegExp/test", |
||||
|
"!doc": "Executes the search for a match between a regular expression and a specified string. Returns true or false." |
||||
|
}, |
||||
|
"global": { |
||||
|
"!type": "bool", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/RegExp", |
||||
|
"!doc": "Creates a regular expression object for matching text with a pattern." |
||||
|
}, |
||||
|
"ignoreCase": { |
||||
|
"!type": "bool", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/RegExp", |
||||
|
"!doc": "Creates a regular expression object for matching text with a pattern." |
||||
|
}, |
||||
|
"multiline": { |
||||
|
"!type": "bool", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/RegExp/multiline", |
||||
|
"!doc": "Reflects whether or not to search in strings across multiple lines.\n" |
||||
|
}, |
||||
|
"source": { |
||||
|
"!type": "string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/RegExp/source", |
||||
|
"!doc": "A read-only property that contains the text of the pattern, excluding the forward slashes.\n" |
||||
|
}, |
||||
|
"lastIndex": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/RegExp/lastIndex", |
||||
|
"!doc": "A read/write integer property that specifies the index at which to start the next match." |
||||
|
} |
||||
|
}, |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/RegExp", |
||||
|
"!doc": "Creates a regular expression object for matching text with a pattern." |
||||
|
}, |
||||
|
"Date": { |
||||
|
"!type": "fn(ms: number)", |
||||
|
"parse": { |
||||
|
"!type": "fn(source: string) -> +Date", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/parse", |
||||
|
"!doc": "Parses a string representation of a date, and returns the number of milliseconds since January 1, 1970, 00:00:00 UTC." |
||||
|
}, |
||||
|
"UTC": { |
||||
|
"!type": "fn(year: number, month: number, date: number, hour?: number, min?: number, sec?: number, ms?: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/UTC", |
||||
|
"!doc": "Accepts the same parameters as the longest form of the constructor, and returns the number of milliseconds in a Date object since January 1, 1970, 00:00:00, universal time." |
||||
|
}, |
||||
|
"now": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/now", |
||||
|
"!doc": "Returns the number of milliseconds elapsed since 1 January 1970 00:00:00 UTC." |
||||
|
}, |
||||
|
"prototype": { |
||||
|
"toUTCString": { |
||||
|
"!type": "fn() -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/toUTCString", |
||||
|
"!doc": "Converts a date to a string, using the universal time convention." |
||||
|
}, |
||||
|
"toISOString": { |
||||
|
"!type": "fn() -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/toISOString", |
||||
|
"!doc": "JavaScript provides a direct way to convert a date object into a string in ISO format, the ISO 8601 Extended Format." |
||||
|
}, |
||||
|
"toDateString": { |
||||
|
"!type": "fn() -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/toDateString", |
||||
|
"!doc": "Returns the date portion of a Date object in human readable form in American English." |
||||
|
}, |
||||
|
"toTimeString": { |
||||
|
"!type": "fn() -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/toTimeString", |
||||
|
"!doc": "Returns the time portion of a Date object in human readable form in American English." |
||||
|
}, |
||||
|
"toLocaleDateString": { |
||||
|
"!type": "fn() -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/toLocaleDateString", |
||||
|
"!doc": "Converts a date to a string, returning the \"date\" portion using the operating system's locale's conventions.\n" |
||||
|
}, |
||||
|
"toLocaleTimeString": { |
||||
|
"!type": "fn() -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/toLocaleTimeString", |
||||
|
"!doc": "Converts a date to a string, returning the \"time\" portion using the current locale's conventions." |
||||
|
}, |
||||
|
"getTime": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getTime", |
||||
|
"!doc": "Returns the numeric value corresponding to the time for the specified date according to universal time." |
||||
|
}, |
||||
|
"getFullYear": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getFullYear", |
||||
|
"!doc": "Returns the year of the specified date according to local time." |
||||
|
}, |
||||
|
"getYear": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getYear", |
||||
|
"!doc": "Returns the year in the specified date according to local time." |
||||
|
}, |
||||
|
"getMonth": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getMonth", |
||||
|
"!doc": "Returns the month in the specified date according to local time." |
||||
|
}, |
||||
|
"getUTCMonth": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getUTCMonth", |
||||
|
"!doc": "Returns the month of the specified date according to universal time.\n" |
||||
|
}, |
||||
|
"getDate": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getDate", |
||||
|
"!doc": "Returns the day of the month for the specified date according to local time." |
||||
|
}, |
||||
|
"getUTCDate": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getUTCDate", |
||||
|
"!doc": "Returns the day (date) of the month in the specified date according to universal time.\n" |
||||
|
}, |
||||
|
"getDay": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getDay", |
||||
|
"!doc": "Returns the day of the week for the specified date according to local time." |
||||
|
}, |
||||
|
"getUTCDay": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getUTCDay", |
||||
|
"!doc": "Returns the day of the week in the specified date according to universal time.\n" |
||||
|
}, |
||||
|
"getHours": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getHours", |
||||
|
"!doc": "Returns the hour for the specified date according to local time." |
||||
|
}, |
||||
|
"getUTCHours": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getUTCHours", |
||||
|
"!doc": "Returns the hours in the specified date according to universal time.\n" |
||||
|
}, |
||||
|
"getMinutes": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getMinutes", |
||||
|
"!doc": "Returns the minutes in the specified date according to local time." |
||||
|
}, |
||||
|
"getUTCMinutes": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date", |
||||
|
"!doc": "Creates JavaScript Date instances which let you work with dates and times." |
||||
|
}, |
||||
|
"getSeconds": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getSeconds", |
||||
|
"!doc": "Returns the seconds in the specified date according to local time." |
||||
|
}, |
||||
|
"getUTCSeconds": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getUTCSeconds", |
||||
|
"!doc": "Returns the seconds in the specified date according to universal time.\n" |
||||
|
}, |
||||
|
"getMilliseconds": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getMilliseconds", |
||||
|
"!doc": "Returns the milliseconds in the specified date according to local time." |
||||
|
}, |
||||
|
"getUTCMilliseconds": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getUTCMilliseconds", |
||||
|
"!doc": "Returns the milliseconds in the specified date according to universal time.\n" |
||||
|
}, |
||||
|
"getTimezoneOffset": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/getTimezoneOffset", |
||||
|
"!doc": "Returns the time-zone offset from UTC, in minutes, for the current locale." |
||||
|
}, |
||||
|
"setTime": { |
||||
|
"!type": "fn(date: +Date) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/setTime", |
||||
|
"!doc": "Sets the Date object to the time represented by a number of milliseconds since January 1, 1970, 00:00:00 UTC.\n" |
||||
|
}, |
||||
|
"setFullYear": { |
||||
|
"!type": "fn(year: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/setFullYear", |
||||
|
"!doc": "Sets the full year for a specified date according to local time.\n" |
||||
|
}, |
||||
|
"setUTCFullYear": { |
||||
|
"!type": "fn(year: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/setUTCFullYear", |
||||
|
"!doc": "Sets the full year for a specified date according to universal time.\n" |
||||
|
}, |
||||
|
"setMonth": { |
||||
|
"!type": "fn(month: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/setMonth", |
||||
|
"!doc": "Set the month for a specified date according to local time." |
||||
|
}, |
||||
|
"setUTCMonth": { |
||||
|
"!type": "fn(month: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/setUTCMonth", |
||||
|
"!doc": "Sets the month for a specified date according to universal time.\n" |
||||
|
}, |
||||
|
"setDate": { |
||||
|
"!type": "fn(day: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/setDate", |
||||
|
"!doc": "Sets the day of the month for a specified date according to local time." |
||||
|
}, |
||||
|
"setUTCDate": { |
||||
|
"!type": "fn(day: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/setUTCDate", |
||||
|
"!doc": "Sets the day of the month for a specified date according to universal time.\n" |
||||
|
}, |
||||
|
"setHours": { |
||||
|
"!type": "fn(hour: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/setHours", |
||||
|
"!doc": "Sets the hours for a specified date according to local time, and returns the number of milliseconds since 1 January 1970 00:00:00 UTC until the time represented by the updated Date instance." |
||||
|
}, |
||||
|
"setUTCHours": { |
||||
|
"!type": "fn(hour: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/setUTCHours", |
||||
|
"!doc": "Sets the hour for a specified date according to universal time.\n" |
||||
|
}, |
||||
|
"setMinutes": { |
||||
|
"!type": "fn(min: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/setMinutes", |
||||
|
"!doc": "Sets the minutes for a specified date according to local time." |
||||
|
}, |
||||
|
"setUTCMinutes": { |
||||
|
"!type": "fn(min: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/setUTCMinutes", |
||||
|
"!doc": "Sets the minutes for a specified date according to universal time.\n" |
||||
|
}, |
||||
|
"setSeconds": { |
||||
|
"!type": "fn(sec: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/setSeconds", |
||||
|
"!doc": "Sets the seconds for a specified date according to local time." |
||||
|
}, |
||||
|
"setUTCSeconds": { |
||||
|
"!type": "fn(sec: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/setUTCSeconds", |
||||
|
"!doc": "Sets the seconds for a specified date according to universal time.\n" |
||||
|
}, |
||||
|
"setMilliseconds": { |
||||
|
"!type": "fn(ms: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/setMilliseconds", |
||||
|
"!doc": "Sets the milliseconds for a specified date according to local time.\n" |
||||
|
}, |
||||
|
"setUTCMilliseconds": { |
||||
|
"!type": "fn(ms: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date/setUTCMilliseconds", |
||||
|
"!doc": "Sets the milliseconds for a specified date according to universal time.\n" |
||||
|
} |
||||
|
}, |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Date", |
||||
|
"!doc": "Creates JavaScript Date instances which let you work with dates and times." |
||||
|
}, |
||||
|
"Error": { |
||||
|
"!type": "fn(message: string)", |
||||
|
"prototype": { |
||||
|
"name": { |
||||
|
"!type": "string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Error/name", |
||||
|
"!doc": "A name for the type of error." |
||||
|
}, |
||||
|
"message": { |
||||
|
"!type": "string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Error/message", |
||||
|
"!doc": "A human-readable description of the error." |
||||
|
} |
||||
|
}, |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Error", |
||||
|
"!doc": "Creates an error object." |
||||
|
}, |
||||
|
"SyntaxError": { |
||||
|
"!type": "fn(message: string)", |
||||
|
"prototype": "Error.prototype", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/SyntaxError", |
||||
|
"!doc": "Represents an error when trying to interpret syntactically invalid code." |
||||
|
}, |
||||
|
"ReferenceError": { |
||||
|
"!type": "fn(message: string)", |
||||
|
"prototype": "Error.prototype", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/ReferenceError", |
||||
|
"!doc": "Represents an error when a non-existent variable is referenced." |
||||
|
}, |
||||
|
"URIError": { |
||||
|
"!type": "fn(message: string)", |
||||
|
"prototype": "Error.prototype", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/URIError", |
||||
|
"!doc": "Represents an error when a malformed URI is encountered." |
||||
|
}, |
||||
|
"EvalError": { |
||||
|
"!type": "fn(message: string)", |
||||
|
"prototype": "Error.prototype", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/EvalError", |
||||
|
"!doc": "Represents an error regarding the eval function." |
||||
|
}, |
||||
|
"RangeError": { |
||||
|
"!type": "fn(message: string)", |
||||
|
"prototype": "Error.prototype", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/RangeError", |
||||
|
"!doc": "Represents an error when a number is not within the correct range allowed." |
||||
|
}, |
||||
|
"TypeError": { |
||||
|
"!type": "fn(message: string)", |
||||
|
"prototype": "Error.prototype", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/TypeError", |
||||
|
"!doc": "Represents an error an error when a value is not of the expected type." |
||||
|
}, |
||||
|
"parseInt": { |
||||
|
"!type": "fn(string: string, radix?: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/parseInt", |
||||
|
"!doc": "Parses a string argument and returns an integer of the specified radix or base." |
||||
|
}, |
||||
|
"parseFloat": { |
||||
|
"!type": "fn(string: string) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/parseFloat", |
||||
|
"!doc": "Parses a string argument and returns a floating point number." |
||||
|
}, |
||||
|
"isNaN": { |
||||
|
"!type": "fn(value: number) -> bool", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/isNaN", |
||||
|
"!doc": "Determines whether a value is NaN or not. Be careful, this function is broken. You may be interested in ECMAScript 6 Number.isNaN." |
||||
|
}, |
||||
|
"isFinite": { |
||||
|
"!type": "fn(value: number) -> bool", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/isFinite", |
||||
|
"!doc": "Determines whether the passed value is a finite number." |
||||
|
}, |
||||
|
"eval": { |
||||
|
"!type": "fn(code: string) -> ?", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/eval", |
||||
|
"!doc": "Evaluates JavaScript code represented as a string." |
||||
|
}, |
||||
|
"encodeURI": { |
||||
|
"!type": "fn(uri: string) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/encodeURI", |
||||
|
"!doc": "Encodes a Uniform Resource Identifier (URI) by replacing each instance of certain characters by one, two, three, or four escape sequences representing the UTF-8 encoding of the character (will only be four escape sequences for characters composed of two \"surrogate\" characters)." |
||||
|
}, |
||||
|
"encodeURIComponent": { |
||||
|
"!type": "fn(uri: string) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/encodeURIComponent", |
||||
|
"!doc": "Encodes a Uniform Resource Identifier (URI) component by replacing each instance of certain characters by one, two, three, or four escape sequences representing the UTF-8 encoding of the character (will only be four escape sequences for characters composed of two \"surrogate\" characters)." |
||||
|
}, |
||||
|
"decodeURI": { |
||||
|
"!type": "fn(uri: string) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/decodeURI", |
||||
|
"!doc": "Decodes a Uniform Resource Identifier (URI) previously created by encodeURI or by a similar routine." |
||||
|
}, |
||||
|
"decodeURIComponent": { |
||||
|
"!type": "fn(uri: string) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/decodeURIComponent", |
||||
|
"!doc": "Decodes a Uniform Resource Identifier (URI) component previously created by encodeURIComponent or by a similar routine." |
||||
|
}, |
||||
|
"Math": { |
||||
|
"E": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/E", |
||||
|
"!doc": "The base of natural logarithms, e, approximately 2.718." |
||||
|
}, |
||||
|
"LN2": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/LN2", |
||||
|
"!doc": "The natural logarithm of 2, approximately 0.693." |
||||
|
}, |
||||
|
"LN10": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/LN10", |
||||
|
"!doc": "The natural logarithm of 10, approximately 2.302." |
||||
|
}, |
||||
|
"LOG2E": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/LOG2E", |
||||
|
"!doc": "The base 2 logarithm of E (approximately 1.442)." |
||||
|
}, |
||||
|
"LOG10E": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/LOG10E", |
||||
|
"!doc": "The base 10 logarithm of E (approximately 0.434)." |
||||
|
}, |
||||
|
"SQRT1_2": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/SQRT1_2", |
||||
|
"!doc": "The square root of 1/2; equivalently, 1 over the square root of 2, approximately 0.707." |
||||
|
}, |
||||
|
"SQRT2": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/SQRT2", |
||||
|
"!doc": "The square root of 2, approximately 1.414." |
||||
|
}, |
||||
|
"PI": { |
||||
|
"!type": "number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/PI", |
||||
|
"!doc": "The ratio of the circumference of a circle to its diameter, approximately 3.14159." |
||||
|
}, |
||||
|
"abs": { |
||||
|
"!type": "fn(number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/abs", |
||||
|
"!doc": "Returns the absolute value of a number." |
||||
|
}, |
||||
|
"cos": { |
||||
|
"!type": "fn(number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/cos", |
||||
|
"!doc": "Returns the cosine of a number." |
||||
|
}, |
||||
|
"sin": { |
||||
|
"!type": "fn(number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/sin", |
||||
|
"!doc": "Returns the sine of a number." |
||||
|
}, |
||||
|
"tan": { |
||||
|
"!type": "fn(number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/tan", |
||||
|
"!doc": "Returns the tangent of a number." |
||||
|
}, |
||||
|
"acos": { |
||||
|
"!type": "fn(number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/acos", |
||||
|
"!doc": "Returns the arccosine (in radians) of a number." |
||||
|
}, |
||||
|
"asin": { |
||||
|
"!type": "fn(number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/asin", |
||||
|
"!doc": "Returns the arcsine (in radians) of a number." |
||||
|
}, |
||||
|
"atan": { |
||||
|
"!type": "fn(number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/atan", |
||||
|
"!doc": "Returns the arctangent (in radians) of a number." |
||||
|
}, |
||||
|
"atan2": { |
||||
|
"!type": "fn(y: number, x: number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/atan2", |
||||
|
"!doc": "Returns the arctangent of the quotient of its arguments." |
||||
|
}, |
||||
|
"ceil": { |
||||
|
"!type": "fn(number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/ceil", |
||||
|
"!doc": "Returns the smallest integer greater than or equal to a number." |
||||
|
}, |
||||
|
"floor": { |
||||
|
"!type": "fn(number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/floor", |
||||
|
"!doc": "Returns the largest integer less than or equal to a number." |
||||
|
}, |
||||
|
"round": { |
||||
|
"!type": "fn(number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/round", |
||||
|
"!doc": "Returns the value of a number rounded to the nearest integer." |
||||
|
}, |
||||
|
"exp": { |
||||
|
"!type": "fn(number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/exp", |
||||
|
"!doc": "Returns Ex, where x is the argument, and E is Euler's constant, the base of the natural logarithms." |
||||
|
}, |
||||
|
"log": { |
||||
|
"!type": "fn(number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/log", |
||||
|
"!doc": "Returns the natural logarithm (base E) of a number." |
||||
|
}, |
||||
|
"sqrt": { |
||||
|
"!type": "fn(number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/sqrt", |
||||
|
"!doc": "Returns the square root of a number." |
||||
|
}, |
||||
|
"pow": { |
||||
|
"!type": "fn(number, number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/pow", |
||||
|
"!doc": "Returns base to the exponent power, that is, baseexponent." |
||||
|
}, |
||||
|
"max": { |
||||
|
"!type": "fn(number, number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/max", |
||||
|
"!doc": "Returns the largest of zero or more numbers." |
||||
|
}, |
||||
|
"min": { |
||||
|
"!type": "fn(number, number) -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/min", |
||||
|
"!doc": "Returns the smallest of zero or more numbers." |
||||
|
}, |
||||
|
"random": { |
||||
|
"!type": "fn() -> number", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math/random", |
||||
|
"!doc": "Returns a floating-point, pseudo-random number in the range [0, 1) that is, from 0 (inclusive) up to but not including 1 (exclusive), which you can then scale to your desired range." |
||||
|
}, |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/Math", |
||||
|
"!doc": "A built-in object that has properties and methods for mathematical constants and functions." |
||||
|
}, |
||||
|
"JSON": { |
||||
|
"parse": { |
||||
|
"!type": "fn(json: string) -> ?", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/JSON/parse", |
||||
|
"!doc": "Parse a string as JSON, optionally transforming the value produced by parsing." |
||||
|
}, |
||||
|
"stringify": { |
||||
|
"!type": "fn(value: ?) -> string", |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/JSON/stringify", |
||||
|
"!doc": "Convert a value to JSON, optionally replacing values if a replacer function is specified, or optionally including only the specified properties if a replacer array is specified." |
||||
|
}, |
||||
|
"!url": "https://developer.mozilla.org/en-US/docs/JSON", |
||||
|
"!doc": "JSON (JavaScript Object Notation) is a data-interchange format. It closely resembles a subset of JavaScript syntax, although it is not a strict subset. (See JSON in the JavaScript Reference for full details.) It is useful when writing any kind of JavaScript-based application, including websites and browser extensions. For example, you might store user information in JSON format in a cookie, or you might store extension preferences in JSON in a string-valued browser preference." |
||||
|
} |
||||
|
} |
||||
|
} |
||||
File diff suppressed because it is too large
@ -0,0 +1,26 @@ |
|||||
|
(function(root, mod) { |
||||
|
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
||||
|
return mod(exports); |
||||
|
if (typeof define == "function" && define.amd) // AMD
|
||||
|
return define(["exports"], mod); |
||||
|
mod((root.tern || (root.tern = {})).signal = {}); // Plain browser env
|
||||
|
})(this, function(exports) { |
||||
|
function on(type, f) { |
||||
|
var handlers = this._handlers || (this._handlers = Object.create(null)); |
||||
|
(handlers[type] || (handlers[type] = [])).push(f); |
||||
|
} |
||||
|
function off(type, f) { |
||||
|
var arr = this._handlers && this._handlers[type]; |
||||
|
if (arr) for (var i = 0; i < arr.length; ++i) |
||||
|
if (arr[i] == f) { arr.splice(i, 1); break; } |
||||
|
} |
||||
|
function signal(type, a1, a2, a3, a4) { |
||||
|
var arr = this._handlers && this._handlers[type]; |
||||
|
if (arr) for (var i = 0; i < arr.length; ++i) arr[i].call(this, a1, a2, a3, a4); |
||||
|
} |
||||
|
|
||||
|
exports.mixin = function(obj) { |
||||
|
obj.on = on; obj.off = off; obj.signal = signal; |
||||
|
return obj; |
||||
|
}; |
||||
|
}); |
||||
@ -0,0 +1,697 @@ |
|||||
|
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
||||
|
// Distributed under an MIT license: http://codemirror.net/LICENSE
|
||||
|
|
||||
|
// Glue code between CodeMirror and Tern.
|
||||
|
//
|
||||
|
// Create a CodeMirror.TernServer to wrap an actual Tern server,
|
||||
|
// register open documents (CodeMirror.Doc instances) with it, and
|
||||
|
// call its methods to activate the assisting functions that Tern
|
||||
|
// provides.
|
||||
|
//
|
||||
|
// Options supported (all optional):
|
||||
|
// * defs: An array of JSON definition data structures.
|
||||
|
// * plugins: An object mapping plugin names to configuration
|
||||
|
// options.
|
||||
|
// * getFile: A function(name, c) that can be used to access files in
|
||||
|
// the project that haven't been loaded yet. Simply do c(null) to
|
||||
|
// indicate that a file is not available.
|
||||
|
// * fileFilter: A function(value, docName, doc) that will be applied
|
||||
|
// to documents before passing them on to Tern.
|
||||
|
// * switchToDoc: A function(name, doc) that should, when providing a
|
||||
|
// multi-file view, switch the view or focus to the named file.
|
||||
|
// * showError: A function(editor, message) that can be used to
|
||||
|
// override the way errors are displayed.
|
||||
|
// * completionTip: Customize the content in tooltips for completions.
|
||||
|
// Is passed a single argument—the completion's data as returned by
|
||||
|
// Tern—and may return a string, DOM node, or null to indicate that
|
||||
|
// no tip should be shown. By default the docstring is shown.
|
||||
|
// * typeTip: Like completionTip, but for the tooltips shown for type
|
||||
|
// queries.
|
||||
|
// * responseFilter: A function(doc, query, request, error, data) that
|
||||
|
// will be applied to the Tern responses before treating them
|
||||
|
//
|
||||
|
//
|
||||
|
// It is possible to run the Tern server in a web worker by specifying
|
||||
|
// these additional options:
|
||||
|
// * useWorker: Set to true to enable web worker mode. You'll probably
|
||||
|
// want to feature detect the actual value you use here, for example
|
||||
|
// !!window.Worker.
|
||||
|
// * workerScript: The main script of the worker. Point this to
|
||||
|
// wherever you are hosting worker.js from this directory.
|
||||
|
// * workerDeps: An array of paths pointing (relative to workerScript)
|
||||
|
// to the Acorn and Tern libraries and any Tern plugins you want to
|
||||
|
// load. Or, if you minified those into a single script and included
|
||||
|
// them in the workerScript, simply leave this undefined.
|
||||
|
|
||||
|
(function(mod) { |
||||
|
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
||||
|
mod(require("../../lib/codemirror")); |
||||
|
else if (typeof define == "function" && define.amd) // AMD
|
||||
|
define(["../../lib/codemirror"], mod); |
||||
|
else // Plain browser env
|
||||
|
mod(CodeMirror); |
||||
|
})(function(CodeMirror) { |
||||
|
"use strict"; |
||||
|
// declare global: tern
|
||||
|
|
||||
|
CodeMirror.TernServer = function(options) { |
||||
|
var self = this; |
||||
|
this.options = options || {}; |
||||
|
var plugins = this.options.plugins || (this.options.plugins = {}); |
||||
|
if (!plugins.doc_comment) plugins.doc_comment = true; |
||||
|
if (this.options.useWorker) { |
||||
|
this.server = new WorkerServer(this); |
||||
|
} else { |
||||
|
this.server = new tern.Server({ |
||||
|
getFile: function(name, c) { return getFile(self, name, c); }, |
||||
|
async: true, |
||||
|
defs: this.options.defs || [], |
||||
|
plugins: plugins |
||||
|
}); |
||||
|
} |
||||
|
this.docs = Object.create(null); |
||||
|
this.trackChange = function(doc, change) { trackChange(self, doc, change); }; |
||||
|
|
||||
|
this.cachedArgHints = null; |
||||
|
this.activeArgHints = null; |
||||
|
this.jumpStack = []; |
||||
|
|
||||
|
this.getHint = function(cm, c) { return hint(self, cm, c); }; |
||||
|
this.getHint.async = true; |
||||
|
}; |
||||
|
|
||||
|
CodeMirror.TernServer.prototype = { |
||||
|
addDoc: function(name, doc) { |
||||
|
var data = {doc: doc, name: name, changed: null}; |
||||
|
this.server.addFile(name, docValue(this, data)); |
||||
|
CodeMirror.on(doc, "change", this.trackChange); |
||||
|
return this.docs[name] = data; |
||||
|
}, |
||||
|
|
||||
|
delDoc: function(id) { |
||||
|
var found = resolveDoc(this, id); |
||||
|
if (!found) return; |
||||
|
CodeMirror.off(found.doc, "change", this.trackChange); |
||||
|
delete this.docs[found.name]; |
||||
|
this.server.delFile(found.name); |
||||
|
}, |
||||
|
|
||||
|
hideDoc: function(id) { |
||||
|
closeArgHints(this); |
||||
|
var found = resolveDoc(this, id); |
||||
|
if (found && found.changed) sendDoc(this, found); |
||||
|
}, |
||||
|
|
||||
|
complete: function(cm) { |
||||
|
cm.showHint({hint: this.getHint}); |
||||
|
}, |
||||
|
|
||||
|
showType: function(cm, pos, c) { showContextInfo(this, cm, pos, "type", c); }, |
||||
|
|
||||
|
showDocs: function(cm, pos, c) { showContextInfo(this, cm, pos, "documentation", c); }, |
||||
|
|
||||
|
updateArgHints: function(cm) { updateArgHints(this, cm); }, |
||||
|
|
||||
|
jumpToDef: function(cm) { jumpToDef(this, cm); }, |
||||
|
|
||||
|
jumpBack: function(cm) { jumpBack(this, cm); }, |
||||
|
|
||||
|
rename: function(cm) { rename(this, cm); }, |
||||
|
|
||||
|
selectName: function(cm) { selectName(this, cm); }, |
||||
|
|
||||
|
request: function (cm, query, c, pos) { |
||||
|
var self = this; |
||||
|
var doc = findDoc(this, cm.getDoc()); |
||||
|
var request = buildRequest(this, doc, query, pos); |
||||
|
|
||||
|
this.server.request(request, function (error, data) { |
||||
|
if (!error && self.options.responseFilter) |
||||
|
data = self.options.responseFilter(doc, query, request, error, data); |
||||
|
c(error, data); |
||||
|
}); |
||||
|
}, |
||||
|
|
||||
|
destroy: function () { |
||||
|
if (this.worker) { |
||||
|
this.worker.terminate(); |
||||
|
this.worker = null; |
||||
|
} |
||||
|
} |
||||
|
}; |
||||
|
|
||||
|
var Pos = CodeMirror.Pos; |
||||
|
var cls = "CodeMirror-Tern-"; |
||||
|
var bigDoc = 250; |
||||
|
|
||||
|
function getFile(ts, name, c) { |
||||
|
var buf = ts.docs[name]; |
||||
|
if (buf) |
||||
|
c(docValue(ts, buf)); |
||||
|
else if (ts.options.getFile) |
||||
|
ts.options.getFile(name, c); |
||||
|
else |
||||
|
c(null); |
||||
|
} |
||||
|
|
||||
|
function findDoc(ts, doc, name) { |
||||
|
for (var n in ts.docs) { |
||||
|
var cur = ts.docs[n]; |
||||
|
if (cur.doc == doc) return cur; |
||||
|
} |
||||
|
if (!name) for (var i = 0;; ++i) { |
||||
|
n = "[doc" + (i || "") + "]"; |
||||
|
if (!ts.docs[n]) { name = n; break; } |
||||
|
} |
||||
|
return ts.addDoc(name, doc); |
||||
|
} |
||||
|
|
||||
|
function resolveDoc(ts, id) { |
||||
|
if (typeof id == "string") return ts.docs[id]; |
||||
|
if (id instanceof CodeMirror) id = id.getDoc(); |
||||
|
if (id instanceof CodeMirror.Doc) return findDoc(ts, id); |
||||
|
} |
||||
|
|
||||
|
function trackChange(ts, doc, change) { |
||||
|
var data = findDoc(ts, doc); |
||||
|
|
||||
|
var argHints = ts.cachedArgHints; |
||||
|
if (argHints && argHints.doc == doc && cmpPos(argHints.start, change.to) <= 0) |
||||
|
ts.cachedArgHints = null; |
||||
|
|
||||
|
var changed = data.changed; |
||||
|
if (changed == null) |
||||
|
data.changed = changed = {from: change.from.line, to: change.from.line}; |
||||
|
var end = change.from.line + (change.text.length - 1); |
||||
|
if (change.from.line < changed.to) changed.to = changed.to - (change.to.line - end); |
||||
|
if (end >= changed.to) changed.to = end + 1; |
||||
|
if (changed.from > change.from.line) changed.from = change.from.line; |
||||
|
|
||||
|
if (doc.lineCount() > bigDoc && change.to - changed.from > 100) setTimeout(function() { |
||||
|
if (data.changed && data.changed.to - data.changed.from > 100) sendDoc(ts, data); |
||||
|
}, 200); |
||||
|
} |
||||
|
|
||||
|
function sendDoc(ts, doc) { |
||||
|
ts.server.request({files: [{type: "full", name: doc.name, text: docValue(ts, doc)}]}, function(error) { |
||||
|
if (error) window.console.error(error); |
||||
|
else doc.changed = null; |
||||
|
}); |
||||
|
} |
||||
|
|
||||
|
// Completion
|
||||
|
|
||||
|
function hint(ts, cm, c) { |
||||
|
ts.request(cm, {type: "completions", types: true, docs: true, urls: true}, function(error, data) { |
||||
|
if (error) return showError(ts, cm, error); |
||||
|
var completions = [], after = ""; |
||||
|
var from = data.start, to = data.end; |
||||
|
if (cm.getRange(Pos(from.line, from.ch - 2), from) == "[\"" && |
||||
|
cm.getRange(to, Pos(to.line, to.ch + 2)) != "\"]") |
||||
|
after = "\"]"; |
||||
|
|
||||
|
for (var i = 0; i < data.completions.length; ++i) { |
||||
|
var completion = data.completions[i], className = typeToIcon(completion.type); |
||||
|
if (data.guess) className += " " + cls + "guess"; |
||||
|
completions.push({text: completion.name + after, |
||||
|
displayText: completion.name, |
||||
|
className: className, |
||||
|
data: completion}); |
||||
|
} |
||||
|
|
||||
|
var obj = {from: from, to: to, list: completions}; |
||||
|
var tooltip = null; |
||||
|
CodeMirror.on(obj, "close", function() { remove(tooltip); }); |
||||
|
CodeMirror.on(obj, "update", function() { remove(tooltip); }); |
||||
|
CodeMirror.on(obj, "select", function(cur, node) { |
||||
|
remove(tooltip); |
||||
|
var content = ts.options.completionTip ? ts.options.completionTip(cur.data) : cur.data.doc; |
||||
|
if (content) { |
||||
|
tooltip = makeTooltip(node.parentNode.getBoundingClientRect().right + window.pageXOffset, |
||||
|
node.getBoundingClientRect().top + window.pageYOffset, content); |
||||
|
tooltip.className += " " + cls + "hint-doc"; |
||||
|
} |
||||
|
}); |
||||
|
c(obj); |
||||
|
}); |
||||
|
} |
||||
|
|
||||
|
function typeToIcon(type) { |
||||
|
var suffix; |
||||
|
if (type == "?") suffix = "unknown"; |
||||
|
else if (type == "number" || type == "string" || type == "bool") suffix = type; |
||||
|
else if (/^fn\(/.test(type)) suffix = "fn"; |
||||
|
else if (/^\[/.test(type)) suffix = "array"; |
||||
|
else suffix = "object"; |
||||
|
return cls + "completion " + cls + "completion-" + suffix; |
||||
|
} |
||||
|
|
||||
|
// Type queries
|
||||
|
|
||||
|
function showContextInfo(ts, cm, pos, queryName, c) { |
||||
|
ts.request(cm, queryName, function(error, data) { |
||||
|
if (error) return showError(ts, cm, error); |
||||
|
if (ts.options.typeTip) { |
||||
|
var tip = ts.options.typeTip(data); |
||||
|
} else { |
||||
|
var tip = elt("span", null, elt("strong", null, data.type || "not found")); |
||||
|
if (data.doc) |
||||
|
tip.appendChild(document.createTextNode(" — " + data.doc)); |
||||
|
if (data.url) { |
||||
|
tip.appendChild(document.createTextNode(" ")); |
||||
|
var child = tip.appendChild(elt("a", null, "[docs]")); |
||||
|
child.href = data.url; |
||||
|
child.target = "_blank"; |
||||
|
} |
||||
|
} |
||||
|
tempTooltip(cm, tip); |
||||
|
if (c) c(); |
||||
|
}, pos); |
||||
|
} |
||||
|
|
||||
|
// Maintaining argument hints
|
||||
|
|
||||
|
function updateArgHints(ts, cm) { |
||||
|
closeArgHints(ts); |
||||
|
|
||||
|
if (cm.somethingSelected()) return; |
||||
|
var state = cm.getTokenAt(cm.getCursor()).state; |
||||
|
var inner = CodeMirror.innerMode(cm.getMode(), state); |
||||
|
if (inner.mode.name != "javascript") return; |
||||
|
var lex = inner.state.lexical; |
||||
|
if (lex.info != "call") return; |
||||
|
|
||||
|
var ch, argPos = lex.pos || 0, tabSize = cm.getOption("tabSize"); |
||||
|
for (var line = cm.getCursor().line, e = Math.max(0, line - 9), found = false; line >= e; --line) { |
||||
|
var str = cm.getLine(line), extra = 0; |
||||
|
for (var pos = 0;;) { |
||||
|
var tab = str.indexOf("\t", pos); |
||||
|
if (tab == -1) break; |
||||
|
extra += tabSize - (tab + extra) % tabSize - 1; |
||||
|
pos = tab + 1; |
||||
|
} |
||||
|
ch = lex.column - extra; |
||||
|
if (str.charAt(ch) == "(") {found = true; break;} |
||||
|
} |
||||
|
if (!found) return; |
||||
|
|
||||
|
var start = Pos(line, ch); |
||||
|
var cache = ts.cachedArgHints; |
||||
|
if (cache && cache.doc == cm.getDoc() && cmpPos(start, cache.start) == 0) |
||||
|
return showArgHints(ts, cm, argPos); |
||||
|
|
||||
|
ts.request(cm, {type: "type", preferFunction: true, end: start}, function(error, data) { |
||||
|
if (error || !data.type || !(/^fn\(/).test(data.type)) return; |
||||
|
ts.cachedArgHints = { |
||||
|
start: pos, |
||||
|
type: parseFnType(data.type), |
||||
|
name: data.exprName || data.name || "fn", |
||||
|
guess: data.guess, |
||||
|
doc: cm.getDoc() |
||||
|
}; |
||||
|
showArgHints(ts, cm, argPos); |
||||
|
}); |
||||
|
} |
||||
|
|
||||
|
function showArgHints(ts, cm, pos) { |
||||
|
closeArgHints(ts); |
||||
|
|
||||
|
var cache = ts.cachedArgHints, tp = cache.type; |
||||
|
var tip = elt("span", cache.guess ? cls + "fhint-guess" : null, |
||||
|
elt("span", cls + "fname", cache.name), "("); |
||||
|
for (var i = 0; i < tp.args.length; ++i) { |
||||
|
if (i) tip.appendChild(document.createTextNode(", ")); |
||||
|
var arg = tp.args[i]; |
||||
|
tip.appendChild(elt("span", cls + "farg" + (i == pos ? " " + cls + "farg-current" : ""), arg.name || "?")); |
||||
|
if (arg.type != "?") { |
||||
|
tip.appendChild(document.createTextNode(":\u00a0")); |
||||
|
tip.appendChild(elt("span", cls + "type", arg.type)); |
||||
|
} |
||||
|
} |
||||
|
tip.appendChild(document.createTextNode(tp.rettype ? ") ->\u00a0" : ")")); |
||||
|
if (tp.rettype) tip.appendChild(elt("span", cls + "type", tp.rettype)); |
||||
|
var place = cm.cursorCoords(null, "page"); |
||||
|
ts.activeArgHints = makeTooltip(place.right + 1, place.bottom, tip); |
||||
|
} |
||||
|
|
||||
|
function parseFnType(text) { |
||||
|
var args = [], pos = 3; |
||||
|
|
||||
|
function skipMatching(upto) { |
||||
|
var depth = 0, start = pos; |
||||
|
for (;;) { |
||||
|
var next = text.charAt(pos); |
||||
|
if (upto.test(next) && !depth) return text.slice(start, pos); |
||||
|
if (/[{\[\(]/.test(next)) ++depth; |
||||
|
else if (/[}\]\)]/.test(next)) --depth; |
||||
|
++pos; |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
// Parse arguments
|
||||
|
if (text.charAt(pos) != ")") for (;;) { |
||||
|
var name = text.slice(pos).match(/^([^, \(\[\{]+): /); |
||||
|
if (name) { |
||||
|
pos += name[0].length; |
||||
|
name = name[1]; |
||||
|
} |
||||
|
args.push({name: name, type: skipMatching(/[\),]/)}); |
||||
|
if (text.charAt(pos) == ")") break; |
||||
|
pos += 2; |
||||
|
} |
||||
|
|
||||
|
var rettype = text.slice(pos).match(/^\) -> (.*)$/); |
||||
|
|
||||
|
return {args: args, rettype: rettype && rettype[1]}; |
||||
|
} |
||||
|
|
||||
|
// Moving to the definition of something
|
||||
|
|
||||
|
function jumpToDef(ts, cm) { |
||||
|
function inner(varName) { |
||||
|
var req = {type: "definition", variable: varName || null}; |
||||
|
var doc = findDoc(ts, cm.getDoc()); |
||||
|
ts.server.request(buildRequest(ts, doc, req), function(error, data) { |
||||
|
if (error) return showError(ts, cm, error); |
||||
|
if (!data.file && data.url) { window.open(data.url); return; } |
||||
|
|
||||
|
if (data.file) { |
||||
|
var localDoc = ts.docs[data.file], found; |
||||
|
if (localDoc && (found = findContext(localDoc.doc, data))) { |
||||
|
ts.jumpStack.push({file: doc.name, |
||||
|
start: cm.getCursor("from"), |
||||
|
end: cm.getCursor("to")}); |
||||
|
moveTo(ts, doc, localDoc, found.start, found.end); |
||||
|
return; |
||||
|
} |
||||
|
} |
||||
|
showError(ts, cm, "Could not find a definition."); |
||||
|
}); |
||||
|
} |
||||
|
|
||||
|
if (!atInterestingExpression(cm)) |
||||
|
dialog(cm, "Jump to variable", function(name) { if (name) inner(name); }); |
||||
|
else |
||||
|
inner(); |
||||
|
} |
||||
|
|
||||
|
function jumpBack(ts, cm) { |
||||
|
var pos = ts.jumpStack.pop(), doc = pos && ts.docs[pos.file]; |
||||
|
if (!doc) return; |
||||
|
moveTo(ts, findDoc(ts, cm.getDoc()), doc, pos.start, pos.end); |
||||
|
} |
||||
|
|
||||
|
function moveTo(ts, curDoc, doc, start, end) { |
||||
|
doc.doc.setSelection(start, end); |
||||
|
if (curDoc != doc && ts.options.switchToDoc) { |
||||
|
closeArgHints(ts); |
||||
|
ts.options.switchToDoc(doc.name, doc.doc); |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
// The {line,ch} representation of positions makes this rather awkward.
|
||||
|
function findContext(doc, data) { |
||||
|
var before = data.context.slice(0, data.contextOffset).split("\n"); |
||||
|
var startLine = data.start.line - (before.length - 1); |
||||
|
var start = Pos(startLine, (before.length == 1 ? data.start.ch : doc.getLine(startLine).length) - before[0].length); |
||||
|
|
||||
|
var text = doc.getLine(startLine).slice(start.ch); |
||||
|
for (var cur = startLine + 1; cur < doc.lineCount() && text.length < data.context.length; ++cur) |
||||
|
text += "\n" + doc.getLine(cur); |
||||
|
if (text.slice(0, data.context.length) == data.context) return data; |
||||
|
|
||||
|
var cursor = doc.getSearchCursor(data.context, 0, false); |
||||
|
var nearest, nearestDist = Infinity; |
||||
|
while (cursor.findNext()) { |
||||
|
var from = cursor.from(), dist = Math.abs(from.line - start.line) * 10000; |
||||
|
if (!dist) dist = Math.abs(from.ch - start.ch); |
||||
|
if (dist < nearestDist) { nearest = from; nearestDist = dist; } |
||||
|
} |
||||
|
if (!nearest) return null; |
||||
|
|
||||
|
if (before.length == 1) |
||||
|
nearest.ch += before[0].length; |
||||
|
else |
||||
|
nearest = Pos(nearest.line + (before.length - 1), before[before.length - 1].length); |
||||
|
if (data.start.line == data.end.line) |
||||
|
var end = Pos(nearest.line, nearest.ch + (data.end.ch - data.start.ch)); |
||||
|
else |
||||
|
var end = Pos(nearest.line + (data.end.line - data.start.line), data.end.ch); |
||||
|
return {start: nearest, end: end}; |
||||
|
} |
||||
|
|
||||
|
function atInterestingExpression(cm) { |
||||
|
var pos = cm.getCursor("end"), tok = cm.getTokenAt(pos); |
||||
|
if (tok.start < pos.ch && (tok.type == "comment" || tok.type == "string")) return false; |
||||
|
return /[\w)\]]/.test(cm.getLine(pos.line).slice(Math.max(pos.ch - 1, 0), pos.ch + 1)); |
||||
|
} |
||||
|
|
||||
|
// Variable renaming
|
||||
|
|
||||
|
function rename(ts, cm) { |
||||
|
var token = cm.getTokenAt(cm.getCursor()); |
||||
|
if (!/\w/.test(token.string)) return showError(ts, cm, "Not at a variable"); |
||||
|
dialog(cm, "New name for " + token.string, function(newName) { |
||||
|
ts.request(cm, {type: "rename", newName: newName, fullDocs: true}, function(error, data) { |
||||
|
if (error) return showError(ts, cm, error); |
||||
|
applyChanges(ts, data.changes); |
||||
|
}); |
||||
|
}); |
||||
|
} |
||||
|
|
||||
|
function selectName(ts, cm) { |
||||
|
var name = findDoc(ts, cm.doc).name; |
||||
|
ts.request(cm, {type: "refs"}, function(error, data) { |
||||
|
if (error) return showError(ts, cm, error); |
||||
|
var ranges = [], cur = 0; |
||||
|
for (var i = 0; i < data.refs.length; i++) { |
||||
|
var ref = data.refs[i]; |
||||
|
if (ref.file == name) { |
||||
|
ranges.push({anchor: ref.start, head: ref.end}); |
||||
|
if (cmpPos(cur, ref.start) >= 0 && cmpPos(cur, ref.end) <= 0) |
||||
|
cur = ranges.length - 1; |
||||
|
} |
||||
|
} |
||||
|
cm.setSelections(ranges, cur); |
||||
|
}); |
||||
|
} |
||||
|
|
||||
|
var nextChangeOrig = 0; |
||||
|
function applyChanges(ts, changes) { |
||||
|
var perFile = Object.create(null); |
||||
|
for (var i = 0; i < changes.length; ++i) { |
||||
|
var ch = changes[i]; |
||||
|
(perFile[ch.file] || (perFile[ch.file] = [])).push(ch); |
||||
|
} |
||||
|
for (var file in perFile) { |
||||
|
var known = ts.docs[file], chs = perFile[file];; |
||||
|
if (!known) continue; |
||||
|
chs.sort(function(a, b) { return cmpPos(b.start, a.start); }); |
||||
|
var origin = "*rename" + (++nextChangeOrig); |
||||
|
for (var i = 0; i < chs.length; ++i) { |
||||
|
var ch = chs[i]; |
||||
|
known.doc.replaceRange(ch.text, ch.start, ch.end, origin); |
||||
|
} |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
// Generic request-building helper
|
||||
|
|
||||
|
function buildRequest(ts, doc, query, pos) { |
||||
|
var files = [], offsetLines = 0, allowFragments = !query.fullDocs; |
||||
|
if (!allowFragments) delete query.fullDocs; |
||||
|
if (typeof query == "string") query = {type: query}; |
||||
|
query.lineCharPositions = true; |
||||
|
if (query.end == null) { |
||||
|
query.end = pos || doc.doc.getCursor("end"); |
||||
|
if (doc.doc.somethingSelected()) |
||||
|
query.start = doc.doc.getCursor("start"); |
||||
|
} |
||||
|
var startPos = query.start || query.end; |
||||
|
|
||||
|
if (doc.changed) { |
||||
|
if (doc.doc.lineCount() > bigDoc && allowFragments !== false && |
||||
|
doc.changed.to - doc.changed.from < 100 && |
||||
|
doc.changed.from <= startPos.line && doc.changed.to > query.end.line) { |
||||
|
files.push(getFragmentAround(doc, startPos, query.end)); |
||||
|
query.file = "#0"; |
||||
|
var offsetLines = files[0].offsetLines; |
||||
|
if (query.start != null) query.start = Pos(query.start.line - -offsetLines, query.start.ch); |
||||
|
query.end = Pos(query.end.line - offsetLines, query.end.ch); |
||||
|
} else { |
||||
|
files.push({type: "full", |
||||
|
name: doc.name, |
||||
|
text: docValue(ts, doc)}); |
||||
|
query.file = doc.name; |
||||
|
doc.changed = null; |
||||
|
} |
||||
|
} else { |
||||
|
query.file = doc.name; |
||||
|
} |
||||
|
for (var name in ts.docs) { |
||||
|
var cur = ts.docs[name]; |
||||
|
if (cur.changed && cur != doc) { |
||||
|
files.push({type: "full", name: cur.name, text: docValue(ts, cur)}); |
||||
|
cur.changed = null; |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
return {query: query, files: files}; |
||||
|
} |
||||
|
|
||||
|
function getFragmentAround(data, start, end) { |
||||
|
var doc = data.doc; |
||||
|
var minIndent = null, minLine = null, endLine, tabSize = 4; |
||||
|
for (var p = start.line - 1, min = Math.max(0, p - 50); p >= min; --p) { |
||||
|
var line = doc.getLine(p), fn = line.search(/\bfunction\b/); |
||||
|
if (fn < 0) continue; |
||||
|
var indent = CodeMirror.countColumn(line, null, tabSize); |
||||
|
if (minIndent != null && minIndent <= indent) continue; |
||||
|
minIndent = indent; |
||||
|
minLine = p; |
||||
|
} |
||||
|
if (minLine == null) minLine = min; |
||||
|
var max = Math.min(doc.lastLine(), end.line + 20); |
||||
|
if (minIndent == null || minIndent == CodeMirror.countColumn(doc.getLine(start.line), null, tabSize)) |
||||
|
endLine = max; |
||||
|
else for (endLine = end.line + 1; endLine < max; ++endLine) { |
||||
|
var indent = CodeMirror.countColumn(doc.getLine(endLine), null, tabSize); |
||||
|
if (indent <= minIndent) break; |
||||
|
} |
||||
|
var from = Pos(minLine, 0); |
||||
|
|
||||
|
return {type: "part", |
||||
|
name: data.name, |
||||
|
offsetLines: from.line, |
||||
|
text: doc.getRange(from, Pos(endLine, 0))}; |
||||
|
} |
||||
|
|
||||
|
// Generic utilities
|
||||
|
|
||||
|
var cmpPos = CodeMirror.cmpPos; |
||||
|
|
||||
|
function elt(tagname, cls /*, ... elts*/) { |
||||
|
var e = document.createElement(tagname); |
||||
|
if (cls) e.className = cls; |
||||
|
for (var i = 2; i < arguments.length; ++i) { |
||||
|
var elt = arguments[i]; |
||||
|
if (typeof elt == "string") elt = document.createTextNode(elt); |
||||
|
e.appendChild(elt); |
||||
|
} |
||||
|
return e; |
||||
|
} |
||||
|
|
||||
|
function dialog(cm, text, f) { |
||||
|
if (cm.openDialog) |
||||
|
cm.openDialog(text + ": <input type=text>", f); |
||||
|
else |
||||
|
f(prompt(text, "")); |
||||
|
} |
||||
|
|
||||
|
// Tooltips
|
||||
|
|
||||
|
function tempTooltip(cm, content) { |
||||
|
if (cm.state.ternTooltip) remove(cm.state.ternTooltip); |
||||
|
var where = cm.cursorCoords(); |
||||
|
var tip = cm.state.ternTooltip = makeTooltip(where.right + 1, where.bottom, content); |
||||
|
function maybeClear() { |
||||
|
old = true; |
||||
|
if (!mouseOnTip) clear(); |
||||
|
} |
||||
|
function clear() { |
||||
|
cm.state.ternTooltip = null; |
||||
|
if (!tip.parentNode) return; |
||||
|
cm.off("cursorActivity", clear); |
||||
|
cm.off('blur', clear); |
||||
|
cm.off('scroll', clear); |
||||
|
fadeOut(tip); |
||||
|
} |
||||
|
var mouseOnTip = false, old = false; |
||||
|
CodeMirror.on(tip, "mousemove", function() { mouseOnTip = true; }); |
||||
|
CodeMirror.on(tip, "mouseout", function(e) { |
||||
|
if (!CodeMirror.contains(tip, e.relatedTarget || e.toElement)) { |
||||
|
if (old) clear(); |
||||
|
else mouseOnTip = false; |
||||
|
} |
||||
|
}); |
||||
|
setTimeout(maybeClear, 1700); |
||||
|
cm.on("cursorActivity", clear); |
||||
|
cm.on('blur', clear); |
||||
|
cm.on('scroll', clear); |
||||
|
} |
||||
|
|
||||
|
function makeTooltip(x, y, content) { |
||||
|
var node = elt("div", cls + "tooltip", content); |
||||
|
node.style.left = x + "px"; |
||||
|
node.style.top = y + "px"; |
||||
|
document.body.appendChild(node); |
||||
|
return node; |
||||
|
} |
||||
|
|
||||
|
function remove(node) { |
||||
|
var p = node && node.parentNode; |
||||
|
if (p) p.removeChild(node); |
||||
|
} |
||||
|
|
||||
|
function fadeOut(tooltip) { |
||||
|
tooltip.style.opacity = "0"; |
||||
|
setTimeout(function() { remove(tooltip); }, 1100); |
||||
|
} |
||||
|
|
||||
|
function showError(ts, cm, msg) { |
||||
|
if (ts.options.showError) |
||||
|
ts.options.showError(cm, msg); |
||||
|
else |
||||
|
tempTooltip(cm, String(msg)); |
||||
|
} |
||||
|
|
||||
|
function closeArgHints(ts) { |
||||
|
if (ts.activeArgHints) { remove(ts.activeArgHints); ts.activeArgHints = null; } |
||||
|
} |
||||
|
|
||||
|
function docValue(ts, doc) { |
||||
|
var val = doc.doc.getValue(); |
||||
|
if (ts.options.fileFilter) val = ts.options.fileFilter(val, doc.name, doc.doc); |
||||
|
return val; |
||||
|
} |
||||
|
|
||||
|
// Worker wrapper
|
||||
|
|
||||
|
function WorkerServer(ts) { |
||||
|
var worker = ts.worker = new Worker(ts.options.workerScript); |
||||
|
worker.postMessage({type: "init", |
||||
|
defs: ts.options.defs, |
||||
|
plugins: ts.options.plugins, |
||||
|
scripts: ts.options.workerDeps}); |
||||
|
var msgId = 0, pending = {}; |
||||
|
|
||||
|
function send(data, c) { |
||||
|
if (c) { |
||||
|
data.id = ++msgId; |
||||
|
pending[msgId] = c; |
||||
|
} |
||||
|
worker.postMessage(data); |
||||
|
} |
||||
|
worker.onmessage = function(e) { |
||||
|
var data = e.data; |
||||
|
if (data.type == "getFile") { |
||||
|
getFile(ts, data.name, function(err, text) { |
||||
|
send({type: "getFile", err: String(err), text: text, id: data.id}); |
||||
|
}); |
||||
|
} else if (data.type == "debug") { |
||||
|
window.console.log(data.message); |
||||
|
} else if (data.id && pending[data.id]) { |
||||
|
pending[data.id](data.err, data.body); |
||||
|
delete pending[data.id]; |
||||
|
} |
||||
|
}; |
||||
|
worker.onerror = function(e) { |
||||
|
for (var id in pending) pending[id](e); |
||||
|
pending = {}; |
||||
|
}; |
||||
|
|
||||
|
this.addFile = function(name, text) { send({type: "add", name: name, text: text}); }; |
||||
|
this.delFile = function(name) { send({type: "del", name: name}); }; |
||||
|
this.request = function(body, c) { send({type: "req", body: body}, c); }; |
||||
|
} |
||||
|
}); |
||||
@ -0,0 +1,994 @@ |
|||||
|
// The Tern server object
|
||||
|
|
||||
|
// A server is a stateful object that manages the analysis for a
|
||||
|
// project, and defines an interface for querying the code in the
|
||||
|
// project.
|
||||
|
|
||||
|
(function(root, mod) { |
||||
|
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
||||
|
return mod(exports, require("./infer"), require("./signal"), |
||||
|
require("acorn/acorn"), require("acorn/util/walk")); |
||||
|
if (typeof define == "function" && define.amd) // AMD
|
||||
|
return define(["exports", "./infer", "./signal", "acorn/acorn", "acorn/util/walk"], mod); |
||||
|
mod(root.tern || (root.tern = {}), tern, tern.signal, acorn, acorn.walk); // Plain browser env
|
||||
|
})(this, function(exports, infer, signal, acorn, walk) { |
||||
|
"use strict"; |
||||
|
|
||||
|
var plugins = Object.create(null); |
||||
|
exports.registerPlugin = function(name, init) { plugins[name] = init; }; |
||||
|
|
||||
|
var defaultOptions = exports.defaultOptions = { |
||||
|
debug: false, |
||||
|
async: false, |
||||
|
getFile: function(_f, c) { if (this.async) c(null, null); }, |
||||
|
defs: [], |
||||
|
plugins: {}, |
||||
|
fetchTimeout: 1000, |
||||
|
dependencyBudget: 20000, |
||||
|
reuseInstances: true, |
||||
|
stripCRs: false |
||||
|
}; |
||||
|
|
||||
|
var queryTypes = { |
||||
|
completions: { |
||||
|
takesFile: true, |
||||
|
run: findCompletions |
||||
|
}, |
||||
|
properties: { |
||||
|
run: findProperties |
||||
|
}, |
||||
|
type: { |
||||
|
takesFile: true, |
||||
|
run: findTypeAt |
||||
|
}, |
||||
|
documentation: { |
||||
|
takesFile: true, |
||||
|
run: findDocs |
||||
|
}, |
||||
|
definition: { |
||||
|
takesFile: true, |
||||
|
run: findDef |
||||
|
}, |
||||
|
refs: { |
||||
|
takesFile: true, |
||||
|
fullFile: true, |
||||
|
run: findRefs |
||||
|
}, |
||||
|
rename: { |
||||
|
takesFile: true, |
||||
|
fullFile: true, |
||||
|
run: buildRename |
||||
|
}, |
||||
|
files: { |
||||
|
run: listFiles |
||||
|
} |
||||
|
}; |
||||
|
|
||||
|
exports.defineQueryType = function(name, desc) { queryTypes[name] = desc; }; |
||||
|
|
||||
|
function File(name, parent) { |
||||
|
this.name = name; |
||||
|
this.parent = parent; |
||||
|
this.scope = this.text = this.ast = this.lineOffsets = null; |
||||
|
} |
||||
|
File.prototype.asLineChar = function(pos) { return asLineChar(this, pos); }; |
||||
|
|
||||
|
function updateText(file, text, srv) { |
||||
|
file.text = srv.options.stripCRs ? text.replace(/\r\n/g, "\n") : text; |
||||
|
infer.withContext(srv.cx, function() { |
||||
|
file.ast = infer.parse(file.text, srv.passes, {directSourceFile: file, allowReturnOutsideFunction: true}); |
||||
|
}); |
||||
|
file.lineOffsets = null; |
||||
|
} |
||||
|
|
||||
|
var Server = exports.Server = function(options) { |
||||
|
this.cx = null; |
||||
|
this.options = options || {}; |
||||
|
for (var o in defaultOptions) if (!options.hasOwnProperty(o)) |
||||
|
options[o] = defaultOptions[o]; |
||||
|
|
||||
|
this.handlers = Object.create(null); |
||||
|
this.files = []; |
||||
|
this.fileMap = Object.create(null); |
||||
|
this.needsPurge = []; |
||||
|
this.budgets = Object.create(null); |
||||
|
this.uses = 0; |
||||
|
this.pending = 0; |
||||
|
this.asyncError = null; |
||||
|
this.passes = Object.create(null); |
||||
|
|
||||
|
this.defs = options.defs.slice(0); |
||||
|
for (var plugin in options.plugins) if (options.plugins.hasOwnProperty(plugin) && plugin in plugins) { |
||||
|
var init = plugins[plugin](this, options.plugins[plugin]); |
||||
|
if (init && init.defs) { |
||||
|
if (init.loadFirst) this.defs.unshift(init.defs); |
||||
|
else this.defs.push(init.defs); |
||||
|
} |
||||
|
if (init && init.passes) for (var type in init.passes) if (init.passes.hasOwnProperty(type)) |
||||
|
(this.passes[type] || (this.passes[type] = [])).push(init.passes[type]); |
||||
|
} |
||||
|
|
||||
|
this.reset(); |
||||
|
}; |
||||
|
Server.prototype = signal.mixin({ |
||||
|
addFile: function(name, /*optional*/ text, parent) { |
||||
|
// Don't crash when sloppy plugins pass non-existent parent ids
|
||||
|
if (parent && !(parent in this.fileMap)) parent = null; |
||||
|
ensureFile(this, name, parent, text); |
||||
|
}, |
||||
|
delFile: function(name) { |
||||
|
var file = this.findFile(name); |
||||
|
if (file) { |
||||
|
this.needsPurge.push(file.name); |
||||
|
this.files.splice(this.files.indexOf(file), 1); |
||||
|
delete this.fileMap[name]; |
||||
|
} |
||||
|
}, |
||||
|
reset: function() { |
||||
|
this.signal("reset"); |
||||
|
this.cx = new infer.Context(this.defs, this); |
||||
|
this.uses = 0; |
||||
|
this.budgets = Object.create(null); |
||||
|
for (var i = 0; i < this.files.length; ++i) { |
||||
|
var file = this.files[i]; |
||||
|
file.scope = null; |
||||
|
} |
||||
|
}, |
||||
|
|
||||
|
request: function(doc, c) { |
||||
|
var inv = invalidDoc(doc); |
||||
|
if (inv) return c(inv); |
||||
|
|
||||
|
var self = this; |
||||
|
doRequest(this, doc, function(err, data) { |
||||
|
c(err, data); |
||||
|
if (self.uses > 40) { |
||||
|
self.reset(); |
||||
|
analyzeAll(self, null, function(){}); |
||||
|
} |
||||
|
}); |
||||
|
}, |
||||
|
|
||||
|
findFile: function(name) { |
||||
|
return this.fileMap[name]; |
||||
|
}, |
||||
|
|
||||
|
flush: function(c) { |
||||
|
var cx = this.cx; |
||||
|
analyzeAll(this, null, function(err) { |
||||
|
if (err) return c(err); |
||||
|
infer.withContext(cx, c); |
||||
|
}); |
||||
|
}, |
||||
|
|
||||
|
startAsyncAction: function() { |
||||
|
++this.pending; |
||||
|
}, |
||||
|
finishAsyncAction: function(err) { |
||||
|
if (err) this.asyncError = err; |
||||
|
if (--this.pending === 0) this.signal("everythingFetched"); |
||||
|
} |
||||
|
}); |
||||
|
|
||||
|
function doRequest(srv, doc, c) { |
||||
|
if (doc.query && !queryTypes.hasOwnProperty(doc.query.type)) |
||||
|
return c("No query type '" + doc.query.type + "' defined"); |
||||
|
|
||||
|
var query = doc.query; |
||||
|
// Respond as soon as possible when this just uploads files
|
||||
|
if (!query) c(null, {}); |
||||
|
|
||||
|
var files = doc.files || []; |
||||
|
if (files.length) ++srv.uses; |
||||
|
for (var i = 0; i < files.length; ++i) { |
||||
|
var file = files[i]; |
||||
|
if (file.type == "delete") |
||||
|
srv.delFile(file.name); |
||||
|
else |
||||
|
ensureFile(srv, file.name, null, file.type == "full" ? file.text : null); |
||||
|
} |
||||
|
|
||||
|
var timeBudget = typeof doc.timeout == "number" ? [doc.timeout] : null; |
||||
|
if (!query) { |
||||
|
analyzeAll(srv, timeBudget, function(){}); |
||||
|
return; |
||||
|
} |
||||
|
|
||||
|
var queryType = queryTypes[query.type]; |
||||
|
if (queryType.takesFile) { |
||||
|
if (typeof query.file != "string") return c(".query.file must be a string"); |
||||
|
if (!/^#/.test(query.file)) ensureFile(srv, query.file, null); |
||||
|
} |
||||
|
|
||||
|
analyzeAll(srv, timeBudget, function(err) { |
||||
|
if (err) return c(err); |
||||
|
var file = queryType.takesFile && resolveFile(srv, files, query.file); |
||||
|
if (queryType.fullFile && file.type == "part") |
||||
|
return c("Can't run a " + query.type + " query on a file fragment"); |
||||
|
|
||||
|
function run() { |
||||
|
var result; |
||||
|
try { |
||||
|
result = queryType.run(srv, query, file); |
||||
|
} catch (e) { |
||||
|
if (srv.options.debug && e.name != "TernError") console.error(e.stack); |
||||
|
return c(e); |
||||
|
} |
||||
|
c(null, result); |
||||
|
} |
||||
|
infer.withContext(srv.cx, timeBudget ? function() { infer.withTimeout(timeBudget[0], run); } : run); |
||||
|
}); |
||||
|
} |
||||
|
|
||||
|
function analyzeFile(srv, file) { |
||||
|
infer.withContext(srv.cx, function() { |
||||
|
file.scope = srv.cx.topScope; |
||||
|
srv.signal("beforeLoad", file); |
||||
|
infer.analyze(file.ast, file.name, file.scope, srv.passes); |
||||
|
srv.signal("afterLoad", file); |
||||
|
}); |
||||
|
return file; |
||||
|
} |
||||
|
|
||||
|
function ensureFile(srv, name, parent, text) { |
||||
|
var known = srv.findFile(name); |
||||
|
if (known) { |
||||
|
if (text != null) { |
||||
|
if (known.scope) { |
||||
|
srv.needsPurge.push(name); |
||||
|
known.scope = null; |
||||
|
} |
||||
|
updateText(known, text, srv); |
||||
|
} |
||||
|
if (parentDepth(srv, known.parent) > parentDepth(srv, parent)) { |
||||
|
known.parent = parent; |
||||
|
if (known.excluded) known.excluded = null; |
||||
|
} |
||||
|
return; |
||||
|
} |
||||
|
|
||||
|
var file = new File(name, parent); |
||||
|
srv.files.push(file); |
||||
|
srv.fileMap[name] = file; |
||||
|
if (text != null) { |
||||
|
updateText(file, text, srv); |
||||
|
} else if (srv.options.async) { |
||||
|
srv.startAsyncAction(); |
||||
|
srv.options.getFile(name, function(err, text) { |
||||
|
updateText(file, text || "", srv); |
||||
|
srv.finishAsyncAction(err); |
||||
|
}); |
||||
|
} else { |
||||
|
updateText(file, srv.options.getFile(name) || "", srv); |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
function fetchAll(srv, c) { |
||||
|
var done = true, returned = false; |
||||
|
srv.files.forEach(function(file) { |
||||
|
if (file.text != null) return; |
||||
|
if (srv.options.async) { |
||||
|
done = false; |
||||
|
srv.options.getFile(file.name, function(err, text) { |
||||
|
if (err && !returned) { returned = true; return c(err); } |
||||
|
updateText(file, text || "", srv); |
||||
|
fetchAll(srv, c); |
||||
|
}); |
||||
|
} else { |
||||
|
try { |
||||
|
updateText(file, srv.options.getFile(file.name) || "", srv); |
||||
|
} catch (e) { return c(e); } |
||||
|
} |
||||
|
}); |
||||
|
if (done) c(); |
||||
|
} |
||||
|
|
||||
|
function waitOnFetch(srv, timeBudget, c) { |
||||
|
var done = function() { |
||||
|
srv.off("everythingFetched", done); |
||||
|
clearTimeout(timeout); |
||||
|
analyzeAll(srv, timeBudget, c); |
||||
|
}; |
||||
|
srv.on("everythingFetched", done); |
||||
|
var timeout = setTimeout(done, srv.options.fetchTimeout); |
||||
|
} |
||||
|
|
||||
|
function analyzeAll(srv, timeBudget, c) { |
||||
|
if (srv.pending) return waitOnFetch(srv, timeBudget, c); |
||||
|
|
||||
|
var e = srv.fetchError; |
||||
|
if (e) { srv.fetchError = null; return c(e); } |
||||
|
|
||||
|
if (srv.needsPurge.length > 0) infer.withContext(srv.cx, function() { |
||||
|
infer.purge(srv.needsPurge); |
||||
|
srv.needsPurge.length = 0; |
||||
|
}); |
||||
|
|
||||
|
var done = true; |
||||
|
// The second inner loop might add new files. The outer loop keeps
|
||||
|
// repeating both inner loops until all files have been looked at.
|
||||
|
for (var i = 0; i < srv.files.length;) { |
||||
|
var toAnalyze = []; |
||||
|
for (; i < srv.files.length; ++i) { |
||||
|
var file = srv.files[i]; |
||||
|
if (file.text == null) done = false; |
||||
|
else if (file.scope == null && !file.excluded) toAnalyze.push(file); |
||||
|
} |
||||
|
toAnalyze.sort(function(a, b) { |
||||
|
return parentDepth(srv, a.parent) - parentDepth(srv, b.parent); |
||||
|
}); |
||||
|
for (var j = 0; j < toAnalyze.length; j++) { |
||||
|
var file = toAnalyze[j]; |
||||
|
if (file.parent && !chargeOnBudget(srv, file)) { |
||||
|
file.excluded = true; |
||||
|
} else if (timeBudget) { |
||||
|
var startTime = +new Date; |
||||
|
infer.withTimeout(timeBudget[0], function() { analyzeFile(srv, file); }); |
||||
|
timeBudget[0] -= +new Date - startTime; |
||||
|
} else { |
||||
|
analyzeFile(srv, file); |
||||
|
} |
||||
|
} |
||||
|
} |
||||
|
if (done) c(); |
||||
|
else waitOnFetch(srv, timeBudget, c); |
||||
|
} |
||||
|
|
||||
|
function firstLine(str) { |
||||
|
var end = str.indexOf("\n"); |
||||
|
if (end < 0) return str; |
||||
|
return str.slice(0, end); |
||||
|
} |
||||
|
|
||||
|
function findMatchingPosition(line, file, near) { |
||||
|
var pos = Math.max(0, near - 500), closest = null; |
||||
|
if (!/^\s*$/.test(line)) for (;;) { |
||||
|
var found = file.indexOf(line, pos); |
||||
|
if (found < 0 || found > near + 500) break; |
||||
|
if (closest == null || Math.abs(closest - near) > Math.abs(found - near)) |
||||
|
closest = found; |
||||
|
pos = found + line.length; |
||||
|
} |
||||
|
return closest; |
||||
|
} |
||||
|
|
||||
|
function scopeDepth(s) { |
||||
|
for (var i = 0; s; ++i, s = s.prev) {} |
||||
|
return i; |
||||
|
} |
||||
|
|
||||
|
function ternError(msg) { |
||||
|
var err = new Error(msg); |
||||
|
err.name = "TernError"; |
||||
|
return err; |
||||
|
} |
||||
|
|
||||
|
function resolveFile(srv, localFiles, name) { |
||||
|
var isRef = name.match(/^#(\d+)$/); |
||||
|
if (!isRef) return srv.findFile(name); |
||||
|
|
||||
|
var file = localFiles[isRef[1]]; |
||||
|
if (!file || file.type == "delete") throw ternError("Reference to unknown file " + name); |
||||
|
if (file.type == "full") return srv.findFile(file.name); |
||||
|
|
||||
|
// This is a partial file
|
||||
|
|
||||
|
var realFile = file.backing = srv.findFile(file.name); |
||||
|
var offset = file.offset; |
||||
|
if (file.offsetLines) offset = {line: file.offsetLines, ch: 0}; |
||||
|
file.offset = offset = resolvePos(realFile, file.offsetLines == null ? file.offset : {line: file.offsetLines, ch: 0}, true); |
||||
|
var line = firstLine(file.text); |
||||
|
var foundPos = findMatchingPosition(line, realFile.text, offset); |
||||
|
var pos = foundPos == null ? Math.max(0, realFile.text.lastIndexOf("\n", offset)) : foundPos; |
||||
|
var inObject, atFunction; |
||||
|
|
||||
|
infer.withContext(srv.cx, function() { |
||||
|
infer.purge(file.name, pos, pos + file.text.length); |
||||
|
|
||||
|
var text = file.text, m; |
||||
|
if (m = text.match(/(?:"([^"]*)"|([\w$]+))\s*:\s*function\b/)) { |
||||
|
var objNode = walk.findNodeAround(file.backing.ast, pos, "ObjectExpression"); |
||||
|
if (objNode && objNode.node.objType) |
||||
|
inObject = {type: objNode.node.objType, prop: m[2] || m[1]}; |
||||
|
} |
||||
|
if (foundPos && (m = line.match(/^(.*?)\bfunction\b/))) { |
||||
|
var cut = m[1].length, white = ""; |
||||
|
for (var i = 0; i < cut; ++i) white += " "; |
||||
|
text = white + text.slice(cut); |
||||
|
atFunction = true; |
||||
|
} |
||||
|
|
||||
|
var scopeStart = infer.scopeAt(realFile.ast, pos, realFile.scope); |
||||
|
var scopeEnd = infer.scopeAt(realFile.ast, pos + text.length, realFile.scope); |
||||
|
var scope = file.scope = scopeDepth(scopeStart) < scopeDepth(scopeEnd) ? scopeEnd : scopeStart; |
||||
|
file.ast = infer.parse(text, srv.passes, {directSourceFile: file, allowReturnOutsideFunction: true}); |
||||
|
infer.analyze(file.ast, file.name, scope, srv.passes); |
||||
|
|
||||
|
// This is a kludge to tie together the function types (if any)
|
||||
|
// outside and inside of the fragment, so that arguments and
|
||||
|
// return values have some information known about them.
|
||||
|
tieTogether: if (inObject || atFunction) { |
||||
|
var newInner = infer.scopeAt(file.ast, line.length, scopeStart); |
||||
|
if (!newInner.fnType) break tieTogether; |
||||
|
if (inObject) { |
||||
|
var prop = inObject.type.getProp(inObject.prop); |
||||
|
prop.addType(newInner.fnType); |
||||
|
} else if (atFunction) { |
||||
|
var inner = infer.scopeAt(realFile.ast, pos + line.length, realFile.scope); |
||||
|
if (inner == scopeStart || !inner.fnType) break tieTogether; |
||||
|
var fOld = inner.fnType, fNew = newInner.fnType; |
||||
|
if (!fNew || (fNew.name != fOld.name && fOld.name)) break tieTogether; |
||||
|
for (var i = 0, e = Math.min(fOld.args.length, fNew.args.length); i < e; ++i) |
||||
|
fOld.args[i].propagate(fNew.args[i]); |
||||
|
fOld.self.propagate(fNew.self); |
||||
|
fNew.retval.propagate(fOld.retval); |
||||
|
} |
||||
|
} |
||||
|
}); |
||||
|
return file; |
||||
|
} |
||||
|
|
||||
|
// Budget management
|
||||
|
|
||||
|
function astSize(node) { |
||||
|
var size = 0; |
||||
|
walk.simple(node, {Expression: function() { ++size; }}); |
||||
|
return size; |
||||
|
} |
||||
|
|
||||
|
function parentDepth(srv, parent) { |
||||
|
var depth = 0; |
||||
|
while (parent) { |
||||
|
parent = srv.findFile(parent).parent; |
||||
|
++depth; |
||||
|
} |
||||
|
return depth; |
||||
|
} |
||||
|
|
||||
|
function budgetName(srv, file) { |
||||
|
for (;;) { |
||||
|
var parent = srv.findFile(file.parent); |
||||
|
if (!parent.parent) break; |
||||
|
file = parent; |
||||
|
} |
||||
|
return file.name; |
||||
|
} |
||||
|
|
||||
|
function chargeOnBudget(srv, file) { |
||||
|
var bName = budgetName(srv, file); |
||||
|
var size = astSize(file.ast); |
||||
|
var known = srv.budgets[bName]; |
||||
|
if (known == null) |
||||
|
known = srv.budgets[bName] = srv.options.dependencyBudget; |
||||
|
if (known < size) return false; |
||||
|
srv.budgets[bName] = known - size; |
||||
|
return true; |
||||
|
} |
||||
|
|
||||
|
// Query helpers
|
||||
|
|
||||
|
function isPosition(val) { |
||||
|
return typeof val == "number" || typeof val == "object" && |
||||
|
typeof val.line == "number" && typeof val.ch == "number"; |
||||
|
} |
||||
|
|
||||
|
// Baseline query document validation
|
||||
|
function invalidDoc(doc) { |
||||
|
if (doc.query) { |
||||
|
if (typeof doc.query.type != "string") return ".query.type must be a string"; |
||||
|
if (doc.query.start && !isPosition(doc.query.start)) return ".query.start must be a position"; |
||||
|
if (doc.query.end && !isPosition(doc.query.end)) return ".query.end must be a position"; |
||||
|
} |
||||
|
if (doc.files) { |
||||
|
if (!Array.isArray(doc.files)) return "Files property must be an array"; |
||||
|
for (var i = 0; i < doc.files.length; ++i) { |
||||
|
var file = doc.files[i]; |
||||
|
if (typeof file != "object") return ".files[n] must be objects"; |
||||
|
else if (typeof file.name != "string") return ".files[n].name must be a string"; |
||||
|
else if (file.type == "delete") continue; |
||||
|
else if (typeof file.text != "string") return ".files[n].text must be a string"; |
||||
|
else if (file.type == "part") { |
||||
|
if (!isPosition(file.offset) && typeof file.offsetLines != "number") |
||||
|
return ".files[n].offset must be a position"; |
||||
|
} else if (file.type != "full") return ".files[n].type must be \"full\" or \"part\""; |
||||
|
} |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
var offsetSkipLines = 25; |
||||
|
|
||||
|
function findLineStart(file, line) { |
||||
|
var text = file.text, offsets = file.lineOffsets || (file.lineOffsets = [0]); |
||||
|
var pos = 0, curLine = 0; |
||||
|
var storePos = Math.min(Math.floor(line / offsetSkipLines), offsets.length - 1); |
||||
|
var pos = offsets[storePos], curLine = storePos * offsetSkipLines; |
||||
|
|
||||
|
while (curLine < line) { |
||||
|
++curLine; |
||||
|
pos = text.indexOf("\n", pos) + 1; |
||||
|
if (pos === 0) return null; |
||||
|
if (curLine % offsetSkipLines === 0) offsets.push(pos); |
||||
|
} |
||||
|
return pos; |
||||
|
} |
||||
|
|
||||
|
var resolvePos = exports.resolvePos = function(file, pos, tolerant) { |
||||
|
if (typeof pos != "number") { |
||||
|
var lineStart = findLineStart(file, pos.line); |
||||
|
if (lineStart == null) { |
||||
|
if (tolerant) pos = file.text.length; |
||||
|
else throw ternError("File doesn't contain a line " + pos.line); |
||||
|
} else { |
||||
|
pos = lineStart + pos.ch; |
||||
|
} |
||||
|
} |
||||
|
if (pos > file.text.length) { |
||||
|
if (tolerant) pos = file.text.length; |
||||
|
else throw ternError("Position " + pos + " is outside of file."); |
||||
|
} |
||||
|
return pos; |
||||
|
}; |
||||
|
|
||||
|
function asLineChar(file, pos) { |
||||
|
if (!file) return {line: 0, ch: 0}; |
||||
|
var offsets = file.lineOffsets || (file.lineOffsets = [0]); |
||||
|
var text = file.text, line, lineStart; |
||||
|
for (var i = offsets.length - 1; i >= 0; --i) if (offsets[i] <= pos) { |
||||
|
line = i * offsetSkipLines; |
||||
|
lineStart = offsets[i]; |
||||
|
} |
||||
|
for (;;) { |
||||
|
var eol = text.indexOf("\n", lineStart); |
||||
|
if (eol >= pos || eol < 0) break; |
||||
|
lineStart = eol + 1; |
||||
|
++line; |
||||
|
} |
||||
|
return {line: line, ch: pos - lineStart}; |
||||
|
} |
||||
|
|
||||
|
var outputPos = exports.outputPos = function(query, file, pos) { |
||||
|
if (query.lineCharPositions) { |
||||
|
var out = asLineChar(file, pos); |
||||
|
if (file.type == "part") |
||||
|
out.line += file.offsetLines != null ? file.offsetLines : asLineChar(file.backing, file.offset).line; |
||||
|
return out; |
||||
|
} else { |
||||
|
return pos + (file.type == "part" ? file.offset : 0); |
||||
|
} |
||||
|
}; |
||||
|
|
||||
|
// Delete empty fields from result objects
|
||||
|
function clean(obj) { |
||||
|
for (var prop in obj) if (obj[prop] == null) delete obj[prop]; |
||||
|
return obj; |
||||
|
} |
||||
|
function maybeSet(obj, prop, val) { |
||||
|
if (val != null) obj[prop] = val; |
||||
|
} |
||||
|
|
||||
|
// Built-in query types
|
||||
|
|
||||
|
function compareCompletions(a, b) { |
||||
|
if (typeof a != "string") { a = a.name; b = b.name; } |
||||
|
var aUp = /^[A-Z]/.test(a), bUp = /^[A-Z]/.test(b); |
||||
|
if (aUp == bUp) return a < b ? -1 : a == b ? 0 : 1; |
||||
|
else return aUp ? 1 : -1; |
||||
|
} |
||||
|
|
||||
|
function isStringAround(node, start, end) { |
||||
|
return node.type == "Literal" && typeof node.value == "string" && |
||||
|
node.start == start - 1 && node.end <= end + 1; |
||||
|
} |
||||
|
|
||||
|
function pointInProp(objNode, point) { |
||||
|
for (var i = 0; i < objNode.properties.length; i++) { |
||||
|
var curProp = objNode.properties[i]; |
||||
|
if (curProp.key.start <= point && curProp.key.end >= point) |
||||
|
return curProp; |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
var jsKeywords = ("break do instanceof typeof case else new var " + |
||||
|
"catch finally return void continue for switch while debugger " + |
||||
|
"function this with default if throw delete in try").split(" "); |
||||
|
|
||||
|
function findCompletions(srv, query, file) { |
||||
|
if (query.end == null) throw ternError("missing .query.end field"); |
||||
|
if (srv.passes.completion) for (var i = 0; i < srv.passes.completion.length; i++) { |
||||
|
var result = srv.passes.completion[i](file, query); |
||||
|
if (result) return result; |
||||
|
} |
||||
|
|
||||
|
var wordStart = resolvePos(file, query.end), wordEnd = wordStart, text = file.text; |
||||
|
while (wordStart && acorn.isIdentifierChar(text.charCodeAt(wordStart - 1))) --wordStart; |
||||
|
if (query.expandWordForward !== false) |
||||
|
while (wordEnd < text.length && acorn.isIdentifierChar(text.charCodeAt(wordEnd))) ++wordEnd; |
||||
|
var word = text.slice(wordStart, wordEnd), completions = [], ignoreObj; |
||||
|
if (query.caseInsensitive) word = word.toLowerCase(); |
||||
|
var wrapAsObjs = query.types || query.depths || query.docs || query.urls || query.origins; |
||||
|
|
||||
|
function gather(prop, obj, depth, addInfo) { |
||||
|
// 'hasOwnProperty' and such are usually just noise, leave them
|
||||
|
// out when no prefix is provided.
|
||||
|
if (query.omitObjectPrototype !== false && obj == srv.cx.protos.Object && !word) return; |
||||
|
if (query.filter !== false && word && |
||||
|
(query.caseInsensitive ? prop.toLowerCase() : prop).indexOf(word) !== 0) return; |
||||
|
if (ignoreObj && ignoreObj.props[prop]) return; |
||||
|
for (var i = 0; i < completions.length; ++i) { |
||||
|
var c = completions[i]; |
||||
|
if ((wrapAsObjs ? c.name : c) == prop) return; |
||||
|
} |
||||
|
var rec = wrapAsObjs ? {name: prop} : prop; |
||||
|
completions.push(rec); |
||||
|
|
||||
|
if (obj && (query.types || query.docs || query.urls || query.origins)) { |
||||
|
var val = obj.props[prop]; |
||||
|
infer.resetGuessing(); |
||||
|
var type = val.getType(); |
||||
|
rec.guess = infer.didGuess(); |
||||
|
if (query.types) |
||||
|
rec.type = infer.toString(val); |
||||
|
if (query.docs) |
||||
|
maybeSet(rec, "doc", val.doc || type && type.doc); |
||||
|
if (query.urls) |
||||
|
maybeSet(rec, "url", val.url || type && type.url); |
||||
|
if (query.origins) |
||||
|
maybeSet(rec, "origin", val.origin || type && type.origin); |
||||
|
} |
||||
|
if (query.depths) rec.depth = depth; |
||||
|
if (wrapAsObjs && addInfo) addInfo(rec); |
||||
|
} |
||||
|
|
||||
|
var hookname, prop, objType, isKey; |
||||
|
|
||||
|
var exprAt = infer.findExpressionAround(file.ast, null, wordStart, file.scope); |
||||
|
var memberExpr, objLit; |
||||
|
// Decide whether this is an object property, either in a member
|
||||
|
// expression or an object literal.
|
||||
|
if (exprAt) { |
||||
|
if (exprAt.node.type == "MemberExpression" && exprAt.node.object.end < wordStart) { |
||||
|
memberExpr = exprAt; |
||||
|
} else if (isStringAround(exprAt.node, wordStart, wordEnd)) { |
||||
|
var parent = infer.parentNode(exprAt.node, file.ast); |
||||
|
if (parent.type == "MemberExpression" && parent.property == exprAt.node) |
||||
|
memberExpr = {node: parent, state: exprAt.state}; |
||||
|
} else if (exprAt.node.type == "ObjectExpression") { |
||||
|
var objProp = pointInProp(exprAt.node, wordEnd); |
||||
|
if (objProp) { |
||||
|
objLit = exprAt; |
||||
|
prop = isKey = objProp.key.name; |
||||
|
} else if (!word && !/:\s*$/.test(file.text.slice(0, wordStart))) { |
||||
|
objLit = exprAt; |
||||
|
prop = isKey = true; |
||||
|
} |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
if (objLit) { |
||||
|
// Since we can't use the type of the literal itself to complete
|
||||
|
// its properties (it doesn't contain the information we need),
|
||||
|
// we have to try asking the surrounding expression for type info.
|
||||
|
objType = infer.typeFromContext(file.ast, objLit); |
||||
|
ignoreObj = objLit.node.objType; |
||||
|
} else if (memberExpr) { |
||||
|
prop = memberExpr.node.property; |
||||
|
prop = prop.type == "Literal" ? prop.value.slice(1) : prop.name; |
||||
|
memberExpr.node = memberExpr.node.object; |
||||
|
objType = infer.expressionType(memberExpr); |
||||
|
} else if (text.charAt(wordStart - 1) == ".") { |
||||
|
var pathStart = wordStart - 1; |
||||
|
while (pathStart && (text.charAt(pathStart - 1) == "." || acorn.isIdentifierChar(text.charCodeAt(pathStart - 1)))) pathStart--; |
||||
|
var path = text.slice(pathStart, wordStart - 1); |
||||
|
if (path) { |
||||
|
objType = infer.def.parsePath(path, file.scope).getObjType(); |
||||
|
prop = word; |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
if (prop != null) { |
||||
|
srv.cx.completingProperty = prop; |
||||
|
|
||||
|
if (objType) infer.forAllPropertiesOf(objType, gather); |
||||
|
|
||||
|
if (!completions.length && query.guess !== false && objType && objType.guessProperties) |
||||
|
objType.guessProperties(function(p, o, d) {if (p != prop && p != "✖") gather(p, o, d);}); |
||||
|
if (!completions.length && word.length >= 2 && query.guess !== false) |
||||
|
for (var prop in srv.cx.props) gather(prop, srv.cx.props[prop][0], 0); |
||||
|
hookname = "memberCompletion"; |
||||
|
} else { |
||||
|
infer.forAllLocalsAt(file.ast, wordStart, file.scope, gather); |
||||
|
if (query.includeKeywords) jsKeywords.forEach(function(kw) { |
||||
|
gather(kw, null, 0, function(rec) { rec.isKeyword = true; }); |
||||
|
}); |
||||
|
hookname = "variableCompletion"; |
||||
|
} |
||||
|
if (srv.passes[hookname]) |
||||
|
srv.passes[hookname].forEach(function(hook) {hook(file, wordStart, wordEnd, gather);}); |
||||
|
|
||||
|
if (query.sort !== false) completions.sort(compareCompletions); |
||||
|
srv.cx.completingProperty = null; |
||||
|
|
||||
|
return {start: outputPos(query, file, wordStart), |
||||
|
end: outputPos(query, file, wordEnd), |
||||
|
isProperty: !!prop, |
||||
|
isObjectKey: !!isKey, |
||||
|
completions: completions}; |
||||
|
} |
||||
|
|
||||
|
function findProperties(srv, query) { |
||||
|
var prefix = query.prefix, found = []; |
||||
|
for (var prop in srv.cx.props) |
||||
|
if (prop != "<i>" && (!prefix || prop.indexOf(prefix) === 0)) found.push(prop); |
||||
|
if (query.sort !== false) found.sort(compareCompletions); |
||||
|
return {completions: found}; |
||||
|
} |
||||
|
|
||||
|
var findExpr = exports.findQueryExpr = function(file, query, wide) { |
||||
|
if (query.end == null) throw ternError("missing .query.end field"); |
||||
|
|
||||
|
if (query.variable) { |
||||
|
var scope = infer.scopeAt(file.ast, resolvePos(file, query.end), file.scope); |
||||
|
return {node: {type: "Identifier", name: query.variable, start: query.end, end: query.end + 1}, |
||||
|
state: scope}; |
||||
|
} else { |
||||
|
var start = query.start && resolvePos(file, query.start), end = resolvePos(file, query.end); |
||||
|
var expr = infer.findExpressionAt(file.ast, start, end, file.scope); |
||||
|
if (expr) return expr; |
||||
|
expr = infer.findExpressionAround(file.ast, start, end, file.scope); |
||||
|
if (expr && (expr.node.type == "ObjectExpression" || wide || |
||||
|
(start == null ? end : start) - expr.node.start < 20 || expr.node.end - end < 20)) |
||||
|
return expr; |
||||
|
return null; |
||||
|
} |
||||
|
}; |
||||
|
|
||||
|
function findExprOrThrow(file, query, wide) { |
||||
|
var expr = findExpr(file, query, wide); |
||||
|
if (expr) return expr; |
||||
|
throw ternError("No expression at the given position."); |
||||
|
} |
||||
|
|
||||
|
function ensureObj(tp) { |
||||
|
if (!tp || !(tp = tp.getType()) || !(tp instanceof infer.Obj)) return null; |
||||
|
return tp; |
||||
|
} |
||||
|
|
||||
|
function findExprType(srv, query, file, expr) { |
||||
|
var type; |
||||
|
if (expr) { |
||||
|
infer.resetGuessing(); |
||||
|
type = infer.expressionType(expr); |
||||
|
} |
||||
|
if (srv.passes["typeAt"]) { |
||||
|
var pos = resolvePos(file, query.end); |
||||
|
srv.passes["typeAt"].forEach(function(hook) { |
||||
|
type = hook(file, pos, expr, type); |
||||
|
}); |
||||
|
} |
||||
|
if (!type) throw ternError("No type found at the given position."); |
||||
|
|
||||
|
var objProp; |
||||
|
if (expr.node.type == "ObjectExpression" && query.end != null && |
||||
|
(objProp = pointInProp(expr.node, resolvePos(file, query.end)))) { |
||||
|
var name = objProp.key.name; |
||||
|
var fromCx = ensureObj(infer.typeFromContext(file.ast, expr)); |
||||
|
if (fromCx && fromCx.hasProp(name)) { |
||||
|
type = fromCx.hasProp(name); |
||||
|
} else { |
||||
|
var fromLocal = ensureObj(type); |
||||
|
if (fromLocal && fromLocal.hasProp(name)) |
||||
|
type = fromLocal.hasProp(name); |
||||
|
} |
||||
|
} |
||||
|
return type; |
||||
|
}; |
||||
|
|
||||
|
function findTypeAt(srv, query, file) { |
||||
|
var expr = findExpr(file, query), exprName; |
||||
|
var type = findExprType(srv, query, file, expr), exprType = type; |
||||
|
if (query.preferFunction) |
||||
|
type = type.getFunctionType() || type.getType(); |
||||
|
else |
||||
|
type = type.getType(); |
||||
|
|
||||
|
if (expr) { |
||||
|
if (expr.node.type == "Identifier") |
||||
|
exprName = expr.node.name; |
||||
|
else if (expr.node.type == "MemberExpression" && !expr.node.computed) |
||||
|
exprName = expr.node.property.name; |
||||
|
} |
||||
|
|
||||
|
if (query.depth != null && typeof query.depth != "number") |
||||
|
throw ternError(".query.depth must be a number"); |
||||
|
|
||||
|
var result = {guess: infer.didGuess(), |
||||
|
type: infer.toString(exprType, query.depth), |
||||
|
name: type && type.name, |
||||
|
exprName: exprName}; |
||||
|
if (type) storeTypeDocs(type, result); |
||||
|
if (!result.doc && exprType.doc) result.doc = exprType.doc; |
||||
|
|
||||
|
return clean(result); |
||||
|
} |
||||
|
|
||||
|
function findDocs(srv, query, file) { |
||||
|
var expr = findExpr(file, query); |
||||
|
var type = findExprType(srv, query, file, expr); |
||||
|
var result = {url: type.url, doc: type.doc, type: infer.toString(type)}; |
||||
|
var inner = type.getType(); |
||||
|
if (inner) storeTypeDocs(inner, result); |
||||
|
return clean(result); |
||||
|
} |
||||
|
|
||||
|
function storeTypeDocs(type, out) { |
||||
|
if (!out.url) out.url = type.url; |
||||
|
if (!out.doc) out.doc = type.doc; |
||||
|
if (!out.origin) out.origin = type.origin; |
||||
|
var ctor, boring = infer.cx().protos; |
||||
|
if (!out.url && !out.doc && type.proto && (ctor = type.proto.hasCtor) && |
||||
|
type.proto != boring.Object && type.proto != boring.Function && type.proto != boring.Array) { |
||||
|
out.url = ctor.url; |
||||
|
out.doc = ctor.doc; |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
var getSpan = exports.getSpan = function(obj) { |
||||
|
if (!obj.origin) return; |
||||
|
if (obj.originNode) { |
||||
|
var node = obj.originNode; |
||||
|
if (/^Function/.test(node.type) && node.id) node = node.id; |
||||
|
return {origin: obj.origin, node: node}; |
||||
|
} |
||||
|
if (obj.span) return {origin: obj.origin, span: obj.span}; |
||||
|
}; |
||||
|
|
||||
|
var storeSpan = exports.storeSpan = function(srv, query, span, target) { |
||||
|
target.origin = span.origin; |
||||
|
if (span.span) { |
||||
|
var m = /^(\d+)\[(\d+):(\d+)\]-(\d+)\[(\d+):(\d+)\]$/.exec(span.span); |
||||
|
target.start = query.lineCharPositions ? {line: Number(m[2]), ch: Number(m[3])} : Number(m[1]); |
||||
|
target.end = query.lineCharPositions ? {line: Number(m[5]), ch: Number(m[6])} : Number(m[4]); |
||||
|
} else { |
||||
|
var file = srv.findFile(span.origin); |
||||
|
target.start = outputPos(query, file, span.node.start); |
||||
|
target.end = outputPos(query, file, span.node.end); |
||||
|
} |
||||
|
}; |
||||
|
|
||||
|
function findDef(srv, query, file) { |
||||
|
var expr = findExpr(file, query); |
||||
|
var type = findExprType(srv, query, file, expr); |
||||
|
if (infer.didGuess()) return {}; |
||||
|
|
||||
|
var span = getSpan(type); |
||||
|
var result = {url: type.url, doc: type.doc, origin: type.origin}; |
||||
|
|
||||
|
if (type.types) for (var i = type.types.length - 1; i >= 0; --i) { |
||||
|
var tp = type.types[i]; |
||||
|
storeTypeDocs(tp, result); |
||||
|
if (!span) span = getSpan(tp); |
||||
|
} |
||||
|
|
||||
|
if (span && span.node) { // refers to a loaded file
|
||||
|
var spanFile = span.node.sourceFile || srv.findFile(span.origin); |
||||
|
var start = outputPos(query, spanFile, span.node.start), end = outputPos(query, spanFile, span.node.end); |
||||
|
result.start = start; result.end = end; |
||||
|
result.file = span.origin; |
||||
|
var cxStart = Math.max(0, span.node.start - 50); |
||||
|
result.contextOffset = span.node.start - cxStart; |
||||
|
result.context = spanFile.text.slice(cxStart, cxStart + 50); |
||||
|
} else if (span) { // external
|
||||
|
result.file = span.origin; |
||||
|
storeSpan(srv, query, span, result); |
||||
|
} |
||||
|
return clean(result); |
||||
|
} |
||||
|
|
||||
|
function findRefsToVariable(srv, query, file, expr, checkShadowing) { |
||||
|
var name = expr.node.name; |
||||
|
|
||||
|
for (var scope = expr.state; scope && !(name in scope.props); scope = scope.prev) {} |
||||
|
if (!scope) throw ternError("Could not find a definition for " + name + " " + !!srv.cx.topScope.props.x); |
||||
|
|
||||
|
var type, refs = []; |
||||
|
function storeRef(file) { |
||||
|
return function(node, scopeHere) { |
||||
|
if (checkShadowing) for (var s = scopeHere; s != scope; s = s.prev) { |
||||
|
var exists = s.hasProp(checkShadowing); |
||||
|
if (exists) |
||||
|
throw ternError("Renaming `" + name + "` to `" + checkShadowing + "` would make a variable at line " + |
||||
|
(asLineChar(file, node.start).line + 1) + " point to the definition at line " + |
||||
|
(asLineChar(file, exists.name.start).line + 1)); |
||||
|
} |
||||
|
refs.push({file: file.name, |
||||
|
start: outputPos(query, file, node.start), |
||||
|
end: outputPos(query, file, node.end)}); |
||||
|
}; |
||||
|
} |
||||
|
|
||||
|
if (scope.originNode) { |
||||
|
type = "local"; |
||||
|
if (checkShadowing) { |
||||
|
for (var prev = scope.prev; prev; prev = prev.prev) |
||||
|
if (checkShadowing in prev.props) break; |
||||
|
if (prev) infer.findRefs(scope.originNode, scope, checkShadowing, prev, function(node) { |
||||
|
throw ternError("Renaming `" + name + "` to `" + checkShadowing + "` would shadow the definition used at line " + |
||||
|
(asLineChar(file, node.start).line + 1)); |
||||
|
}); |
||||
|
} |
||||
|
infer.findRefs(scope.originNode, scope, name, scope, storeRef(file)); |
||||
|
} else { |
||||
|
type = "global"; |
||||
|
for (var i = 0; i < srv.files.length; ++i) { |
||||
|
var cur = srv.files[i]; |
||||
|
infer.findRefs(cur.ast, cur.scope, name, scope, storeRef(cur)); |
||||
|
} |
||||
|
} |
||||
|
|
||||
|
return {refs: refs, type: type, name: name}; |
||||
|
} |
||||
|
|
||||
|
function findRefsToProperty(srv, query, expr, prop) { |
||||
|
var objType = infer.expressionType(expr).getObjType(); |
||||
|
if (!objType) throw ternError("Couldn't determine type of base object."); |
||||
|
|
||||
|
var refs = []; |
||||
|
function storeRef(file) { |
||||
|
return function(node) { |
||||
|
refs.push({file: file.name, |
||||
|
start: outputPos(query, file, node.start), |
||||
|
end: outputPos(query, file, node.end)}); |
||||
|
}; |
||||
|
} |
||||
|
for (var i = 0; i < srv.files.length; ++i) { |
||||
|
var cur = srv.files[i]; |
||||
|
infer.findPropRefs(cur.ast, cur.scope, objType, prop.name, storeRef(cur)); |
||||
|
} |
||||
|
|
||||
|
return {refs: refs, name: prop.name}; |
||||
|
} |
||||
|
|
||||
|
function findRefs(srv, query, file) { |
||||
|
var expr = findExprOrThrow(file, query, true); |
||||
|
if (expr && expr.node.type == "Identifier") { |
||||
|
return findRefsToVariable(srv, query, file, expr); |
||||
|
} else if (expr && expr.node.type == "MemberExpression" && !expr.node.computed) { |
||||
|
var p = expr.node.property; |
||||
|
expr.node = expr.node.object; |
||||
|
return findRefsToProperty(srv, query, expr, p); |
||||
|
} else if (expr && expr.node.type == "ObjectExpression") { |
||||
|
var pos = resolvePos(file, query.end); |
||||
|
for (var i = 0; i < expr.node.properties.length; ++i) { |
||||
|
var k = expr.node.properties[i].key; |
||||
|
if (k.start <= pos && k.end >= pos) |
||||
|
return findRefsToProperty(srv, query, expr, k); |
||||
|
} |
||||
|
} |
||||
|
throw ternError("Not at a variable or property name."); |
||||
|
} |
||||
|
|
||||
|
function buildRename(srv, query, file) { |
||||
|
if (typeof query.newName != "string") throw ternError(".query.newName should be a string"); |
||||
|
var expr = findExprOrThrow(file, query); |
||||
|
if (!expr || expr.node.type != "Identifier") throw ternError("Not at a variable."); |
||||
|
|
||||
|
var data = findRefsToVariable(srv, query, file, expr, query.newName), refs = data.refs; |
||||
|
delete data.refs; |
||||
|
data.files = srv.files.map(function(f){return f.name;}); |
||||
|
|
||||
|
var changes = data.changes = []; |
||||
|
for (var i = 0; i < refs.length; ++i) { |
||||
|
var use = refs[i]; |
||||
|
use.text = query.newName; |
||||
|
changes.push(use); |
||||
|
} |
||||
|
|
||||
|
return data; |
||||
|
} |
||||
|
|
||||
|
function listFiles(srv) { |
||||
|
return {files: srv.files.map(function(f){return f.name;})}; |
||||
|
} |
||||
|
|
||||
|
exports.version = "0.9.1"; |
||||
|
}); |
||||
@ -0,0 +1,359 @@ |
|||||
|
// AST walker module for Mozilla Parser API compatible trees
|
||||
|
|
||||
|
(function(mod) { |
||||
|
if (typeof exports == "object" && typeof module == "object") return mod(exports); // CommonJS
|
||||
|
if (typeof define == "function" && define.amd) return define(["exports"], mod); // AMD
|
||||
|
mod((this.acorn || (this.acorn = {})).walk = {}); // Plain browser env
|
||||
|
})(function(exports) { |
||||
|
"use strict"; |
||||
|
|
||||
|
// A simple walk is one where you simply specify callbacks to be
|
||||
|
// called on specific nodes. The last two arguments are optional. A
|
||||
|
// simple use would be
|
||||
|
//
|
||||
|
// walk.simple(myTree, {
|
||||
|
// Expression: function(node) { ... }
|
||||
|
// });
|
||||
|
//
|
||||
|
// to do something with all expressions. All Parser API node types
|
||||
|
// can be used to identify node types, as well as Expression,
|
||||
|
// Statement, and ScopeBody, which denote categories of nodes.
|
||||
|
//
|
||||
|
// The base argument can be used to pass a custom (recursive)
|
||||
|
// walker, and state can be used to give this walked an initial
|
||||
|
// state.
|
||||
|
exports.simple = function(node, visitors, base, state) { |
||||
|
if (!base) base = exports.base; |
||||
|
function c(node, st, override) { |
||||
|
var type = override || node.type, found = visitors[type]; |
||||
|
base[type](node, st, c); |
||||
|
if (found) found(node, st); |
||||
|
} |
||||
|
c(node, state); |
||||
|
}; |
||||
|
|
||||
|
// An ancestor walk builds up an array of ancestor nodes (including
|
||||
|
// the current node) and passes them to the callback as the state parameter.
|
||||
|
exports.ancestor = function(node, visitors, base, state) { |
||||
|
if (!base) base = exports.base; |
||||
|
if (!state) state = []; |
||||
|
function c(node, st, override) { |
||||
|
var type = override || node.type, found = visitors[type]; |
||||
|
if (node != st[st.length - 1]) { |
||||
|
st = st.slice(); |
||||
|
st.push(node); |
||||
|
} |
||||
|
base[type](node, st, c); |
||||
|
if (found) found(node, st); |
||||
|
} |
||||
|
c(node, state); |
||||
|
}; |
||||
|
|
||||
|
// A recursive walk is one where your functions override the default
|
||||
|
// walkers. They can modify and replace the state parameter that's
|
||||
|
// threaded through the walk, and can opt how and whether to walk
|
||||
|
// their child nodes (by calling their third argument on these
|
||||
|
// nodes).
|
||||
|
exports.recursive = function(node, state, funcs, base) { |
||||
|
var visitor = funcs ? exports.make(funcs, base) : base; |
||||
|
function c(node, st, override) { |
||||
|
visitor[override || node.type](node, st, c); |
||||
|
} |
||||
|
c(node, state); |
||||
|
}; |
||||
|
|
||||
|
function makeTest(test) { |
||||
|
if (typeof test == "string") |
||||
|
return function(type) { return type == test; }; |
||||
|
else if (!test) |
||||
|
return function() { return true; }; |
||||
|
else |
||||
|
return test; |
||||
|
} |
||||
|
|
||||
|
function Found(node, state) { this.node = node; this.state = state; } |
||||
|
|
||||
|
// Find a node with a given start, end, and type (all are optional,
|
||||
|
// null can be used as wildcard). Returns a {node, state} object, or
|
||||
|
// undefined when it doesn't find a matching node.
|
||||
|
exports.findNodeAt = function(node, start, end, test, base, state) { |
||||
|
test = makeTest(test); |
||||
|
try { |
||||
|
if (!base) base = exports.base; |
||||
|
var c = function(node, st, override) { |
||||
|
var type = override || node.type; |
||||
|
if ((start == null || node.start <= start) && |
||||
|
(end == null || node.end >= end)) |
||||
|
base[type](node, st, c); |
||||
|
if (test(type, node) && |
||||
|
(start == null || node.start == start) && |
||||
|
(end == null || node.end == end)) |
||||
|
throw new Found(node, st); |
||||
|
}; |
||||
|
c(node, state); |
||||
|
} catch (e) { |
||||
|
if (e instanceof Found) return e; |
||||
|
throw e; |
||||
|
} |
||||
|
}; |
||||
|
|
||||
|
// Find the innermost node of a given type that contains the given
|
||||
|
// position. Interface similar to findNodeAt.
|
||||
|
exports.findNodeAround = function(node, pos, test, base, state) { |
||||
|
test = makeTest(test); |
||||
|
try { |
||||
|
if (!base) base = exports.base; |
||||
|
var c = function(node, st, override) { |
||||
|
var type = override || node.type; |
||||
|
if (node.start > pos || node.end < pos) return; |
||||
|
base[type](node, st, c); |
||||
|
if (test(type, node)) throw new Found(node, st); |
||||
|
}; |
||||
|
c(node, state); |
||||
|
} catch (e) { |
||||
|
if (e instanceof Found) return e; |
||||
|
throw e; |
||||
|
} |
||||
|
}; |
||||
|
|
||||
|
// Find the outermost matching node after a given position.
|
||||
|
exports.findNodeAfter = function(node, pos, test, base, state) { |
||||
|
test = makeTest(test); |
||||
|
try { |
||||
|
if (!base) base = exports.base; |
||||
|
var c = function(node, st, override) { |
||||
|
if (node.end < pos) return; |
||||
|
var type = override || node.type; |
||||
|
if (node.start >= pos && test(type, node)) throw new Found(node, st); |
||||
|
base[type](node, st, c); |
||||
|
}; |
||||
|
c(node, state); |
||||
|
} catch (e) { |
||||
|
if (e instanceof Found) return e; |
||||
|
throw e; |
||||
|
} |
||||
|
}; |
||||
|
|
||||
|
// Find the outermost matching node before a given position.
|
||||
|
exports.findNodeBefore = function(node, pos, test, base, state) { |
||||
|
test = makeTest(test); |
||||
|
if (!base) base = exports.base; |
||||
|
var max; |
||||
|
var c = function(node, st, override) { |
||||
|
if (node.start > pos) return; |
||||
|
var type = override || node.type; |
||||
|
if (node.end <= pos && (!max || max.node.end < node.end) && test(type, node)) |
||||
|
max = new Found(node, st); |
||||
|
base[type](node, st, c); |
||||
|
}; |
||||
|
c(node, state); |
||||
|
return max; |
||||
|
}; |
||||
|
|
||||
|
// Used to create a custom walker. Will fill in all missing node
|
||||
|
// type properties with the defaults.
|
||||
|
exports.make = function(funcs, base) { |
||||
|
if (!base) base = exports.base; |
||||
|
var visitor = {}; |
||||
|
for (var type in base) visitor[type] = base[type]; |
||||
|
for (var type in funcs) visitor[type] = funcs[type]; |
||||
|
return visitor; |
||||
|
}; |
||||
|
|
||||
|
function skipThrough(node, st, c) { c(node, st); } |
||||
|
function ignore(_node, _st, _c) {} |
||||
|
|
||||
|
// Node walkers.
|
||||
|
|
||||
|
var base = exports.base = {}; |
||||
|
base.Program = base.BlockStatement = function(node, st, c) { |
||||
|
for (var i = 0; i < node.body.length; ++i) |
||||
|
c(node.body[i], st, "Statement"); |
||||
|
}; |
||||
|
base.Statement = skipThrough; |
||||
|
base.EmptyStatement = ignore; |
||||
|
base.ExpressionStatement = base.ParenthesizedExpression = function(node, st, c) { |
||||
|
c(node.expression, st, "Expression"); |
||||
|
}; |
||||
|
base.IfStatement = function(node, st, c) { |
||||
|
c(node.test, st, "Expression"); |
||||
|
c(node.consequent, st, "Statement"); |
||||
|
if (node.alternate) c(node.alternate, st, "Statement"); |
||||
|
}; |
||||
|
base.LabeledStatement = function(node, st, c) { |
||||
|
c(node.body, st, "Statement"); |
||||
|
}; |
||||
|
base.BreakStatement = base.ContinueStatement = ignore; |
||||
|
base.WithStatement = function(node, st, c) { |
||||
|
c(node.object, st, "Expression"); |
||||
|
c(node.body, st, "Statement"); |
||||
|
}; |
||||
|
base.SwitchStatement = function(node, st, c) { |
||||
|
c(node.discriminant, st, "Expression"); |
||||
|
for (var i = 0; i < node.cases.length; ++i) { |
||||
|
var cs = node.cases[i]; |
||||
|
if (cs.test) c(cs.test, st, "Expression"); |
||||
|
for (var j = 0; j < cs.consequent.length; ++j) |
||||
|
c(cs.consequent[j], st, "Statement"); |
||||
|
} |
||||
|
}; |
||||
|
base.ReturnStatement = base.YieldExpression = function(node, st, c) { |
||||
|
if (node.argument) c(node.argument, st, "Expression"); |
||||
|
}; |
||||
|
base.ThrowStatement = base.SpreadElement = base.RestElement = function(node, st, c) { |
||||
|
c(node.argument, st, "Expression"); |
||||
|
}; |
||||
|
base.TryStatement = function(node, st, c) { |
||||
|
c(node.block, st, "Statement"); |
||||
|
if (node.handler) c(node.handler.body, st, "ScopeBody"); |
||||
|
if (node.finalizer) c(node.finalizer, st, "Statement"); |
||||
|
}; |
||||
|
base.WhileStatement = function(node, st, c) { |
||||
|
c(node.test, st, "Expression"); |
||||
|
c(node.body, st, "Statement"); |
||||
|
}; |
||||
|
base.DoWhileStatement = base.WhileStatement; |
||||
|
base.ForStatement = function(node, st, c) { |
||||
|
if (node.init) c(node.init, st, "ForInit"); |
||||
|
if (node.test) c(node.test, st, "Expression"); |
||||
|
if (node.update) c(node.update, st, "Expression"); |
||||
|
c(node.body, st, "Statement"); |
||||
|
}; |
||||
|
base.ForInStatement = base.ForOfStatement = function(node, st, c) { |
||||
|
c(node.left, st, "ForInit"); |
||||
|
c(node.right, st, "Expression"); |
||||
|
c(node.body, st, "Statement"); |
||||
|
}; |
||||
|
base.ForInit = function(node, st, c) { |
||||
|
if (node.type == "VariableDeclaration") c(node, st); |
||||
|
else c(node, st, "Expression"); |
||||
|
}; |
||||
|
base.DebuggerStatement = ignore; |
||||
|
|
||||
|
base.FunctionDeclaration = function(node, st, c) { |
||||
|
c(node, st, "Function"); |
||||
|
}; |
||||
|
base.VariableDeclaration = function(node, st, c) { |
||||
|
for (var i = 0; i < node.declarations.length; ++i) { |
||||
|
var decl = node.declarations[i]; |
||||
|
if (decl.init) c(decl.init, st, "Expression"); |
||||
|
} |
||||
|
}; |
||||
|
|
||||
|
base.Function = function(node, st, c) { |
||||
|
c(node.body, st, "ScopeBody"); |
||||
|
}; |
||||
|
base.ScopeBody = function(node, st, c) { |
||||
|
c(node, st, "Statement"); |
||||
|
}; |
||||
|
|
||||
|
base.Expression = skipThrough; |
||||
|
base.ThisExpression = ignore; |
||||
|
base.ArrayExpression = base.ArrayPattern = function(node, st, c) { |
||||
|
for (var i = 0; i < node.elements.length; ++i) { |
||||
|
var elt = node.elements[i]; |
||||
|
if (elt) c(elt, st, "Expression"); |
||||
|
} |
||||
|
}; |
||||
|
base.ObjectExpression = base.ObjectPattern = function(node, st, c) { |
||||
|
for (var i = 0; i < node.properties.length; ++i) |
||||
|
c(node.properties[i], st); |
||||
|
}; |
||||
|
base.FunctionExpression = base.ArrowFunctionExpression = base.FunctionDeclaration; |
||||
|
base.SequenceExpression = base.TemplateLiteral = function(node, st, c) { |
||||
|
for (var i = 0; i < node.expressions.length; ++i) |
||||
|
c(node.expressions[i], st, "Expression"); |
||||
|
}; |
||||
|
base.UnaryExpression = base.UpdateExpression = function(node, st, c) { |
||||
|
c(node.argument, st, "Expression"); |
||||
|
}; |
||||
|
base.BinaryExpression = base.AssignmentExpression = base.AssignmentPattern = base.LogicalExpression = function(node, st, c) { |
||||
|
c(node.left, st, "Expression"); |
||||
|
c(node.right, st, "Expression"); |
||||
|
}; |
||||
|
base.ConditionalExpression = function(node, st, c) { |
||||
|
c(node.test, st, "Expression"); |
||||
|
c(node.consequent, st, "Expression"); |
||||
|
c(node.alternate, st, "Expression"); |
||||
|
}; |
||||
|
base.NewExpression = base.CallExpression = function(node, st, c) { |
||||
|
c(node.callee, st, "Expression"); |
||||
|
if (node.arguments) for (var i = 0; i < node.arguments.length; ++i) |
||||
|
c(node.arguments[i], st, "Expression"); |
||||
|
}; |
||||
|
base.MemberExpression = function(node, st, c) { |
||||
|
c(node.object, st, "Expression"); |
||||
|
if (node.computed) c(node.property, st, "Expression"); |
||||
|
}; |
||||
|
base.ExportDeclaration = function (node, st, c) { |
||||
|
c(node.declaration, st); |
||||
|
}; |
||||
|
base.ImportDeclaration = function (node, st, c) { |
||||
|
node.specifiers.forEach(function (specifier) { |
||||
|
c(specifier, st); |
||||
|
}); |
||||
|
}; |
||||
|
base.ImportSpecifier = base.ImportBatchSpecifier = base.Identifier = base.Literal = ignore; |
||||
|
|
||||
|
base.TaggedTemplateExpression = function(node, st, c) { |
||||
|
c(node.tag, st, "Expression"); |
||||
|
c(node.quasi, st); |
||||
|
}; |
||||
|
base.ClassDeclaration = base.ClassExpression = function(node, st, c) { |
||||
|
if (node.superClass) c(node.superClass, st, "Expression"); |
||||
|
for (var i = 0; i < node.body.body.length; i++) |
||||
|
c(node.body.body[i], st); |
||||
|
}; |
||||
|
base.MethodDefinition = base.Property = function(node, st, c) { |
||||
|
if (node.computed) c(node.key, st, "Expression"); |
||||
|
c(node.value, st, "Expression"); |
||||
|
}; |
||||
|
base.ComprehensionExpression = function(node, st, c) { |
||||
|
for (var i = 0; i < node.blocks.length; i++) |
||||
|
c(node.blocks[i].right, st, "Expression"); |
||||
|
c(node.body, st, "Expression"); |
||||
|
}; |
||||
|
|
||||
|
// NOTE: the stuff below is deprecated, and will be removed when 1.0 is released
|
||||
|
|
||||
|
// A custom walker that keeps track of the scope chain and the
|
||||
|
// variables defined in it.
|
||||
|
function makeScope(prev, isCatch) { |
||||
|
return {vars: Object.create(null), prev: prev, isCatch: isCatch}; |
||||
|
} |
||||
|
function normalScope(scope) { |
||||
|
while (scope.isCatch) scope = scope.prev; |
||||
|
return scope; |
||||
|
} |
||||
|
exports.scopeVisitor = exports.make({ |
||||
|
Function: function(node, scope, c) { |
||||
|
var inner = makeScope(scope); |
||||
|
for (var i = 0; i < node.params.length; ++i) |
||||
|
inner.vars[node.params[i].name] = {type: "argument", node: node.params[i]}; |
||||
|
if (node.id) { |
||||
|
var decl = node.type == "FunctionDeclaration"; |
||||
|
(decl ? normalScope(scope) : inner).vars[node.id.name] = |
||||
|
{type: decl ? "function" : "function name", node: node.id}; |
||||
|
} |
||||
|
c(node.body, inner, "ScopeBody"); |
||||
|
}, |
||||
|
TryStatement: function(node, scope, c) { |
||||
|
c(node.block, scope, "Statement"); |
||||
|
if (node.handler) { |
||||
|
var inner = makeScope(scope, true); |
||||
|
inner.vars[node.handler.param.name] = {type: "catch clause", node: node.handler.param}; |
||||
|
c(node.handler.body, inner, "ScopeBody"); |
||||
|
} |
||||
|
if (node.finalizer) c(node.finalizer, scope, "Statement"); |
||||
|
}, |
||||
|
VariableDeclaration: function(node, scope, c) { |
||||
|
var target = normalScope(scope); |
||||
|
for (var i = 0; i < node.declarations.length; ++i) { |
||||
|
var decl = node.declarations[i]; |
||||
|
target.vars[decl.id.name] = {type: "var", node: decl.id}; |
||||
|
if (decl.init) c(decl.init, scope, "Expression"); |
||||
|
} |
||||
|
} |
||||
|
}); |
||||
|
|
||||
|
}); |
||||
Loading…
Reference in new issue