/// <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; }