Uses of Interface
org.eclipse.ocl.examples.pivot.TemplateParameter

Packages that use TemplateParameter

org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.internal.impl
org.eclipse.ocl.examples.pivot.manager
org.eclipse.ocl.examples.pivot.model
org.eclipse.ocl.examples.pivot.prettyprint
org.eclipse.ocl.examples.pivot.scoping
org.eclipse.ocl.examples.pivot.util
org.eclipse.ocl.examples.pivot.utilities
org.eclipse.ocl.examples.xtext.base.cs2pivot
org.eclipse.ocl.examples.xtext.base.utilities
org.eclipse.ocl.examples.xtext.completeocl.attributes
org.eclipse.ocl.examples.xtext.essentialocl.attributes
org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling
org.eclipse.ocl.examples.xtext.oclinecore.ui.labeling

Uses of TemplateParameter in org.eclipse.ocl.examples.pivot

Subinterfaces of TemplateParameter in org.eclipse.ocl.examples.pivot

interface	OperationTemplateParameter A representation of the model object 'Operation Template Parameter'.
interface	TypeTemplateParameter A representation of the model object 'Type Template Parameter'.

Methods in org.eclipse.ocl.examples.pivot that return TemplateParameter

TemplateParameter	TemplateSignature.createOwnedParameter() Creates a new TemplateParameter and appends it to the 'Owned Parameter' containment reference list.
TemplateParameter	TemplateSignature.createOwnedParameter(org.eclipse.emf.ecore.EClass eClass) Creates a new TemplateParameter and appends it to the 'Owned Parameter' containment reference list.
TemplateParameter	PivotFactory.createTemplateParameter() Returns a new object of class 'Template Parameter'.
TemplateParameter	TemplateParameterSubstitution.getFormal() Returns the value of the 'Formal' reference.
TemplateParameter	ParameterableElement.getOwningTemplateParameter() Returns the value of the 'Owning Template Parameter' container reference.
TemplateParameter	ParameterableElement.getTemplateParameter() Returns the value of the 'Template Parameter' reference.

Methods in org.eclipse.ocl.examples.pivot that return types with arguments of type TemplateParameter

org.eclipse.emf.common.util.EList<TemplateParameter>	TemplateSignature.getOwnedParameter() Returns the value of the 'Owned Parameter' containment reference list.
org.eclipse.emf.common.util.EList<TemplateParameter>	TemplateSignature.getParameter() Returns the value of the 'Parameter' reference list.

Methods in org.eclipse.ocl.examples.pivot with parameters of type TemplateParameter

void	TemplateParameterSubstitution.setFormal(TemplateParameter value) Sets the value of the 'Formal' reference.
void	ParameterableElement.setOwningTemplateParameter(TemplateParameter value) Sets the value of the 'Owning Template Parameter' container reference.
void	ParameterableElement.setTemplateParameter(TemplateParameter value) Sets the value of the 'Template Parameter' reference.

Uses of TemplateParameter in org.eclipse.ocl.examples.pivot.internal.impl

Classes in org.eclipse.ocl.examples.pivot.internal.impl that implement TemplateParameter

class	OperationTemplateParameterImpl An implementation of the model object 'Operation Template Parameter'.
class	TemplateParameterImpl An implementation of the model object 'Template Parameter'.
class	TypeTemplateParameterImpl An implementation of the model object 'Type Template Parameter'.

Fields in org.eclipse.ocl.examples.pivot.internal.impl declared as TemplateParameter

protected TemplateParameter	TemplateParameterSubstitutionImpl.formal The cached value of the 'Formal' reference.
protected TemplateParameter	OperationImpl.templateParameter The cached value of the 'Template Parameter' reference.
protected TemplateParameter	ParameterableElementImpl.templateParameter The cached value of the 'Template Parameter' reference.
protected TemplateParameter	PropertyImpl.templateParameter The cached value of the 'Template Parameter' reference.
protected TemplateParameter	TypeImpl.templateParameter The cached value of the 'Template Parameter' reference.
protected TemplateParameter	ValueSpecificationImpl.templateParameter The cached value of the 'Template Parameter' reference.

Fields in org.eclipse.ocl.examples.pivot.internal.impl with type parameters of type TemplateParameter

protected org.eclipse.emf.common.util.EList<TemplateParameter>	TemplateSignatureImpl.ownedParameter The cached value of the 'Owned Parameter' containment reference list.
protected org.eclipse.emf.common.util.EList<TemplateParameter>	TemplateSignatureImpl.parameter The cached value of the 'Parameter' reference list.

