Fix bug in checker that made it not execute and made ArgSpec less likely to cause accidental errors.

1 files changed, 24 insertions, 19 deletions

diff --git a/ast/src/main/java/lv/enes/orang/ast/ArgSpec.java b/ast/src/main/java/lv/enes/orang/ast/ArgSpec.java
index 7fea2f4..8fa52be 100644
--- a/ast/src/main/java/lv/enes/orang/ast/ArgSpec.java
+++ b/ast/src/main/java/lv/enes/orang/ast/ArgSpec.java
@@ -1,34 +1,39 @@
 package lv.enes.orang.ast;
 
-public class ArgSpec {
-        public final Type type;
+public sealed interface ArgSpec {
+        enum Type {
+                IGNORED,
+                NOTHING,
+                NAMED,
+        }
 
-        // non-null if NAMED
-        public final String name;
+        Type getType();
 
-        private static final ArgSpec NOTHING = new ArgSpec(Type.NOTHING, null);
-        private static final ArgSpec IGNORED = new ArgSpec(Type.IGNORED, null);
+        static Ignored ignored() {
+                return Ignored.INSTANCE;
+        }
 
-        public static ArgSpec ignored() {
-                return IGNORED;
+        static Named named(String name) {
+                return new Named(name);
         }
 
-        public static ArgSpec nothing() {
-                return NOTHING;
+        static Nothing nothing() {
+                return Nothing.INSTANCE;
         }
 
-        public static ArgSpec named(String name) {
-                return new ArgSpec(Type.NAMED, name);
+        final class Ignored implements ArgSpec {
+                public static final Ignored INSTANCE = new Ignored();
+                private Ignored() {}
+                @Override public Type getType() { return Type.IGNORED; }
         }
 
-        private ArgSpec(Type type, String name) {
-                this.type = type;
-                this.name = name;
+        record Named(String name) implements ArgSpec {
+                @Override public Type getType() { return Type.NAMED; }
         }
 
-        public enum Type {
-                IGNORED,
-                NOTHING,
-                NAMED,
+        final class Nothing implements ArgSpec {
+                public static final Nothing INSTANCE = new Nothing();
+                private Nothing() {}
+                @Override public Type getType() { return Type.NOTHING; }
         }
 }