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

Packages that use TemplateParameterSubstitution

org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.ecore
org.eclipse.ocl.examples.pivot.internal.impl
org.eclipse.ocl.examples.pivot.manager
org.eclipse.ocl.examples.pivot.model
org.eclipse.ocl.examples.pivot.util
org.eclipse.ocl.examples.pivot.utilities
org.eclipse.ocl.examples.xtext.base.cs2pivot

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

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

TemplateParameterSubstitution	TemplateBinding.createParameterSubstitution() Creates a new TemplateParameterSubstitution and appends it to the 'Parameter Substitution' containment reference list.
TemplateParameterSubstitution	PivotFactory.createTemplateParameterSubstitution() Returns a new object of class 'Template Parameter Substitution'.

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

java.util.List<TemplateParameterSubstitution>

TemplateBinding.getParameterSubstitution() Returns the value of the 'Parameter Substitution' containment reference list.

Uses of TemplateParameterSubstitution in org.eclipse.ocl.examples.pivot.ecore

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

org.eclipse.emf.ecore.EObject

Pivot2EcoreTypeRefVisitor.visitTemplateParameterSubstitution(TemplateParameterSubstitution pivotTemplateParameterSubstitution)

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

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

class

TemplateParameterSubstitutionImpl An implementation of the model object 'Template Parameter Substitution'.

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

protected org.eclipse.emf.common.util.EList<TemplateParameterSubstitution>

TemplateBindingImpl.parameterSubstitution The cached value of the 'Parameter Substitution' containment reference list.

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

TemplateParameterSubstitution	TemplateBindingImpl.createParameterSubstitution()
TemplateParameterSubstitution	PivotFactoryImpl.createTemplateParameterSubstitution()

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

java.util.List<TemplateParameterSubstitution>

TemplateBindingImpl.getParameterSubstitution()

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

Methods in org.eclipse.ocl.examples.pivot.manager that return TemplateParameterSubstitution

static TemplateParameterSubstitution

AbstractTypeServer.createTemplateParameterSubstitution(TemplateParameter formalParameter, ParameterableElement type)

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

Methods in org.eclipse.ocl.examples.pivot.model that return TemplateParameterSubstitution

protected TemplateParameterSubstitution

AbstractContents.createTemplateParameterSubstitution(TemplateParameter formal, ParameterableElement actual)

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

protected TemplateBinding

AbstractContents.createTemplateBinding(TemplateSignature templateSignature, TemplateParameterSubstitution... templateParameterSubstitutions)

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

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

T	PivotSwitch.caseTemplateParameterSubstitution(TemplateParameterSubstitution object) Returns the result of interpreting the object as an instance of 'Template Parameter Substitution'.
boolean	PivotValidator.validateTemplateParameterSubstitution(TemplateParameterSubstitution templateParameterSubstitution, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
R	AbstractDelegatingVisitor.visitTemplateParameterSubstitution(TemplateParameterSubstitution object)
R	AbstractExtendingVisitor.visitTemplateParameterSubstitution(TemplateParameterSubstitution object)
R	AbstractNullVisitor.visitTemplateParameterSubstitution(TemplateParameterSubstitution object)
R	Visitor.visitTemplateParameterSubstitution(TemplateParameterSubstitution object)

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

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

static java.util.Comparator<? super TemplateParameterSubstitution>

PivotUtil.TemplateParameterSubstitutionComparator.INSTANCE

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

int	PivotUtil.TemplateParameterSubstitutionComparator.compare(TemplateParameterSubstitution o1, TemplateParameterSubstitution o2)
java.lang.Object	Pivot2MonikerVisitor.visitTemplateParameterSubstitution(TemplateParameterSubstitution object)
java.lang.Object	PivotSaver.LocateVisitor.visitTemplateParameterSubstitution(TemplateParameterSubstitution object)
java.lang.Object	PivotSaver.ResolveVisitor.visitTemplateParameterSubstitution(TemplateParameterSubstitution object)
java.lang.String	ToStringVisitor.visitTemplateParameterSubstitution(TemplateParameterSubstitution object)

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

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

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.