Add regions to dashboard

Author: jonasbhend

resources/report/dashboard/script.js

@@ -12,6 +12,16 @@ document.querySelectorAll(".tab-link").forEach(button => {
 // Initialize selection widgets
 const choicesInstances = {};
 
+choicesInstances["region-select"] = new Choices("#region-select", {
+  searchEnabled: false,
+  removeItemButton: true,
+  shouldSort: false,
+  itemSelectText: "",
+  placeholder: false
+});
+document.getElementById("region-select").addEventListener("change", updateChart);
+
+
 choicesInstances["source-select"] = new Choices("#source-select", {
   searchEnabled: false,
   removeItemButton: true,
@@ -102,13 +112,17 @@ function getSelectedValues(id) {
 }
 
 function updateChart() {
+  const selectedRegions = getSelectedValues("region-select");
   const selectedSources = getSelectedValues("source-select");
   const selectedparams = getSelectedValues("param-select");
   const selectedMetrics = getSelectedValues("metric-select");
 
   const newSpec = JSON.parse(JSON.stringify(spec));
   const filters = [];
 
+  if (selectedRegions.length > 0) {
+    filters.push({ field: "region", oneOf: selectedRegions });
+  }
   if (selectedSources.length > 0) {
     filters.push({ field: "source", oneOf: selectedSources });
   }

resources/report/dashboard/template.html.jinja2

@@ -107,6 +107,14 @@
             </p>
         </div>
         <div class="controls">
+            <div class="control-group">
+                <label>Regions(s)</label>
+                <select id="region-select">
+                    {% for region in regions %}
+                    <option value="{{region}}"{% if region == 'all' %} selected{% endif %}>{{region}}</option>
+                    {% endfor %}
+                </select>
+            </div>
             <div class="control-group">
                 <label>Source(s)</label>
                 <select id="source-select" multiple>

workflow/scripts/report_experiment_dashboard.py

@@ -53,6 +53,7 @@ def main(args):
     sources = df["source"].unique()
     params = df["param"].unique()
     metrics = df["metric"].unique()
+    regions = df["region"].unique()
 
     # get json string to embed in the HTML
     df_json = df.to_json(orient="records", lines=False)
@@ -76,6 +77,7 @@ def main(args):
         sources=sources,
         params=params,
         metrics=metrics,
+        regions=regions,
         header_text=args.header_text,
     )
     LOG.info("Size of generated HTML: %d bytes", len(html.encode("utf-8")))