internal void FireChecked(string checkId, Range range) { Contract.Requires(checkId != null); Contract.Requires(range != null); Checked?.Invoke(this, new CheckedEventArgs(checkId, range)); }