Support remembering previously completed Verb Installations

phoenicis-engines/src/main/java/org/phoenicis/engines/Engine.java

@@ -115,4 +115,21 @@ String run(String executable, String[] args, String workingDir, boolean captureO
      * @param wizard setup wizard
      */
     void setWizard(SetupWizard wizard);
+
+    /**
+     * Registers as verb as being "installed"
+     *
+     * @param verbId The ID of the verb
+     * @param container The container where the verb has been installed
+     */
+    void registerVerb(String verbId, String container);
+
+    /**
+     * Checks whether a given verb has been registered as being "installed"
+     *
+     * @param verbId The ID of the verb
+     * @param container The container where the verb has been installed
+     * @return True if the verb has been registered as being "installed", false otherwise
+     */
+    boolean isVerbRegistered(String verbId, String container);
 }

phoenicis-engines/src/main/java/org/phoenicis/engines/EnginesConfiguration.java

@@ -51,7 +51,8 @@ public EngineSettingsManager engineSettingsManager() {
 
     @Bean
     public VerbsManager verbsManager() {
-        return new VerbsManager(scriptsConfiguration.scriptInterpreter());
+        return new VerbsManager(scriptsConfiguration.scriptInterpreter(),
+                scriptsConfiguration.graalScriptEngineFactory());
     }
 
     @Bean

phoenicis-engines/src/main/java/org/phoenicis/engines/VerbsManager.java

@@ -23,6 +23,8 @@
 import org.phoenicis.repository.dto.CategoryDTO;
 import org.phoenicis.repository.dto.RepositoryDTO;
 import org.phoenicis.repository.dto.TypeDTO;
+import org.phoenicis.scripts.engine.PhoenicisScriptEngineFactory;
+import org.phoenicis.scripts.engine.implementation.PhoenicisScriptEngine;
 import org.phoenicis.scripts.exceptions.ScriptException;
 import org.phoenicis.scripts.interpreter.ScriptInterpreter;
 import org.phoenicis.scripts.session.InteractiveScriptSession;
@@ -39,13 +41,17 @@
 public class VerbsManager {
     private final ScriptInterpreter scriptInterpreter;
 
+    private final PhoenicisScriptEngineFactory scriptEngineFactory;
+
     /**
      * Constructor
      *
      * @param scriptInterpreter The underlying script interpreter
+     * @param scriptEngineFactory
      */
-    public VerbsManager(ScriptInterpreter scriptInterpreter) {
+    public VerbsManager(ScriptInterpreter scriptInterpreter, PhoenicisScriptEngineFactory scriptEngineFactory) {
         this.scriptInterpreter = scriptInterpreter;
+        this.scriptEngineFactory = scriptEngineFactory;
     }
 
     /**
@@ -129,4 +135,17 @@ public void fetchAvailableVerbs(RepositoryDTO repositoryDTO, Consumer<Map<String
         }
         callback.accept(verbs);
     }
+
+    public boolean isVerbInstalled(String engineId, String verbId, String container) {
+        final PhoenicisScriptEngine scriptEngine = scriptEngineFactory.createEngine();
+
+        final String include = String.format("include(\"engines.%s.engine.implementation\");", engineId);
+
+        final Value engineClass = (Value) scriptEngine.evalAndReturn(include, exception -> {
+        });
+
+        final Engine engine = engineClass.newInstance().as(Engine.class);
+
+        return engine.isVerbRegistered(verbId, container);
+    }
 }

phoenicis-javafx/src/main/java/org/phoenicis/javafx/components/container/skin/ContainerVerbsPanelSkin.java

@@ -145,19 +145,34 @@ private HBox createVerbManagementButtons(final GridPane verbs) {
     private void updateVerbs(final GridPane verbs) {
         verbs.getChildren().clear();
 
+        String engineId = getControl().getContainer().getEngine();
+        String container = getControl().getContainer().getName();
+
         for (ScriptDTO verb : getControl().getVerbScripts()) {
+            final boolean alreadyInstalled = getControl().getVerbsManager()
+                    .isVerbInstalled(engineId, verb.getId(), container);
+
             final int row = verbs.getRowCount();
 
             final CheckBox verbCheck = new CheckBox();
-            verbCheck.disableProperty().bind(getControl().lockVerbsProperty());
+            if (alreadyInstalled) {
+                verbCheck.setDisable(true);
+            } else {
+                verbCheck.disableProperty().bind(getControl().lockVerbsProperty());
+            }
 
             final Label verbName = new Label(verb.getScriptName());
             // select the associated checkbox if the label has been clicked
             verbName.setOnMouseClicked(event -> verbCheck.fire());
 
-            GridPane.setHgrow(verbName, Priority.ALWAYS);
+            final Label installedLabel = new Label();
+            if (alreadyInstalled) {
+                installedLabel.setText(tr("Already Installed"));
+            }
+
+            GridPane.setHgrow(installedLabel, Priority.ALWAYS);
 
-            verbs.addRow(row, verbCheck, verbName);
+            verbs.addRow(row, verbCheck, verbName, installedLabel);
         }
     }
 }