Skip to main content

Location GreaterThan

rascal-0.42.1

Synopsis​

The greater than operator on location values.

Syntax​

Exp₁ > Exp₂

Types​

Exp₁Exp₂Exp₁ > Exp₂
loclocbool

Description​

Yields true if the location value of Exp₁ strictly textually encloses the location value of Exp₂, and false otherwise.

  • If the URI's are not the same, then it always returns false
  • Otherwise it is checked whether or not the offset of Exp₁ starts before or on the offset of Exp₂ and the offset plus the length of Exp₁ is larger than or equal to the offset plus the length of Exp₂.