Member predicate ConstructorInitializer :: isBase
Holds if this initializer is a base
initializer, for example base(0)
in
class A
{
A(int i) { }
}
class B : A
{
B() : base(0) { }
}
predicate
isBase
(
)