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

All Superinterfaces:

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

All Known Implementing Classes:

IntegerRangeImpl

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()
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

@NonNull
IntegerValue getFirst()

getLast

@NonNull
IntegerValue getLast()

getSize

@NonNull
IntegerValue getSize()

iterator

@NonNull
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>