Creating an JSON-RPC API

KeYProject · Oct 15, 2023 · 74f91b5 · 74f91b5
1 parent faca042
commit 74f91b5
Show file tree

Hide file tree

Showing 63 changed files with 1,094 additions and 1,617 deletions.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/Identifiable.java b/key.core/src/main/java/de/uka/ilkd/key/Identifiable.java
@@ -0,0 +1,11 @@
+package de.uka.ilkd.key;
+
+/**
+ * @author Alexander Weigl
+ * @version 1 (14.10.23)
+ */
+public interface Identifiable {
+    default String identification() {
+        return getClass().getName() + "_" + hashCode();
+    }
+}
diff --git a/key.core/src/main/java/de/uka/ilkd/key/api/KeYApi.java b/key.core/src/main/java/de/uka/ilkd/key/api/KeYApi.java
diff --git a/key.core/src/main/java/de/uka/ilkd/key/api/Matcher.java b/key.core/src/main/java/de/uka/ilkd/key/api/Matcher.java
diff --git a/key.core/src/main/java/de/uka/ilkd/key/api/ProjectedNode.java b/key.core/src/main/java/de/uka/ilkd/key/api/ProjectedNode.java