Uses of Interface
eu.bandm.tools.umod.runtime.Map_checkedRight

Packages that use Map_checkedRight

Package	Description
eu.bandm.tools.umod.runtime	Runtime classes for the model code generated by the umod compiler, for data integrity, de/serialization, visualization, visitors and rewriters.

Uses of Map_checkedRight in eu.bandm.tools.umod.runtime

Classes in eu.bandm.tools.umod.runtime that implement Map_checkedRight

Modifier and Type	Class	Description
class	CheckedEnumMap<D extends Enum<D>,R>	Implements a map from an enum type to a strict range (no null objects on the right side.)
class	CheckedMap_R<D,R>	Implements a map which is strict in its range (=right of arrow).
class	CheckedMap_RD<D,R>	Implements a map which is strict in its range (=right of arrow) and its domain (=left of arrow).