ValidationResult

class · namespace Hazel

Result of contract validation. Aggregates errors, warnings, and optional resolution.

public sealed class ValidationResult

Properties

Errors

public List<ValidationMessage> Errors { get; }

IsValid

public bool IsValid { get; set; }

ResolvedOptionals

public List<string> ResolvedOptionals { get; }

UnresolvedOptionals

public List<string> UnresolvedOptionals { get; }

Warnings

public List<ValidationMessage> Warnings { get; }

Methods

AddError(string, string, string, string)

public void AddError(string component, string termName, string message, string suggestion)

AddWarning(string, string, string, string)

public void AddWarning(string component, string termName, string message, string suggestion)

---

Source: Hazel/Learn/ContractValidator.cs