eu.bandm.tools.umod.runtime

Class CheckedMultimap_RD<D,R>

java.lang.Object

java.util.AbstractCollection<Map.Entry<A,B>>

eu.bandm.tools.ops.AbstractMultimap<A,B>

eu.bandm.tools.ops.MapMultimap<A,B>

eu.bandm.tools.ops.HashMultimap<D,R>

eu.bandm.tools.umod.runtime.CheckedMultimap_RD<D,R>

All Implemented Interfaces:

Multimap<D,R>, Relation<D,R>, Multimap_checkedLeft<D,R>, Multimap_checkedRight<D,R>, Serializable, Iterable<Map.Entry<D,R>>, Collection<Map.Entry<D,R>>, Set<Map.Entry<D,R>>

public class CheckedMultimap_RD<D,R>
extends HashMultimap<D,R>
implements Multimap_checkedLeft<D,R>, Multimap_checkedRight<D,R>

Implements a multi map which is strict in its domain and its range, i.e. both sides of the "arrow". The implementation is done extending the bandm.metatools runtime class HashMultimap.
This implementation uses HASH-maps for both sides. There are other implementations possible, using diffent kinds of maps as underlying storage, but these are not yet connected to the umod code generation.
See MapMultimap.
For each of the three checked classes ("RD"/"R"/"D") strictness is only implemented explcitly in two methods. It is guaranteed by the classes from "ops", that there is no bypass:

    


    ops
        MapMultimap
                       constructor()       add(Map.Entry) - X -> add(D,R)
                           ^                           |        ^ 
    ops                    |                           |        |
        HashMultimap       |                           |        |
                    constructor(Collection) |        |
                           ^                           |        |
    umod/runtime           |                           |        |
        CheckedMultimap_X  |                           V        |
                       constructor(Multimap){        add(D,R){ 
                         check data}                    check data}

    

    
    java.util
       AbstractCollection
                       addAll() 
    ops                    ^        \
        AbstractMultimap   |[add()]  \ 
    ops                    |          \
        MapMultimap        |           \
                           |              add(Map.Entry)     
                           |
    ops                    |
        HashMultimap       |                            ??????????
                       constructor(coll)  constructor(HashMultimap)
                           ^
                       constructor(Map)                           
    umod/runtime                        
        CheckedMultimap_X              

    

See Also:

Serialized Form

Field Summary

Fields inherited from class eu.bandm.tools.ops.MapMultimap

backward, forward, size

Constructor Summary

Constructors

Constructor and Description
CheckedMultimap_RD()
CheckedMultimap_RD(Multimap<D,R> data)

Method Summary

Modifier and Type	Method and Description
boolean	add(D key, R value) Adds a pair to this this multimap.

Methods inherited from class eu.bandm.tools.ops.HashMultimap

createBackwardSet, createForwardSet

Methods inherited from class eu.bandm.tools.ops.MapMultimap

add, clear, contains, contains, domain, image, imageMap, imageUnchecked, iterator, preimage, preimageMap, preimageUnchecked, range, remove, remove, removeAllDomain, removeAllRange, removeDomain, removeRange, retainAllDomain, retainAllRange, size

Methods inherited from class eu.bandm.tools.ops.AbstractMultimap

containsUnchecked, imageAll, imageAllUnchecked, preimageAll, preimageAllUnchecked, relates, removeAllDomainUnchecked, removeAllRangeUnchecked, removeDomainUnchecked, removeRangeUnchecked, removeUnchecked, retainAllDomainUnchecked, retainAllRangeUnchecked

Methods inherited from class java.util.AbstractCollection

addAll, containsAll, isEmpty, removeAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface eu.bandm.tools.ops.Multimap

contains, containsUnchecked, domain, image, imageAll, imageAllUnchecked, imageMap, imageUnchecked, preimage, preimageAll, preimageAllUnchecked, preimageMap, preimageUnchecked, range, remove, removeAllDomain, removeAllDomainUnchecked, removeAllRange, removeAllRangeUnchecked, removeDomain, removeRange, removeUnchecked, retainAllDomain, retainAllDomainUnchecked, retainAllRange, retainAllRangeUnchecked

Methods inherited from interface eu.bandm.tools.ops.Relation

relates

Methods inherited from interface java.util.Set

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

CheckedMultimap_RD

public CheckedMultimap_RD()

CheckedMultimap_RD

public CheckedMultimap_RD(Multimap<D,R> data)

Method Detail

add

public boolean add(D key,
                   R value)

Description copied from interface: Multimap

Adds a pair to this this multimap. This operation must be stable: adding a pair that equals any pair contained in this multimap componentwise must not change this multimap.

Specified by:

add in interface Multimap<D,R>

Overrides:

add in class MapMultimap<D,R>

Parameters:

key - the left component of the pair to add.

value - the right component of the pair to add.

Returns:

true if this multimap has been changed by this operation, false otherwise.