/// <summary>
/// Converts the enum to string representation.
/// </summary>
/// <param name="intervalSpecifier">Value to be converted.</param>
/// <returns>String representation.</returns>
public static string EnumToString(this IntervalSpecifier intervalSpecifier)
{
switch (intervalSpecifier)
{
case IntervalSpecifier.ALL:
return("all");
default:
Debug.Assert(false);
return(intervalSpecifier.ToString());
}
}
/// <summary>
/// String representation.
/// </summary>
/// <returns>String representation.</returns>
public override string ToString()
{
return($"(over {IntervalSpecifier.EnumToString()} {Expression})");
}
/// <summary>
/// Constructs the durative expression.
/// </summary>
/// <param name="intervalSpecifier">Interval specifier.</param>
/// <param name="expression">Argument expression.</param>
public OverTimedExpression(IntervalSpecifier intervalSpecifier, Expression expression)
{
IntervalSpecifier = intervalSpecifier;
Expression = expression;
}
