|
| 1 | +<!DOCTYPE html> |
| 2 | +<html lang="en"> |
| 3 | +<head> |
| 4 | + <meta charset="UTF-8"/> |
| 5 | + <meta name="viewport" content="width=device-width, initial-scale=1"/> |
| 6 | + |
| 7 | + <title>ALL the Clippy Lints</title> |
| 8 | + |
| 9 | + <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/twitter-bootstrap/3.3.6/css/bootstrap.min.css"/> |
| 10 | + <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.5.0/styles/github.min.css"/> |
| 11 | + <style> |
| 12 | + blockquote { font-size: 1em; } |
| 13 | + [ng\:cloak], [ng-cloak], [data-ng-cloak], [x-ng-cloak], .ng-cloak, .x-ng-cloak { display: none !important; } |
| 14 | + |
| 15 | + .form-inline .checkbox { margin-right: 0.6em } |
| 16 | + |
| 17 | + .panel-heading { cursor: pointer; } |
| 18 | + .panel-heading:hover { background-color: #eee; } |
| 19 | + |
| 20 | + .panel-title { display: flex; } |
| 21 | + .panel-title .label { display: inline-block; } |
| 22 | + |
| 23 | + .panel-title-name { flex: 1; } |
| 24 | + .panel-title-name span { vertical-align: bottom; } |
| 25 | + |
| 26 | + .panel .panel-title-name .anchor { display: none; } |
| 27 | + .panel:hover .panel-title-name .anchor { display: inline; color: #fff; } |
| 28 | + </style> |
| 29 | +</head> |
| 30 | +<body> |
| 31 | + <div class="container" ng-app="clippy" ng-controller="lintList"> |
| 32 | + <div class="page-header"> |
| 33 | + <h1>ALL the Clippy Lints</h1> |
| 34 | + </div> |
| 35 | + |
| 36 | + <noscript> |
| 37 | + <div class="alert alert-danger" role="alert"> |
| 38 | + Sorry, this site only works with JavaScript! :( |
| 39 | + </div> |
| 40 | + </noscript> |
| 41 | + |
| 42 | + <div ng-cloak> |
| 43 | + |
| 44 | + <div class="alert alert-info" role="alert" ng-if="loading"> |
| 45 | + Loading… |
| 46 | + </div> |
| 47 | + <div class="alert alert-danger" role="alert" ng-if="error"> |
| 48 | + Error loading lints! |
| 49 | + </div> |
| 50 | + |
| 51 | + <div class="panel panel-default" ng-show="data"> |
| 52 | + <div class="panel-body row"> |
| 53 | + <div class="col-md-6 form-inline"> |
| 54 | + <div class="form-group form-group-lg"> |
| 55 | + <p class="h4">Lint levels</p> |
| 56 | + <div class="checkbox" ng-repeat="(level, enabled) in levels"> |
| 57 | + <label> |
| 58 | + <input type="checkbox" ng-model="levels[level]" /> |
| 59 | + {{level}} |
| 60 | + </label> |
| 61 | + </div> |
| 62 | + </div> |
| 63 | + </div> |
| 64 | + <div class="col-md-6 form-inline"> |
| 65 | + <div class="form-group form-group-lg"> |
| 66 | + <p class="h4">Lint groups</p> |
| 67 | + <div class="checkbox" ng-repeat="(group, enabled) in groups"> |
| 68 | + <label class="text-capitalize"> |
| 69 | + <input type="checkbox" ng-model="groups[group]" /> |
| 70 | + {{group}} |
| 71 | + </label> |
| 72 | + </div> |
| 73 | + </div> |
| 74 | + </div> |
| 75 | + </div> |
| 76 | + <div class="panel-body row"> |
| 77 | + <div class="col-md-12 form-horizontal"> |
| 78 | + <div class="input-group"> |
| 79 | + <label class="input-group-addon" id="filter-label" for="filter-input">Filter:</label> |
| 80 | + <input type="text" class="form-control" placeholder="Keywords or search string" id="filter-input" ng-model="search" /> |
| 81 | + <span class="input-group-btn"> |
| 82 | + <button class="btn btn-default" type="button" ng-click="search = ''"> |
| 83 | + Clear |
| 84 | + </button> |
| 85 | + </span> |
| 86 | + </div> |
| 87 | + </div> |
| 88 | + </div> |
| 89 | + </div> |
| 90 | + |
| 91 | + <article class="panel panel-default" id="{{lint.id}}" |
| 92 | + ng-repeat="lint in data | filter:byLevels | filter:byGroups | filter:search | orderBy:'id' track by lint.id" on-finish-render="ngRepeatFinished"> |
| 93 | + <header class="panel-heading" ng-click="open[lint.id] = !open[lint.id]"> |
| 94 | + <h2 class="panel-title"> |
| 95 | + <div class="panel-title-name"> |
| 96 | + <span>{{lint.id}}</span> |
| 97 | + <a href="#{{lint.id}}" class="anchor label label-default" ng-click="open[lint.id] = true; $event.stopPropagation()">¶</a> |
| 98 | + </div> |
| 99 | + |
| 100 | + <div class="panel-title-addons"> |
| 101 | + <span class="label label-default text-capitalize">{{lint.group}}</span> |
| 102 | + |
| 103 | + <span ng-if="lint.level == 'Allow'" class="label label-success">Allow</span> |
| 104 | + <span ng-if="lint.level == 'Warn'" class="label label-warning">Warn</span> |
| 105 | + <span ng-if="lint.level == 'Deny'" class="label label-danger">Deny</span> |
| 106 | + <span ng-if="lint.level == 'Deprecated'" class="label label-default">Deprecated</span> |
| 107 | + |
| 108 | + <button class="btn btn-default btn-xs"> |
| 109 | + <span ng-show="open[lint.id]">−</span> |
| 110 | + <span ng-hide="open[lint.id]">+</span> |
| 111 | + </button> |
| 112 | + </div> |
| 113 | + </h2> |
| 114 | + </header> |
| 115 | + |
| 116 | + <ul class="list-group lint-docs" ng-if="lint.docs" ng-class="{collapse: true, in: open[lint.id]}"> |
| 117 | + <li class="list-group-item" ng-repeat="(title, text) in lint.docs"> |
| 118 | + <h4 class="list-group-item-heading"> |
| 119 | + {{title}} |
| 120 | + </h4> |
| 121 | + <div class="list-group-item-text" ng-bind-html="text | markdown"></div> |
| 122 | + </li> |
| 123 | + </ul> |
| 124 | + </article> |
| 125 | + </div> |
| 126 | + </div> |
| 127 | + |
| 128 | + <a href="https://github.com/rust-lang/rust-clippy"> |
| 129 | + <img style="position: absolute; top: 0; right: 0; border: 0;" src="https://s3.amazonaws.com/github/ribbons/forkme_right_darkblue_121621.png" alt="Fork me on Github"/> |
| 130 | + </a> |
| 131 | + |
| 132 | + <script src="https://cdnjs.cloudflare.com/ajax/libs/markdown-it/7.0.0/markdown-it.min.js"></script> |
| 133 | + <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.5.0/highlight.min.js"></script> |
| 134 | + <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.5.0/languages/rust.min.js"></script> |
| 135 | + <script src="https://cdnjs.cloudflare.com/ajax/libs/angular.js/1.4.12/angular.min.js"></script> |
| 136 | + <script> |
| 137 | + (function () { |
| 138 | + var md = window.markdownit({ |
| 139 | + html: true, |
| 140 | + linkify: true, |
| 141 | + typographer: true, |
| 142 | + highlight: function (str, lang) { |
| 143 | + if (lang && hljs.getLanguage(lang)) { |
| 144 | + try { |
| 145 | + return '<pre class="hljs"><code>' + |
| 146 | + hljs.highlight(lang, str, true).value + |
| 147 | + '</code></pre>'; |
| 148 | + } catch (__) {} |
| 149 | + } |
| 150 | + |
| 151 | + return '<pre class="hljs"><code>' + md.utils.escapeHtml(str) + '</code></pre>'; |
| 152 | + } |
| 153 | + }); |
| 154 | + |
| 155 | + function scrollToLint(lintId) { |
| 156 | + var target = document.getElementById(lintId); |
| 157 | + if (!target) { |
| 158 | + return; |
| 159 | + } |
| 160 | + target.scrollIntoView(); |
| 161 | + } |
| 162 | + |
| 163 | + function scrollToLintByURL($scope) { |
| 164 | + var removeListener = $scope.$on('ngRepeatFinished', function(ngRepeatFinishedEvent) { |
| 165 | + scrollToLint(window.location.hash.slice(1)); |
| 166 | + removeListener(); |
| 167 | + }); |
| 168 | + } |
| 169 | + |
| 170 | + function selectGroup($scope, selectedGroup) { |
| 171 | + var groups = $scope.groups; |
| 172 | + for (var group in groups) { |
| 173 | + if (groups.hasOwnProperty(group)) { |
| 174 | + if (group === selectedGroup) { |
| 175 | + groups[group] = true; |
| 176 | + } else { |
| 177 | + groups[group] = false; |
| 178 | + } |
| 179 | + } |
| 180 | + } |
| 181 | + } |
| 182 | + |
| 183 | + angular.module("clippy", []) |
| 184 | + .filter('markdown', function ($sce) { |
| 185 | + return function (text) { |
| 186 | + return $sce.trustAsHtml( |
| 187 | + md.render(text || '') |
| 188 | + // Oh deer, what a hack :O |
| 189 | + .replace('<table', '<table class="table"') |
| 190 | + ); |
| 191 | + }; |
| 192 | + }) |
| 193 | + .directive('onFinishRender', function ($timeout) { |
| 194 | + return { |
| 195 | + restrict: 'A', |
| 196 | + link: function (scope, element, attr) { |
| 197 | + if (scope.$last === true) { |
| 198 | + $timeout(function () { |
| 199 | + scope.$emit(attr.onFinishRender); |
| 200 | + }); |
| 201 | + } |
| 202 | + } |
| 203 | + }; |
| 204 | + }) |
| 205 | + .controller("lintList", function ($scope, $http, $timeout) { |
| 206 | + // Level filter |
| 207 | + var LEVEL_FILTERS_DEFAULT = {Allow: true, Warn: true, Deny: true, Deprecated: true}; |
| 208 | + $scope.levels = LEVEL_FILTERS_DEFAULT; |
| 209 | + $scope.byLevels = function (lint) { |
| 210 | + return $scope.levels[lint.level]; |
| 211 | + }; |
| 212 | + |
| 213 | + $scope.groups = {}; |
| 214 | + $scope.byGroups = function (lint) { |
| 215 | + return $scope.groups[lint.group]; |
| 216 | + }; |
| 217 | + |
| 218 | + // Get data |
| 219 | + $scope.open = {}; |
| 220 | + $scope.loading = true; |
| 221 | + |
| 222 | + if (window.location.hash.length > 1) { |
| 223 | + $scope.search = window.location.hash.slice(1); |
| 224 | + $scope.open[window.location.hash.slice(1)] = true; |
| 225 | + scrollToLintByURL($scope); |
| 226 | + } |
| 227 | + |
| 228 | + $http.get('./lints.json') |
| 229 | + .success(function (data) { |
| 230 | + $scope.data = data; |
| 231 | + $scope.loading = false; |
| 232 | + |
| 233 | + // Initialize lint groups (the same structure is also used to enable filtering) |
| 234 | + $scope.groups = data.reduce(function (result, val) { |
| 235 | + result[val.group] = true; |
| 236 | + return result; |
| 237 | + }, {}); |
| 238 | + |
| 239 | + var selectedGroup = getQueryVariable("sel"); |
| 240 | + if (selectedGroup) { |
| 241 | + selectGroup($scope, selectedGroup.toLowerCase()); |
| 242 | + } |
| 243 | + |
| 244 | + scrollToLintByURL($scope); |
| 245 | + }) |
| 246 | + .error(function (data) { |
| 247 | + $scope.error = data; |
| 248 | + $scope.loading = false; |
| 249 | + }); |
| 250 | + |
| 251 | + window.addEventListener('hashchange', function () { |
| 252 | + // trigger re-render |
| 253 | + $timeout(function () { |
| 254 | + $scope.levels = LEVEL_FILTERS_DEFAULT; |
| 255 | + $scope.search = window.location.hash.slice(1); |
| 256 | + $scope.open[window.location.hash.slice(1)] = true; |
| 257 | + |
| 258 | + scrollToLintByURL($scope); |
| 259 | + }); |
| 260 | + return true; |
| 261 | + }, false); |
| 262 | + }); |
| 263 | + })(); |
| 264 | + |
| 265 | + function getQueryVariable(variable) { |
| 266 | + var query = window.location.search.substring(1); |
| 267 | + var vars = query.split('&'); |
| 268 | + for (var i = 0; i < vars.length; i++) { |
| 269 | + var pair = vars[i].split('='); |
| 270 | + if (decodeURIComponent(pair[0]) == variable) { |
| 271 | + return decodeURIComponent(pair[1]); |
| 272 | + } |
| 273 | + } |
| 274 | + } |
| 275 | + </script> |
| 276 | +</body> |
| 277 | +</html> |
0 commit comments