org.eclipse.ocl.pivot.types

Class AbstractInheritance.FragmentIterable

java.lang.Object

org.eclipse.ocl.pivot.types.AbstractInheritance.FragmentIterable

All Implemented Interfaces:

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

Enclosing class:

AbstractInheritance

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

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	AbstractInheritance.FragmentIterable.Iterator

Constructor Summary

Constructors

Constructor and Description
FragmentIterable(InheritanceFragment[] array)
FragmentIterable(InheritanceFragment[] array, int firstIndex, int lastIndex)

Method Summary

Modifier and Type	Method and Description
InheritanceFragment	get(int index)
java.util.Iterator<InheritanceFragment>	iterator()
int	size()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

FragmentIterable

public FragmentIterable(@NonNull
                        InheritanceFragment[] array)

FragmentIterable

public FragmentIterable(@NonNull
                        InheritanceFragment[] array,
                        int firstIndex,
                        int lastIndex)

Method Detail

get

@NonNull
public InheritanceFragment get(int index)

Specified by:

get in interface IndexableIterable<InheritanceFragment>

iterator

public java.util.Iterator<InheritanceFragment> iterator()

Specified by:

iterator in interface java.lang.Iterable<InheritanceFragment>

size

public int size()

Specified by:

size in interface IndexableIterable<InheritanceFragment>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object