'
- , ' '
- , ' '
- , ' <%= regex %>'
- , ' <%= rule_name %>'
- , '
'
- ].join('')),
-
- render:function() {
- var attrs = _.clone(this.model.attributes);
- var ruleSet = this.options.rules.model.findWhere({ id: attrs.rule_id })
- attrs.rule_name = ruleSet.get('name');
- this.$el.html(this.viewTemplate(attrs));
- return this;
- },
-
- editTemplate: _.template(
- [ ''
- , ' '
- , ' '
- , ' '
- , ' '
- , '
'
- ].join('')),
-
- edit:function() {
- var attrs = this.model.attributes;
- this.$el.html(this.editTemplate(attrs));
-
- this.$el.find('.rules').append(this.options.rules.render().$el);
- editable(this.$el.find('.regex'), this.model, 'url pattern');
- return this;
- },
-
- remove: function() {
- this.model.destroy();
- },
-
- save:function() {
- var regex = this.$el.find('.regex').text();
- var rule_id = parseInt(this.options.rules.$el.val());
- this.model.save({ regex : regex, rule_id : rule_id }, {
- success: _.bind(this.render, this),
- error: _.bind(this.edit, this)
- });
- },
-
-});
-
-
-/** Rule Set View ************************************************************/
-
-fiveui.RulesView = Backbone.View.extend({
-
- tagName: 'select',
-
- initialize:function() {
- this.listenTo(this.model, 'sync', this.update);
- this.listenTo(this.model, 'remove', this.update);
- },
-
- optionTemplate:_.template(
- ''
- ),
-
- update:function() {
- if(this.model.length == 0) {
- return this.remove();
- } else {
- return this.render();
- }
- },
-
- remove:function() {
- this.stopListening();
- this.$el.remove();
-
- this.trigger('remove');
-
- return this;
- },
-
- render:function() {
-
- var scope = this;
-
- this.$el.children().remove();
-
- var text = this.model.foldl(function(body,ruleSet) {
- return body + scope.optionTemplate(ruleSet.attributes);
- }, '');
-
- this.$el.html(text);
-
- return this;
- },
-
-});
-
-
-/** Rule Entry Elements ******************************************************/
-
-fiveui.RuleSetEntry = Backbone.View.extend({
-
- tagName: 'li',
-
- className: 'entry',
-
- events: {
- 'click .save' : 'save',
- 'click .remove' : 'remove',
- 'click .edit' : 'edit',
- 'click .reload' : 'reload',
- },
-
- viewTemplate: _.template(
- [ ''
- , ' '
- , ' '
- , ' '
- , ' <%= name %>'
- , '
'
- ].join('')),
-
- render:function() {
- var attrs = this.model.attributes;
- this.$el.html(this.viewTemplate(attrs));
- return this;
- },
-
- editTemplate: _.template(
- [ ''
- , ' '
- , ' '
- , ' <%= source %>'
- , '
'
- ].join('')),
-
- edit:function() {
- var attrs = this.model.attributes;
- this.$el.html(this.editTemplate(attrs));
-
- editable(this.$el.find('.source'), this.model,
- 'http://example.com/manifest.json')
-
- return this;
- },
-
- errorTemplate: _.template('<%= message %>
'),
-
- editError:function(target, message) {
- this.edit();
-
- this.$el.append(this.errorTemplate({ message: message }));
-
- return this;
- },
-
- save: function() {
- var source = this.$el.find('.source').text();
- this.model.set('source', source);
- this.model.save({}, {
- success: _.bind(this.render, this),
- error: _.bind(this.editError, this)
- });
- },
-
- reload:function() {
- this.model.save({}, {
- success: _.bind(this.render, this),
- error: _.bind(this.edit, this)
- });
- },
-
- remove:function() {
- var self = this;
-
- this.model.destroy({
- wait:true,
-
- success:function() {
- self.$el.remove();
- self.stopListening();
- },
-
- error:function() {
- console.log('communicate failure somehow...');
- }
- });
- },
-
-});
-
-})();
diff --git a/contexts/data/fiveui/ffcheck.js b/contexts/data/fiveui/ffcheck.js
deleted file mode 100644
index 2157ed0..0000000
--- a/contexts/data/fiveui/ffcheck.js
+++ /dev/null
@@ -1,3 +0,0 @@
-if (! /Firefox[\/\s](\d+\.\d+)/.test(navigator.userAgent)) {
- window.onload=fiveui.chrome.options.init;
-}
diff --git a/contexts/data/fiveui/firefox/ajax.js b/contexts/data/fiveui/firefox/ajax.js
deleted file mode 100644
index da95c38..0000000
--- a/contexts/data/fiveui/firefox/ajax.js
+++ /dev/null
@@ -1,37 +0,0 @@
-
-var fiveui = fiveui || {};
-var Request = require('request').Request;
-
-(function() {
-
-fiveui.ajax = fiveui.ajax || {};
-
-/**
- * Use the request api to make an XHR request from the extension context.
- * Behaves somewhat like the jQuery.ajax method, but only ever returns the text
- * content of the response.
- */
-fiveui.ajax.get = function(url, opts) {
-
- _.defaults(opts, {
- success: function() {},
- error: function() {},
- });
-
- Request({
-
- url: url,
-
- onComplete:function(resp) {
- if(resp.status == 200) {
- opts.success(resp.text);
- } else {
- opts.error();
- }
- },
-
- }).get();
-
-};
-
-})();
diff --git a/contexts/data/fiveui/firefox/bootstrap.js b/contexts/data/fiveui/firefox/bootstrap.js
deleted file mode 100644
index e7f0b34..0000000
--- a/contexts/data/fiveui/firefox/bootstrap.js
+++ /dev/null
@@ -1,22 +0,0 @@
-/*
- * Module : firefox/bootstrap.js
- * Copyright : (c) 2011-2012, Galois, Inc.
- *
- * Maintainer :
- * Stability : Provisional
- * Portability: Portable
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-var fiveui = fiveui || {};
diff --git a/contexts/data/fiveui/firefox/firefox-injected-compute.js b/contexts/data/fiveui/firefox/firefox-injected-compute.js
deleted file mode 100644
index 1f1dc48..0000000
--- a/contexts/data/fiveui/firefox/firefox-injected-compute.js
+++ /dev/null
@@ -1,55 +0,0 @@
-/*
- * Module : firefox/firefox-injected-compute.js
- * Copyright : (c) 2011-2012, Galois, Inc.
- *
- * Maintainer :
- * Stability : Provisional
- * Portability: Not Portable (Firefox only)
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-/**
- * @param {!string} css The css to inject.
- */
-var addGlobalStyle = function(css) {
- var head = document.getElementsByTagName('head')[0]; // find head element, which should exist
- if (!head) {
- head = document.createElement('head');
-
- // XXX this is perhaps not reliable?
- document.body.appendChild(head);
- }
-
- var style = document.createElement('style'); // create
-
-
-
-
- 
-
-
-
-
-
-
-
diff --git a/contexts/data/fiveui/firefox/icon-script.js b/contexts/data/fiveui/firefox/icon-script.js
deleted file mode 100644
index 61545da..0000000
--- a/contexts/data/fiveui/firefox/icon-script.js
+++ /dev/null
@@ -1,42 +0,0 @@
-/*
- * Module : firefox/icon-script.js
- * Copyright : (c) 2011-2012, Galois, Inc.
- *
- * Maintainer :
- * Stability : Provisional
- * Portability: Not Portable (Firefox only)
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-(function() {
- var updateBadgeText = function(text) {
- $('#badge-text').text(text);
- $('#badge-text').show();
- };
-
- self.port.on('setEnabled', function(text) {
- $('#disabled-img').hide();
- $('#enabled-img').show();
- if (text.length != 0) {
- updateBadgeText(text);
- } else {
- $('#badge-text').hide();
- }
- });
- self.port.on('setDisabled', function() {
- $('#disabled-img').show();
- $('#enabled-img').hide();
- $('#badge-text').hide();
- });
- })();
diff --git a/contexts/data/fiveui/firefox/main.js b/contexts/data/fiveui/firefox/main.js
deleted file mode 100644
index 2723c72..0000000
--- a/contexts/data/fiveui/firefox/main.js
+++ /dev/null
@@ -1,200 +0,0 @@
-/*
- * Module : firefox/main.js
- * Copyright : (c) 2011-2012, Galois, Inc.
- *
- * Maintainer :
- * Stability : Provisional
- * Portability: Not Portable (Firefox only)
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-_ = require('underscore');
-Backbone = require('backbone');
-
-var fiveui = fiveui || {};
-
-(function() {
-
-fiveui.firefox = fiveui.firefox || {};
-
-const widgets = require("widget");
-const tabs = require("tabs");
-const data = require("self").data;
-const pageMod = require("page-mod");
-
-fiveui.firefox.main = function() {
- var settings = new fiveui.Settings(new fiveui.firefox.StorageWrapper());
- var activeId = 0;
-
- // initialze the background functionality
-
- // the FiveUI button:
- var icon = widgets.Widget({
- id: "FiveUI-Icon",
- label: "FiveUI",
- contentURL: data.url('fiveui/firefox/icon-content.html'),
- contentScriptFile: [
- data.url('lib/jquery/jquery-1.8.3.js'),
- data.url('fiveui/firefox/icon-script.js')
- ],
- onClick: function() {
- background.showUI(activeId);
- }
- });
-
- var optionsButton = widgets.Widget(
- { id: "FiveUI-Options",
- label: "FiveUI",
- contentURL: data.url('fiveui/firefox/options-icon.html'),
- contentScriptFile: [
- data.url('lib/jquery/jquery-1.8.3.js'),
- data.url('fiveui/firefox/options-script.js')
- ]
- }
- );
-
- /**
- * @param {?fiveui.TabState} tabState
- */
- var updateWidget = function(tabState) {
- if(null == tabState) {
- icon.port.emit('setDisabled');
- icon.width = 16;
- } else {
- var problems = getProblemCount(tabState);
- icon.port.emit('setEnabled', problems);
- if (problems == 0){
- icon.width = 16;
- } else {
- icon.width = 24;
- }
- }
- };
-
- // store the contents of the injected css, so that we can inject it later
- var injectedCSS = [
- data.load('target/injected.css'),
- data.load('target/bundled.css')
- ].join('\n');
-
- /**
- * Inject code and resources into the specified tab's web page.
- *
- * @param {!number} tabid The id of the tab to load scripts into.
- * @param {!Array.
-
-
-
-
- 
-
-
-
- 
-
-
-
-
diff --git a/contexts/data/fiveui/firefox/options-script.js b/contexts/data/fiveui/firefox/options-script.js
deleted file mode 100644
index 2008883..0000000
--- a/contexts/data/fiveui/firefox/options-script.js
+++ /dev/null
@@ -1,27 +0,0 @@
-/*
- * Module : firefox/options-script.js
- * Copyright : (c) 2011-2012, Galois, Inc.
- *
- * Maintainer :
- * Stability : Provisional
- * Portability: Not Portable (Firefox only)
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-(function() {
- $('#options-div').click(function() {
- //console.log('options-div handler');
- self.port.emit('showOptions');
- });
- })();
diff --git a/contexts/data/fiveui/firefox/storage.js b/contexts/data/fiveui/firefox/storage.js
deleted file mode 100644
index 9aa51aa..0000000
--- a/contexts/data/fiveui/firefox/storage.js
+++ /dev/null
@@ -1,72 +0,0 @@
-/*
- * Module : firefox/storage.js
- * Copyright : (c) 2011-2012, Galois, Inc.
- *
- * Maintainer :
- * Stability : Provisional
- * Portability: Not Portable (Firefox only)
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-if (typeof goog != 'undefined') {
- goog.provide('fiveui.firefox.StorageWrapper');
-} else {
- var fiveui = fiveui || {};
- fiveui.firefox = fiveui.firefox || {};
-}
-
-const ss = require('simple-storage');
-
-/**
- * A wraper around the Firefox Simple-Storage API to match the w3c Storage interface:
- * http://dev.w3.org/html5/webstorage/#storage-0
- */
-fiveui.firefox.StorageWrapper = function() {
- this.__defineGetter__('length',
- function(){
- return Object.keys(ss.storage).length;
- });
-};
-
-fiveui.firefox.StorageWrapper.prototype.key = function(idx) {
- return Object.keys(ss.storage)[idx];
-};
-
-fiveui.firefox.StorageWrapper.prototype.getItem = function(key) {
- return ss.storage[key];
-};
-
-fiveui.firefox.StorageWrapper.prototype.setItem = function(key, value) {
- ss.storage[key] = value;
-};
-
-fiveui.firefox.StorageWrapper.prototype.removeItem = function(key) {
- var keys = Object.keys(ss.storage);
- for(var i=0; i
-
- | rules checked: | ' + stats.numRules + ' |
| elements checked: | ' + stats.numElts + ' |
| elapsed time (ms): | ' + (stats.end - stats.start) + ' |
'+prob.name+'
');
- prMessage.append(prTitle);
-
- var prDetails = $('');
- prMessage.append(prDetails);
-
- var prDescr = $(''+prob.descr+'
'); - prDetails.append(prDescr); - prDetails.hide(); - - $('#problemList').append(probDiv); - - prExpand.click( - function() { - var elt = $(this); - if(elt.is('.prExpand-down')) { - elt.removeClass('prExpand-down') - .addClass('prExpand-right'); - prDetails.hide(); - core.maskProblem(fiveui.query('.' + prob.hash)); - } else { - elt.addClass('prExpand-down') - .removeClass('prExpand-right'); - prDetails.show(); - core.highlightProblem(fiveui.query('.' + prob.hash)); - } - - return false; - }); - }); - }; - - var dragStop = function(evt,e) { - core.port.emit('Position', core.ui.parent().position()); - }; - - var resizeStop = function(evt,e) { - core.port.emit('Size', { width: core.ui.width(), height: core.ui.height() }); - }; - - var beforeClose = function(evt,e) { - core.port.emit('CloseUI'); - }; - - var registerBackendListeners = function(port) { - - port.on('ShowUI', function(unused) { - core.ui.dialog('open'); - }); - - - port.on('ShowProblem', function(problem) { - core.renderProblem(problem); - }); - - port.on('ShowStats', function(stats) { - core.renderStats(stats); - }); - - port.on('RestoreUI', function(state) { - core.ui.append($('')); - - core.ui.append($('')); - - var newDialog = core.ui.dialog({ title: 'FiveUI', - dragStop: dragStop, - resizeStop: resizeStop, - beforeClose: beforeClose, - position: [state.winState.x, state.winState.y], - width: state.winState.width, - height: state.winState.height, - autoOpen: false, - zIndex: 50000 - }); - newDialog.parent().attr('id', 'uic-top'); - - $('#controls').append($('') - .button({ label: 'clear' })); - - $('#clearButton').click(function() { - $('#problemList').children().remove(); - port.emit('ClearProblems'); - core.renderStats(fiveui.stats.zero); - core.maskProblem(fiveui.query('.uic-problem')); - }); - - /////////////////////////////////////////// - // Add a button that causes a debuger break. - // - // handy for playing with Jquery on the dom. - // Note: This only works in Google Chrome. - $('#controls').append($('') - .button({ label: 'break' })); - $('#breakButton').click(function() { - debugger; // - }); // - //////////////////////////////////////////// - - core.ui.append($('')); - - if(!state.winState.closed) { - core.ui.dialog('open'); - } - - $(state.problems).each(function(ix,prob) { - core.renderProblem(prob); - }); - core.renderStats(state.stats); - }); - }; - - registerBackendListeners(core.port); -})(); diff --git a/contexts/data/fiveui/injected/injected.css b/contexts/data/fiveui/injected/injected.css deleted file mode 100644 index 2f50058..0000000 --- a/contexts/data/fiveui/injected/injected.css +++ /dev/null @@ -1,151 +0,0 @@ -/* - * Module : injected/injected.css - * Copyright : (c) 2011-2012, Galois, Inc. - * - * Maintainer : - * Stability : Provisional - * Portability: Portable - * - * Licensed under the Apache License, Version 2.0 (the "License"); - * you may not use this file except in compliance with the License. - * You may obtain a copy of the License at - * - * http://www.apache.org/licenses/LICENSE-2.0 - * - * Unless required by applicable law or agreed to in writing, software - * distributed under the License is distributed on an "AS IS" BASIS, - * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. - * See the License for the specific language governing permissions and - * limitations under the License. - */ - -.uic-problem { - background-color: rgba(255, 0, 0, 0.3); - border: 2px solid; - border-color: red; -} - -/* Reduce the JQuery UI spacing on the left of the dialog content. */ -#uic-dialog { - padding-left: 3px; - font-family: Courier; -} - -#uic-top { - font-family: Courier; -} - -.ui-dialog .ui-dialog-content { - /* overflow: hidden !important; */ - position: relative; -} - -#breakButton, #clearButton { - font-family: Courier; -} - -/* stats area style */ - -#fiveui-stats { - font-family: Courier; - font-size: 10px; - background-color: #F0F0F0; - border: 1px solid #DDDDDD; - border-style: groove; - padding: 3px; - height: auto; - width: 97%; - margin-top: 0.5em; - margin-bottom: 0.75em; -} - -.fiveui-table-number { - text-align: right; - color: blue; -} - -.fiveui-table-text { - text-align: left; - color: black; - padding-right: 3px; -} - -/* problem list style */ - -#problemList { - border-style: groove; - background: white; - - /* - position: absolute; - top: 95px; - bottom: 0px; - */ - - /* coarse estimate of width in most standard sizes */ - width: 97%; - - margin-top: 0.5em; - margin-bottom: 0.75em; - - overflow-y: scroll; -} - -.pr { - border-top: 1px solid #ddd; -} - -.pr:first-child { - border-top: 0px; -} - -.pr>.prControls { - float: left; - width: 2em; -} - -.pr>div.prControls>div { - padding: 0; - margin: 0; - width: 1em; - height: 1em; - float: left; - background-size: 1em 1em; - background-repeat:no-repeat; -} - -.prExpand { -} - -.prSeverity-err { - background-image: url(../images/errorCircle.png); -} - -.prSeverity-warn { - background-image: url(../images/warningTriangle.png); -} - -.prExpand-right { - background-image: url(../images/right-arrow.png); -} -.prExpand-down { - background-image: url(../images/down-arrow.png); -} - -.prMessage { - margin: 0; - margin-left: 2em; - padding: 0; -} - -.prTitle { - display: block; - margin: 0px; -} - -.prHead { - border-bottom: 1px solid #ccc; -} - -.prDetails { -} diff --git a/contexts/data/fiveui/injected/jquery-plugins.js b/contexts/data/fiveui/injected/jquery-plugins.js deleted file mode 100644 index 0f13c2a..0000000 --- a/contexts/data/fiveui/injected/jquery-plugins.js +++ /dev/null @@ -1,174 +0,0 @@ -/* - * Module : injected/jquery-plugins.js - * Copyright : (c) 2011-2012, Galois, Inc. - * - * Maintainer : - * Stability : Provisional - * Portability: Portable - * - * Licensed under the Apache License, Version 2.0 (the "License"); - * you may not use this file except in compliance with the License. - * You may obtain a copy of the License at - * - * http://www.apache.org/licenses/LICENSE-2.0 - * - * Unless required by applicable law or agreed to in writing, software - * distributed under the License is distributed on an "AS IS" BASIS, - * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. - * See the License for the specific language governing permissions and - * limitations under the License. - */ - -if (typeof goog != 'undefined') { - goog.provide('fiveui.jquery'); -} - -/** - * This module provides several useful jQuery plugins related to checking and reporting - * UI consistency issues. - * - * @namespace - */ -fiveui.jquery = fiveui.jquery || {}; - - -/** - * Wrapper for the :contains('text') selector - * - * @param {!String} text Text to select for - * @returns {!Object} A modified jQuery object - */ -fiveui.jquery.hasText = function (text) { - return this.filter(":contains('" + text + "')") -} - -/** - * Color checker plugin: filters for elements whose CSS color property is - * not in the given set. - * - * @description Note: This is a special case of fiveui.jquery.cssIsNot, i.e. - * $(..).notColorSet(set) == $(..).cssIsNot("color", set, fiveui.color.colorToHex) - * @see {fiveui.color.colorToHex} - * - * @param {String[]} cset A set of allowable color strings - * @returns {!Object} A modified jQuery object - */ -fiveui.jquery.notColorSet = function (cset) { - var allowable = {}; - for (var i = 0; i < cset.length; i += 1) { allowable[cset[i]] = true; } // array -> object - return this.filter(function (index) { - var color = fiveui.color.colorToHex($(this).css("color")); // .css("color") returns rgb(...) - return !(color in allowable); - }); -} - -/** - * General CSS propetry checker plugin - * - * @description This plugin filters for elements whose CSS property `prop` is not a member - * of the given array `cset`. The values checked are transformed using the - * optional given function `fn`. This may be used to normalize values that the - * browser returns so they can be compared to values in `cset`. - * - * @param {String} prop CSS property selector - * @param {String|String[]} set allowable values (either a string or an array of strings) - * @param {function(String):String} [fn] Function to apply to return values of $(this).css(prop), fn defaults to the identity function. - * @returns {Object} jQuery object - */ -fiveui.jquery.cssIsNot = function (prop, set, fn) { - var allowable = {}; - fn = fn || function (x) { return x; }; // default is Id - if (typeof set === "string") { - allowable[fn(set)] = true; - } - else { // assume `set` is an array of strings - for (var i = 0; i < set.length; i += 1) { allowable[fn(set[i])] = true; } // array -> object - } - return this.filter(function (index) { - var cssProp = fn($(this).css(prop)); - return !(cssProp in allowable); - }); -} - -/** - * Filter out elements that do not contain the attribute - * href=`href`. - * - * @param {String} href the href to look for - * @returns {Object} jQuery object - */ -fiveui.jquery.linksTo = function (href) { - return this.filter(function (index) { - var addr = $(this).attr("href"); - return (addr == href); - }); -} - -/** - * Visually highlight elements in the jQuery object. - * - * @description This plugin is useful mostly in the process of writing - * guidelines, for example the guideline developer can load a page, - * click the "Break" button on the FiveUI window, enter the browser's - * Javascript console, and run: - * - * @example > $5("p").hasText("foo").highlight(); - * - * @param {String} [hint] Highlighted border color, defaults to "red" - * @returns {!Object} A modified jQuery object - */ -fiveui.jquery.highlight = function (hint) { - hint = hint || "red"; // Default is "red" - return this.css("background-color", "rgba(255, 0, 0, 0.3)") - .css("border-style", "solid") - .css("border-color", hint); -} - -/** - * Returns a list of css properties that element in the jQuery - * object have. - * - * @description This plugin is useful for analysis of a given page when - * writing guielines. For example if the guideline developer wants to - * know what font sizes are used on a loaded page, they can run from the - * Javascript console: - * - * @example > $5("*").propDist("font-size", true); - * - * @param {String} prop CSS property to be inspected - * @param {boolean} [log] Boolean which enables console logging of the result; default is `false`. - * @returns {Object} A frequence map { "property": frequency } - */ -fiveui.jquery.propDist = function (prop, log) { - var res = {}; - log = log || false; - this.each(function (i, elt) { - var p = $(elt).css(prop); - if (p in res) { - res[p] += 1; - } - else { - res[p] = 1; - } - }); - if (log) { - console.log("Property distribution:"); - for (var p in res) { - console.log(" " + p + ": " + res[p]); - } - } - return res; -} - -/** - * Register the plugins. This adds methods to the jQuery.fn namespace. - */ -fiveui.jquery.init = function () { - for (fn in fiveui.jquery) { - f = fiveui.jquery[fn]; - if (jQuery.isFunction(f) && fn != "init") { - jQuery.fn[fn] = fiveui.jquery[fn]; - } - } -} -fiveui.jquery.init(); diff --git a/contexts/data/fiveui/injected/prelude.js b/contexts/data/fiveui/injected/prelude.js deleted file mode 100644 index 3f3b4f5..0000000 --- a/contexts/data/fiveui/injected/prelude.js +++ /dev/null @@ -1,432 +0,0 @@ -/* - * Module : injected/prelude.js - * Copyright : (c) 2011-2012, Galois, Inc. - * - * Maintainer : - * Stability : Provisional - * Portability: Portable - * - * Licensed under the Apache License, Version 2.0 (the "License"); - * you may not use this file except in compliance with the License. - * You may obtain a copy of the License at - * - * http://www.apache.org/licenses/LICENSE-2.0 - * - * Unless required by applicable law or agreed to in writing, software - * distributed under the License is distributed on an "AS IS" BASIS, - * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. - * See the License for the specific language governing permissions and - * limitations under the License. - */ - -/** - * The FiveUI Prelude. - * - * @description - * The prelude provides a collection of utilities to ease the - * conversion from human-readable guideline documents (such as the Web - * Accessibilty Guidelines, or Apple Human Interface Guidelines) to - * executable Rules. - * - * @namespace - */ -var fiveui = fiveui || {}; - -(function() { - -/** - * A global namespace for statistics collection. - * - * @namespace - */ -fiveui.stats = fiveui.stats || {}; -/** @global */ -fiveui.stats.numElts = 0; -/** @const */ -fiveui.stats.zero = { numRules: 0, start: 0, end: 0, numElts: 0 }; - -/** DOM Traversal ************************************************************/ - -/** - * fiveui.query is a wrapper around the jQuery $() function. - * - * @description - * fiveui.query recurses into iframes and frames, whereas $(...) stops - * when it encounters internal frames. - * - * Generally, rules written for FiveUI will want to cover the entire - * visible page, and as such, should use fiveui.query; however, $(...) - * is available if recursing into frames is not necessary. - * - * @param {String} sel The jQuery selector string. - * @param {Object} [context] The context to run the query within. This is often a DOM object/tree. - * @returns {Object} A jQuery object, suitable for chaining. - */ -fiveui.query = function (sel, context) { - var ctx = context || document; - var $results = jQuery(sel, ctx); - - jQuery('iframe, frame', ctx).each( - function(idx, elt) { - var $tempResults; - if (elt.contentDocument) { - try { - $tempResults = fiveui.query(sel, elt.contentDocument); - } catch (e) { - console.log("encoutered a non-cooperative iframe/frame at " + $(elt).attr("src")); - console.log(e.toString()); - $tempResults = []; - } - - $results = $results.add($tempResults); - } - } - ); - - $filteredResults = $results.not('#uic-top *') - .not('#uic-top') - .filter(':visible'); - - // update global stats - fiveui.stats.numElts += $filteredResults.length; - - return $filteredResults; -}; - -/** - * Provide a short alias for fiveui.query along the lines of the jQuery $ alias. - * - * @example $5("p").hasText("foo") -> jQuery object containing paragraph elements - * containing the text "foo" - * - * - * @const - * - */ -var $5 = fiveui.query; - -/** Utilities ****************************************************************/ - -/** - * Determine if a given value is a string or not. - * - * @param {*} [o] A value of some type that may or may not be defined. - * @returns {!boolean} true if the object is a defined, non-null string, false - * otherwise. - */ -fiveui.isString = function(o) { - return typeof o == 'string'; -}; - - -/** - * String-specific utilities. - * - * @namespace - */ -fiveui.string = {}; - -/** - * Non-destructively removes whitespace from the start and end of a - * string. - * - * @param {String} [s] The string to trim of whitespace. - * @returns {String} The input string, without leading or trailing - * whitespace. Returns null if you gave it null. - */ -fiveui.string.trim = function(s) { - if (s) { - return s.replace(/^\s+|\s+$/g,""); - } - return s; -}; - -/** - * Tokenize a string on whitespace. - * - * @param {!String} s The string to tokenize. - * @returns {String[]>} An array of substrings. - */ -fiveui.string.tokens = function (s) { - var posLength = function(ar) { - return 1 <= ar.length; - }; - - return s.split(/\s/).filter(posLength); -}; - - -/** - * A simple heuristic check to see if a string is in Title Case. - * - * @description - * This does not perform an exhaustive gramatical analysis, and as - * such, it is prone to generating false-positives in some cases. In - * particular, it only has a short 'white list' of articles, - * conjections, and prepositions that are allowed to be in lower case. - * - * @param {!String} str The string to check. - * @returns {!boolean} true if the string is in title case, false if - * it is not. - */ -fiveui.string.isTitleCase = function(str) { - var exception = function(str) { - var exceptions = [ 'a', 'an', 'the' // articles - , 'and', 'but', 'for', 'not', 'or' // conjuctions - , 'in', 'on' // short prepositions - , 'to' ]; - return exceptions.indexOf(str.toLowerCase()) != -1; - }; - - if ( !fiveui.word.capitalized(str[0]) ) { - return false; - } - - var tokens = fiveui.string.tokens(str); - for (var i=1; i < tokens.length; ++i) { - if (!exception(tokens[i]) && !fiveui.word.capitalized(tokens[i])) { - return false; - } - } - return true; -}; - -/** - * Utilities for word-specific processing. - * - * @description The fiveui.word namespace focuses on tools for working directly - * with words in the sense of natural languages, rather than general - * strings (as is the case for the fiveui.string namespace). - * - * @namespace - */ -fiveui.word = {}; - -/** - * Check to see if a sting begins with a capital letter. - * - * @param {!String} word The string to check for capitalization. - * @returns {!boolean} - */ -fiveui.word.capitalized = function(word) { - return fiveui.isString(word) && word.search(/^[A-Z]/, word) >= 0; -}; - -/** - * Check to see if a sting consists entirely of capital letters. - * - * @param {!String} word The string to check for capitalization. - * @returns {!boolean} - */ -fiveui.word.allCaps = function(word) { - return fiveui.isString(word) - && word.search(/^\w/, word) >= 0 - && (word == word.toUpperCase()); -}; - - -/** - * Utilities for dealing with color. - * - * @namespace - */ -fiveui.color = {}; - -/** - * Color check compiler. It is recommended to use the jQuery plugin - * fiveui.jquery.cssIsNot instead. - * - * @param {!String} selector The HTML element selector to check. - * @param {String[]} colorSet An array of strings containing the HEX values of - * colors in the desired color set. - * @returns {!function()} A function which checks the rule - * @see fiveui.jquery.cssIsNot - */ -fiveui.color.colorCheck = function (selector, colorSet) { - var allowable, i, fnStr, forEachFuncStr; - allowable = {}; - for (i = 0; i < colorSet.length; i += 1) { allowable[colorSet[i]] = true; } - forEachFuncStr = 'function (j, elt) {\n' - + ' var allowable = ' + JSON.stringify(allowable) + ';\n' - + ' var color = fiveui.color.colorToHex($(elt).css("color"));\n' - + ' if (!(color in allowable)) {\n' - + ' report("Disallowed color " + color + " in element matching " + ' + JSON.stringify(selector) + ', $(elt));\n' - + ' }\n' - + '}\n'; - fnStr = 'function () { fiveui.query("' + selector + '").each(' + forEachFuncStr + '); }'; - return eval('false||'+fnStr); // the `false||` trick is required for eval to parse a - // function expression ?!? -}; - -/** - * Covert rgb colors to hex and abreviated hex colors to their full 3 byte - * form. - * - * In case there are parse errors during the conversion, i.e. color values - * that are not understood, the input is returned unchanged. - * - * @param {!String} color The color string to convert. This should be either of the form rgb(...) or #... - * @returns {!String} The color string in #XXXXXX form - * @throws {ParseError} if the rgb color string cannot be parsed - */ -fiveui.color.colorToHex = function(color) { - var have, need; - if (color.substr(0, 1) === '#') { - if (color.length === 7) { - return color; - } - else { // deal with #0 or #F7 cases - var have = color.length - 1; - var haveDigits = color.substr(1, color.length); - var need = 6 - have; - var reps = Math.ceil(need / have); - var i, strColor; - for (i = 0, stdColor = color; i < reps; i += 1) { stdColor += haveDigits; } - return stdColor.substr(0, 7); - } - } - - var digits = /rgba?\((\d+), (\d+), (\d+)/.exec(color); - if (!digits) { - return color; // in case there is a parse error, we just - // return the input unchanged - } - - var red = parseInt(digits[1]); - var green = parseInt(digits[2]); - var blue = parseInt(digits[3]); - - var rgb = blue | (green << 8) | (red << 16); - if (rgb === 0) { - return '#000000'; // normalized form - } - else { - return '#' + rgb.toString(16).toUpperCase(); - } -}; - - -/** - * Utilities for dealing with fonts. - * - * @namespace - */ -fiveui.font = {}; - -/** - * Extracts the font-family, font-size (in px, as an int), and font-weight - * from a jQuery object. - * - * @param {!Object} jElt A jQuery object to extract font info from - * @returns {!Object} An object with properties: 'family', 'size', and 'weight' - * @throws {ParseError} if the font size cannot be parsed - */ -fiveui.font.getFont = function (jElt) { - var res = {}; - var size = jElt.css('font-size'); - if(size.length > 0) { - var psize = /(\d+)/.exec(size); - if(!psize) { - throw { - name: 'ParseError', - message: 'Could not parse font size: ' + jElt.css('font-size') - }; - } - else { - res.size = psize - } - } else { - res.size = ''; - } - res.family = jElt.css('font-family'); - res.weight = jElt.css('font-weight').toString(); - // normalize reporting of the following two synonyms - if (res.weight === '400') { res.weight = 'normal'; } - if (res.weight === '700') { res.weight = 'bold'; } - return res; -}; - -/** - * Validate a font property object extracted using fiveui.font.getFont(). - * - * @description The `allow` parameter should be an object whose top level properties are - * (partial) font family names (e.g. 'Verdana'). For each font family name - * there should be an object whose properties are font weights (e.g. 'bold'), - * and for each font weight there should be an array of allowable sizes - * (e.g. [10, 11, 12]). - * - * The `font` parameter should be an object containing 'family', 'weight', and - * 'size' properties. These are returned by @see fiveui.font.getFont(). - * - * @example > allow = { 'Verdana': { 'bold': [10, 12], 'normal': [10, 12]}}; - * > font = { family: 'Verdana Arial sans-serif', size: "10", weight: "normal" }; - * > fiveui.font.validate(allow, font) -> true - * - * @param {!Object} allow Object containing allowable font sets (see description and examples) - * @param {!Object} font object to check - * @param font.family A partial font family name (e.g. 'Verdana') - * @param font.weight A font weight (e.g. 'bold') - * @param font.size A font size string (e.g. "10") - * @returns {!boolean} - */ -fiveui.font.validate = function (allow, font) { - var x; - for (x in allow) { // loop over allowed font family keywords - if (font.family.indexOf(x) !== -1) { break; } - else { return false; } - } - return (font.weight in allow[x] && allow[x][font.weight].indexOf(parseInt(font.size)) != -1); -}; - -/** - * Functions outside the fiveui namespace that can be called during rule - * evaluation. - */ - -/** - *Report a problem to FiveUI.
- * - * @description - *report is used to indicate that a guideline has been violated. - * Invocations should provide a short (1-line) string description of - * the problem, as well as a reference to the element of the DOM that - * violated the guideline.
- * - *The second parameter is not strictly required, but we strongly - * suggest providing a node if at all possible, as that is used to - * visually highlight the problematic areas of the DOM at runtime. - * Debugging a guideline violation becomes much more difficult without - * the visual indicator.
- * - * @function - * @param {!String} desc The description of the problem to report. - * @param {?Node} node The node in the DOM that caused the problem. - * @name report - */ - -/** - * JSON.stringify is included here for extension and ruleset debugging - * purposes. It is used by the jQuery pluggin jQuery.fn.log. - */ -var JSON = JSON || {}; -JSON.stringify = JSON.stringify || function (obj) { - var t = typeof (obj); - if (t != "object" || obj === null) { - // simple data type - if (t == "string") obj = '"'+obj+'"'; - return String(obj); - } - else { - // recurse array or object - var n, v, json = [], arr = (obj && obj.constructor == Array); - for (n in obj) { - v = obj[n]; t = typeof(v); - if (t == "string") v = '"'+v+'"'; - else if (t == "object" && v !== null) v = JSON.stringify(v); - json.push((arr ? "" : '"' + n + '":') + String(v)); - } - return (arr ? "[" : "{") + String(json) + (arr ? "]" : "}"); - } -}; - -})(); diff --git a/contexts/data/fiveui/messenger.js b/contexts/data/fiveui/messenger.js deleted file mode 100644 index fc1962c..0000000 --- a/contexts/data/fiveui/messenger.js +++ /dev/null @@ -1,141 +0,0 @@ -/* - * Module : messenger.js - * Copyright : (c) 2011-2012, Galois, Inc. - * - * Maintainer : - * Stability : Provisional - * Portability: Portable - * - * Licensed under the Apache License, Version 2.0 (the "License"); - * you may not use this file except in compliance with the License. - * You may obtain a copy of the License at - * - * http://www.apache.org/licenses/LICENSE-2.0 - * - * Unless required by applicable law or agreed to in writing, software - * distributed under the License is distributed on an "AS IS" BASIS, - * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. - * See the License for the specific language governing permissions and - * limitations under the License. - */ - -var fiveui = fiveui || {}; - -(function() { - -/** - * @constructor - * @param {{on: function(!string, function(*)), emit: function(!string, *)}} - * channel The object containing on and emit. - */ -fiveui.Messenger = function(channel) { - this.callbacks = {}; - this.handlers = {}; - - this.channel = channel; - this.channel.on(fiveui.Messenger.type, _.bind(this._handler, this)); -}; - -fiveui.Messenger.type = "fiveui_messaging_type"; - -_.extend(fiveui.Messenger.prototype, { - - /** - * @param {!string} type The message type to send. - * @param {?Object} data The payload (which can be null). - * @param {?function(?Object)} callback An optional callback to be - * invoked in response. - */ - send: function(type, data, callback){ - var id = null; - if (callback) { - id = this._newId(); - this.callbacks[id] = callback; - } - - var payload = new fiveui.Messenger.Payload(false, type, data, id); - this.channel.emit(fiveui.Messenger.type, payload); - }, - - /** - * Register a handler for the specified message type. - * - * @param {!string} type The message type. - * @param {!function(*)} callback The function to call when a message - * of the specified type is received. - */ - register: function(type, callback) { - if(null == this.handlers[type]) { - this.handlers[type] = []; - } - this.handlers[type].push(callback); - }, - - _handler: function(payload) { - if (payload.isCallback && payload.id != null) { - // this is a callback invocation, lookup the callback and invoke it: - this.callbacks[payload.id](payload.data); - - // remove the callback: - this._remove(payload.id); - } else { - // look up a handler and invoke it, passing in the response fn: - var hs = this.handlers[payload.type]; - if (hs && hs.length > 0) { - - // this is a new incomming message. - // create a response function: - var respond = function(respData) { - this.channel.emit(fiveui.Messenger.type, - new fiveui.Messenger.Payload(true, payload.type, respData, payload.id)); - }; - - // iterate over the handlers, invoking them with the response callback. - _.each(hs, function(h) { - h(payload.data, _.bind(respond, this)); - }, this); - } - } - }, - - /** - * Remove a callback from the map of callbacks. - * - * @param {!number} callbackId The id of the callback to remove. - */ - _remove: function(callbackId) { - delete this.callbacks[callbackId]; - }, - - /** - * @return {!number} The next unique id for a callback. - */ - _newId: function() { - var list = Object.keys(this.callbacks); - return fiveui.utils.getNewId(list); - } - -}); - -/** - * @constructor - * @param {!boolean} isCallback True if this is in response to a - * message, false if this is requesting a callback. - * @param {!string} type - * @param {?Object} data - * @param {!number} id Callback id to invoke, or in which this is a response. - */ -fiveui.Messenger.Payload = function(isCallback, type, data, id) { - this.isCallback = isCallback; - this.type = type; - this.id = id; - this.__defineGetter__('data', function() { - return JSON.parse(this.rawData); - }); - this.__defineSetter__('data', function(obj){ - this.rawData = JSON.stringify(obj); - }); - this.data = data; -}; - -})(); diff --git a/contexts/data/fiveui/options.css b/contexts/data/fiveui/options.css deleted file mode 100644 index efe7d05..0000000 --- a/contexts/data/fiveui/options.css +++ /dev/null @@ -1,144 +0,0 @@ -/* - * Module : options.css - * Copyright : (c) 2011-2012, Galois, Inc. - * - * Maintainer : - * Stability : Provisional - * Portability: Portable - * - * Licensed under the Apache License, Version 2.0 (the "License"); - * you may not use this file except in compliance with the License. - * You may obtain a copy of the License at - * - * http://www.apache.org/licenses/LICENSE-2.0 - * - * Unless required by applicable law or agreed to in writing, software - * distributed under the License is distributed on an "AS IS" BASIS, - * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. - * See the License for the specific language governing permissions and - * limitations under the License. - */ - -html body, body { - font-family: Arial, sans-serif; - margin: 0; - padding: 0; -} - -#content { - float: left; -} - -div#icon { - float: right; - opacity: 0.25; - background-image: url(images/fiveui-icon-128.png); - background-repeat: no-repeat; - background-position-x: 16px; - background-position: 0px 16px; - width: 128px; - height: 160px; - margin: 0; - padding: 0; - z-index: -1; -} - -#navbar-container { - background: -linear-gradient(left, #EAEEF3, #EAEEF3 97%, #D3D7DB); - background: -moz-linear-gradient(left, #EAEEF3, #EAEEF3 97%, #D3D7DB); - background: -webkit-linear-gradient(rgba(234, 238, 243, 0.2), #EAEEF3), -webkit-linear-gradient(left, #EAEEF3, #EAEEF3 97%, #D3D7DB); - position: absolute; - top: 0px; - left: 0px; - bottom: 0px; - width: 20%; - float: left; -} - -#navbar-container>nav>div { - cursor: pointer; - border: 0px; -} - -#navbar-content-title { - font-size: 200%; - font-weight: normal; - color: #53637D; - padding-right: 1em; - padding-bottom: 0.5em; - text-align: end; - text-shadow: white 0 1px 2px; -} - -nav { - text-align: right; -} - -nav div { - padding-right: 0.5em; - color: #426DC9; - font-size: 14px; - height: 16px; - padding-bottom: 7px; - padding-left: 0px; - padding-right: 24px; - padding-top: 7px; - text-align: end; - text-shadow: white 0px 1px 1px; -} - -nav .selected { - background: -linear-gradient(left, #BBCEE9, #BBCEE9 97%, #AABEDC); - background: -moz-linear-gradient(left, #BBCEE9, #BBCEE9 97%, #AABEDC); - background: -webkit-linear-gradient(left, #BBCEE9, #BBCEE9 97%, #AABEDC); - border-bottom: 1px solid #8FAAD9; - border-top: 1px solid #8FAAD9; - color: black; - text-shadow: #BBCEE9 0 1px 1px; -} - -#content>section .selected { -} - -#content>section { - position: absolute; - left: 20%; - width: 50em; - margin-left: 2em; -} - -#content > section > section > h3 { - display: table-cell; - width: 130px; - padding-right: 10px; - padding-top: 17px; -} - -#content > section > section > h3 + div { - padding-bottom: 20px; - display: table-cell; -} - -div.title { - font-size: 200%; - border-bottom: 1px solid #EEEEEE; -} - -.displayList { - float: left; - width: 50%; -} - -#upDownGroup button { - display: block -} - -#upDownGroup { - margin-top: auto; - margin-bottom: auto; - float: left; -} - -.buttons { - display: inline; -} diff --git a/contexts/data/fiveui/options.html b/contexts/data/fiveui/options.html deleted file mode 100644 index 8994a69..0000000 --- a/contexts/data/fiveui/options.html +++ /dev/null @@ -1,88 +0,0 @@ - - - - - - -
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/contexts/data/fiveui/options.js b/contexts/data/fiveui/options.js
deleted file mode 100644
index 2b29f8d..0000000
--- a/contexts/data/fiveui/options.js
+++ /dev/null
@@ -1,217 +0,0 @@
-/*
- * Module : options.js
- * Copyright : (c) 2011-2012, Galois, Inc.
- *
- * Maintainer :
- * Stability : Provisional
- * Portability: Portable
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-var fiveui = fiveui || {};
-
-(function() {
-
-
-/*****************************************************************
- *
- * Misc. utility functions
- *
- ****************************************************************/
-
-var setClickHandler = function(sel, fn, scope) {
- var boundFn = fn;
- if (scope) {
- boundFn = _.bind(fn, scope);
- }
-
- sel.on('click', boundFn)
-};
-
-/**
- * @param {!string} selectEltId The id of the select element to
- * search for selected items.
- * @return {!Array.} An array of 'value' entries from the
- * selected elements. This may be empty, but it will not be null.
- */
-var findSelectedIds = function(elt) {
- var opts = elt.find('option:checked');
- return _.map(opts, function(o) { return o.value; });
-};
-
-
-fiveui.options = fiveui.options || {};
-
-/**
- * @param {{on: function(!string, function(*)), emit: function(!string, *)}} port
- */
-fiveui.options.init = function(port) {
-
- var msg = new fiveui.Messenger(port);
- var update = new fiveui.UpdateManager(msg);
-
- ruleSets = new fiveui.RuleSets([], { url: msg });
- urlPats = new fiveui.UrlPats([], { url: msg });
-
-
- /** UrlPat list entries ****************************************************/
-
- var urlPatEntries = jQuery('#urlPatEntries');
- var addUrlPat = jQuery('#addUrlPat');
-
- addUrlPat.prop('disabled', true);
-
- addUrlPat.on('click', function() {
- urlPats.add(new fiveui.UrlPatModel({}, { url : msg }));
- });
-
- // when a new rule set is sync'd, make sure that the add url pattern button is
- // enabled.
- ruleSets.on('sync', function() {
- if(ruleSets.length > 0) {
- addUrlPat.prop('disabled', false);
- }
- });
-
- // when a rule set is destroyed, and the collection is now empty, disable the
- // add url pattern button.
- ruleSets.on('destroy', function(model,col) {
- if(col.length <= 0) {
- addUrlPat.prop('disabled', true);
- }
- });
-
- // handle new url patterns being added to the collection.
- urlPats.on('add', function(model) {
- var view = new fiveui.UrlPatEntry({
- model: model,
- rules: new fiveui.RulesView({ model: ruleSets })
- });
- urlPatEntries.append(view.$el);
-
- if(model.isNew()) {
- view.edit();
- } else {
- view.render();
- }
- });
-
-
- /** RuleSet list entries ***************************************************/
-
- var ruleSetEntries = jQuery('#ruleSetEntries');
-
- // handle clicks to the 'add' button on the rule sets page
- jQuery('#addRsButton').on('click', function() {
- ruleSets.add(new fiveui.RuleSetModel({}, { url : msg }));
- });
-
- // render a ruleset added to the collection
- ruleSets.on('add', function(model) {
- var entry = new fiveui.RuleSetEntry({ model: model })
- ruleSetEntries.append(entry.$el);
-
- if(model.isNew()) {
- entry.edit();
- } else {
- addUrlPat.prop('disabled', false);
- entry.render();
- }
- });
-
-
- /** Basics *****************************************************************/
-
- var windowDisplayDefault = jQuery('#windowDisplayDefault');
-
- windowDisplayDefault.on('change', function() {
- msg.send('setDisplayDefault', windowDisplayDefault.prop('checked'))
- });
-
-
- /** Tab Management *********************************************************/
-
- /**
- * Select a tab header by Element reference.
- *
- * @param {!Element} clicked The navigation element to focus.
- * @return {void}
- */
- var selectNav = function(clicked) {
- var nav = clicked.parent();
-
- nav.find('div.selected', nav).removeClass('selected');
-
- jQuery('div.editorPane').hide();
-
- clicked.addClass('selected');
- };
-
- /**
- * Focus a tab, by Element reference.
- *
- * @param {!Element} el The tab element to focus.
- * @return {void}
- */
- var selectSection = function(el) {
- var cont = el.parent();
-
- // hide all sections
- cont.find('>section').removeClass('selected').hide();
-
- // display this section
- el.addClass('selected').show();
- };
-
- /**
- * A combination of selectNav and selectSection that will first lookup the
- * elements associated with a tab, then return a new function that when
- * called, will focus both the navigation element, and the tab it controls.
- *
- * @param {!string} id The id of the tab to focus.
- * @return {function()}
- */
- var select = function(id) {
- var sel = jQuery(id);
- return function() {
- selectNav(jQuery(this));
- selectSection(sel);
- };
- };
-
- // listen to click events on navigation elements
- setClickHandler(jQuery('#url-defaults'), select('#tab-url-defaults'));
- setClickHandler(jQuery('#rule-sets'), select('#tab-rule-sets'));
- setClickHandler(jQuery('#basics'), select('#tab-basics'));
-
- // select the url patterns tab by default
- selectNav(jQuery('#url-defaults'));
- selectSection(jQuery('#tab-url-defaults'));
-
-
- /** Pre-populate UI elements ***********************************************/
-
- msg.send('getDisplayDefault', null, function(def) {
- jQuery('#windowDisplayDefault').prop('checked', def);
- });
-
- // pre-populate the rule set and url pattern lists
- ruleSets.fetch({
- success:function() {
- urlPats.fetch();
- }
- });
-};
-
-})();
diff --git a/contexts/data/fiveui/rules.js b/contexts/data/fiveui/rules.js
deleted file mode 100644
index 68d821d..0000000
--- a/contexts/data/fiveui/rules.js
+++ /dev/null
@@ -1,289 +0,0 @@
-/*
- * Module : rules.js
- * Copyright : (c) 2011-2012, Galois, Inc.
- *
- * Maintainer :
- * Stability : Provisional
- * Portability: Portable
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-var fiveui = fiveui || {};
-
-(function() {
-
-/**
- * @constructor
- * @param {!string} module A Javascript module that defines the rule.
- */
-fiveui.Rule = function(module) {
- this.module = module;
-};
-
-fiveui.Rule.defaults = function(obj) {
- return _.defaults(obj, {
- module: '',
- });
-};
-
-/**
- * Create a Rule from a JSON object.
- *
- * @param {!Object} obj The object to take settings from.
- * @return {!fiveui.Rule} A populated Rule object.
- */
-fiveui.Rule.fromJSON = function(obj) {
- return new fiveui.Rule(obj.module);
-};
-
-/**
- * @constructor
- * @param {!number} id The unique RuleSet identifier.
- * @param {!string} name A human-readable name for this RuleSet.
- * @param {!string} desc A human-readable description of the Rule Set.
- * @param {!string} source The url where the manifest can be retrieved
- * @param {!Array.URL Patterns
-
-
-
- Rule Sets
-
-
-
- Basics
- Window
-
-
-
-
-
- | t |
", "
" ];
-}
-
-jQuery.fn.extend({
- text: function( value ) {
- return jQuery.access( this, function( value ) {
- return value === undefined ?
- jQuery.text( this ) :
- this.empty().append( ( this[0] && this[0].ownerDocument || document ).createTextNode( value ) );
- }, null, value, arguments.length );
- },
-
- wrapAll: function( html ) {
- if ( jQuery.isFunction( html ) ) {
- return this.each(function(i) {
- jQuery(this).wrapAll( html.call(this, i) );
- });
- }
-
- if ( this[0] ) {
- // The elements to wrap the target around
- var wrap = jQuery( html, this[0].ownerDocument ).eq(0).clone(true);
-
- if ( this[0].parentNode ) {
- wrap.insertBefore( this[0] );
- }
-
- wrap.map(function() {
- var elem = this;
-
- while ( elem.firstChild && elem.firstChild.nodeType === 1 ) {
- elem = elem.firstChild;
- }
-
- return elem;
- }).append( this );
- }
-
- return this;
- },
-
- wrapInner: function( html ) {
- if ( jQuery.isFunction( html ) ) {
- return this.each(function(i) {
- jQuery(this).wrapInner( html.call(this, i) );
- });
- }
-
- return this.each(function() {
- var self = jQuery( this ),
- contents = self.contents();
-
- if ( contents.length ) {
- contents.wrapAll( html );
-
- } else {
- self.append( html );
- }
- });
- },
-
- wrap: function( html ) {
- var isFunction = jQuery.isFunction( html );
-
- return this.each(function(i) {
- jQuery( this ).wrapAll( isFunction ? html.call(this, i) : html );
- });
- },
-
- unwrap: function() {
- return this.parent().each(function() {
- if ( !jQuery.nodeName( this, "body" ) ) {
- jQuery( this ).replaceWith( this.childNodes );
- }
- }).end();
- },
-
- append: function() {
- return this.domManip(arguments, true, function( elem ) {
- if ( this.nodeType === 1 || this.nodeType === 11 ) {
- this.appendChild( elem );
- }
- });
- },
-
- prepend: function() {
- return this.domManip(arguments, true, function( elem ) {
- if ( this.nodeType === 1 || this.nodeType === 11 ) {
- this.insertBefore( elem, this.firstChild );
- }
- });
- },
-
- before: function() {
- if ( !isDisconnected( this[0] ) ) {
- return this.domManip(arguments, false, function( elem ) {
- this.parentNode.insertBefore( elem, this );
- });
- }
-
- if ( arguments.length ) {
- var set = jQuery.clean( arguments );
- return this.pushStack( jQuery.merge( set, this ), "before", this.selector );
- }
- },
-
- after: function() {
- if ( !isDisconnected( this[0] ) ) {
- return this.domManip(arguments, false, function( elem ) {
- this.parentNode.insertBefore( elem, this.nextSibling );
- });
- }
-
- if ( arguments.length ) {
- var set = jQuery.clean( arguments );
- return this.pushStack( jQuery.merge( this, set ), "after", this.selector );
- }
- },
-
- // keepData is for internal use only--do not document
- remove: function( selector, keepData ) {
- var elem,
- i = 0;
-
- for ( ; (elem = this[i]) != null; i++ ) {
- if ( !selector || jQuery.filter( selector, [ elem ] ).length ) {
- if ( !keepData && elem.nodeType === 1 ) {
- jQuery.cleanData( elem.getElementsByTagName("*") );
- jQuery.cleanData( [ elem ] );
- }
-
- if ( elem.parentNode ) {
- elem.parentNode.removeChild( elem );
- }
- }
- }
-
- return this;
- },
-
- empty: function() {
- var elem,
- i = 0;
-
- for ( ; (elem = this[i]) != null; i++ ) {
- // Remove element nodes and prevent memory leaks
- if ( elem.nodeType === 1 ) {
- jQuery.cleanData( elem.getElementsByTagName("*") );
- }
-
- // Remove any remaining nodes
- while ( elem.firstChild ) {
- elem.removeChild( elem.firstChild );
- }
- }
-
- return this;
- },
-
- clone: function( dataAndEvents, deepDataAndEvents ) {
- dataAndEvents = dataAndEvents == null ? false : dataAndEvents;
- deepDataAndEvents = deepDataAndEvents == null ? dataAndEvents : deepDataAndEvents;
-
- return this.map( function () {
- return jQuery.clone( this, dataAndEvents, deepDataAndEvents );
- });
- },
-
- html: function( value ) {
- return jQuery.access( this, function( value ) {
- var elem = this[0] || {},
- i = 0,
- l = this.length;
-
- if ( value === undefined ) {
- return elem.nodeType === 1 ?
- elem.innerHTML.replace( rinlinejQuery, "" ) :
- undefined;
- }
-
- // See if we can take a shortcut and just use innerHTML
- if ( typeof value === "string" && !rnoInnerhtml.test( value ) &&
- ( jQuery.support.htmlSerialize || !rnoshimcache.test( value ) ) &&
- ( jQuery.support.leadingWhitespace || !rleadingWhitespace.test( value ) ) &&
- !wrapMap[ ( rtagName.exec( value ) || ["", ""] )[1].toLowerCase() ] ) {
-
- value = value.replace( rxhtmlTag, "<$1>" );
-
- try {
- for (; i < l; i++ ) {
- // Remove element nodes and prevent memory leaks
- elem = this[i] || {};
- if ( elem.nodeType === 1 ) {
- jQuery.cleanData( elem.getElementsByTagName( "*" ) );
- elem.innerHTML = value;
- }
- }
-
- elem = 0;
-
- // If using innerHTML throws an exception, use the fallback method
- } catch(e) {}
- }
-
- if ( elem ) {
- this.empty().append( value );
- }
- }, null, value, arguments.length );
- },
-
- replaceWith: function( value ) {
- if ( !isDisconnected( this[0] ) ) {
- // Make sure that the elements are removed from the DOM before they are inserted
- // this can help fix replacing a parent with child elements
- if ( jQuery.isFunction( value ) ) {
- return this.each(function(i) {
- var self = jQuery(this), old = self.html();
- self.replaceWith( value.call( this, i, old ) );
- });
- }
-
- if ( typeof value !== "string" ) {
- value = jQuery( value ).detach();
- }
-
- return this.each(function() {
- var next = this.nextSibling,
- parent = this.parentNode;
-
- jQuery( this ).remove();
-
- if ( next ) {
- jQuery(next).before( value );
- } else {
- jQuery(parent).append( value );
- }
- });
- }
-
- return this.length ?
- this.pushStack( jQuery(jQuery.isFunction(value) ? value() : value), "replaceWith", value ) :
- this;
- },
-
- detach: function( selector ) {
- return this.remove( selector, true );
- },
-
- domManip: function( args, table, callback ) {
-
- // Flatten any nested arrays
- args = [].concat.apply( [], args );
-
- var results, first, fragment, iNoClone,
- i = 0,
- value = args[0],
- scripts = [],
- l = this.length;
-
- // We can't cloneNode fragments that contain checked, in WebKit
- if ( !jQuery.support.checkClone && l > 1 && typeof value === "string" && rchecked.test( value ) ) {
- return this.each(function() {
- jQuery(this).domManip( args, table, callback );
- });
- }
-
- if ( jQuery.isFunction(value) ) {
- return this.each(function(i) {
- var self = jQuery(this);
- args[0] = value.call( this, i, table ? self.html() : undefined );
- self.domManip( args, table, callback );
- });
- }
-
- if ( this[0] ) {
- results = jQuery.buildFragment( args, this, scripts );
- fragment = results.fragment;
- first = fragment.firstChild;
-
- if ( fragment.childNodes.length === 1 ) {
- fragment = first;
- }
-
- if ( first ) {
- table = table && jQuery.nodeName( first, "tr" );
-
- // Use the original fragment for the last item instead of the first because it can end up
- // being emptied incorrectly in certain situations (#8070).
- // Fragments from the fragment cache must always be cloned and never used in place.
- for ( iNoClone = results.cacheable || l - 1; i < l; i++ ) {
- callback.call(
- table && jQuery.nodeName( this[i], "table" ) ?
- findOrAppend( this[i], "tbody" ) :
- this[i],
- i === iNoClone ?
- fragment :
- jQuery.clone( fragment, true, true )
- );
- }
- }
-
- // Fix #11809: Avoid leaking memory
- fragment = first = null;
-
- if ( scripts.length ) {
- jQuery.each( scripts, function( i, elem ) {
- if ( elem.src ) {
- if ( jQuery.ajax ) {
- jQuery.ajax({
- url: elem.src,
- type: "GET",
- dataType: "script",
- async: false,
- global: false,
- "throws": true
- });
- } else {
- jQuery.error("no ajax");
- }
- } else {
- jQuery.globalEval( ( elem.text || elem.textContent || elem.innerHTML || "" ).replace( rcleanScript, "" ) );
- }
-
- if ( elem.parentNode ) {
- elem.parentNode.removeChild( elem );
- }
- });
- }
- }
-
- return this;
- }
-});
-
-function findOrAppend( elem, tag ) {
- return elem.getElementsByTagName( tag )[0] || elem.appendChild( elem.ownerDocument.createElement( tag ) );
-}
-
-function cloneCopyEvent( src, dest ) {
-
- if ( dest.nodeType !== 1 || !jQuery.hasData( src ) ) {
- return;
- }
-
- var type, i, l,
- oldData = jQuery._data( src ),
- curData = jQuery._data( dest, oldData ),
- events = oldData.events;
-
- if ( events ) {
- delete curData.handle;
- curData.events = {};
-
- for ( type in events ) {
- for ( i = 0, l = events[ type ].length; i < l; i++ ) {
- jQuery.event.add( dest, type, events[ type ][ i ] );
- }
- }
- }
-
- // make the cloned public data object a copy from the original
- if ( curData.data ) {
- curData.data = jQuery.extend( {}, curData.data );
- }
-}
-
-function cloneFixAttributes( src, dest ) {
- var nodeName;
-
- // We do not need to do anything for non-Elements
- if ( dest.nodeType !== 1 ) {
- return;
- }
-
- // clearAttributes removes the attributes, which we don't want,
- // but also removes the attachEvent events, which we *do* want
- if ( dest.clearAttributes ) {
- dest.clearAttributes();
- }
-
- // mergeAttributes, in contrast, only merges back on the
- // original attributes, not the events
- if ( dest.mergeAttributes ) {
- dest.mergeAttributes( src );
- }
-
- nodeName = dest.nodeName.toLowerCase();
-
- if ( nodeName === "object" ) {
- // IE6-10 improperly clones children of object elements using classid.
- // IE10 throws NoModificationAllowedError if parent is null, #12132.
- if ( dest.parentNode ) {
- dest.outerHTML = src.outerHTML;
- }
-
- // This path appears unavoidable for IE9. When cloning an object
- // element in IE9, the outerHTML strategy above is not sufficient.
- // If the src has innerHTML and the destination does not,
- // copy the src.innerHTML into the dest.innerHTML. #10324
- if ( jQuery.support.html5Clone && (src.innerHTML && !jQuery.trim(dest.innerHTML)) ) {
- dest.innerHTML = src.innerHTML;
- }
-
- } else if ( nodeName === "input" && rcheckableType.test( src.type ) ) {
- // IE6-8 fails to persist the checked state of a cloned checkbox
- // or radio button. Worse, IE6-7 fail to give the cloned element
- // a checked appearance if the defaultChecked value isn't also set
-
- dest.defaultChecked = dest.checked = src.checked;
-
- // IE6-7 get confused and end up setting the value of a cloned
- // checkbox/radio button to an empty string instead of "on"
- if ( dest.value !== src.value ) {
- dest.value = src.value;
- }
-
- // IE6-8 fails to return the selected option to the default selected
- // state when cloning options
- } else if ( nodeName === "option" ) {
- dest.selected = src.defaultSelected;
-
- // IE6-8 fails to set the defaultValue to the correct value when
- // cloning other types of input fields
- } else if ( nodeName === "input" || nodeName === "textarea" ) {
- dest.defaultValue = src.defaultValue;
-
- // IE blanks contents when cloning scripts
- } else if ( nodeName === "script" && dest.text !== src.text ) {
- dest.text = src.text;
- }
-
- // Event data gets referenced instead of copied if the expando
- // gets copied too
- dest.removeAttribute( jQuery.expando );
-}
-
-jQuery.buildFragment = function( args, context, scripts ) {
- var fragment, cacheable, cachehit,
- first = args[ 0 ];
-
- // Set context from what may come in as undefined or a jQuery collection or a node
- // Updated to fix #12266 where accessing context[0] could throw an exception in IE9/10 &
- // also doubles as fix for #8950 where plain objects caused createDocumentFragment exception
- context = context || document;
- context = !context.nodeType && context[0] || context;
- context = context.ownerDocument || context;
-
- // Only cache "small" (1/2 KB) HTML strings that are associated with the main document
- // Cloning options loses the selected state, so don't cache them
- // IE 6 doesn't like it when you put