public interface CollectionTypeParameters<T extends Type>
extends java.lang.Iterable<java.lang.Object>
Modifier and Type | Method and Description |
---|---|
T |
getElementType() |
IntegerValue |
getLower() |
UnlimitedNaturalValue |
getUpper() |
boolean |
isNullFree() |
@NonNull IntegerValue getLower()
@NonNull UnlimitedNaturalValue getUpper()
boolean isNullFree()