org.eclipse.ocl.examples.library.executor
Class CollectionTypeParameters<T extends DomainType>
java.lang.Object
org.eclipse.ocl.examples.library.executor.CollectionTypeParameters<T>
- All Implemented Interfaces:
- java.lang.Iterable<java.lang.Object>
public class CollectionTypeParameters<T extends DomainType>
- extends java.lang.Object
- implements java.lang.Iterable<java.lang.Object>
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
CollectionTypeParameters
public CollectionTypeParameters(@NonNull
T elementType,
@NonNull
IntegerValue lower,
@NonNull
IntegerValue upper)
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in class java.lang.Object
getElementType
@NonNull
public T getElementType()
getLower
@NonNull
public IntegerValue getLower()
getUpper
@NonNull
public IntegerValue getUpper()
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object
iterator
@NonNull
public CollectionTypeParameters.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