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()