VFTable Belongs check. Fix groundTruth bug.

Author: sei-eschwartz

share/prolog/oorules/insanity.pl

@@ -4,6 +4,7 @@
 % ============================================================================================
 
 :- table haveGround/0 as opaque.
+:- multifile groundTruth/9.
 haveGround :- groundTruth(_, _, _, _, _, _, _, _, _), !.
 
 % If we have ground truth, did we merge two different classes together?
@@ -24,6 +25,18 @@
         logwarnln('Consistency checks failed.~n~Q (~Q::~Q) and ~Q (~Q::~Q) are on the same class, but ground truth says they are on ~Q and ~Q.', [M1, C1, Mname1, M2, C2, Mname2, C1, C2])
     ).
 
+% If we have ground truth, is VFTableBelongsToClass correct?
+:- table insanityVFTableDoesntBelong/1 as incremental.
+insanityVFTableDoesntBelong(Out) :-
+    reasonVFTableBelongsToClass(VFTable, Offset, Class, Rule, VFTableWrite),
+    groundTruth(VFTable, GVFTableClass, 'vftable', table, vftable, _, _, _, _),
+    groundTruth(Class, GClass, Method, _, _, _, _, _, _),
+    iso_dif(GVFTableClass, GClass),
+
+    Out = (
+        logwarnln('Consistency checks failed.~n~Q but ground truth says ~Q is on ~Q and ~Q is on ~Q.', [reasonVFTableBelongsToClass(VFTable, Offset, Class, Rule, VFTableWrite), VFTable, GVFTableClass, Class, GClass])
+    ).
+
 
 % If we say we have no base classes, we have no base classes :-)
 :- table insanityNoBaseConsistency/1 as incremental.
@@ -374,6 +387,7 @@
 groundSanityChecks(Out) :-
     haveGround,
 
+    insanityVFTableDoesntBelong(Out),
     insanityGroundBadMerge(Out).
 
 sanityChecks :-