fix injector

Author: wadoon

key.core/src/main/java/de/uka/ilkd/key/scripts/meta/ValueInjector.java

@@ -5,6 +5,7 @@
 
 import java.util.*;
 import java.util.stream.Collectors;
+import java.util.stream.Stream;
 
 import de.uka.ilkd.key.scripts.ProofScriptCommand;
 import de.uka.ilkd.key.scripts.ScriptCommandAst;
@@ -169,10 +170,18 @@ private void injectIntoField(ProofScriptArgument meta, ScriptCommandAst args, Ob
         if (meta.isFlag()) {
             val = args.namedArgs().get(meta.getName());
             if (val == null) {
-                // can also be given w/o colon or equal sign.
-                // command hide;
-                val = args.positionalArgs().stream()
-                        .anyMatch(it -> it.toString().equals(meta.getName()));
+                // can also be given w/o colon or equal sign, e.g.,
+                // "command hide;"
+                var stringStream = args.positionalArgs().stream()
+                        .map(it -> {
+                            try {
+                                return convert(it, String.class);
+                            } catch (NoSpecifiedConverterException | ConversionException e) {
+                                return "";
+                            }
+                        });
+                // val == true iff the name of the flag appear as a positional argument.
+                val = stringStream.anyMatch(it -> Objects.equals(it, meta.getName()));
             }
         }
 

key.ui/build.gradle

@@ -90,6 +90,13 @@ tasks.register('runWithProfiler', JavaExec) {
     }
 }
 
+tasks.register('runInExperimentalMode', JavaExec) {
+    group = "application"
+    classpath = sourceSets.main.runtimeClasspath
+    mainClass.set("de.uka.ilkd.key.core.Main")
+    args("--experimental")
+}
+
 /**
  * Go and scan all registered README.txt files for files that need to be
  * included into examples.zip. Thus only those files that can actually be