org.eclipse.ocl.pivot

Interface TemplateParameters

All Known Implementing Classes:

TemplateParametersImpl

public interface TemplateParameters

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

Field Summary

Fields

Modifier and Type	Field and Description
static TemplateParametersImpl	EMPTY_LIST

Method Summary

Modifier and Type	Method and Description
Type	get(int i)
int	parametersSize()

Field Detail

EMPTY_LIST

@NonNull
static final TemplateParametersImpl EMPTY_LIST

Method Detail

get

@NonNull
Type get(int i)

parametersSize

int parametersSize()