Package eu.bandm.tools.umod.runtime
package eu.bandm.tools.umod.runtime
Runtime classes for the model code generated by the
The strictness (!=null) of the umod container classes with TWO different "sides" is modelled by two INTERFACES (representing the abstract strictness property) and three(3) implementations, implementing one or both of these interfaces:
umod-Compiler, esp for data integrity
de/serialization, visualzation, visitors and rewriters.
The strictness (!=null) of the umod container classes with TWO different "sides" is modelled by two INTERFACES (representing the abstract strictness property) and three(3) implementations, implementing one or both of these interfaces:
interfaces class code / realization
------------------ ------------------------
Pair
UncheckedPair
Pair_checkedLeft CheckedPair_L
CheckedPair_LR
Pair_checkedRight CheckedPair_R
CoPair
UncheckedCoPair
CoPair_checkedLeft CheckedCoPair_L
CheckedCoPair_LR
CoPair_checkedRight CheckedPair_R
MapProxy
Map_checkedLeft CheckedMap_D
CheckedMap_RD
Map_checkedRight CheckedMap_R
Multimap_checkedLeft CheckedMultimap_D
CheckedMultimap_RD
Multimap_checkedRight CheckedMultimap_R
CheckedList
CheckedSet
-
ClassDescriptionCheckedCoPair_L<L,
R> Implements "CoPair" operations and guarantees strictness of left variant.CheckedCoPair_LR<L,R> Implements "CoPair" operations and guarantees strictness of both variants.CheckedCoPair_R<L,R> Facade to "CoPair" operations and guarantees strictness of right variant, by overwriting "set_right()"Implements a map from an enum type to a strict range (no null objects on the right side.)CheckedList<T>Implements a List which is strict in all its elements.CheckedMap_D<D,R> Implements a map which is strict in its domain (=left of arrow).CheckedMap_R<D,R> Implements a map which is strict in its range (=right of arrow).CheckedMap_RD<D,R> Implements a map which is strict in its range (=right of arrow) and its domain (=left of arrow).CheckedMultimap_D<D,R> Implements a multi map which is strict in its domain, i.e.CheckedMultimap_R<D,R> Implements a multi map which is strict in its range, i.e.CheckedMultimap_RD<D,R> Implements a multi map which is strict in its domain and its range, i.e.CheckedPair_L<L,R> Implements "Pair" operations and guarantees stricness of left side component.CheckedPair_LR<L,R> Implements "Pair" operations and guarantees stricness of both components.CheckedPair_R<L,R> Implements "Pair" operations and guarantees stricness of right side component.CheckedSet<T>Implements a Set which is strict in all its elements.CoPair<L,R> Interface defining "CoPair" operations, not (yet) implying any strictness.CoPair_checkedLeft<L,R> Requires "CoPair" operations and implies strictness of left side.CoPair_checkedRight<L,R> Requires "CoPair" operations and implies strictness of right side.Map_checkedLeft<L,R> Requires "Map" operations and strictness of the left side.Map_checkedRight<L,R> Requires "Map" operations and strictness of the right side.MapProxy<D,R> Implements a map by delegation to some peer object from a predefined java runtime class.putting null as a value (not a key) must also be prevented on the folloing chain: CheckedMap -> entrySet() -> CheckedMapEntrySet -> iterator() -> CheckedMapEntryIterator -> next() -> CheckedMapEntryMultimap_checkedLeft<L,R> Requires "Multimap" operations and strictness of the left side.Requires "Multimap" operations and strictness of the right side.Pair<L,R> Interface defining "Pair" operations, no strictness implied.Pair_checkedLeft<L,R> Requires "Pair" operations and strictness of the left side.Pair_checkedRight<L,R> Requires "Pair" operations and strictness of the right side.Property<A>Abstract interface corresponding to a mutable field.PropertyFunction<A,B> Shows the generated umod model as a swing tree.UncheckedCoPair<L,R> Implements "CoPair" operations, not guaranteeing any strictness.UncheckedPair<L,R> Implements "Pair" operations, but no strictness.Configures tag strings, attribute names and value stubs for xml writers and readers.