feat: added elevator example

SoftVarE-Group · Jan 11, 2024 · a0396f0 · a0396f0
1 parent 4a85a35
commit a0396f0
Showing 1 changed file with 40 additions and 0 deletions.
diff --git a/WebSocketClient/assets/uvlExamples.ts b/WebSocketClient/assets/uvlExamples.ts
@@ -9,6 +9,7 @@ export function initExamples(editor: editor.IStandaloneCodeEditor) {
     initExample("Default", defaultExampleText);
     initExample("Ice Cream", iceCreamExampleText);
     initExample("Computer", computerExampleText);
+    initExample("Elevator", elevatorExampleText);
 }
 
 const defaultExampleText = `features
@@ -75,6 +76,45 @@ constraints
     Dedicated => Liquid
     sum(powerConsumption) > 300 => StrongPSU`
 
+const elevatorExampleText = `//Example from FeatureIDE Book
+features
+    Elevator {abstract}
+        mandatory
+            Behavior {abstract}
+                mandatory
+                    Modes {abstract}
+                        alternative
+                            Sabbath
+                            FIFO
+                            ShortestPath
+                optional
+                    Service
+                    Priorities {abstract}
+                        or
+                            RushHour
+                            FloorPriority
+                            PersonPriority
+        optional
+            VoiceOutput
+            CallButtons {abstract}
+                alternative
+                    DirectedCall
+                    UndirectedCall
+            Security {abstract}
+                mandatory
+                    Permission {abstract}
+                        or
+                            FloorPermission
+                            PermissionControl
+            Safety {abstract}
+                optional
+                    Overloaded
+
+constraints
+    CallButtons | Sabbath
+    DirectedCall => ShortestPath
+    UndirectedCall => FIFO | ShortestPath`
+
 function initExample(name: string, content: string){
     const dropdown = document.getElementById("examples-dropdown");
     const button = document.createElement("button");