aboutsummaryrefslogtreecommitdiff
path: root/exampleData/ruleSets/headingGuidelines.json
diff options
context:
space:
mode:
authorGravatar Benjamin Jones <bjones@galois.com>2012-12-07 16:50:16 -0800
committerGravatar Benjamin Jones <bjones@galois.com>2012-12-07 16:50:16 -0800
commit90c7ea900e02e1fd3ec5399e15b00a68b9ae65db (patch)
treeae2591f522366a0742f045aecef3a18b8e3385cb /exampleData/ruleSets/headingGuidelines.json
parentb161edf0898d5e73a0643da89444d18da208580e (diff)
added comments so buildCombinedRules.sh script will work
Diffstat (limited to 'exampleData/ruleSets/headingGuidelines.json')
-rw-r--r--exampleData/ruleSets/headingGuidelines.json68
1 files changed, 36 insertions, 32 deletions
diff --git a/exampleData/ruleSets/headingGuidelines.json b/exampleData/ruleSets/headingGuidelines.json
index 886ea07..6942515 100644
--- a/exampleData/ruleSets/headingGuidelines.json
+++ b/exampleData/ruleSets/headingGuidelines.json
@@ -1,37 +1,41 @@
{ "name": "Heading Guidelines"
, "description": "Guidelines pertaining to the formatting and content of headings"
-, "rules": [ { "id": 1
- , "name": "Headings are capitalized"
- , "description": "Check to see if all headings use leading capital letters"
- , "rule":
- function() {
- var badHeadings =
- fiveui.query(':header').filter(
- function(idx) {
- var ch = $(this).text()[0];
- if (ch) {
- return (ch == ch.toLowerCase() );
- } else {
- return false;
- }
- });
- $(badHeadings).map(function(idx, elt){
- report('Heading does not start with a capital letter', elt);
- });
+, "rules": [
+//------------
+ { "id": 1
+ , "name": "Headings are capitalized"
+ , "description": "Check to see if all headings use leading capital letters"
+ , "rule":
+ function() {
+ var badHeadings =
+ fiveui.query(':header').filter(
+ function(idx) {
+ var ch = $(this).text()[0];
+ if (ch) {
+ return (ch == ch.toLowerCase() );
+ } else {
+ return false;
+ }
+ });
+ $(badHeadings).map(function(idx, elt){
+ report('Heading does not start with a capital letter', elt);
+ });
- }
- },
- { "id": 2
- , "name": "Disallow Empty Headers"
- , "description": "Heading elements should contain text"
- , "rule": function() {
- fiveui.query(':header').each(
- function(ix, elt) {
- if($(elt).text() == '') {
- report('Heading does not contain text', elt);
- }
- });
- }
- }
+ }
+ },
+//------------
+ { "id": 2
+ , "name": "Disallow Empty Headers"
+ , "description": "Heading elements should contain text"
+ , "rule": function() {
+ fiveui.query(':header').each(
+ function(ix, elt) {
+ if($(elt).text() == '') {
+ report('Heading does not contain text', elt);
+ }
+ });
+ }
+ }//,
+//------------
]
}