org.eclipse.ocl.examples.impactanalyzer.util
Interface OperationCallExpKeyedSet
- All Superinterfaces:
- java.lang.Iterable<AnnotatedEObject>
- All Known Implementing Classes:
- FlatSet, IterableAsOperationCallExpKeyedSet, OperationCallExpKeyedSetImpl
public interface OperationCallExpKeyedSet
- extends java.lang.Iterable<AnnotatedEObject>
Keys sets of elements by OperationCallExp
elements and implements the Iterable
interface. The Iterable
view on this data structure iterates all values in this structure where duplicates are possible because each element of type
E
could occur for more than one OperationCallExp
.
The null
key is special and means that a result was computed without tracing back through an operation's
self
or parameter variable. For example, this is the case for an allInstances()
call found inside an
operation body. Such results always apply for the immediately-calling OperationCallExp
and need to be added to their
results. The special getter getCombinedResultsFor(OperationCallExp)
adds the values for key null
to the
values for the key specified. The null
key can also be used to manage results not obtained within operation
bodies at all.
- Author:
- Axel Uhl (D043530)
Methods inherited from interface java.lang.Iterable |
iterator |
getCombinedResultsFor
java.lang.Iterable<AnnotatedEObject> getCombinedResultsFor(OperationCallExp oce)
isEmpty
boolean isEmpty()
entrySet
java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>> entrySet()