Addition of constructors to the virtual function table.

overturetool · Oct 25, 2016 · 6f7c670 · 6f7c670
1 parent d72e400
commit 6f7c670
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/core/vdm2c/src/main/java/org/overture/codegen/vdm2c/VTableGenerator.java b/core/vdm2c/src/main/java/org/overture/codegen/vdm2c/VTableGenerator.java
@@ -137,8 +137,11 @@ public static void generateLevel2(List<IRStatus<AClassHeaderDeclIR>> headers)
 
 	static boolean excludeFromVtable(AMethodDeclIR m)
 	{
-		return m.getIsConstructor()
-				|| m.getTag() instanceof Vdm2cTag
+//		return m.getIsConstructor()
+//				|| m.getTag() instanceof Vdm2cTag
+//				&& ((Vdm2cTag) m.getTag()).methodTags.contains(Vdm2cTag.MethodTag.Internal);
+
+		return m.getTag() instanceof Vdm2cTag
 				&& ((Vdm2cTag) m.getTag()).methodTags.contains(Vdm2cTag.MethodTag.Internal);
 	}