org.eclipse.ocl.pivot.types

Class TemplateParametersImpl

java.lang.Object

org.eclipse.ocl.pivot.types.TemplateParametersImpl

All Implemented Interfaces:

TemplateParameters

public class TemplateParametersImpl
extends java.lang.Object
implements TemplateParameters

TemplateParameters provides a hashable list of type parameters suitable for use when indexing specializations.

Field Summary

Fields inherited from interface org.eclipse.ocl.pivot.TemplateParameters

EMPTY_LIST

Constructor Summary

Constructors

Constructor and Description
TemplateParametersImpl(java.util.List<? extends Type> parameters)
TemplateParametersImpl(TemplateParameter... typeParameters)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
Type	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

Constructor Detail

TemplateParametersImpl

public TemplateParametersImpl(@NonNull
                              TemplateParameter... typeParameters)

TemplateParametersImpl

public TemplateParametersImpl(@NonNull
                              java.util.List<? extends Type> parameters)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

get

@NonNull
public Type get(int i)

Specified by:

get in interface TemplateParameters

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

parametersSize

public int parametersSize()

Specified by:

parametersSize in interface TemplateParameters

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object