org.eclipse.ocl.examples.impactanalyzer.util
Class OperationCallExpKeyedSetFactory

java.lang.Object
  extended by org.eclipse.ocl.examples.impactanalyzer.util.OperationCallExpKeyedSetFactory

public class OperationCallExpKeyedSetFactory
extends java.lang.Object

Produces OperationCallExpKeyedSet objects, either of type OperationCallExpKeyedSetImpl in case the isOperationCallSelectionActive argument passed to the constructor was true, or FlatSet objects otherwise.

Author:
Axel Uhl (D043530)

Constructor Summary
OperationCallExpKeyedSetFactory(boolean isOperationCallSelectionActive)
           
 
Method Summary
 OperationCallExpKeyedSet createOperationCallExpKeyedSet(AnnotatedEObject aeo)
           
 OperationCallExpKeyedSet createOperationCallExpKeyedSet(java.util.Collection<OperationCallExpKeyedSet> sets)
           
 OperationCallExpKeyedSet createOperationCallExpKeyedSet(OperationCallExp oce, OperationCallExpKeyedSet c)
           
 OperationCallExpKeyedSet emptySet()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OperationCallExpKeyedSetFactory

public OperationCallExpKeyedSetFactory(boolean isOperationCallSelectionActive)
Method Detail

createOperationCallExpKeyedSet

public OperationCallExpKeyedSet createOperationCallExpKeyedSet(OperationCallExp oce,
                                                               OperationCallExpKeyedSet c)

createOperationCallExpKeyedSet

public OperationCallExpKeyedSet createOperationCallExpKeyedSet(AnnotatedEObject aeo)

createOperationCallExpKeyedSet

public OperationCallExpKeyedSet createOperationCallExpKeyedSet(java.util.Collection<OperationCallExpKeyedSet> sets)

emptySet

public OperationCallExpKeyedSet emptySet()