Skip to main content

Value Equal

rascal-0.40.17

Synopsis

Equal operator on values.

Syntax

Exp₁ == Exp₂

Types

Exp₁Exp₂Exp₁ == Exp₂
valuevaluebool

Description

Yields true if both arguments are identical and false otherwise.

Examples


Introduce two variables X, Y and Z and force them to be of type value:

rascal>value X = "abc";
value: "abc"
rascal>value Y = "abc";
value: "abc"
rascal>value Z = 3.14;
value: 3.14

Now compare X and Y for equality:

rascal>X == Y;
bool: true

and X and Z:

rascal>X == Z;
bool: false