added type mapping from ast-tc

INTO-CPS-Association · Dec 11, 2023 · d3b9972 · d3b9972
1 parent 25ed5d6
commit d3b9972
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/fmi2/vdmcheck/src/main/resources/annotations/ast-tc.mappings 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);