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)

Method Summary

Modifier and Type	Method and Description
java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>>	entrySet()
java.lang.Iterable<AnnotatedEObject>	getCombinedResultsFor(OperationCallExp oce)
boolean	isEmpty()

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Method Detail

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