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