From f1d3202e54fac77246d56977c3ae12bf454c4da2 Mon Sep 17 00:00:00 2001
From: Benjamin Jones <bjones@galois.com>
Date: Mon, 28 Oct 2013 17:19:39 -0700
Subject: moved ASM guidelines to suim repo

---
 guidelines/ASM/.gitignore          |  2 -
 guidelines/ASM/asm-8.5.js          | 92 --------------------------------------
 guidelines/ASM/test-8.5.html       | 24 ----------
 guidelines/ASM/test-guideline.json |  5 ---
 4 files changed, 123 deletions(-)
 delete mode 100644 guidelines/ASM/.gitignore
 delete mode 100644 guidelines/ASM/asm-8.5.js
 delete mode 100644 guidelines/ASM/test-8.5.html
 delete mode 100644 guidelines/ASM/test-guideline.json

diff --git a/guidelines/ASM/.gitignore b/guidelines/ASM/.gitignore
deleted file mode 100644
index 0a71f22..0000000
--- a/guidelines/ASM/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-examples
-test_L4_LSG_FURN_1.htm
diff --git a/guidelines/ASM/asm-8.5.js b/guidelines/ASM/asm-8.5.js
deleted file mode 100644
index fa3eaf9..0000000
--- a/guidelines/ASM/asm-8.5.js
+++ /dev/null
@@ -1,92 +0,0 @@
-/*
- * Abnormal Situation Management - Guidelines
- *
- * 8.5 - p2: Use consistent numeric formats to enable quick reading.
- * Notes: Don't use leading 0's for integer values, *do* provide leading 0 for
- * fractional values < 1, justify columns on decimal point, include units.
- * Some easy, some hard. (how do we map units to numbers? can we get the screen
- * coordinates for every '.' in the dom?)
- *
- */
-exports.name='Inconsistent numerical formatting';
-exports.description='Use consistent numeric formats to enable quick reading.';
-
-exports.rule = function (report) {
-
-  // Predicate used on DOM elements below.
-  var hasText = function(i) { return ($5(this).text().trim().length); };
-
-  // Rule specifications:
-  // (we assume re's below run on strings which already match the general
-  // number format given in getNums.)
-  var bads = [ { re:  '[+-]?0\\d'   // e.g. 032
-               , msg: 'numbers larger than 1 should not lead with a zero' }
-
-               , { re:  '^[+-]?\\.\\d'  // e.g. -.145
-                 , msg: 'fractional numbers less than 1 should have a leading zero' }
-
-               , { re:  '\\.$'  // e.g. 32.
-                 , msg: 'numbers should not end with a decimal' } ];
-
-  /* Returns a function from a rule specification. */
-  var checkBad = function(b) {
-    var res = {};
-    var f = function (n) {
-      var r = new RegExp(b.re);
-      if (r.exec(n)) { return true; }
-      else { return false; }
-    };
-    res.fcn = f;
-    res.rule = b;  // save the rule
-    return res;
-  };
-  var fcns = _.map(bads, checkBad);
-
-  // DOM element -> it's full text content including children separeted by
-  // spaces. We do this instead of just calling text() or .textContent because
-  // we want text of children separeted from each other with whitespace.
-  var betterText= function (e) {
-    if (!$5(e).children()) {
-      return $5(e).text();
-    }
-    else {
-      // extract text from the children recursively
-      var ctxts = _.map($5(e).children(), betterText);
-      // remove the children and extract text
-      ctxts.push($(e).clone().children().remove().end().text());
-      return ctxts.join(' ');
-    }
-  };
-
-  /* Returns an array of the numbers found in the given DOM node's text. */
-  var getNums = function (e) {
-    //var txt = $5(e).text().trim();
-    var txt = betterText(e);
-    var re = new RegExp('(^|\\b)[+-]?(\\d+(\\.)?\\d*|\\.\\d+)(\\b|$)', 'g');
-    var matches = [], found;
-    while (found = re.exec(txt)) {
-      matches.push(found[0]);
-    }
-    return matches;
-  };
-
-  // Main rule query
-  $5("*").filter(hasText).each(function(i, elt) {
-    var nums = getNums(elt);
-    _.each(fcns, function (rul, ii, l) {
-      var m = _.map(nums, rul.fcn);
-      if (_.some(m)) { // some number in nums is bad for this rule
-        // check if a child node has the same problem
-        var childNums = _.flatten(_.map($5(elt).children(), getNums));
-        if (_.some(_.map(childNums, rul.fcn))) {
-          return;  // don't report it, break out of _.each iteration
-        }
-        else {  // no child has the same problem
-          report.error(rul.msg, elt);
-        }
-      }
-    });
-  });
-
-}
-
diff --git a/guidelines/ASM/test-8.5.html b/guidelines/ASM/test-8.5.html
deleted file mode 100644
index 66c6d14..0000000
--- a/guidelines/ASM/test-8.5.html
+++ /dev/null
@@ -1,24 +0,0 @@
-<html>
-  <head>
-    <title>Test asm 8.5</title>
-  </head>
-  <body>
-
-  <p>
-  Hello World!
-  </p>
-
-  <table>
-    <tbody>
-    <tr><td>123</td><td>bob -123.0</td></tr>
-    <tr><td>.445</td><td>-0452 foo</td></tr>
-    <tr><td>27818.</td><td>my age is 6.</td></tr>
-    <tr><td>27818</td><td>my age is 7</td></tr>
-    </tbody>
-  </table>
-
-  <p>-.3333333</p>
-
-  <p>00123</p>
-
-</body></html>
diff --git a/guidelines/ASM/test-guideline.json b/guidelines/ASM/test-guideline.json
deleted file mode 100644
index 8ccec82..0000000
--- a/guidelines/ASM/test-guideline.json
+++ /dev/null
@@ -1,5 +0,0 @@
-{ "name":        "ASM guideline-test"
-, "description": "Test ASM guidelines"
-, "license":     "BSD3"
-, "rules":     [ "asm-8.5.js" ]
-}
-- 
cgit v1.2.3