DevTools: Move jsdifflib to "sources", extract "toolbox" module

Source/devtools/front_end/MediaQueryInspector.js

Index: Source/devtools/front_end/MediaQueryInspector.js
diff --git a/Source/devtools/front_end/MediaQueryInspector.js b/Source/devtools/front_end/MediaQueryInspector.js
deleted file mode 100644
index f5f231089ec1cfabd72c5915312c89591f37043c..0000000000000000000000000000000000000000
--- a/Source/devtools/front_end/MediaQueryInspector.js
+++ /dev/null
@@ -1,528 +0,0 @@
-// Copyright 2014 The Chromium Authors. All rights reserved.
-// Use of this source code is governed by a BSD-style license that can be
-// found in the LICENSE file.
-
-/**
- * @constructor
- * @extends {WebInspector.View}
- */
-WebInspector.MediaQueryInspector = function()
-{
-    WebInspector.View.call(this);
-    this.element.classList.add("media-inspector-view", "media-inspector-view-empty");
-    this.element.addEventListener("click", this._onMediaQueryClicked.bind(this), false);
-    this.element.addEventListener("contextmenu", this._onContextMenu.bind(this), false);
-    this.element.addEventListener("webkitAnimationEnd", this._onAnimationEnd.bind(this), false);
-    this._mediaThrottler = new WebInspector.Throttler(100);
-
-    this._translateZero = 0;
-    this._offset = 0;
-    this._scale = 1;
-
-    this._rulerDecorationLayer = document.createElementWithClass("div", "fill");
-    this._rulerDecorationLayer.classList.add("media-inspector-ruler-decoration");
-    this._rulerDecorationLayer.addEventListener("click", this._onRulerDecorationClicked.bind(this), false);
-
-    WebInspector.cssModel.addEventListener(WebInspector.CSSStyleModel.Events.StyleSheetAdded, this._scheduleMediaQueriesUpdate, this);
-    WebInspector.cssModel.addEventListener(WebInspector.CSSStyleModel.Events.StyleSheetRemoved, this._scheduleMediaQueriesUpdate, this);
-    WebInspector.cssModel.addEventListener(WebInspector.CSSStyleModel.Events.StyleSheetChanged, this._scheduleMediaQueriesUpdate, this);
-    WebInspector.cssModel.addEventListener(WebInspector.CSSStyleModel.Events.MediaQueryResultChanged, this._scheduleMediaQueriesUpdate, this);
-    WebInspector.zoomManager.addEventListener(WebInspector.ZoomManager.Events.ZoomChanged, this._renderMediaQueries.bind(this), this);
-    this._scheduleMediaQueriesUpdate();
-}
-
-/**
- * @enum {number}
- */
-WebInspector.MediaQueryInspector.Section = {
-    Max: 0,
-    MinMax: 1,
-    Min: 2
-}
-
-WebInspector.MediaQueryInspector.Events = {
-    HeightUpdated: "HeightUpdated"
-}
-
-WebInspector.MediaQueryInspector.prototype = {
-    /**
-     * @return {!Element}
-     */
-    rulerDecorationLayer: function()
-    {
-        return this._rulerDecorationLayer;
-    },
-
-    /**
-     * @return {!Array.<number>}
-     */
-    _mediaQueryThresholds: function()
-    {
-        if (!this._cachedQueryModels)
-            return [];
-        var thresholds = [];
-        for (var i = 0; i < this._cachedQueryModels.length; ++i) {
-            var model = this._cachedQueryModels[i];
-            if (model.minWidthExpression())
-                thresholds.push(model.minWidthExpression().computedLength());
-            if (model.maxWidthExpression())
-                thresholds.push(model.maxWidthExpression().computedLength());
-        }
-        thresholds.sortNumbers();
-        return thresholds;
-    },
-
-    /**
-     * @param {?Event} event
-     */
-    _onRulerDecorationClicked: function(event)
-    {
-        var thresholdElement = event.target.enclosingNodeOrSelfWithClass("media-inspector-threshold-serif");
-        if (!thresholdElement)
-            return;
-        WebInspector.settings.showMediaQueryInspector.set(true);
-        var revealValue = thresholdElement._value;
-        for (var mediaQueryContainer = this.element.firstChild; mediaQueryContainer; mediaQueryContainer = mediaQueryContainer.nextSibling) {
-            var model = mediaQueryContainer._model;
-            if ((model.minWidthExpression() && Math.abs(model.minWidthExpression().computedLength() - revealValue) === 0)
-                || (model.maxWidthExpression() && Math.abs(model.maxWidthExpression().computedLength() - revealValue) === 0)) {
-                mediaQueryContainer.scrollIntoViewIfNeeded(false);
-                var hasRunningAnimation = mediaQueryContainer.classList.contains("media-inspector-marker-highlight-1") || mediaQueryContainer.classList.contains("media-inspector-marker-highlight-2");
-                mediaQueryContainer.classList.toggle("media-inspector-marker-highlight-1");
-                if (hasRunningAnimation)
-                    mediaQueryContainer.classList.toggle("media-inspector-marker-highlight-2");
-                return;
-            }
-        }
-    },
-
-    /**
-     * @param {?Event} event
-     */
-    _onAnimationEnd: function(event)
-    {
-        event.target.classList.remove("media-inspector-marker-highlight-1");
-        event.target.classList.remove("media-inspector-marker-highlight-2");
-    },
-
-    /**
-     * @param {number} translate
-     * @param {number} offset
-     * @param {number} scale
-     */
-    setAxisTransform: function(translate, offset, scale)
-    {
-        if (this._translateZero === translate && this._offset === offset && Math.abs(this._scale - scale) < 1e-8)
-            return;
-        this._translateZero = translate;
-        this._offset = offset;
-        this._scale = scale;
-        this._renderMediaQueries();
-    },
-
-    /**
-     * @param {boolean} enabled
-     */
-    setEnabled: function(enabled)
-    {
-        this._enabled = enabled;
-    },
-
-    /**
-     * @param {?Event} event
-     */
-    _onMediaQueryClicked: function(event)
-    {
-        var mediaQueryMarkerContainer = event.target.enclosingNodeOrSelfWithClass("media-inspector-marker-container");
-        if (!mediaQueryMarkerContainer)
-            return;
-
-        /**
-         * @param {number} width
-         */
-        function setWidth(width)
-        {
-            WebInspector.overridesSupport.settings.deviceWidth.set(width);
-            WebInspector.overridesSupport.settings.emulateResolution.set(true);
-        }
-
-        var model = mediaQueryMarkerContainer._model;
-        if (model.section() === WebInspector.MediaQueryInspector.Section.Max) {
-            setWidth(model.maxWidthExpression().computedLength());
-            return;
-        }
-        if (model.section() === WebInspector.MediaQueryInspector.Section.Min) {
-            setWidth(model.minWidthExpression().computedLength());
-            return;
-        }
-        var currentWidth = WebInspector.overridesSupport.settings.deviceWidth.get();
-        if (currentWidth !== model.minWidthExpression().computedLength())
-            setWidth(model.minWidthExpression().computedLength());
-        else
-            setWidth(model.maxWidthExpression().computedLength());
-    },
-
-    /**
-     * @param {?Event} event
-     */
-    _onContextMenu: function(event)
-    {
-        var mediaQueryMarkerContainer = event.target.enclosingNodeOrSelfWithClass("media-inspector-marker-container");
-        if (!mediaQueryMarkerContainer)
-            return;
-
-        var locations = mediaQueryMarkerContainer._locations;
-        var contextMenu = new WebInspector.ContextMenu(event);
-        var subMenuItem = contextMenu.appendSubMenuItem(WebInspector.UIString(WebInspector.useLowerCaseMenuTitles() ? "Reveal in source code" : "Reveal In Source Code"));
-        for (var i = 0; i < locations.length; ++i) {
-            var location = locations[i];
-            var title = String.sprintf("%s:%d:%d", location.uiSourceCode.uri(), location.lineNumber + 1, location.columnNumber + 1);
-            subMenuItem.appendItem(title, this._revealSourceLocation.bind(this, location));
-        }
-        contextMenu.show();
-    },
-
-    /**
-     * @param {!WebInspector.UILocation} location
-     */
-    _revealSourceLocation: function(location)
-    {
-        WebInspector.Revealer.reveal(location);
-    },
-
-    _scheduleMediaQueriesUpdate: function()
-    {
-        if (!this._enabled)
-            return;
-        this._mediaThrottler.schedule(this._refetchMediaQueries.bind(this));
-    },
-
-    /**
-     * @param {!WebInspector.Throttler.FinishCallback} finishCallback
-     */
-    _refetchMediaQueries: function(finishCallback)
-    {
-        if (!this._enabled) {
-            finishCallback();
-            return;
-        }
-
-        /**
-         * @param {!Array.<!WebInspector.CSSMedia>} cssMedias
-         * @this {!WebInspector.MediaQueryInspector}
-         */
-        function callback(cssMedias)
-        {
-            this._rebuildMediaQueries(cssMedias);
-            finishCallback();
-        }
-        WebInspector.cssModel.getMediaQueries(callback.bind(this));
-    },
-
-    /**
-     * @param {!Array.<!WebInspector.MediaQueryInspector.MediaQueryUIModel>} models
-     * @return {!Array.<!WebInspector.MediaQueryInspector.MediaQueryUIModel>}
-     */
-    _squashAdjacentEqual: function(models)
-    {
-        var filtered = [];
-        for (var i = 0; i < models.length; ++i) {
-            var last = filtered.peekLast();
-            if (!last || !last.equals(models[i]))
-                filtered.push(models[i]);
-        }
-        return filtered;
-    },
-
-    /**
-     * @param {!Array.<!WebInspector.CSSMedia>} cssMedias
-     */
-    _rebuildMediaQueries: function(cssMedias)
-    {
-        var queryModels = [];
-        for (var i = 0; i < cssMedias.length; ++i) {
-            var cssMedia = cssMedias[i];
-            if (!cssMedia.mediaList)
-                continue;
-            for (var j = 0; j < cssMedia.mediaList.length; ++j) {
-                var mediaQueryExpressions = cssMedia.mediaList[j];
-                var queryModel = WebInspector.MediaQueryInspector.MediaQueryUIModel.createFromMediaExpressions(cssMedia, mediaQueryExpressions);
-                if (queryModel)
-                    queryModels.push(queryModel);
-            }
-        }
-        queryModels.sort(compareModels);
-        queryModels = this._squashAdjacentEqual(queryModels);
-
-        var allEqual = this._cachedQueryModels && this._cachedQueryModels.length == queryModels.length;
-        for (var i = 0; allEqual && i < queryModels.length; ++i)
-            allEqual = allEqual && this._cachedQueryModels[i].equals(queryModels[i]);
-        if (allEqual)
-            return;
-        this._cachedQueryModels = queryModels;
-        this._renderMediaQueries();
-
-        /**
-         * @param {!WebInspector.MediaQueryInspector.MediaQueryUIModel} model1
-         * @param {!WebInspector.MediaQueryInspector.MediaQueryUIModel} model2
-         * @return {number}
-         */
-        function compareModels(model1, model2)
-        {
-            return model1.compareTo(model2);
-        }
-    },
-
-    _renderMediaQueries: function()
-    {
-        if (!this._cachedQueryModels)
-            return;
-        this._renderRulerDecorations();
-        if (!this.isShowing())
-            return;
-
-        var markers = [];
-        var lastMarker = null;
-        for (var i = 0; i < this._cachedQueryModels.length; ++i) {
-            var model = this._cachedQueryModels[i];
-            if (!model.uiLocation())
-                continue;
-            if (lastMarker && lastMarker.model.dimensionsEqual(model)) {
-                lastMarker.locations.push(model.uiLocation());
-            } else {
-                lastMarker = {
-                    model: model,
-                    locations: [ model.uiLocation() ]
-                };
-                markers.push(lastMarker);
-            }
-        }
-        var heightChanges = this.element.children.length !== markers.length;
-
-        var scrollTop = this.element.scrollTop;
-        this.element.removeChildren();
-        for (var i = 0; i < markers.length; ++i) {
-            var marker = markers[i];
-            var bar = this._createElementFromMediaQueryModel(marker.model);
-            bar._model = marker.model;
-            bar._locations = marker.locations;
-            this.element.appendChild(bar);
-        }
-        this.element.scrollTop = scrollTop;
-        this.element.classList.toggle("media-inspector-view-empty", !this.element.children.length);
-        if (heightChanges)
-            this.dispatchEventToListeners(WebInspector.MediaQueryInspector.Events.HeightUpdated);
-    },
-
-    /**
-     * @return {number}
-     */
-    _zoomFactor: function()
-    {
-        return WebInspector.zoomManager.zoomFactor() / this._scale;
-    },
-
-    _renderRulerDecorations: function()
-    {
-        this._rulerDecorationLayer.removeChildren();
-        var zoomFactor = this._zoomFactor();
-
-        var thresholds = this._mediaQueryThresholds();
-        for (var i = 0; i < thresholds.length; ++i) {
-            var thresholdElement = this._rulerDecorationLayer.createChild("div", "media-inspector-threshold-serif");
-            thresholdElement._value = thresholds[i];
-            thresholdElement.style.left = (thresholds[i] - this._offset) / zoomFactor + "px";
-        }
-    },
-
-    wasShown: function()
-    {
-        this._renderMediaQueries();
-    },
-
-    /**
-     * @param {!WebInspector.MediaQueryInspector.MediaQueryUIModel} model
-     * @return {!Element}
-     */
-    _createElementFromMediaQueryModel: function(model)
-    {
-        var zoomFactor = this._zoomFactor();
-        var minWidthValue = model.minWidthExpression() ? model.minWidthExpression().computedLength() : 0;
-
-        var container = document.createElementWithClass("div", "media-inspector-marker-container hbox");
-        var markerElement = container.createChild("div", "media-inspector-marker");
-        const styleClassPerSection = [
-            "media-inspector-marker-max-width",
-            "media-inspector-marker-min-max-width",
-            "media-inspector-marker-min-width"
-        ];
-        markerElement.classList.add(styleClassPerSection[model.section()]);
-        var leftPixelValue = minWidthValue ? (minWidthValue - this._offset) / zoomFactor + this._translateZero : 0;
-        markerElement.style.left = leftPixelValue + "px";
-        var widthPixelValue = null;
-        if (model.maxWidthExpression() && model.minWidthExpression())
-            widthPixelValue = (model.maxWidthExpression().computedLength() - minWidthValue) / zoomFactor;
-        else if (model.maxWidthExpression())
-            widthPixelValue = (model.maxWidthExpression().computedLength() - this._offset) / zoomFactor + this._translateZero;
-        else
-            markerElement.style.right = "0";
-        if (typeof widthPixelValue === "number")
-            markerElement.style.width = widthPixelValue + "px";
-
-        var maxLabelFiller = container.createChild("div", "media-inspector-max-label-filler");
-        if (model.maxWidthExpression()) {
-            maxLabelFiller.style.maxWidth = widthPixelValue + leftPixelValue + "px";
-            var label = container.createChild("span", "media-inspector-marker-label media-inspector-max-label");
-            label.textContent = model.maxWidthExpression().computedLength() + "px";
-        }
-
-        if (model.minWidthExpression()) {
-            var minLabelFiller = maxLabelFiller.createChild("div", "media-inspector-min-label-filler");
-            minLabelFiller.style.maxWidth = leftPixelValue + "px";
-            var label = minLabelFiller.createChild("span", "media-inspector-marker-label media-inspector-min-label");
-            label.textContent = model.minWidthExpression().computedLength() + "px";
-        }
-
-        return container;
-    },
-
-    __proto__: WebInspector.View.prototype
-};
-
-/**
- * @constructor
- * @param {!WebInspector.CSSMedia} cssMedia
- * @param {?WebInspector.CSSMediaQueryExpression} minWidthExpression
- * @param {?WebInspector.CSSMediaQueryExpression} maxWidthExpression
- */
-WebInspector.MediaQueryInspector.MediaQueryUIModel = function(cssMedia, minWidthExpression, maxWidthExpression)
-{
-    this._cssMedia = cssMedia;
-    this._minWidthExpression = minWidthExpression;
-    this._maxWidthExpression = maxWidthExpression;
-    if (maxWidthExpression && !minWidthExpression)
-        this._section = WebInspector.MediaQueryInspector.Section.Max;
-    else if (minWidthExpression && maxWidthExpression)
-        this._section = WebInspector.MediaQueryInspector.Section.MinMax;
-    else
-        this._section = WebInspector.MediaQueryInspector.Section.Min;
-}
-
-/**
- * @param {!WebInspector.CSSMedia} cssMedia
- * @param {!Array.<!WebInspector.CSSMediaQueryExpression>} mediaQueryExpressions
- * @return {?WebInspector.MediaQueryInspector.MediaQueryUIModel}
- */
-WebInspector.MediaQueryInspector.MediaQueryUIModel.createFromMediaExpressions = function(cssMedia, mediaQueryExpressions)
-{
-    var maxWidthExpression = null;
-    var maxWidthPixels = Number.MAX_VALUE;
-    var minWidthExpression = null;
-    var minWidthPixels = Number.MIN_VALUE;
-    for (var i = 0; i < mediaQueryExpressions.length; ++i) {
-        var expression = mediaQueryExpressions[i];
-        var feature = expression.feature();
-        if (feature.indexOf("width") === -1)
-            continue;
-        var pixels = expression.computedLength();
-        if (feature.startsWith("max-") && pixels < maxWidthPixels) {
-            maxWidthExpression = expression;
-            maxWidthPixels = pixels;
-        } else if (feature.startsWith("min-") && pixels > minWidthPixels) {
-            minWidthExpression = expression;
-            minWidthPixels = pixels;
-        }
-    }
-    if (minWidthPixels > maxWidthPixels || (!maxWidthExpression && !minWidthExpression))
-        return null;
-
-    return new WebInspector.MediaQueryInspector.MediaQueryUIModel(cssMedia, minWidthExpression, maxWidthExpression);
-}
-
-WebInspector.MediaQueryInspector.MediaQueryUIModel.prototype = {
-    /**
-     * @param {!WebInspector.MediaQueryInspector.MediaQueryUIModel} other
-     * @return {boolean}
-     */
-    equals: function(other)
-    {
-        return this.compareTo(other) === 0;
-    },
-
-    /**
-     * @param {!WebInspector.MediaQueryInspector.MediaQueryUIModel} other
-     * @return {boolean}
-     */
-    dimensionsEqual: function(other)
-    {
-        return this.section() === other.section()
-            && (!this.minWidthExpression() || (this.minWidthExpression().computedLength() === other.minWidthExpression().computedLength()))
-            && (!this.maxWidthExpression() || (this.maxWidthExpression().computedLength() === other.maxWidthExpression().computedLength()));
-    },
-
-    /**
-     * @param {!WebInspector.MediaQueryInspector.MediaQueryUIModel} other
-     * @return {number}
-     */
-    compareTo: function(other)
-    {
-        if (this.section() !== other.section())
-            return this.section() - other.section();
-        if (this.dimensionsEqual(other)) {
-            var myLocation = this.uiLocation();
-            var otherLocation = other.uiLocation();
-            if (!myLocation && !otherLocation)
-                return this.mediaText().compareTo(other.mediaText());
-            if (myLocation && !otherLocation)
-                return 1;
-            if (!myLocation && otherLocation)
-                return -1;
-            return myLocation.uiSourceCode.uri().compareTo(otherLocation.uiSourceCode.uri()) || myLocation.lineNumber - otherLocation.lineNumber || myLocation.columnNumber - otherLocation.columnNumber;
-        }
-        if (this.section() === WebInspector.MediaQueryInspector.Section.Max)
-            return this.maxWidthExpression().computedLength() - other.maxWidthExpression().computedLength();
-        if (this.section() === WebInspector.MediaQueryInspector.Section.Min)
-            return this.minWidthExpression().computedLength() - other.minWidthExpression().computedLength();
-        return this.minWidthExpression().computedLength() - other.minWidthExpression().computedLength() || this.maxWidthExpression().computedLength() - other.maxWidthExpression().computedLength();
-    },
-
-    /**
-     * @return {!WebInspector.MediaQueryInspector.Section}
-     */
-    section: function()
-    {
-        return this._section;
-    },
-
-    /**
-     * @return {string}
-     */
-    mediaText: function()
-    {
-        return this._cssMedia.text;
-    },
-
-    /**
-     * @return {?WebInspector.UILocation}
-     */
-    uiLocation: function()
-    {
-        return this._cssMedia.uiLocation();
-    },
-
-    /**
-     * @return {?WebInspector.CSSMediaQueryExpression}
-     */
-    minWidthExpression: function()
-    {
-        return this._minWidthExpression;
-    },
-
-    /**
-     * @return {?WebInspector.CSSMediaQueryExpression}
-     */
-    maxWidthExpression: function()
-    {
-        return this._maxWidthExpression;
-    }
-}