From a5b98b047f12b85243799ab6ad54bd768fa5f7d3 Mon Sep 17 00:00:00 2001
From: Stefan <svill33@gmail.com>
Date: Wed, 13 Dec 2023 12:01:32 +0100
Subject: [PATCH] feat(client): uvl tutorial

---
 WebSocketClient/index.html           | 125 ++++++++++++++++++++++++---
 WebSocketClient/src/main.ts          |   1 +
 WebSocketClient/style.css            |  38 +++++++-
 WebSocketLanguageServer/src/index.ts |   2 +-
 4 files changed, 152 insertions(+), 14 deletions(-)

diff --git a/WebSocketClient/index.html b/WebSocketClient/index.html
index 9674b52..e028a78 100644
--- a/WebSocketClient/index.html
+++ b/WebSocketClient/index.html
@@ -14,6 +14,7 @@
     <h1>UVL Playground</h1>
     <h2 id="connection" style="color: red;"></h2>
 </div>
+<div class="uvl-tutorial-button" id="uvl-tutorialButton"><div class="uvl-tutorial-button-text">?</div></div>
 <div class="tutorial-button" id="tutorialButton"><div class="tutorial-button-text">?</div></div>
 <div>
     <dialog id="dialog">
@@ -31,19 +32,20 @@ <h1>Get the UVLS VSCode Extension</h1>
         </p>
     </dialog>
 </div>
-<div class="splitter">
-    <div id="first">
-        <div id="container" class="editor"></div>
-    </div>
-    <div id="separator"></div>
-
-    <div id="second">
-        <div class="graph"></div>
-
-
+<div id="main-div" style="display: flex;">
+    <div class="splitter">
+        <div id="first">
+            <div id="container" class="editor"></div>
+        </div>
+        <div id="separator"></div>
+    
+        <div id="second">
+            <div class="graph"></div>
+        </div>
     </div>
 </div>
 
+
 <div class="footer">
     <p>The Universal Variability Language (UVL) is a community effort towards a widely adopted textual specification
         for feature models. This playground provides the opportunity to get used to the language with
@@ -105,5 +107,108 @@ <h1>Get the UVLS VSCode Extension</h1>
 
     dragElement(document.getElementById("separator"), "H");
 </script>
+<script>
+    const tutorialContent = [
+        {title: "Welcome!", text: "Welcome to the UVL Tutorial. All code listings will automatically be placed in the editor on the left. Click 'Next' to start the tutorial."},
+        {title: "Basic Feature Model!", text: "Start with the 'features' key word to start enumerating your features. Indentations matter in UVL and represent the tree structure.", codeListing: "features\n\tfeature1\n\tfeature2"},
+        {title: "Feature Groups", text: "You can use 'alternative', 'mandatory', 'optional', and 'or', to create groups.", codeListing: "features\n\tfeature1\n\tfeature2"}
+    ]
+    let tutorialToogle = false;
+    var uvlTutorialButton = document.getElementById("uvl-tutorialButton");
+    uvlTutorialButton.addEventListener('click', function() {
+        let tutorialPageCounter = 0;
+        tutorialToogle = !tutorialToogle;
+        let mainDiv = document.getElementById("main-div");
+        let splitter = document.getElementsByClassName("splitter")[0];
+        if(tutorialToogle){
+            splitter.style.width = "75%";
+            setTutorialPage(mainDiv, tutorialPageCounter);
+        }else{
+            splitter.style.width = "100%";
+            let newDiv = document.getElementById("uvl-tutorial-div");
+            mainDiv.removeChild(newDiv);
+        }
+    });
+
+    function setTutorialPage(mainDiv, pageNumber){
+        let tutorialDiv = document.getElementById("uvl-tutorial-div");
+        if(tutorialDiv !== null){
+            mainDiv.removeChild(tutorialDiv);
+        }
+        tutorialDiv = getTutorialPage(mainDiv, pageNumber);
+        mainDiv.appendChild(tutorialDiv);
+    }
+
+    function getTutorialPage(mainDiv, pageNumber){
+        const content = tutorialContent[pageNumber];
+        let newDiv = document.createElement('div');
+        newDiv.id = "uvl-tutorial-div";
+        newDiv.style.color = "white";
+        newDiv.style.position = "relative";
+        newDiv.style.width = "100%";
+        let headline = document.createElement('h2');
+        headline.textContent = content.title;
+        let text = document.createElement('div');
+        text.textContent = content.text;
+        
+        let navigationContainer = document.createElement('div');
+        navigationContainer.style.position = "absolute";
+        navigationContainer.style.bottom = 0;
+        navigationContainer.style.display = "flex";
+        navigationContainer.style.justifyContent = "space-between";
+        navigationContainer.style.width = "90%";
+        navigationContainer.style.padding = "10px";
+        let backButton = document.createElement('div');
+        if(pageNumber > 0){
+            backButton = document.createElement('button');
+            backButton.textContent = "Back";
+            backButton.style.backgroundColor = "#1e1e1e";
+            backButton.style.color = "#fff";
+            backButton.style.border= "2px solid 'fff";
+            backButton.style.borderRadius = "10%";
+            backButton.style.padding = "10px 20px";
+            backButton.style.cursor = "pointer";
+            backButton.style.fontSize = "16px";
+            backButton.onclick = () => {
+                setTutorialPage(mainDiv, pageNumber - 1);
+            } 
+        }
+        navigationContainer.appendChild(backButton);
+        let nextButton = document.createElement('button');        
+        nextButton.style.backgroundColor = "#1e1e1e";
+        nextButton.style.color = "#fff";
+        nextButton.style.border= "2px solid 'fff";
+        nextButton.style.borderRadius = "10%";
+        nextButton.style.padding = "10px 20px";
+        nextButton.style.cursor = "pointer";
+        nextButton.style.fontSize = "16px";
+        if(pageNumber < tutorialContent.length - 1){
+            nextButton.textContent = "Next";
+            nextButton.onclick = () => {
+                setTutorialPage(mainDiv, pageNumber + 1);
+            } 
+        }else{
+            nextButton.textContent = "Done";
+            nextButton.onclick = () => {
+                let splitter = document.getElementsByClassName("splitter")[0];
+                splitter.style.width = "100%";
+                let newDiv = document.getElementById("uvl-tutorial-div");
+                mainDiv.removeChild(newDiv);
+                tutorialToogle = !tutorialToogle;
+            } 
+        }
+        navigationContainer.appendChild(nextButton);
+        
+        newDiv.appendChild(headline);
+        newDiv.appendChild(text);
+        newDiv.appendChild(navigationContainer);
+        const editor = window.editor;
+        if(editor && content.codeListing !== undefined){
+            editor.setValue(content.codeListing);
+        }
+        return newDiv;
+    }
+    
+</script>
 </body>
 </html>
