From aad93145dbdf402a1a96ab60eebcd117d06bd6af Mon Sep 17 00:00:00 2001
From: Nick Battle <nick.battle@gmail.com>
Date: Tue, 14 May 2024 10:27:45 +0100
Subject: [PATCH] Added annotations.json

---
 annotations/src/main/resources/META-INF/annotations.json  | 6 ++++++
 annotations2/src/main/resources/META-INF/annotations.json | 6 ++++++
 2 files changed, 12 insertions(+)
 create mode 100644 annotations/src/main/resources/META-INF/annotations.json
 create mode 100644 annotations2/src/main/resources/META-INF/annotations.json

diff --git a/annotations/src/main/resources/META-INF/annotations.json b/annotations/src/main/resources/META-INF/annotations.json
new file mode 100644
index 000000000..40a3dbd11
--- /dev/null
+++ b/annotations/src/main/resources/META-INF/annotations.json
@@ -0,0 +1,6 @@
+{
+    "name": "annotations",
+    "description": "Standard VDMJ Annotations",
+    "dialects": [ "vdmsl", "vdmpp", "vdmrt" ],
+    "precision": "standard"
+}
\ No newline at end of file
diff --git a/annotations2/src/main/resources/META-INF/annotations.json b/annotations2/src/main/resources/META-INF/annotations.json
new file mode 100644
index 000000000..a7a94debb
--- /dev/null
+++ b/annotations2/src/main/resources/META-INF/annotations.json
@@ -0,0 +1,6 @@
+{
+    "name": "annotations2",
+    "description": "Experimental VDMJ Annotations",
+    "dialects": [ "vdmsl", "vdmpp", "vdmrt" ],
+    "precision": "standard"
+}
\ No newline at end of file