/// <summary>
/// Attempts to package all contracts for a type. Does not include inherited contracts.
/// </summary>
public void PackageTypeContracts(ITypeDefinition type)
{
Contract.Requires(type != null);
#region Package contracts from this implementation
ITypeContract typeContract;
if (CCDocContractHelper.TryGetTypeContract(this.host, type, out typeContract, docTracker))
{
if (IteratorHelper.EnumerableIsNotEmpty <ITypeInvariant>(typeContract.Invariants))
{
PackageInvariants(typeContract.Invariants);
}
}
#endregion
}
