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.

Nested Class Summary

static class

DomainParameterTypes.DomainParameter

Field Summary

static DomainParameterTypes

EMPTY_LIST

Constructor Summary

DomainParameterTypes(DomainType... parameterTypes)

Method Summary

boolean	equals(java.lang.Object obj)
DomainType[]	get()
DomainType	get(int index)
java.util.List<? extends DomainTypedElement>	getParameters()
ParametersId	getParametersId()
int	hashCode()
int	size()
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 DomainParameterTypes EMPTY_LIST

Constructor Detail

DomainParameterTypes

public DomainParameterTypes(@NonNull
                            DomainType... parameterTypes)

Method Detail

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