@Runtime

Package 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.

See: Description

Interface Summary

Interface	Description
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.
Multimap_checkedLeft<L,R>	Requires "Multimap" operations and strictness of the left side.
Multimap_checkedRight<L,R>	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>
Rewriter

Class Summary

Class	Description
CheckedCoPair_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()"
CheckedEnumMap<D extends Enum<D>,R>	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.
MapProxy<D,R>	Implements a map by delegation to some peer object from a predefined java runtime class.
MapProxy.CheckedMapEntry<A,B>
MapProxy.CheckedMapEntryIterator<A,B>
MapProxy.CheckedMapEntrySet<A,B>
OptimizingVisitor
Phrasebook<O,S>	Converts from and to OpenMath.
SwingBrowser
TsoapPrimitives
TsoapPrimitives.Parser
UncheckedCoPair<L,R>	Implements "CoPair" operations, not guaranteeing any strictness.
UncheckedPair<L,R>	Implements "Pair" operations, but no strictness.
XMLconfiguration	Configures tag strings, attribute names and value stubs for xml writers and readers.

Enum Summary

Enum	Description
CheckedList.implementations
CheckedSet.implementations
MapProxy.implementations

Exception Summary

Exception	Description
StrictnessException
TsoapPrimitives.TsoapException

Package eu.bandm.tools.umod.runtime Description

Runtime classes for the model code generated by the 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