public override VHDLIntegerValue POS(VHDLPhysicalValue <T> X)
{
if (direction == RangeDirection.To)
{
return(new VHDLIntegerValue(X.Value - left.Value));
}
else
{
return(new VHDLIntegerValue(left.Value - X.Value));
}
}
public override VHDLPhysicalValue <T> RIGHTOF(VHDLPhysicalValue <T> X)
{
if (direction == RangeDirection.To)
{
return(new VHDLPhysicalValue <T>(X.Value + 1));
}
else
{
return(new VHDLPhysicalValue <T>(X.Value - 1));
}
}
public override VHDLPhysicalValue <T> CorrectValue(VHDLPhysicalValue <T> value)
{
if (mRange == null)
{
return(value);
}
else
{
return(mRange.CorrectValue(value));
}
}
public override VHDLPhysicalValue <T> PRED(VHDLPhysicalValue <T> X)
{
return(new VHDLPhysicalValue <T>(X.Value - 1));
}
public override VHDLPhysicalValue <T> SUCC(VHDLPhysicalValue <T> X)
{
return(new VHDLPhysicalValue <T>(X.Value + 1));
}
public PhysicalRange(VHDLPhysicalValue <T> left, VHDLPhysicalValue <T> right, RangeDirection direction)
: base(left, right, direction)
{
}
public TIME(VHDLPhysicalValue <TIME_PhysicalValue> value)
: base(PhysType, value)
{
}