Methods in org.eclipse.ocl.examples.pivot.internal.impl that return TemplateParameter

TemplateParameter	TemplateParameterSubstitutionImpl.basicGetFormal()
TemplateParameter	OperationImpl.basicGetTemplateParameter()
TemplateParameter	ParameterableElementImpl.basicGetTemplateParameter()
TemplateParameter	PropertyImpl.basicGetTemplateParameter()
TemplateParameter	TypeImpl.basicGetTemplateParameter()
TemplateParameter	ValueSpecificationImpl.basicGetTemplateParameter()
TemplateParameter	TemplateSignatureImpl.createOwnedParameter()
TemplateParameter	TemplateSignatureImpl.createOwnedParameter(org.eclipse.emf.ecore.EClass eClass)
TemplateParameter	PivotFactoryImpl.createTemplateParameter()
TemplateParameter	TemplateParameterSubstitutionImpl.getFormal()
TemplateParameter	OperationImpl.getOwningTemplateParameter()
TemplateParameter	ParameterableElementImpl.getOwningTemplateParameter()
TemplateParameter	PropertyImpl.getOwningTemplateParameter()
TemplateParameter	TypeImpl.getOwningTemplateParameter()
TemplateParameter	ValueSpecificationImpl.getOwningTemplateParameter()
TemplateParameter	OperationImpl.getTemplateParameter()
TemplateParameter	ParameterableElementImpl.getTemplateParameter()
TemplateParameter	PropertyImpl.getTemplateParameter()
TemplateParameter	TypeImpl.getTemplateParameter()
TemplateParameter	ValueSpecificationImpl.getTemplateParameter()

Methods in org.eclipse.ocl.examples.pivot.internal.impl that return types with arguments of type TemplateParameter

org.eclipse.emf.common.util.EList<TemplateParameter>	TemplateSignatureImpl.getOwnedParameter()
org.eclipse.emf.common.util.EList<TemplateParameter>	TemplateSignatureImpl.getParameter()

Methods in org.eclipse.ocl.examples.pivot.internal.impl with parameters of type TemplateParameter

