Package | Description |
---|---|
eu.bandm.tools.umod.runtime |
Runtime classes for the model code generated by the
umod-Compiler , esp for data integrity
de/serialization, visualzation, visitors and rewriters. |
Modifier and Type | Class and Description |
---|---|
class |
CheckedMap_D<D,R>
Implements a map which is strict in its domain (=left of arrow).
|
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).
|
see also the complete user documentation .