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:

java.lang.Iterable<java.lang.Object>, CollectionTypeParameters<T>

public class CollectionTypeParametersImpl<T extends Type>
extends java.lang.Object
implements CollectionTypeParameters<T>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	CollectionTypeParametersImpl.Iterator

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
T	getElementType()
IntegerValue	getLower()
UnlimitedNaturalValue	getUpper()
int	hashCode()
boolean	isNullFree()
CollectionTypeParametersImpl.Iterator	iterator()
int	parametersSize()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

CollectionTypeParametersImpl

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

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getElementType

@NonNull
public T getElementType()

Specified by:

getElementType in interface CollectionTypeParameters<T extends Type>

getLower

@NonNull
public IntegerValue getLower()

Specified by:

getLower in interface CollectionTypeParameters<T extends Type>

getUpper

@NonNull
public UnlimitedNaturalValue getUpper()

Specified by:

getUpper in interface CollectionTypeParameters<T extends Type>

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

isNullFree

public boolean isNullFree()

Specified by:

isNullFree in interface CollectionTypeParameters<T extends Type>

iterator

@NonNull
public CollectionTypeParametersImpl.Iterator iterator()

Specified by:

iterator in interface java.lang.Iterable<java.lang.Object>

parametersSize

public int parametersSize()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object