public CompilationChanges(ICompilation original, ICompilation comparedTo, ContractChanges changes)
{
Contract.Requires(original != null || comparedTo != null);
Contract.Requires(changes != null);
Original = original;
ComparedTo = comparedTo;
Changes = changes;
}
/// <summary>
/// Initializes a new instance of the <see cref="SuggestedVersion"/> class.
/// </summary>
/// <param name="original">The original version.</param>
/// <param name="suggested">The suggested version.</param>
/// <param name="justification">The justification for the suggested version.</param>
public SuggestedVersion(Version original, Version suggested, ICompilation originalComp, ICompilation comparedToComp, ContractChanges justification)
{
Contract.Requires(original != null);
Contract.Requires(suggested != null);
Contract.Requires(originalComp != null);
Contract.Requires(comparedToComp != null);
Contract.Requires(justification != null);
Original = original;
Suggested = suggested;
OriginalComp = originalComp;
ComparedToComp = comparedToComp;
Justification = justification;
}
