org.eclipse.ocl.pivot.types

Class TemplateParametersImpl

java.lang.Object

org.eclipse.ocl.pivot.types.TemplateParametersImpl

All Implemented Interfaces:

TemplateParameters

public class TemplateParametersImpl
extends 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(List<? extends Type> parameters)
TemplateParametersImpl(TemplateParameter... typeParameters)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
Type	get(int i)
int	hashCode()
int	parametersSize()
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

TemplateParametersImpl

public TemplateParametersImpl(TemplateParameter... typeParameters)

TemplateParametersImpl

public TemplateParametersImpl(List<? extends Type> parameters)

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class Object

get

public Type get(int i)

Specified by:

get in interface TemplateParameters

hashCode

public int hashCode()

Overrides:

hashCode in class Object

parametersSize

public int parametersSize()

Specified by:

parametersSize in interface TemplateParameters

toString

public String toString()

Overrides:

toString in class Object