Predicate overridesIgnoringAccess
Auxiliary predicate: whether method m1
overrides method m2
,
ignoring any access modifiers. Additionally, this predicate binds
t1
to the type declaring m1
and t2
to the type declaring m2
.
Import path
import java
predicate
overridesIgnoringAccess
(
Method
m1
,
RefType
t1
,
Method
m2
,
RefType
t2
)