Skip to content

Commit

Permalink
Integrated Plato tool for static analysis
Browse files Browse the repository at this point in the history
  • Loading branch information
@minghanm
minghanm committed Oct 24, 2024
1 parent 33a5bea commit d9d71a6
Show file tree
Hide file tree
Showing 152 changed files with 21,522 additions and 0 deletions.
2 changes: 2 additions & 0 deletions report/assets/css/morris.css
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

88 changes: 88 additions & 0 deletions report/assets/css/plato-display.css
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,88 @@

body {
background: #222222;
margin: 20px;
}

.reportBlock {
background: #34495e;
color: #ecf0f1;
height: 300px;
position: relative;
}

.chart {
width: 100%;
height: 300px;
position: absolute;
top: 0; left: 0;
z-index: 0;
}

.reportContent {
z-index: 10;
position: absolute;
top: 0; left: 0;
width: 100%;
}

h2.reportTitle {
position: absolute;
top: 0;
left: 0;
color: #7F8181;
font-size: 14px;
font-weight: 200;
padding: 10px;
margin: 0;
text-transform: uppercase;
letter-spacing: 1px;
}

.reportBlock.lineCount { background-color: #272727; }
.reportBlock.maintainability { background-color: #272727; }
.reportBlock.maintainabilityList,
.reportBlock.locList,
.reportBlock.lintList {
background-color: #2A2A2A;
margin-top: 15px;
padding: 20px 5px;
}

.reportBlock .chart-label {
display: block;
padding-top: 100px;
text-align: center;
color: #7F8181;
font-size: 14px;
font-weight: 200;
text-transform: uppercase;
letter-spacing: 1px;
}

.reportBlock strong {
display: block;
font-size: 90%;
}

.reportBlock li {
border-bottom: 1px solid #323232;
}

.reportBlock h1 {
margin: 0;
font-size: 60px;
text-align: center;
}

.reportBlock ul {
margin: 15px !important;
}
.reportBlock h3 {
margin: 5px 15px 0;
}

.reportBlock li {
line-height: 22px;
font-size: 16px;
}
88 changes: 88 additions & 0 deletions report/assets/css/plato-file.css
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,88 @@
.historical .chart {
height: 200px;
}

.CodeMirror {
height: auto;
}

.CodeMirror-scroll {
overflow-x: hidden;
overflow-y: hidden;
}
.CodeMirror-lines {
cursor:default;
}

.plato-mark {
background-color:rgb(212, 250, 236);
border: 1px dashed red;
border-width:1px 0 1px 0;
cursor:pointer;
}

.plato-mark.focus {
background-color: rgb(235, 250, 166);
}
.plato-mark.active {
background-color: rgb(158, 180, 255);
}

.plato-mark-start {
border-left-width:1px;
padding-left:1px;
}
.plato-mark-end {
border-right-width:1px;
padding-right:1px;
}
.plato-gutter {
}

.plato-gutter-icon {
font-size:16px;
cursor:pointer;
color: #800000;
text-align:center;
}

.plato-gutter-jshint, .plato-gutter-complexity {
width:14px;
}

.charts {
margin-top:1em;
}

.charts .header {
font-weight:normal;
text-align:center;
}

.chart-header {
font-weight:normal;
text-align:center;
}

.CodeMirror pre {
z-index:4;
}

.CodeMirror-linewidget {
background-color: hsl(240, 20%, 96%);
font-size:12px;
box-shadow:inset 10px 10px 10px -12px hsl(240, 20%, 17%);
margin-top:10px;
padding-top:5px;
padding-left:5px;
padding-bottom:2px;
}

.CodeMirror-linewidget ~ .CodeMirror-linewidget{
box-shadow:inset 10px 0px 10px -12px hsl(240, 20%, 17%);
margin-top:0px;
padding-top:0px;
}

.plato-line-widget {
}
117 changes: 117 additions & 0 deletions report/assets/css/plato-overview.css
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,117 @@
.chart {
margin: 0 auto;
height: 200px;
}

.overview .chart {
height: 250px;
}

.historical .chart {
height:200px;
}

.chart rect {
cursor:pointer;
}

.file-list li {
border-bottom:1px solid #ccc;
padding-bottom:10px;
padding-top:10px;
}

.file-list li:nth-child(odd) {
background-color: hsl(0, 0%, 98%);
}

.fade-left {
background: -moz-linear-gradient(left, rgba(255,255,255,1) 0%, rgba(255,255,255,0) 100%); /* FF3.6+ */
background: -webkit-gradient(linear, left top, right top, color-stop(0%,rgba(255,255,255,1)), color-stop(100%,rgba(255,255,255,0))); /* Chrome,Safari4+ */
background: -webkit-linear-gradient(left, rgba(255,255,255,1) 0%,rgba(255,255,255,0) 100%); /* Chrome10+,Safari5.1+ */
background: -o-linear-gradient(left, rgba(255,255,255,1) 0%,rgba(255,255,255,0) 100%); /* Opera 11.10+ */
background: -ms-linear-gradient(left, rgba(255,255,255,1) 0%,rgba(255,255,255,0) 100%); /* IE10+ */
background: linear-gradient(to right, rgba(255,255,255,1) 0%,rgba(255,255,255,0) 100%); /* W3C */
filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#ffffff', endColorstr='#00ffffff',GradientType=1 ); /* IE6-9 */
}

.file-list li:nth-child(odd) .fade-left {
background: -moz-linear-gradient(left, rgba(249,249,249,1) 0%, rgba(255,255,255,0) 100%); /* FF3.6+ */
background: -webkit-gradient(linear, left top, right top, color-stop(0%,rgba(249,249,249,1)), color-stop(100%,rgba(255,255,255,0))); /* Chrome,Safari4+ */
background: -webkit-linear-gradient(left, rgba(249,249,249,1) 0%,rgba(255,255,255,0) 100%); /* Chrome10+,Safari5.1+ */
background: -o-linear-gradient(left, rgba(249,249,249,1) 0%,rgba(255,255,255,0) 100%); /* Opera 11.10+ */
background: -ms-linear-gradient(left, rgba(249,249,249,1) 0%,rgba(255,255,255,0) 100%); /* IE10+ */
background: linear-gradient(to right, rgba(249,249,249,1) 0%,rgba(255,255,255,0) 100%); /* W3C */
filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#f9f9f9', endColorstr='#00ffffff',GradientType=1 ); /* IE6-9 */
}

.fadeout {
position: absolute;
height: 50px;
z-index: 10;
float: left;
width:70px
}

.file {
white-space: nowrap;
}


.file-link {
text-align: right;
direction: rtl;
overflow: hidden;
height:40px;
font-size:20px;
color: #334B6D;
display:block;
padding:12px 12px 12px 0;
text-decoration: underline;
}

.file-link:hover {
color: #3B71B1;
}

.file-chart label {
width: 75px;
text-align: right;
margin-right: 10px;
}

.file-chart .chart-value {
margin-left: 3px;
font-size:11px;
}

.horizontal-bar {
display:inline-block;
height:8px;
border-radius: 0 4px 4px 0;
}

.threshold-0 .horizontal-bar {
background-color: #01939A;
}
.threshold-1 .horizontal-bar {
background-color: #FFAB00;
}
.threshold-2 .horizontal-bar {
background-color: #FF0700;
}


@media (max-width: 767px) {
.file-link {
text-align: center;
}
}

.complexity, .sloc, .bugs, .lint {
font-weight: normal;
}

.on { /* marking 'sorting buttons' active */
font-weight: bold;
}
69 changes: 69 additions & 0 deletions report/assets/css/plato.css
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,69 @@

body {
}

.navbar {
margin-bottom:0;
padding: 0 20px;
background-color: #f2f2f2;
background-image: none;
border: 1px solid #d4d4d4;
border-radius: 4px;
-webkit-box-shadow: none;
box-shadow: none;
line-height:10px;
}

.navbar-nav > .active > a {
background-color: rgb(233, 233, 233);
}

a:visited {
fill:inherit;
}

.jumbotron {
color:#333;
}

li {
line-height: 10px;
}

/* Landscape phone to portrait tablet */
@media (max-width: 767px) {
.jumbotron h1 {
font-size: 40px;
}
}

.aggregate-stats {

}

.group-header {
text-align:center;
}


.aggregate-stats .header {
text-align: center;
color: #5a5a5a;
font-weight:lighter;
}

.aggregate-stats .stat {
text-align: center;
color: #5a5a5a;
font-size:55px;
line-height:70px;
}

i.icon[rel=popover] {
font-size:23px;
color: #0088cc;
}

.popover {
z-index:100000;
}
Loading

0 comments on commit d9d71a6

Please sign in to comment.