private static Method FindInheritedMethod(Class baseClass, Method interfaceMethod) { while (baseClass != null) { if (InterfaceListContains(baseClass.Interfaces, interfaceMethod.DeclaringType)) { // instrumented in base return null; } var candidate = baseClass.GetExactMatchingMethod(interfaceMethod); if (candidate != null) return candidate; baseClass = baseClass.BaseClass; } return null; }
private void CheckForWrapperImplementationsForInheritedInterfaceImplementations(Class Class, Interface intf) { Contract.Requires(Class != null); Contract.Requires(intf != null); var members = intf.Members; // if (members == null) return; for (int i = 0; i < members.Count; i++) { var intfMethod = members[i] as Method; if (intfMethod == null) continue; if (Class.ExplicitImplementation(intfMethod) != null) continue; if (Class.GetExactMatchingMethod(intfMethod) != null) continue; var contractMethod = HelperMethods.GetContractMethod(intfMethod); if (contractMethod == null) continue; var contract = contractMethod.Contract; if (contract == null) continue; if (contract.RequiresCount + contract.EnsuresCount == 0) continue; // find base implementing method var baseMethod = FindInheritedMethod(Class.BaseClass, intfMethod); if (baseMethod == null) continue; var baseMethodImplementsInterfaceMethod = false; if (baseMethod.ImplicitlyImplementedInterfaceMethods != null) { for (int j = 0; j < baseMethod.ImplicitlyImplementedInterfaceMethods.Count; j++) { if (baseMethod.ImplicitlyImplementedInterfaceMethods[j] == intfMethod) { baseMethodImplementsInterfaceMethod = true; break; } } } if (baseMethodImplementsInterfaceMethod) continue; if (this.runtimeCheckingLevel < 3 && contract.RequiresCount == 0) continue; if (this.addInterfaceWrappersWhenNeeded) { AddInterfaceImplementationWrapper(Class, intfMethod, baseMethod); } else { this.HandleError(new Warning(1080, string.Format( "Type {0} implements {1} by inheriting {2} causing the interface contract to not be checked at runtime. Consider adding a wrapper method.", Class.FullName, intfMethod.FullName, baseMethod.FullName), default(SourceContext))); } } }