Skip to main content

DateTime LessThanOrEqual

rascal-0.40.17

Synopsis​

Less than or equal operator on datetime values.

Syntax​

Exp₁ <= Exp₂

Types​

//

Exp₁Exp₂Exp₁ <= Exp₂
datetimedatetimebool

Description​

Yields true if the datetime value of Exp₁ is earlier in time than the datetime value of Exp₂ or if the values of Exp₁ and Exp₂ are equal, and false otherwise.

Examples​

rascal>$2010-07-15$ <= $2010-07-15$;
bool: true
rascal>$2011-07-15$ <= $2010-07-14$;
bool: false