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.internal.operations
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

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

TemplateBinding.getParameterSubstitutions() 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.parameterSubstitutions 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

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

TemplateBindingImpl.getParameterSubstitutions()

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

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

static boolean

TemplateParameterSubstitutionOperations.validateMustBeCompatible(TemplateParameterSubstitution templateParameterSubstitution, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) The actual parameter must be compatible with the formal template parameter, e.g.

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_validateMustBeCompatible(TemplateParameterSubstitution templateParameterSubstitution, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateMustBeCompatible constraint 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.PivotSaveLocateVisitor.visitTemplateParameterSubstitution(TemplateParameterSubstitution object)
java.lang.Object	PivotSaver.PivotSaveResolveVisitor.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.