// TimeSlider Variants
public void SetSliderFromInt()
{
ApplianceState state = (ApplianceState)_objects[SINGLE_STATE];
PUC.Types.IntegerSpace space = (PUC.Types.IntegerSpace)state.Type.ValueSpace;
if (state.Defined)
{
string val = state.Value.ToString();
if (_sentValues[val] != null &&
((int)_sentValues[val]) > 0)
{
int cnt = (int)_sentValues[val];
_sentValues[val] = --cnt;
return;
}
((TimeSlider)_timeControl).Time = (int)state.Value;
((TimeSlider)_timeControl).Maximum = space.GetMaximum().GetDoubleValue();
}
else
{
((TimeSlider)_timeControl).Time = 0;
((TimeSlider)_timeControl).Maximum = 0;
}
}
public override bool IsSameSpace(ValueSpace space)
{
if (space is IntegerSpace)
{
IntegerSpace ispace = (IntegerSpace)space;
if (ispace.IsRanged() && this.IsRanged())
{
if (ispace.IsIncremented() && this.IsIncremented())
{
if (!ispace.GetIncrement().IsSameValue(this.GetIncrement()))
{
return(false);
}
}
else
{
return(false);
}
if (!ispace.GetMinimum().IsSameValue(this.GetMinimum()))
{
return(false);
}
if (!ispace.GetMaximum().IsSameValue(this.GetMaximum()))
{
return(false);
}
}
else
{
return(false);
}
return(true);
}
return(false);
}
