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

Class IntegerRangeImpl

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<Value>

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

Fields

Modifier and Type	Field and Description
protected IntegerValue	first
protected IntegerValue	fullSize
protected IntegerValue	last
protected java.lang.Integer	size

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

Constructors

Constructor and Description
IntegerRangeImpl(IntegerValue first, IntegerValue last)

Method Summary

Methods

Modifier and Type	Method and Description
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>