mirror of
https://github.com/AdaCore/langkit.git
synced 2026-02-12 12:28:12 -08:00
Given that our goal is to create a coverage report for the properties DSL, just using gnatcov's DHTML output is not an option. This commit introduces parsing code and data structures to generate our own coverage report. TN: SC19-030
45 lines
895 B
CSS
45 lines
895 B
CSS
body {
|
|
}
|
|
|
|
.code {
|
|
border-spacing: 0;
|
|
border-collapse: collapse;
|
|
}
|
|
|
|
.summary {
|
|
border-spacing: 0;
|
|
border-collapse: collapse;
|
|
width: 100px;
|
|
height: 12px;
|
|
border: 1px solid black;
|
|
background-color: #d0d0d0;
|
|
}
|
|
.summary .covered { background-color: #c0f0c0; }
|
|
.summary .partially_covered { background-color: #f0dcc0; }
|
|
.summary .uncovered { background-color: #f0c0c0; }
|
|
.summary .unknown { background-color: #d0d0d0; }
|
|
|
|
.code pre {
|
|
padding: 0;
|
|
margin: 0;
|
|
}
|
|
|
|
.code .lineno {
|
|
text-align: right;
|
|
padding: 0 10px;
|
|
width: 3%;
|
|
min-width: 50px;
|
|
}
|
|
|
|
.code .state {
|
|
text-align: center;
|
|
padding: 0 5px;
|
|
width: 20px;
|
|
}
|
|
|
|
.code tr.no_code {}
|
|
.code tr.covered { background-color: #c0e0c0; }
|
|
.code tr.partially_covered { background-color: #e0d0c0; }
|
|
.code tr.uncovered { background-color: #e0c0c0; }
|
|
.code tr.unknown { background-color: #d0d0d0; }
|