Uses of Class
eu.bandm.tools.umod.runtime.UncheckedCoPair
Package
Description
Runtime classes for the model code generated by the
umod-Compiler
, esp for data integrity
de/serialization, visualzation, visitors and rewriters.-
Uses of UncheckedCoPair in eu.bandm.tools.umod.runtime
Modifier and TypeClassDescriptionclass
CheckedCoPair_L<L,
R> Implements "CoPair" operations and guarantees strictness of left variant.class
CheckedCoPair_LR<L,
R> Implements "CoPair" operations and guarantees strictness of both variants.class
CheckedCoPair_R<L,
R> Facade to "CoPair" operations and guarantees strictness of right variant, by overwriting "set_right()"