kernel/src/main/java/org/kframework/parser/InputModes.java: Added InputModes enum for kast --input <mode>

Guy Repta · Guy Repta · commit 1d5513630b5e · 2019-06-07T15:27:34.000Z
diff --git a/kernel/src/main/java/org/kframework/parser/InputModes.java b/kernel/src/main/java/org/kframework/parser/InputModes.java
@@ -0,0 +1,6 @@
+// Copyright (c) 2019 K Team. All Rights Reserved.
+package org.kframework.parser;
+
+public enum InputModes {
+    PROGRAM, JSON;
+}
