From d3b99724da26fc3e3a11b6d84cb057aca7e7bbe4 Mon Sep 17 00:00:00 2001
From: Kenneth Lausdahl <kenneth@lausdahl.com>
Date: Mon, 11 Dec 2023 12:32:30 +0100
Subject: [PATCH] added type mapping from ast-tc

---
 .../src/main/resources/annotations/ast-tc.mappings         | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 fmi2/vdmcheck/src/main/resources/annotations/ast-tc.mappings

diff --git a/fmi2/vdmcheck/src/main/resources/annotations/ast-tc.mappings b/fmi2/vdmcheck/src/main/resources/annotations/ast-tc.mappings
new file mode 100644
index 00000000..d62ecb36
--- /dev/null
+++ b/fmi2/vdmcheck/src/main/resources/annotations/ast-tc.mappings
@@ -0,0 +1,7 @@
+##########################################################################################
+# The annotation class mapping definition for the VDMJ Type Checker. See ClassMapper.
+##########################################################################################
+
+# annotations
+package annotations.ast to annotations.tc;
+map ASTOnFailAnnotation{name, args} to TCOnFailAnnotation(name, args);