Improve inaccessible VDM++ member errors

nickbattle · Jan 13, 2024 · 2b3dfdd · 2b3dfdd
1 parent 2bd9fb0
commit 2b3dfdd
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/typechecker/Environment.java b/vdmj/src/main/java/com/fujitsu/vdmj/typechecker/Environment.java
@@ -210,7 +210,15 @@ public void listAlternatives(TCNameToken name)
 		{
 			if (possible.isFunctionOrOperation())
 			{
-				TypeChecker.detail("Possible", possible.name);
+				boolean accessible = TCClassDefinition.isAccessible(this, possible, false);
+				String tag = "Possible";
+
+				if (!accessible)
+				{
+					tag = tag + " (but " + possible.accessSpecifier + ")";
+				}
+
+				TypeChecker.detail(tag, possible.name);
 			}
 		}
 	}