org.eclipse.ocl.examples.domain.elements
Class DomainParameterTypes
java.lang.Object
org.eclipse.ocl.examples.domain.elements.DomainParameterTypes
public class DomainParameterTypes
- extends java.lang.Object
DomainParameterTypesIterable provides a hashable list of operation
parameters suitable for use when indexing operation overloads.
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
EMPTY_LIST
@NonNull
public static final DomainParameterTypes EMPTY_LIST
DomainParameterTypes
public DomainParameterTypes(@NonNull
DomainType... parameterTypes)
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in class java.lang.Object
get
@NonNull
public DomainType get(int index)
get
@NonNull
public DomainType[] get()
getParametersId
@NonNull
public ParametersId getParametersId()
getParameters
@NonNull
public java.util.List<? extends DomainTypedElement> getParameters()
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object
size
public int size()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object