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

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

All Implemented Interfaces:

java.util.Iterator<DomainFragment>

Enclosing class:

AbstractInheritance.FragmentIterable

protected class AbstractInheritance.FragmentIterable.Iterator
extends java.lang.Object
implements java.util.Iterator<DomainFragment>

Constructor Summary

protected

AbstractInheritance.FragmentIterable.Iterator()

Method Summary

boolean	hasNext()
DomainFragment	next()
void	remove()

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractInheritance.FragmentIterable.Iterator

protected AbstractInheritance.FragmentIterable.Iterator()

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<DomainFragment>

next

public DomainFragment next()

Specified by:

next in interface java.util.Iterator<DomainFragment>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<DomainFragment>