diff options
author | Benjamin Jones <bjones@galois.com> | 2012-12-07 16:50:16 -0800 |
---|---|---|
committer | Benjamin Jones <bjones@galois.com> | 2012-12-07 16:50:16 -0800 |
commit | 90c7ea900e02e1fd3ec5399e15b00a68b9ae65db (patch) | |
tree | ae2591f522366a0742f045aecef3a18b8e3385cb /exampleData/ruleSets/headingGuidelines.json | |
parent | b161edf0898d5e73a0643da89444d18da208580e (diff) |
added comments so buildCombinedRules.sh script will work
Diffstat (limited to 'exampleData/ruleSets/headingGuidelines.json')
-rw-r--r-- | exampleData/ruleSets/headingGuidelines.json | 68 |
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); + } + }); + } + }//, +//------------ ] } |