org.eclipse.ocl.examples.domain.types
Class AbstractInheritance.FragmentIterable

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractInheritance.FragmentIterable

All Implemented Interfaces:

java.lang.Iterable<DomainFragment>, IndexableIterable<DomainFragment>

Enclosing class:

AbstractInheritance

public static class AbstractInheritance.FragmentIterable
extends java.lang.Object
implements IndexableIterable<DomainFragment>

Nested Class Summary

protected class

AbstractInheritance.FragmentIterable.Iterator

Constructor Summary

AbstractInheritance.FragmentIterable(DomainFragment[] array)

AbstractInheritance.FragmentIterable(DomainFragment[] array, int firstIndex, int lastIndex)

Method Summary

DomainFragment	get(int index)
java.util.Iterator<DomainFragment>	iterator()
int	size()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractInheritance.FragmentIterable

public AbstractInheritance.FragmentIterable(@NonNull
                                            DomainFragment[] array)

AbstractInheritance.FragmentIterable

public AbstractInheritance.FragmentIterable(@NonNull
                                            DomainFragment[] array,
                                            int firstIndex,
                                            int lastIndex)

Method Detail

get

@NonNull
public DomainFragment get(int index)

Specified by:

get in interface IndexableIterable<DomainFragment>

iterator

@NonNull
public java.util.Iterator<DomainFragment> iterator()

Specified by:

iterator in interface java.lang.Iterable<DomainFragment>

size

public int size()

Specified by:

size in interface IndexableIterable<DomainFragment>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object