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>

Nested Class Summary

protected class

CollectionTypeParameters.Iterator

Constructor Summary

CollectionTypeParameters(T elementType, IntegerValue lower, IntegerValue upper)

Method Summary

boolean	equals(java.lang.Object o)
T	getElementType()
IntegerValue	getLower()
IntegerValue	getUpper()
int	hashCode()
CollectionTypeParameters.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

CollectionTypeParameters

public CollectionTypeParameters(@NonNull
                                T elementType,
                                @NonNull
                                IntegerValue lower,
                                @NonNull
                                IntegerValue upper)

Method Detail

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