Member predicate Class::hasVirtualBaseClass
Holds if this class/struct has a virtual class derivation, for
example the virtual public B
in the following code:
class D : virtual public B {
...
};
predicate hasVirtualBaseClass(Class base)
Holds if this class/struct has a virtual class derivation, for
example the virtual public B
in the following code:
class D : virtual public B {
...
};
predicate hasVirtualBaseClass(Class base)