org.eclipse.ocl.pivot.values

Interface CollectionTypeParameters<T extends Type>

All Superinterfaces:

java.lang.Iterable<java.lang.Object>

All Known Implementing Classes:

CollectionTypeParametersImpl

public interface CollectionTypeParameters<T extends Type>
extends java.lang.Iterable<java.lang.Object>

Method Summary

Modifier and Type	Method and Description
T	getElementType()
IntegerValue	getLower()
UnlimitedNaturalValue	getUpper()
boolean	isNullFree()

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Method Detail

getElementType

@NonNull
T getElementType()

getLower

@NonNull
IntegerValue getLower()

getUpper

@NonNull
UnlimitedNaturalValue getUpper()

isNullFree

boolean isNullFree()