org.eclipse.ocl.examples.pivot.internal.operations
Class TemplateBindingOperations

java.lang.Object
  org.eclipse.ocl.examples.pivot.internal.operations.TemplateBindingOperations

public class TemplateBindingOperations
extends java.lang.Object

A static utility class that provides operations related to 'Template Binding' model objects.

The following operations are supported:

• Validate Parameter Substitution Formal
• Validate One Parameter Substitution

Generated

Constructor Summary

protected

TemplateBindingOperations()

Method Summary

static boolean	validateOneParameterSubstitution(TemplateBinding templateBinding, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) A binding contains at most one parameter substitution for each formal template parameter of the target template signature.
static boolean	validateParameterSubstitutionFormal(TemplateBinding templateBinding, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Each parameter substitution must refer to a formal template parameter of the target template signature.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TemplateBindingOperations

protected TemplateBindingOperations()

Generated

Method Detail

validateParameterSubstitutionFormal

public static boolean validateParameterSubstitutionFormal(TemplateBinding templateBinding,
                                                          org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                          java.util.Map<java.lang.Object,java.lang.Object> context)

Each parameter substitution must refer to a formal template parameter of the target template signature. parameterSubstitution->forAll(b | template.parameter->includes(b.formal))

Parameters:

templateBinding - The receiving 'Template Binding' model object.

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

validateOneParameterSubstitution

public static boolean validateOneParameterSubstitution(TemplateBinding templateBinding,
                                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                       java.util.Map<java.lang.Object,java.lang.Object> context)

A binding contains at most one parameter substitution for each formal template parameter of the target template signature. template.parameter->forAll(p | parameterSubstitution->select(b | b.formal = p)->size() <= 1)

Parameters:

templateBinding - The receiving 'Template Binding' model object.

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated