org.eclipse.ocl.examples.domain.values.impl
Class IntegerRangeImpl

java.lang.Object
  extended by java.util.AbstractCollection<E>
      extended by java.util.AbstractList<Value>
          extended by org.eclipse.ocl.examples.domain.values.impl.IntegerRangeImpl
All Implemented Interfaces:
java.lang.Iterable<Value>, java.util.Collection<Value>, java.util.List<Value>, IntegerRange

public class IntegerRangeImpl
extends java.util.AbstractList<Value>
implements IntegerRange

Generated
NOT

Field Summary
protected  IntegerValue first
           
protected  IntegerValue fullSize
           
protected  IntegerValue last
           
protected  java.lang.Integer size
           
 
Fields inherited from class java.util.AbstractList
modCount
 
Constructor Summary
IntegerRangeImpl(IntegerValue first, IntegerValue last)
           
 
Method Summary
 boolean contains(java.lang.Object o)
           
 IntegerValue get(int index)
           
 IntegerValue getFirst()
           
 IntegerValue getLast()
           
 IntegerValue getSize()
           
 java.util.Iterator<Value> iterator()
           
 int size()
           
 
Methods inherited from class java.util.AbstractList
add, add, addAll, clear, equals, hashCode, indexOf, lastIndexOf, listIterator, listIterator, remove, removeRange, set, subList
 
Methods inherited from class java.util.AbstractCollection
addAll, containsAll, isEmpty, remove, removeAll, retainAll, toArray, toArray, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.List
add, add, addAll, addAll, clear, containsAll, equals, hashCode, indexOf, isEmpty, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, retainAll, set, subList, toArray, toArray
 

Field Detail

first

@NonNull
protected final IntegerValue first

last

@NonNull
protected final IntegerValue last

fullSize

@NonNull
protected final IntegerValue fullSize

size

protected final java.lang.Integer size
Constructor Detail

IntegerRangeImpl

public IntegerRangeImpl(@NonNull
                        IntegerValue first,
                        @NonNull
                        IntegerValue last)
Method Detail

contains

public boolean contains(java.lang.Object o)
Specified by:
contains in interface java.util.Collection<Value>
Specified by:
contains in interface java.util.List<Value>
Overrides:
contains in class java.util.AbstractCollection<Value>

get

@NonNull
public IntegerValue get(int index)
Specified by:
get in interface java.util.List<Value>
Specified by:
get in class java.util.AbstractList<Value>

getFirst

@NonNull
public IntegerValue getFirst()
Specified by:
getFirst in interface IntegerRange

getLast

@NonNull
public IntegerValue getLast()
Specified by:
getLast in interface IntegerRange

getSize

@NonNull
public IntegerValue getSize()
Specified by:
getSize in interface IntegerRange

iterator

@NonNull
public java.util.Iterator<Value> iterator()
Specified by:
iterator in interface java.lang.Iterable<Value>
Specified by:
iterator in interface java.util.Collection<Value>
Specified by:
iterator in interface java.util.List<Value>
Specified by:
iterator in interface IntegerRange
Overrides:
iterator in class java.util.AbstractList<Value>

size

public int size()
Specified by:
size in interface java.util.Collection<Value>
Specified by:
size in interface java.util.List<Value>
Specified by:
size in class java.util.AbstractCollection<Value>