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

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

public class TemplateParameterSubstitutionOperations
extends java.lang.Object

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

The following operations are supported:

• Validate Must Be Compatible

Generated

Constructor Summary

protected

TemplateParameterSubstitutionOperations()

Method Summary

static boolean

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

TemplateParameterSubstitutionOperations

protected TemplateParameterSubstitutionOperations()

Generated

Method Detail

validateMustBeCompatible

public static boolean 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. the actual parameter for a class template parameter must be a class. actual->forAll(a | a.isCompatibleWith(formal.parameteredElement))

Parameters:

templateParameterSubstitution - The receiving 'Template Parameter Substitution' model object.

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

context - The cache of context-specific information.

Generated