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

java.lang.Object
  org.eclipse.ocl.examples.pivot.internal.operations.MonikeredElementOperations
      org.eclipse.ocl.examples.pivot.internal.operations.PropertyOperations

public class PropertyOperations
extends MonikeredElementOperations

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

The following operations are supported:

• Validate Binding To Attribute

Generated

Constructor Summary

protected

PropertyOperations()

Method Summary

static boolean

validateBindingToAttribute(Property property, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) A binding of a property template parameter representing an attribute must be to an attribute.

Methods inherited from class org.eclipse.ocl.examples.pivot.internal.operations.MonikeredElementOperations

hasMoniker

Methods inherited from class java.lang.Object

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

Constructor Detail

PropertyOperations

protected PropertyOperations()

Generated

Method Detail

validateBindingToAttribute

public static boolean validateBindingToAttribute(Property property,
                                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                 java.util.Map<java.lang.Object,java.lang.Object> context)

A binding of a property template parameter representing an attribute must be to an attribute. (isAttribute(self) and (templateParameterSubstitution->notEmpty()) implies (templateParameterSubstitution->forAll(ts | isAttribute(ts.formal)))

Parameters:

property - The receiving 'Property' model object.

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

context - The cache of context-specific information.

Generated