Node Equal
rascal-0.40.17
Synopsis
Equal operator on node values.
Syntax
Exp₁ == Exp₂
Types
Exp₁ | Exp₂ | Exp₁ == Exp₂ |
|---|---|---|
node | node | bool |
Description
Yields true if the node names of the values of Exp₁ and Exp₂ are equal and
the children of each node are pairwise equal, otherwise false.
Examples
rascal>"f"(1, "abc", true) == "f"(1, "abc", true);
bool: true
rascal>"f"(1, "abc", true) == "f"(1, "def", true);
bool: false