From 68eb7bd5afccd70a8faac4318e202968cee25d4f Mon Sep 17 00:00:00 2001
From: nick_battle <nick.battle@gmail.com>
Date: Sat, 6 Jan 2024 18:09:20 +0000
Subject: [PATCH] Add warning for nested convertLocal calls

---
 vdmj/src/main/java/com/fujitsu/vdmj/mapper/ClassMapper.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/mapper/ClassMapper.java b/vdmj/src/main/java/com/fujitsu/vdmj/mapper/ClassMapper.java
index 9a2fb0839..6f091004e 100644
--- a/vdmj/src/main/java/com/fujitsu/vdmj/mapper/ClassMapper.java
+++ b/vdmj/src/main/java/com/fujitsu/vdmj/mapper/ClassMapper.java
@@ -965,6 +965,11 @@ else if (mp.unmapped)
 	 */
 	private void mark()
 	{
+		if (marked != null)
+		{
+			errorStream.println("WARNING: Nested call to convertLocal?");
+		}
+		
 		marked = new Vector<Long>();
 	}