Predicate NonSynchronizedOverride::delegatingSuperCall

Check whether expression e is a call to method target of the form super.m(x, y, z), possibly wrapped in one or more casts and/or parentheses.

predicate delegatingSuperCall(Expr e, Method target)