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