private void ObjectInvariant() { Contract.Invariant(Identifications != null); Contract.Invariant(AssociationContracts.BiDirParentToChild(this, Identifications, i => i.Company)); Contract.Invariant(FailedCompany == null || FailedCompany.Company == this); Contract.Invariant(IsFailed == (FailedCompany != null)); }
private void ObjectsInvariant() { Contract.Invariant(AssociationContracts.BiDirChildToParent(this, Company, c => c.Identifications)); }