Package eu.bandm.tools.umod.runtime


package eu.bandm.tools.umod.runtime
Runtime classes for the model code generated by the umod compiler, for data integrity, de/serialization, visualization, 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