Add warning for nested convertLocal calls

nickbattle · Jan 6, 2024 · 68eb7bd · 68eb7bd
1 parent d63e79c
commit 68eb7bd
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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>();
 	}