Clean up LabelInfo

runtimeverification · Oct 24, 2023 · 17fb4e5 · 17fb4e5
1 parent 4afe42f
commit 17fb4e5
Showing 1 changed file with 4 additions and 22 deletions.
diff --git a/kore/src/main/java/org/kframework/compile/LabelInfo.java b/kore/src/main/java/org/kframework/compile/LabelInfo.java
@@ -78,11 +78,9 @@ public boolean isFunction(K term) {
         if (term instanceof KApply && isFunction(((KApply) term).klabel())) {
             return true;
         }
-        if (term instanceof KRewrite && ((KRewrite) term).left() instanceof KApply
-                && isFunction(((KApply) ((KRewrite) term).left()).klabel())) {
-            return true;
-        }
-        return false;
+
+        return term instanceof KRewrite && ((KRewrite) term).left() instanceof KApply
+                && isFunction(((KApply) ((KRewrite) term).left()).klabel());
     }
 
     /**
@@ -92,23 +90,7 @@ public AssocInfo getAssocInfo(KLabel l) {
         return assocInfo.get(l);
     }
 
-    public static class AssocInfo {
-        public AssocInfo(boolean isAssoc, boolean isComm) {
-            this.isAssoc = isAssoc;
-            this.isComm = isComm;
-        }
-
-        private final boolean isAssoc;
-        private final boolean isComm;
-
-        public boolean isAssoc() {
-            return isAssoc;
-        }
-
-        public boolean isComm() {
-            return isComm;
-        }
-    }
+    public record AssocInfo(boolean isAssoc, boolean isComm) {}
 
     public Production getProduction(String label) {
       return productions.get(label);