From 3258042417e65b600a34835e8948c3b255cb3911 Mon Sep 17 00:00:00 2001
From: Jonas Blatt <jonasblatt@uni-koblenz.de>
Date: Sun, 13 Oct 2019 22:54:17 +0200
Subject: [PATCH] Create verifier button dynamically

---
 .../resources/META-INF/resources/index.html     |  1 -
 .../META-INF/resources/js/dmnVerifier.js        | 17 +++++++++++------
 2 files changed, 11 insertions(+), 7 deletions(-)

diff --git a/dmnverifierfrontend/src/main/resources/META-INF/resources/index.html b/dmnverifierfrontend/src/main/resources/META-INF/resources/index.html
index 40e985cb..1f17fa29 100644
--- a/dmnverifierfrontend/src/main/resources/META-INF/resources/index.html
+++ b/dmnverifierfrontend/src/main/resources/META-INF/resources/index.html
@@ -25,7 +25,6 @@
     <div class="editor-tabs"></div>
   </div>
 </div>
-<button id="button-dmn-verify" onclick="checkVerifications()">Get verifications</button>
 <div id="root-dmn-verifier"></div>
 </div>
 
diff --git a/dmnverifierfrontend/src/main/resources/META-INF/resources/js/dmnVerifier.js b/dmnverifierfrontend/src/main/resources/META-INF/resources/js/dmnVerifier.js
index 06fd1af0..52304f19 100644
--- a/dmnverifierfrontend/src/main/resources/META-INF/resources/js/dmnVerifier.js
+++ b/dmnverifierfrontend/src/main/resources/META-INF/resources/js/dmnVerifier.js
@@ -7,12 +7,17 @@ let dmnApi = rootUrl + 'api/dmn/';
  */
 let verifierResults = {};
 
-function checkVerifications() {
-  getVerifications();
+function cleanDmnVerifierRoot() {
+  let $root = $('#root-dmn-verifier').empty();
+  $root.append($(`
+    <button id="button-dmn-verify" onClick="checkVerifications()">
+    Get verifications</button>
+  `));
+  return $root;
 }
 
-function cleanDmnVerifierRoot() {
-  $('#root-dmn-verifier').empty();
+function checkVerifications() {
+  getVerifications();
 }
 
 function getVerifications() {
@@ -60,7 +65,7 @@ function getVerifications() {
 
 function renderDmnVerifierOptions() {
   // reset div
-  let $root = $('#root-dmn-verifier');
+  let $root = cleanDmnVerifierRoot();
   let $select = $(`
     <select name="verifier" id="verifier" onchange="renderVerifierResult(this)">
   `);
@@ -81,7 +86,7 @@ function renderDmnVerifierOptions() {
     }
     $curGroup.append(renderSelectEntry(verifierResults.verifier[i]));
   }
-  $root.html($select);
+  $root.append($select);
   $root.append($(`<div id="verifier-entries">`));
 }
 
-- 
GitLab