org.eclipse.ocl.pivot.internal.values

Class CollectionTypeParametersImpl<T extends Type>

java.lang.Object

org.eclipse.ocl.pivot.internal.values.CollectionTypeParametersImpl<T>

All Implemented Interfaces:

Iterable<Object>, CollectionTypeParameters<T>

public class CollectionTypeParametersImpl<T extends Type>
extends Object
implements CollectionTypeParameters<T>

Constructor Summary

Constructors

Constructor and Description
CollectionTypeParametersImpl(T elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
T	getElementType()
IntegerValue	getLower()
UnlimitedNaturalValue	getUpper()
int	hashCode()
boolean	isNullFree()
org.eclipse.ocl.pivot.internal.values.CollectionTypeParametersImpl.Iterator	iterator()
int	parametersSize()
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

CollectionTypeParametersImpl

public CollectionTypeParametersImpl(T elementType,
                                    boolean isNullFree,
                                    IntegerValue lower,
                                    UnlimitedNaturalValue upper)

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class Object

getElementType

public T getElementType()

Specified by:

getElementType in interface CollectionTypeParameters<T extends Type>

getLower

public IntegerValue getLower()

Specified by:

getLower in interface CollectionTypeParameters<T extends Type>

getUpper

public UnlimitedNaturalValue getUpper()

Specified by:

getUpper in interface CollectionTypeParameters<T extends Type>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isNullFree

public boolean isNullFree()

Specified by:

isNullFree in interface CollectionTypeParameters<T extends Type>

iterator

public org.eclipse.ocl.pivot.internal.values.CollectionTypeParametersImpl.Iterator iterator()

Specified by:

iterator in interface Iterable<Object>

parametersSize

public int parametersSize()

toString

public String toString()

Overrides:

toString in class Object