static void AssumeInvariantTrue() { foreach (Host h in new ArrayList()) { Contract.Assume(h != null); ContractHelpers.AssumeInvariant(h); Contract.Assert(h.Name != null); } }
static void AssumeInvariantTrue() { foreach (Host h in new ArrayList()) { Contract.Assume(h != null); ContractHelpers.AssumeInvariant(h); Contract.Assert(h.Name != null); } }