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

static final TemplateParametersImpl EMPTY_LIST

Method Detail

get

Type get(int i)

parametersSize

int parametersSize()