org.eclipse.ocl.examples.pivot.manager
Class MetaModelManager.CompleteElementInvariantsIterable

java.lang.Object
  org.eclipse.ocl.examples.pivot.utilities.CompleteElementIterable<Type,Constraint>
      org.eclipse.ocl.examples.pivot.manager.MetaModelManager.CompleteElementInvariantsIterable

All Implemented Interfaces:

java.lang.Iterable<Constraint>

Enclosing class:

MetaModelManager

public class MetaModelManager.CompleteElementInvariantsIterable
extends CompleteElementIterable<Type,Constraint>

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.examples.pivot.utilities.CompleteElementIterable

CompleteElementIterable.Iterator

Field Summary

Fields inherited from class org.eclipse.ocl.examples.pivot.utilities.CompleteElementIterable

iterables

Constructor Summary

MetaModelManager.CompleteElementInvariantsIterable(java.lang.Iterable<? extends Type> models)

Method Summary

protected java.lang.Iterable<Constraint>

getInnerIterable(Type model) Return the iterables for an inner iteration over the iterable.

Methods inherited from class org.eclipse.ocl.examples.pivot.utilities.CompleteElementIterable

getInnerValue, iterator

Methods inherited from class java.lang.Object

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

Constructor Detail

MetaModelManager.CompleteElementInvariantsIterable

public MetaModelManager.CompleteElementInvariantsIterable(@NonNull
                                                          java.lang.Iterable<? extends Type> models)

Method Detail

getInnerIterable

@NonNull
protected java.lang.Iterable<Constraint> getInnerIterable(@NonNull
                                                                  Type model)

Description copied from class: CompleteElementIterable

Return the iterables for an inner iteration over the iterable. A null return may be used to indicate no inner iterations are necessary.

Specified by:

getInnerIterable in class CompleteElementIterable<Type,Constraint>

Returns:

the inner iterable or null for none.