public override void DoChecks(Data.IProject project, IModelErrors errors, CancellationToken ct) { m_ModelErrors = errors; m_Ct = ct; foreach (IMode mode in project.GetModes()) { foreach (IModeElement element in mode.GetElements()) { element.Visit(this); m_Ct.ThrowIfCancellationRequested(); } } }
protected void AddError(IModelErrors errors, ModelError.ErrorSeverity severity, String message, Object element) { errors.AddError(CheckType, new ModelError(severity, message, element)); }
public abstract void DoChecks(IProject project, IModelErrors errors, CancellationToken ct);