[DevTools] Added regex support to console filters.

Source/devtools/front_end/FilterBar.js

 /*
  * Copyright (C) 2013 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 141 matching lines @@
     /**
      * @return {Element}
      */
     element: function() { }
 }
 
 /**
  * @constructor
  * @implements {WebInspector.FilterUI}
  * @extends {WebInspector.Object}
+ * @param {boolean=} supportRegex
  */
-WebInspector.TextFilterUI = function()
+WebInspector.TextFilterUI = function(supportRegex)
 {
+    this._supportRegex = !!supportRegex;
+    this._regex = null;
+
     this._filterElement = document.createElement("div");
     this._filterElement.className = "filter-text-filter";
 
     this._filterInputElement = this._filterElement.createChild("input", "search-replace toolbar-replace-control");
     this._filterInputElement.placeholder = WebInspector.UIString("Filter");
     this._filterInputElement.id = "filter-input-field";
     this._filterInputElement.addEventListener("mousedown", this._onFilterFieldManualFocus.bind(this), false); // when the search field is manually selected
     this._filterInputElement.addEventListener("input", this._onInput.bind(this), false);
     this._filterInputElement.addEventListener("change", this._onInput.bind(this), false);
+
+    if (this._supportRegex) {
+        this._filterElement.classList.add("supports-regex");
+        this._regexCheckBox = this._filterElement.createChild("input");
+        this._regexCheckBox.type = "checkbox";
+        this._regexCheckBox.id = "text-filter-regex";
+        this._regexCheckBox.addEventListener("change", this._onInput.bind(this), false);
+
+        this._regexLabel = this._filterElement.createChild("label");
+        this._regexLabel.htmlFor = "text-filter-regex";
+        this._regexLabel.textContent = WebInspector.UIString("Regex");
+    }
 }
 
 WebInspector.TextFilterUI.prototype = {
     /**
      * @return {boolean}
      */
     isActive: function()
     {
         return !!this._filterInputElement.value;
     },
@@ skipping 21 matching lines @@
     {
         this._filterInputElement.value = value;
         this._valueChanged();
     },
 
     /**
      * @return {?RegExp}
      */
     regex: function()
     {
-        if (this._regex !== undefined)
-            return this._regex;
-        var filterQuery = this.value();
-        this._regex = filterQuery ? createPlainTextSearchRegex(filterQuery, "i") : null;
         return this._regex;
     },
 
     /**
      * @param {Event} event
      */
     _onFilterFieldManualFocus: function(event)
     {
         WebInspector.setCurrentFocusElement(event.target);
     },
 
     /**
      * @param {WebInspector.Event} event
      */
     _onInput: function(event)
     {
         this._valueChanged();
     },
 
     _valueChanged: function() {
-        delete this._regex;
+        var filterQuery = this.value();
+
+        this._regex = null;
+        this._filterInputElement.classList.remove("filter-text-invalid");
+        if (filterQuery) {
+            if (this._supportRegex && this._regexCheckBox.checked) {
+                try {
+                    this._regex = new RegExp(filterQuery, "i");
+                } catch (e) {
+                    this._filterInputElement.classList.add("filter-text-invalid");
+                }
+            } else {
+                this._regex = createPlainTextSearchRegex(filterQuery, "i");
+            }
+        }
+
         this.dispatchEventToListeners(WebInspector.FilterUI.Events.FilterChanged, null);
     },
 
     __proto__: WebInspector.Object.prototype
 }
 
 /**
  * @constructor
  * @implements {WebInspector.FilterUI}
  * @extends {WebInspector.Object}
@@ skipping 267 matching lines @@
         var label = this._filterElement.createChild("label");
         var checkBorder = label.createChild("div", "checkbox-filter-checkbox");
         this._checkElement = checkBorder.createChild("div", "checkbox-filter-checkbox-check");
         this._filterElement.addEventListener("click", this._onClick.bind(this), false);
         var typeElement = label.createChild("span", "type");
         typeElement.textContent = title;
     },
 
     __proto__: WebInspector.Object.prototype
 }