Dry run

runtimeverification · Oct 26, 2023 · ca0f710 · ca0f710
1 parent bac2c75
commit ca0f710
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 13 deletions.
diff --git a/kernel/src/main/java/org/kframework/compile/GenerateSentencesFromConfigDecl.java b/kernel/src/main/java/org/kframework/compile/GenerateSentencesFromConfigDecl.java
@@ -550,10 +550,8 @@ private static Tuple4<Set<Sentence>, Sort, K, Boolean> computeSentencesOfWellFor
               .add(Att.WRAP_ELEMENT(), "<" + cellName + ">")
               .add(Att.UNIT(), "." + bagSort.name())
               .add(Att.HOOK(), type.toUpperCase() + ".concat")
-              .add(
-                  Att
-                      .AVOID()) // needed to ensure cell collections are parsed as Bag instead of
-                                // CellBag
+              .add(Att.AVOID()) // needed to ensure cell collections are parsed as Bag instead of
+              // CellBag
               .add(Att.FUNCTION());
       String unitHook = type.toUpperCase() + ".unit", elementHook = type.toUpperCase() + ".element";
       switch (type) {

diff --git a/kernel/src/main/java/org/kframework/lsp/TextDocumentSyncHandler.java b/kernel/src/main/java/org/kframework/lsp/TextDocumentSyncHandler.java
@@ -753,9 +753,8 @@ public CompletableFuture<List<SelectionRange>> selectionRange(SelectionRangePara
                                         SelectionRange tsr =
                                             new SelectionRange(
                                                 loc2range(t.location().get()), x.get());
-                                        x.set(
-                                            tsr); // find the deepest term that contains this
-                                                  // position
+                                        x.set(tsr); // find the deepest term that contains this
+                                        // position
                                       }
                                       return t;
                                     },
@@ -765,7 +764,7 @@ public CompletableFuture<List<SelectionRange>> selectionRange(SelectionRangePara
                         }
                         lloc.add(x.get());
                       } else { // anything else that doesn't have a complex structure: Import,
-                               // SyntaxPriorities...
+                        // SyntaxPriorities...
                         lloc.add(new SelectionRange(loc2range(getSafeLoc(mi)), msr));
                       }
                     }

diff --git a/kernel/src/main/java/org/kframework/parser/inner/RuleGrammarGenerator.java b/kernel/src/main/java/org/kframework/parser/inner/RuleGrammarGenerator.java
@@ -550,7 +550,7 @@ public static Tuple3<Module, Module, Module> getCombinedGrammarImpl(
       Object PRESENT = new Object();
       PatriciaTrie<Object> terminals =
           new PatriciaTrie<>(); // collect all terminals so we can do automatic follow restriction
-                                // for prefix terminals
+      // for prefix terminals
       parseProds.stream()
           .filter(sent -> sent instanceof Production)
           .forEach(
@@ -568,7 +568,7 @@ public static Tuple3<Module, Module, Module> getCombinedGrammarImpl(
                     if (s instanceof Production p) {
                       if (p.sort().name().startsWith("#"))
                         return p; // don't do anything for such productions since they are advanced
-                                  // features
+                      // features
                       // rewrite productions to contain follow restrictions for prefix terminals
                       // example _==_ and _==K_ can produce ambiguities. Rewrite the first into
                       // _(==(?![K])_

diff --git a/kernel/src/main/java/org/kframework/parser/inner/disambiguation/KAppToTermConsVisitor.java b/kernel/src/main/java/org/kframework/parser/inner/disambiguation/KAppToTermConsVisitor.java
@@ -53,7 +53,7 @@ public Either<java.util.Set<KEMException>, Term> apply(TermCons tc) {
         // TODO: remove check once the java backend is no longer supported.
         return super.apply(
             tc); // don't do anything if the label is not a token KLabel (in case of variable or
-                 // casted variable)
+      // casted variable)
       String klvalue = kl.value();
       try {
         klvalue = StringUtil.unescapeKoreKLabel(kl.value());

diff --git a/kore/src/main/java/org/kframework/utils/StringUtil.java b/kore/src/main/java/org/kframework/utils/StringUtil.java
@@ -1,8 +1,6 @@
 // Copyright (c) K Team. All Rights Reserved.
 package org.kframework.utils;
 
-
-
 import java.util.HashMap;
 import java.util.Map;
 import java.util.regex.Pattern;