From 639c14ede403623249e08c5dcc4c2519771cc796 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Petr=20Ivi=C4=8Di=C4=8D?= <492712@mail.muni.cz>
Date: Thu, 9 May 2024 17:54:46 +0200
Subject: [PATCH] disable variable selector when applicable

---
 .../component/properties-editor/default-properties.ts |  4 ++--
 .../static-input-essential-condition.ts               |  3 ++-
 .../static-input-monotonic-condition.ts               | 11 +++++++----
 3 files changed, 11 insertions(+), 7 deletions(-)

diff --git a/src/html/component/properties-editor/default-properties.ts b/src/html/component/properties-editor/default-properties.ts
index 6ddd902..ec743aa 100644
--- a/src/html/component/properties-editor/default-properties.ts
+++ b/src/html/component/properties-editor/default-properties.ts
@@ -91,8 +91,8 @@ export const functionInputEssentialWithCondition = (id: string): IFunctionInputE
     id,
     name: 'function-input-essential',
     variant: StaticPropertyType.FunctionInputEssentialWithCondition,
-    target: 'func',
-    input: 'var',
+    target: undefined,
+    input: undefined,
     value: Essentiality.TRUE,
     context: ''
   }
diff --git a/src/html/component/properties-editor/static/static-input-essential-condition/static-input-essential-condition.ts b/src/html/component/properties-editor/static/static-input-essential-condition/static-input-essential-condition.ts
index ee364f1..a6a7563 100644
--- a/src/html/component/properties-editor/static/static-input-essential-condition/static-input-essential-condition.ts
+++ b/src/html/component/properties-editor/static/static-input-essential-condition/static-input-essential-condition.ts
@@ -127,7 +127,8 @@ export default class StaticInputEssentialCondition extends StaticDynamicProperty
               `)}
             </select>
             <span>${this.getEssentialitySymbol()}</span>
-            <select id="second-selector" class="uk-select" @change="${this.secondChanged}">
+            <select id="second-selector" class="uk-select" @change="${this.secondChanged}"
+                    ?disabled="${this.property.target === undefined}">
               <option value="${undefined}">---</option>
               ${map(this.getSecondSelectorItems(), (item) => html`
                 <option value="${item}">${item}</option>
diff --git a/src/html/component/properties-editor/static/static-input-monotonic-condition/static-input-monotonic-condition.ts b/src/html/component/properties-editor/static/static-input-monotonic-condition/static-input-monotonic-condition.ts
index 26b5b23..5b5dd59 100644
--- a/src/html/component/properties-editor/static/static-input-monotonic-condition/static-input-monotonic-condition.ts
+++ b/src/html/component/properties-editor/static/static-input-monotonic-condition/static-input-monotonic-condition.ts
@@ -57,7 +57,8 @@ export default class StaticInputMonotonicCondition extends StaticDynamicProperty
   }
 
   firstChanged (event: Event): void {
-    const value = (event.target as HTMLSelectElement).value
+    let value: string | undefined = (event.target as HTMLSelectElement).value
+    value = value === '' ? undefined : value
     console.log(value)
     if (this.property.variant === StaticPropertyType.FunctionInputMonotonicWithCondition) {
       this.updateProperty({
@@ -76,7 +77,8 @@ export default class StaticInputMonotonicCondition extends StaticDynamicProperty
   }
 
   secondChanged (event: Event): void {
-    const value = (event.target as HTMLSelectElement).value
+    let value: string | undefined = (event.target as HTMLSelectElement).value
+    value = value === '' ? undefined : value
     if (this.property.variant === StaticPropertyType.FunctionInputMonotonicWithCondition) {
       this.updateProperty({
         ...this.property,
@@ -130,8 +132,9 @@ export default class StaticInputMonotonicCondition extends StaticDynamicProperty
               `)}
             </select>
             <span>${this.getMonotonicitySymbol()}</span>
-            <select id="second-selector" class="uk-select" @change="${this.secondChanged}">
-              <option value="${undefined}">---</option>
+            <select id="second-selector" class="uk-select" @change="${this.secondChanged}"
+                    ?disabled="${this.property.target === undefined}">
+            <option value="${undefined}">---</option>
               ${map(this.getSecondSelectorItems(), (item) => html`
                 <option value="${item}">${item}</option>
               `)}