/// <summary> /// Traverses the children of the method definition. /// </summary> public override void TraverseChildren(IMethodDefinition method) { if (contractProvider != null) { var /*?*/ methodContract = contractProvider.GetMethodContractFor(method); if (methodContract != null) { Traverse(methodContract); if (StopTraversal) { return; } } } base.TraverseChildren(method); }
public ISet <Action> Constructors() { return(new HashSet <Action>(from m in typeDefinition.Methods where m.IsConstructor select new CciAction(m, contractProvider.GetMethodContractFor(m)))); }