org.eclipse.ocl.examples.domain.ids

Interface OperationId

All Superinterfaces:

ElementId, TemplateableId

All Known Implementing Classes:

GeneralizedOperationIdImpl, SpecializedOperationIdImpl

public interface OperationId
extends TemplateableId

An OperationId provides a unique hierarchical identifier for an operation name, operation parameter-types and template parameters.

An OperationId has a single ordered list of template parameters flattening all inherited package and type template parameters as part of the single list. The least derived parameters appear first in the list, the operation parameters last.

Field Summary

Fields inherited from interface org.eclipse.ocl.examples.domain.ids.TemplateableId

NULL_TEMPLATEABLE_ID_ARRAY

Method Summary

Methods

Modifier and Type	Method and Description
OperationId	getGeneralizedId()
java.lang.String	getName()
ParametersId	getParametersId()
TypeId	getParent()

Methods inherited from interface org.eclipse.ocl.examples.domain.ids.TemplateableId

getLiteralName, getMetaTypeName, getSpecializedId, getTemplateParameters

Methods inherited from interface org.eclipse.ocl.examples.domain.ids.ElementId

accept, getDisplayName

Method Detail

getGeneralizedId

@NonNull
OperationId getGeneralizedId()

Specified by:

getGeneralizedId in interface TemplateableId

getName

@NonNull
java.lang.String getName()

Specified by:

getName in interface TemplateableId

getParametersId

@NonNull
ParametersId getParametersId()

getParent

@NonNull
TypeId getParent()