org.eclipse.emf.common.notify.NotificationChain	OperationImpl.basicSetOwningTemplateParameter(TemplateParameter newOwningTemplateParameter, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	ParameterableElementImpl.basicSetOwningTemplateParameter(TemplateParameter newOwningTemplateParameter, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	PropertyImpl.basicSetOwningTemplateParameter(TemplateParameter newOwningTemplateParameter, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	TypeImpl.basicSetOwningTemplateParameter(TemplateParameter newOwningTemplateParameter, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	ValueSpecificationImpl.basicSetOwningTemplateParameter(TemplateParameter newOwningTemplateParameter, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	OperationImpl.basicSetTemplateParameter(TemplateParameter newTemplateParameter, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	ParameterableElementImpl.basicSetTemplateParameter(TemplateParameter newTemplateParameter, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	PropertyImpl.basicSetTemplateParameter(TemplateParameter newTemplateParameter, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	TypeImpl.basicSetTemplateParameter(TemplateParameter newTemplateParameter, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	ValueSpecificationImpl.basicSetTemplateParameter(TemplateParameter newTemplateParameter, org.eclipse.emf.common.notify.NotificationChain msgs)
void	TemplateParameterSubstitutionImpl.setFormal(TemplateParameter newFormal)
void	OperationImpl.setOwningTemplateParameter(TemplateParameter newOwningTemplateParameter)
void	ParameterableElementImpl.setOwningTemplateParameter(TemplateParameter newOwningTemplateParameter)
void	PropertyImpl.setOwningTemplateParameter(TemplateParameter newOwningTemplateParameter)
void	TypeImpl.setOwningTemplateParameter(TemplateParameter newOwningTemplateParameter)
void	ValueSpecificationImpl.setOwningTemplateParameter(TemplateParameter newOwningTemplateParameter)
void	OperationImpl.setTemplateParameter(TemplateParameter newTemplateParameter)
void	ParameterableElementImpl.setTemplateParameter(TemplateParameter newTemplateParameter)
void	PropertyImpl.setTemplateParameter(TemplateParameter newTemplateParameter)
void	TypeImpl.setTemplateParameter(TemplateParameter newTemplateParameter)
void	ValueSpecificationImpl.setTemplateParameter(TemplateParameter newTemplateParameter)

Uses of TemplateParameter in org.eclipse.ocl.examples.pivot.manager

Method parameters in org.eclipse.ocl.examples.pivot.manager with type arguments of type TemplateParameter

int	MetaModelManager.compareOperationMatches(Operation reference, java.util.Map<TemplateParameter,ParameterableElement> referenceBindings, Operation candidate, java.util.Map<TemplateParameter,ParameterableElement> candidateBindings) Return -ve if match1 is inferior to match2, +ve if match2 is inferior to match1, or zero if both matches are of equal validity.
int	MetaModelManager.compareOperationMatches(Operation reference, java.util.Map<TemplateParameter,ParameterableElement> referenceBindings, Operation candidate, java.util.Map<TemplateParameter,ParameterableElement> candidateBindings) Return -ve if match1 is inferior to match2, +ve if match2 is inferior to match1, or zero if both matches are of equal validity.
boolean	MetaModelManager.conformsTo(Type firstType, Type secondType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
protected boolean	MetaModelManager.conformsToClassifierType(ClassifierType firstType, ClassifierType secondType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
protected boolean	MetaModelManager.conformsToCollectionType(CollectionType firstType, CollectionType secondType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
protected boolean	MetaModelManager.conformsToLambdaType(LambdaType actualType, LambdaType requiredType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
protected boolean	MetaModelManager.conformsToTupleType(TupleType actualType, TupleType requiredType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
Type	TupleTypeManager.getCommonType(TupleType leftType, TupleType rightType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
Type	MetaModelManager.getCommonType(Type leftType, Type rightType, java.util.Map<TemplateParameter,ParameterableElement> templateParameterSubstitutions)
LambdaType	LambdaTypeManager.getLambdaType(java.lang.String typeName, Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
LambdaType	MetaModelManager.getLambdaType(java.lang.String typeName, Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
protected Type	MetaModelManager.getSpecializedLambdaType(LambdaType type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)
Type	MetaModelManager.getSpecializedType(Type type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)
TupleType	MetaModelManager.getTupleType(java.lang.String typeName, java.util.Collection<? extends DomainTypedElement> parts, java.util.Map<TemplateParameter,ParameterableElement> bindings)
TupleType	TupleTypeManager.getTupleType(java.lang.String typeName, java.util.Collection<? extends DomainTypedElement> parts, java.util.Map<TemplateParameter,ParameterableElement> bindings)
TupleType	MetaModelManager.getTupleType(TupleType tupleType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
TupleType	TupleTypeManager.getTupleType(TupleType type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)
protected boolean	MetaModelManager.isUnspecialized(java.util.List<TemplateParameter> templateParameters, java.util.List<? extends ParameterableElement> templateArguments)
protected void	TypeServer.resolveSuperClasses(Type specializedClass, Type libraryClass, java.util.Map<TemplateParameter,ParameterableElement> allBindings)

Uses of TemplateParameter in org.eclipse.ocl.examples.pivot.model

Methods in org.eclipse.ocl.examples.pivot.model with parameters of type TemplateParameter

protected TemplateParameterSubstitution	AbstractContents.createTemplateParameterSubstitution(TemplateParameter formal, ParameterableElement actual)
protected TemplateSignature	AbstractContents.createTemplateSignature(TemplateableElement templateableElement, TemplateParameter... templateParameters)

Uses of TemplateParameter in org.eclipse.ocl.examples.pivot.prettyprint

Methods in org.eclipse.ocl.examples.pivot.prettyprint with parameters of type TemplateParameter

java.lang.Object

PivotPrettyPrintVisitor.visitTemplateParameter(TemplateParameter object)

Uses of TemplateParameter in org.eclipse.ocl.examples.pivot.scoping

Method parameters in org.eclipse.ocl.examples.pivot.scoping with type arguments of type TemplateParameter

int	ScopeFilter.compareMatches(org.eclipse.emf.ecore.EObject match1, java.util.Map<TemplateParameter,ParameterableElement> bindings1, org.eclipse.emf.ecore.EObject match2, java.util.Map<TemplateParameter,ParameterableElement> bindings2) Return -ve if match1 is inferior to match2, +ve if match2 is inferior to match1, or zero if both matches are of equal validity.
int	ScopeFilter.compareMatches(org.eclipse.emf.ecore.EObject match1, java.util.Map<TemplateParameter,ParameterableElement> bindings1, org.eclipse.emf.ecore.EObject match2, java.util.Map<TemplateParameter,ParameterableElement> bindings2) Return -ve if match1 is inferior to match2, +ve if match2 is inferior to match1, or zero if both matches are of equal validity.
void	EnvironmentView.setBindings(org.eclipse.emf.ecore.EObject eObject, java.util.Map<TemplateParameter,ParameterableElement> bindings)

Uses of TemplateParameter in org.eclipse.ocl.examples.pivot.util

Methods in org.eclipse.ocl.examples.pivot.util with parameters of type TemplateParameter

T	PivotSwitch.caseTemplateParameter(TemplateParameter object) Returns the result of interpreting the object as an instance of 'Template Parameter'.
boolean	PivotValidator.validateTemplateParameter(TemplateParameter templateParameter, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
R	AbstractDelegatingVisitor.visitTemplateParameter(TemplateParameter object)
R	AbstractExtendingVisitor.visitTemplateParameter(TemplateParameter object)
R	AbstractNullVisitor.visitTemplateParameter(TemplateParameter object)
R	Visitor.visitTemplateParameter(TemplateParameter object)

Uses of TemplateParameter in org.eclipse.ocl.examples.pivot.utilities

Fields in org.eclipse.ocl.examples.pivot.utilities with type parameters of type TemplateParameter

protected java.util.Map<TemplateParameter,ParameterableElement>

Pivot2MonikerVisitor.templateBindings

Methods in org.eclipse.ocl.examples.pivot.utilities that return types with arguments of type TemplateParameter

static java.util.List<java.util.List<TemplateParameter>>	PivotUtil.getAllTemplateParameterLists(org.eclipse.emf.ecore.EObject eObject)
static java.util.List<TemplateParameter>	PivotUtil.getAllTemplateParameters(java.util.Collection<TemplateBinding> templateBindings)
static java.util.List<TemplateParameter>	PivotUtil.getAllTemplateParameters(org.eclipse.emf.ecore.EObject eObject)
static java.util.Map<TemplateParameter,ParameterableElement>	PivotUtil.getAllTemplateParametersAsBindings(org.eclipse.emf.ecore.EObject eObject)
static java.util.Map<TemplateParameter,ParameterableElement>	PivotUtil.getAllTemplateParameterSubstitutions(java.util.Map<TemplateParameter,ParameterableElement> map, TemplateableElement templateableElement)
static java.util.Map<TemplateParameter,ParameterableElement>	PivotUtil.getAllTemplateParameterSubstitutions(java.util.Map<TemplateParameter,ParameterableElement> bindings, Type argumentType, LambdaType lambdaType)
static java.util.List<TemplateParameter>	PivotUtil.getTemplateParameters(TemplateableElement templateableElement)

Methods in org.eclipse.ocl.examples.pivot.utilities with parameters of type TemplateParameter

protected void	Abstract2Moniker.emittedTemplateParameter(TemplateParameter templateParameter)
boolean	Abstract2Moniker.hasEmitted(TemplateParameter templateParameter)
java.lang.Object	Pivot2MonikerVisitor.visitTemplateParameter(TemplateParameter object)
java.lang.String	ToStringVisitor.visitTemplateParameter(TemplateParameter object)

Method parameters in org.eclipse.ocl.examples.pivot.utilities with type arguments of type TemplateParameter

void	Abstract2Moniker.appendElement(Element element, java.util.Map<TemplateParameter,ParameterableElement> templateBindings)
void	Abstract2Moniker.appendLambdaType(Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
void	Abstract2Moniker.appendParameters(Operation operation, java.util.Map<TemplateParameter,ParameterableElement> templateBindings)
void	Pivot2Moniker.appendTemplateArguments(java.util.List<? extends ParameterableElement> templateArguments, java.util.Map<TemplateParameter,ParameterableElement> templateBindings)
void	Abstract2Moniker.appendTemplateBindings(TemplateableElement templateableElement, java.util.Map<TemplateParameter,ParameterableElement> bindings)
static java.util.Map<TemplateParameter,ParameterableElement>	PivotUtil.getAllTemplateParameterSubstitutions(java.util.Map<TemplateParameter,ParameterableElement> map, TemplateableElement templateableElement)
static java.util.Map<TemplateParameter,ParameterableElement>	PivotUtil.getAllTemplateParameterSubstitutions(java.util.Map<TemplateParameter,ParameterableElement> bindings, Type argumentType, LambdaType lambdaType)
protected boolean	Abstract2Moniker.isSpecialized(java.util.List<TemplateBinding> templateBindings, java.util.Map<TemplateParameter,ParameterableElement> bindings)

Constructor parameters in org.eclipse.ocl.examples.pivot.utilities with type arguments of type TemplateParameter

Pivot2MonikerVisitor(Abstract2Moniker context, java.util.Map<TemplateParameter,ParameterableElement> templateBindings)

Uses of TemplateParameter in org.eclipse.ocl.examples.xtext.base.cs2pivot

Method parameters in org.eclipse.ocl.examples.xtext.base.cs2pivot with type arguments of type TemplateParameter

protected void

CS2PivotConversion.specializeTemplateParameterSubstitutions(java.util.List<TemplateParameterSubstitution> templateParameterSubstitutions, java.util.List<TemplateParameter> templateParameters, java.util.List<TemplateParameterSubstitutionCS> csTemplateParameterSubstitutions) Update a list of TemplateParameterSubstitution to match a list of TemplateParameter by moving/adding/removing existing entries.

Uses of TemplateParameter in org.eclipse.ocl.examples.xtext.base.utilities

Methods in org.eclipse.ocl.examples.xtext.base.utilities that return TemplateParameter

static TemplateParameter

ElementUtil.getFormalTemplateParameter(TemplateParameterSubstitutionCS csTemplateParameterSubstitution)

Uses of TemplateParameter in org.eclipse.ocl.examples.xtext.completeocl.attributes

Method parameters in org.eclipse.ocl.examples.xtext.completeocl.attributes with type arguments of type TemplateParameter

int	OperationContextFilter.compareMatches(org.eclipse.emf.ecore.EObject match1, java.util.Map<TemplateParameter,ParameterableElement> bindings1, org.eclipse.emf.ecore.EObject match2, java.util.Map<TemplateParameter,ParameterableElement> bindings2)
int	OperationContextFilter.compareMatches(org.eclipse.emf.ecore.EObject match1, java.util.Map<TemplateParameter,ParameterableElement> bindings1, org.eclipse.emf.ecore.EObject match2, java.util.Map<TemplateParameter,ParameterableElement> bindings2)

Uses of TemplateParameter in org.eclipse.ocl.examples.xtext.essentialocl.attributes

Methods in org.eclipse.ocl.examples.xtext.essentialocl.attributes that return types with arguments of type TemplateParameter

protected java.util.Map<TemplateParameter,ParameterableElement>	OperationFilter.getIterationBindings(Iteration candidateIteration)
protected java.util.Map<TemplateParameter,ParameterableElement>	AbstractOperationFilter.getOperationBindings(Operation candidateOperation)
protected java.util.Map<TemplateParameter,ParameterableElement>	OperationFilter.getOperationBindings(Operation candidateOperation)

Method parameters in org.eclipse.ocl.examples.xtext.essentialocl.attributes with type arguments of type TemplateParameter

int	AbstractOperationFilter.compareMatches(org.eclipse.emf.ecore.EObject match1, java.util.Map<TemplateParameter,ParameterableElement> bindings1, org.eclipse.emf.ecore.EObject match2, java.util.Map<TemplateParameter,ParameterableElement> bindings2)
int	AbstractOperationFilter.compareMatches(org.eclipse.emf.ecore.EObject match1, java.util.Map<TemplateParameter,ParameterableElement> bindings1, org.eclipse.emf.ecore.EObject match2, java.util.Map<TemplateParameter,ParameterableElement> bindings2)
int	ContextCSAttribution.NoImplicitProperties.compareMatches(org.eclipse.emf.ecore.EObject match1, java.util.Map<TemplateParameter,ParameterableElement> bindings1, org.eclipse.emf.ecore.EObject match2, java.util.Map<TemplateParameter,ParameterableElement> bindings2)
int	ContextCSAttribution.NoImplicitProperties.compareMatches(org.eclipse.emf.ecore.EObject match1, java.util.Map<TemplateParameter,ParameterableElement> bindings1, org.eclipse.emf.ecore.EObject match2, java.util.Map<TemplateParameter,ParameterableElement> bindings2)
protected void	AbstractOperationFilter.installBindings(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject, java.util.Map<TemplateParameter,ParameterableElement> bindings)
protected void	OperationFilter.installBindings(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject, java.util.Map<TemplateParameter,ParameterableElement> bindings)

Uses of TemplateParameter in org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling

Methods in org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling with parameters of type TemplateParameter

protected java.lang.String	BaseLabelProvider.image(TemplateParameter ele)
protected java.lang.String	BaseLabelProvider.text(TemplateParameter ele)

Uses of TemplateParameter in org.eclipse.ocl.examples.xtext.oclinecore.ui.labeling

Methods in org.eclipse.ocl.examples.xtext.oclinecore.ui.labeling with parameters of type TemplateParameter

protected java.lang.String

OCLinEcoreLabelProvider.image(TemplateParameter ele)