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 | Interface and Description |
---|---|
interface |
CoPair_checkedLeft<L,R>
Requires "CoPair" operations and implies strictness of left side.
|
interface |
CoPair_checkedRight<L,R>
Requires "CoPair" operations and implies strictness of right side.
|
Modifier and Type | Class and Description |
---|---|
class |
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()"
|
class |
UncheckedCoPair<L,R>
Implements "CoPair" operations, not guaranteeing any strictness.
|
Modifier and Type | Method and Description |
---|---|
protected <T,U> Function<CoPair<T,U>,O> |
Phrasebook.encode_CoPair(Function<? super T,? extends O> f1,
Function<? super U,? extends O> f2) |
protected <T,U> Function<CoPair<T,U>,O> |
Phrasebook.encode_CoPair(Function<? super T,? extends O> f1,
Function<? super U,? extends O> f2) |
Constructor and Description |
---|
CheckedCoPair_L(CoPair<L,R> p) |
CheckedCoPair_L(CoPair<L,R> p) |
CheckedCoPair_LR(CoPair<L,R> p) |
CheckedCoPair_LR(CoPair<L,R> p) |
CheckedCoPair_R(CoPair<L,R> p) |
CheckedCoPair_R(CoPair<L,R> p) |
UncheckedCoPair(CoPair<L,R> p) |
UncheckedCoPair(CoPair<L,R> p) |
see also the complete user documentation .