Skip to main content

Map notin

rascal-0.40.17

Synopsis​

Negated membership test on the keys of a map.

Syntax​

Exp₁ notin Exp₂

Types​

Exp₁Exp₂Exp₁ notin Exp₂
T₁ <: TKmap[TK, TV]bool

Description​

Yields true if the value of Exp₁ does not occur as key in the map value of Exp₂ and false otherwise. The type of Exp₁ should be compatible with the key type TK of Exp₂.

Examples​

rascal>"pineapple" notin ("apple": 1, "pear": 2);
bool: true
rascal>"pear" notin ("apple": 1, "pear": 2);
bool: false