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