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