protected virtual void ShowTaint(Contract.TaintState State)
{
if (Label != null)
{
Label.ForeColor = Help.TaintOptions.DefaultColors[State];
}
}
protected override void ShowTaint(Contract.TaintState State)
{
if (actual == null)
{
return;
}
if (State == Contract.TaintState.UnTainted)
{
actual.BackColors.Clear();
actual.BackColors.Add(System.Drawing.Color.FromArgb(0, 0, 128));
actual.BackColors.Add(System.Drawing.Color.FromArgb(0, 0, 65));
actual.Invalidate();
}
else if (State == Contract.TaintState.Tainted)
{
actual.BackColors.Clear();
actual.BackColors.Add(System.Drawing.Color.FromArgb(128, 0, 0));
actual.BackColors.Add(System.Drawing.Color.FromArgb(65, 0, 0));
actual.Invalidate();
}
else if (State == Contract.TaintState.Saved)
{
actual.BackColors.Clear();
actual.BackColors.Add(System.Drawing.Color.FromArgb(0, 128, 0));
actual.BackColors.Add(System.Drawing.Color.FromArgb(0, 65, 0));
actual.Invalidate();
}
base.ShowTaint(State);
}
protected override void ShowTaint(Contract.TaintState State)
{
if (actual != null && value != null)
{
actual.ForeColor = Help.TaintOptions.DefaultColors[State];
}
}
protected override void ShowTaint(Contract.TaintState State)
{
if (Binding == null)
{
return;
}
(Binding as _TextContainer).FColor = Help.TaintOptions.DefaultColors[State];
}
static public void OnPutt(System.Windows.Forms.Label Label, Contract.TaintState State)
{
if (Label == null)
{
return;
}
Label.ForeColor = TaintOptions.DefaultColors[State];
}
