Member predicate MetricClass::shareField
Holds if m1
and m2
are distinct member functions of this class that
both access a common field.
predicate shareField(MemberFunction m1, MemberFunction m2)
Holds if m1
and m2
are distinct member functions of this class that
both access a common field.
predicate shareField(MemberFunction m1, MemberFunction m2)