org.eclipse.ocl.examples.domain.elements
Class DomainTypeParameters

java.lang.Object
  extended by 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.


Field Summary
static DomainTypeParameters EMPTY_LIST
           
 
Constructor Summary
DomainTypeParameters(DomainTemplateParameter... typeParameters)
           
DomainTypeParameters(java.util.List<? extends DomainElement> parameters)
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
 DomainElement get(int i)
           
 int hashCode()
           
 int parametersSize()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

EMPTY_LIST

@NonNull
public static final DomainTypeParameters EMPTY_LIST
Constructor Detail

DomainTypeParameters

public DomainTypeParameters(@NonNull
                            DomainTemplateParameter... typeParameters)

DomainTypeParameters

public DomainTypeParameters(@NonNull
                            java.util.List<? extends DomainElement> parameters)
Method Detail

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