/// <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))));
}