diff --git a/WebSocketClient/src/main.ts b/WebSocketClient/src/main.ts
index 7a35420..6f3252b 100644
--- a/WebSocketClient/src/main.ts
+++ b/WebSocketClient/src/main.ts
@@ -253,6 +253,7 @@ export const startPythonClient = async () => {
     const editor = createConfiguredEditor(document.getElementById('container')!, {
         model: modelRef.object.textEditorModel, automaticLayout: true
     });
+    window["editor"] = editor;
 
     editor.onDidChangeModelContent(() => {
         const model = editor.getModel();
diff --git a/WebSocketClient/style.css b/WebSocketClient/style.css
index cc136a6..ac782da 100644
--- a/WebSocketClient/style.css
+++ b/WebSocketClient/style.css
@@ -146,9 +146,9 @@ a:active {
     position: fixed;
     top: 10px;
     right: 10px;
-    background-color: #bdc3c7; /* Light gray color for dark mode */
-    color: #34495e; /* Dark text color for dark mode */
-    border: none;
+    background-color: #1e1e1e; /* Light gray color for dark mode */
+    color: white; /* Dark text color for dark mode */
+    border: 2px solid #fff;
     border-radius: 50%;
     padding: 10px;
    
@@ -168,4 +168,36 @@ a:active {
 
   .tutorial-button:hover {
     background-color: #95a5a6; /* Darker gray on hover for dark mode */
+  }
+
+  .uvl-tutorial-button {
+    position: fixed;
+    top: 10px;
+    right: 60px;
+    background-color: #1e1e1e; /* Light gray color for dark mode */
+    color: white; /* Dark text color for dark mode */
+    border: 2px solid #fff;
+    border-radius: 50%;
+    padding: 10px;
+   
+    cursor: pointer;
+    box-shadow: 0 4px 6px rgba(0, 0, 0, 0.1);
+    transition: background-color 0.3s ease;
+    width: 20px; /* Adjust the size as needed */
+    height: 20px;
+    display: flex;
+    align-items: center;
+    justify-content: center;
+  }
+
+  .uvl-tutorial-button-text {
+    font-size: 20px;
+  }
+
+  .uvl-tutorial-button:hover {
+    background-color: #95a5a6; /* Darker gray on hover for dark mode */
+  }
+
+  .tutorial {
+    color: white;
   }
\ No newline at end of file
diff --git a/WebSocketLanguageServer/src/index.ts b/WebSocketLanguageServer/src/index.ts
index 116a5ba..98ab47f 100644
--- a/WebSocketLanguageServer/src/index.ts
+++ b/WebSocketLanguageServer/src/index.ts
@@ -45,7 +45,7 @@ const launchLanguageServer = (socket: IWebSocket) => {
             }
             if (Message.isResponse(message)) {
                 console.log(`${serverName} Server sent:`);
-                logObjectRecursively(JSON.stringify(message));
+                logObjectRecursively(message);
             }
             return message;