/// <summary> /// Constructs a new control-flow verifier. /// </summary> /// <param name="method">The method to verify.</param> /// <param name="result">The verification result.</param> public ControlFlowVerifier(Method method, VerificationResult result) : base(method, result) { }
/// <summary> /// Constructs a new value verifier. /// </summary> /// <param name="method">The method to verify.</param> /// <param name="result">The verification result.</param> public ValueVerifier(Method method, VerificationResult result) : base(method, result) { }
/// <summary> /// Constructs a new verifier base. /// </summary> /// <param name="method">The method to verify.</param> /// <param name="result">The verification result.</param> protected VerifierBase(Method method, VerificationResult result) { Method = method ?? throw new ArgumentNullException(nameof(method)); Result = result ?? throw new ArgumentNullException(nameof(result)); }