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)

Method Summary

java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>>	entrySet()
java.lang.Iterable<AnnotatedEObject>	getCombinedResultsFor(OperationCallExp oce)
boolean	isEmpty()
java.util.Iterator<AnnotatedEObject>	iterator()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

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