Map StrictSuperMap

rascal-0.43.0

Synopsis

Strict supermap operator on map values.

Syntax

Exp₁ > Exp₂

Types

Exp₁	Exp₂	Exp₁ > Exp₂
map[TK₁,TV₂]	map[TK₂, TV₂]	bool

Description

Yields true if all key/value pairs in the map value of Exp₂ occur in the map value Exp₁ and the values of Exp₁ and EXp₂ are not equal, and false otherwise.

Examples

rascal>("pear": 2, "apple": 1, "banana" : 3) > ("apple": 1, "pear": 2);
bool: true
rascal>("apple": 1, "banana" : 3) > ("apple": 1, "pear": 2);
bool: false