From 497ae6cd1e5dc2f968689d57ab41b278f9d51620 Mon Sep 17 00:00:00 2001
From: "Christian P. MOMON" <christian.momon@devinsy.fr>
Date: Sat, 14 Nov 2020 05:17:21 +0100
Subject: [PATCH] Added counts in property file check page.

---
 .../devinsy/statoolinfos/htmlize/PropertyFileCheckPage.java | 4 ++++
 src/fr/devinsy/statoolinfos/htmlize/propertyFileCheck.xhtml | 6 ++++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/src/fr/devinsy/statoolinfos/htmlize/PropertyFileCheckPage.java b/src/fr/devinsy/statoolinfos/htmlize/PropertyFileCheckPage.java
index 63c31d6..ae6100e 100644
--- a/src/fr/devinsy/statoolinfos/htmlize/PropertyFileCheckPage.java
+++ b/src/fr/devinsy/statoolinfos/htmlize/PropertyFileCheckPage.java
@@ -99,6 +99,10 @@ public class PropertyFileCheckPage
 
             TagDataManager data = new TagDataManager();
 
+            data.setContent("warningCount", checks.getWarningCount());
+            data.setContent("alertCount", checks.getAlertCount());
+            data.setContent("voidCount", checks.getVoidCount());
+
             //
             data.setContent("statsTitle", title);
 
diff --git a/src/fr/devinsy/statoolinfos/htmlize/propertyFileCheck.xhtml b/src/fr/devinsy/statoolinfos/htmlize/propertyFileCheck.xhtml
index ec83e73..372e506 100644
--- a/src/fr/devinsy/statoolinfos/htmlize/propertyFileCheck.xhtml
+++ b/src/fr/devinsy/statoolinfos/htmlize/propertyFileCheck.xhtml
@@ -15,15 +15,17 @@
 		<div class="center">
 			<h2 id="statsTitle">n/a</h2>
 		</div>
-		<br/>
 		<div id="rawgroupedswitch" style="margin: 4px;">
 			<span style="display: inline-block; padding-top: 6px; vertical-align: text-top;"><a href="#part2">Réduit</a></span>
 			<label class="switch">
 			    <input type="checkbox" onclick="javascript:viewFlip();" />
 			    <span class="slider round"></span>
 			</label>
+			<span style="margin-left: 50px;">Statistiques : </span>
+			<span id="warningCount" class="bg_warning" style="padding: 0 10px;" title="Attendus">n/a</span>
+			<span id="alertCount" class="bg_alert" style="padding: 0 10px;" title="Erreurs">n/a</span>
+			<span id="voidCount" class="bg_void" style="padding: 0 10px;" title="Inconnus">n/a</span>
 		</div>
-		
 		<div id="fullBlock" style="width: 100%;">
 			<table class="table_simple">
 				<tbody>