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));
 }
Beispiel #2
0
 private void ObjectsInvariant()
 {
     Contract.Invariant(AssociationContracts.BiDirChildToParent(this, Company, c => c.Identifications));
 }