org.eclipse.ocl.examples.domain.values
Interface IntegerRange

All Superinterfaces:

java.util.Collection<Value>, java.lang.Iterable<Value>, java.util.List<Value>

public interface IntegerRange
extends java.util.List<Value>

A range of integer values from the first up to and including the last. If last is less than the first. the range is empty.

Method Summary

IntegerValue	getFirst()
IntegerValue	getLast()
IntegerValue	getSize()
ValueFactory	getValueFactory()
java.util.Iterator<Value>	iterator()

Methods inherited from interface java.util.List

add, add, addAll, addAll, clear, contains, containsAll, equals, get, hashCode, indexOf, isEmpty, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, retainAll, set, size, subList, toArray, toArray

Method Detail

getFirst

IntegerValue getFirst()

getLast

IntegerValue getLast()

getSize

IntegerValue getSize()

getValueFactory

ValueFactory getValueFactory()

iterator

java.util.Iterator<Value> iterator()

Specified by:

iterator in interface java.util.Collection<Value>

Specified by:

iterator in interface java.lang.Iterable<Value>

Specified by:

iterator in interface java.util.List<Value>