public ContractChanges(IContractItem original, IContractItem comparedTo, IEnumerable<ContractChanges> changes, ContractChangeType changeType)
{
Contract.Requires(original != null || comparedTo != null);
Contract.Requires(changes != null);
Original = original;
ComparedTo = comparedTo;
Changes = changes;
ChangeType = changeType;
}
public ContractChanges(IContractItem original, IContractItem comparedTo, ContractChangeType changeType)
{
Contract.Requires(original != null || comparedTo != null);
Contract.Ensures(Changes != null);
Contract.Ensures(Enumerable.Count(Changes) == 0);
Original = original;
ComparedTo = comparedTo;
Changes = Enumerable.Empty<ContractChanges>();
ChangeType = changeType;
}
