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 |
CheckedPair_LR<L,R>
Implements "Pair" operations and guarantees stricness of both components.
|
class |
CheckedPair_R<L,R>
Implements "Pair" operations and guarantees stricness of right side component.
|
Modifier and Type | Method and Description |
---|---|
protected <T,U> BiFunction<T,U,Pair_checkedRight<T,U>> |
Phrasebook.consPair_checkedRight() |
protected <T,U> BiFunction<T,U,Pair_checkedRight<T,U>> |
Phrasebook.consPair_checkedRight() |
see also the complete user documentation .