diff --git a/util/export.py b/util/export.py index 0607c864259d..5419624d48e5 100755 --- a/util/export.py +++ b/util/export.py @@ -18,6 +18,7 @@ This lint has the following configuration variables: def parse_lint_def(lint): lint_dict = {} lint_dict['id'] = lint.name + lint_dict['group'] = lint.group lint_dict['level'] = lint.level lint_dict['docs'] = {} diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index 2cac5c6bcdef..6892857af4e9 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -11,8 +11,17 @@ @@ -23,7 +32,7 @@ @@ -40,7 +49,8 @@
-
+

Lint levels

+
-
+
+
+

Lint groups

+
+ +
+
+
+
+
+
Filter: @@ -63,22 +86,27 @@
+ ng-repeat="lint in data | filter:byLevels | filter:byGroups | filter:search | orderBy:'id' track by lint.id" on-finish-render="ngRepeatFinished">
- -

- {{lint.id}} +
+ {{lint.id}} + +
- Allow - Warn - Deny - Deprecated +
+ {{lint.group}} - + Allow + Warn + Deny + Deprecated + + +

@@ -95,7 +123,7 @@
- + Fork me on Github @@ -166,6 +194,11 @@ return $scope.levels[lint.level]; }; + $scope.groups = {}; + $scope.byGroups = function (lint) { + return $scope.groups[lint.group]; + }; + // Get data $scope.open = {}; $scope.loading = true; @@ -181,6 +214,12 @@ $scope.data = data; $scope.loading = false; + // Initialize lint groups (the same structure is also used to enable filtering) + $scope.groups = data.reduce(function (result, val) { + result[val.group] = true; + return result; + }, {}); + scrollToLintByURL($scope); }) .error(function (data) {