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