org.eclipse.ocl.examples.domain.elements
Class DomainTypeParameters
java.lang.Object
org.eclipse.ocl.examples.domain.elements.DomainTypeParameters
public class DomainTypeParameters
- extends java.lang.Object
DomainTypeParameters provides a hashable list of type
parameters suitable for use when indexing specializations.
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
EMPTY_LIST
@NonNull
public static final DomainTypeParameters EMPTY_LIST
DomainTypeParameters
public DomainTypeParameters(@NonNull
DomainTemplateParameter... typeParameters)
DomainTypeParameters
public DomainTypeParameters(@NonNull
java.util.List<? extends DomainElement> parameters)
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in class java.lang.Object
get
@NonNull
public DomainElement get(int i)
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object
parametersSize
public int parametersSize()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object