org.eclipse.ocl.examples.impactanalyzer.util
Class OperationCallExpKeyedSetImpl
java.lang.Object
org.eclipse.ocl.examples.impactanalyzer.util.OperationCallExpKeyedSetImpl
- All Implemented Interfaces:
- java.lang.Iterable<AnnotatedEObject>, OperationCallExpKeyedSet
public class OperationCallExpKeyedSetImpl
- extends java.lang.Object
- implements OperationCallExpKeyedSet
Immutable implementation of a data structure keyed by OperationCallExp
expressions where the values
are sets of E
objects.
Implementation invariant: only non-empty iterators are inserted into the map. Therefore, the map contains
no entries whose iterators would not produce any results.
- Author:
- Axel Uhl (D043530)
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
isEmpty
public boolean isEmpty()
- Specified by:
isEmpty
in interface OperationCallExpKeyedSet
iterator
public java.util.Iterator<AnnotatedEObject> iterator()
- Specified by:
iterator
in interface java.lang.Iterable<AnnotatedEObject>
getCombinedResultsFor
public java.lang.Iterable<AnnotatedEObject> getCombinedResultsFor(OperationCallExp oce)
- Specified by:
getCombinedResultsFor
in interface OperationCallExpKeyedSet
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
entrySet
public java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>> entrySet()
- Specified by:
entrySet
in interface OperationCallExpKeyedSet