org.eclipse.ocl.pivot.types

Class AbstractInheritance.FragmentIterable

java.lang.Object

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

All Implemented Interfaces:

Iterable<InheritanceFragment>, IndexableIterable<InheritanceFragment>

Enclosing class:

AbstractInheritance

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

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)
Iterator<InheritanceFragment>	iterator()
int	size()
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

FragmentIterable

public FragmentIterable(InheritanceFragment[] array)

FragmentIterable

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

Method Detail

get

public InheritanceFragment get(int index)

Specified by:

get in interface IndexableIterable<InheritanceFragment>

iterator

public Iterator<InheritanceFragment> iterator()

Specified by:

iterator in interface Iterable<InheritanceFragment>

size

public int size()

Specified by:

size in interface IndexableIterable<InheritanceFragment>

toString

public String toString()

Overrides:

toString in class Object